Логарифмы Цеха используются для выполнения сложения в конечных полях, когда элементы представлены как мощности генератора. 
Логарифмы Зека названы в честь Юлиуса Зеха, а также называются логарифмами Якоби в честь Карла Дж. Дж. Якоби, который использовал их для теоретико-числовых исследований.
СОДЕРЖАНИЕ
- 1 Определение
- 2 использования
- 3 Примеры
- 4 См. Также
- 5 ссылки
- 6 Дальнейшее чтение
Определение
Учитывая примитивный элемент конечного поля, логарифм Зека относительно основания определяется уравнением 


который часто переписывается как

Выбор базы обычно опускается из обозначений, когда это ясно из контекста. 
Чтобы быть более точным, является функцией целых чисел по модулю мультипликативного порядка и принимает значения в том же наборе. Для описания каждого элемента удобно формально добавить новый символ вместе с определениями 






где - удовлетворяющее целое число, то есть для поля характеристики 2 и для поля нечетной характеристики с элементами. 



Используя логарифм Зека, арифметика конечных полей может быть выполнена в экспоненциальном представлении:






Эти формулы остаются верными нашим соглашениям с символом, с той оговоркой, что вычитание не определено. В частности, формулы сложения и вычитания нужно рассматривать как особый случай. 


Это можно распространить на арифметику проективной линии, введя другой удовлетворяющий символ и другие правила, если это необходимо. 

Для полей характеристики два
-
.
Использует
Для достаточно маленьких конечных полей таблица логарифмов Зека позволяет особенно эффективно реализовать всю арифметику конечных полей с точки зрения небольшого числа целочисленных сложений / вычитаний и поиска в таблице.
Полезность этого метода уменьшается для больших полей, где невозможно эффективно хранить таблицу. Этот метод также неэффективен при выполнении очень небольшого числа операций в конечном поле, поскольку на вычисление таблицы уходит больше времени, чем на фактическое вычисление.
Примеры
Пусть α ∈ GF (2 3) - корень примитивного многочлена x 3 + x 2 + 1. Традиционное представление элементов этого поля - полиномы от α степени 2 или меньше.
Таблица логарифмов Зеха для этого поля: Z (−∞) = 0, Z (0) = −∞, Z (1) = 5, Z (2) = 3, Z (3) = 2, Z (4) = 6, Z (5) = 1 и Z (6) = 4. Мультипликативный порядок α равен 7, поэтому экспоненциальное представление работает с целыми числами по модулю 7.
Поскольку α является корнем из x 3 + x 2 + 1, это означает, что α 3 + α 2 + 1 = 0, или, если вспомнить, что, поскольку все коэффициенты находятся в GF (2), вычитание аналогично сложению, получаем α 3 = α 2 + 1.
Преобразование от экспоненциального к полиномиальному представлению дается формулой
-
(как показано выше) 


Используя логарифмы Зека для вычисления α 6 + α 3:
-
,
или, что более эффективно,
-
,
и проверив его в полиномиальном представлении:
-
.
Смотрите также
Рекомендации
дальнейшее чтение
- Флетчер, Алан; Миллер, Джеффри Чарльз Перси ; Розенхед, Луи (1946) [1943]. Указатель математических таблиц (1-е изд.). Blackwell Scientific Publications Ltd., Оксфорд / Макгроу-Хилл, Нью-Йорк.
- Конвей, Джон Хортон (1968). Черчхаус, Роберт Ф.; Герц, Ж.-К. (ред.). «Таблица некоторой информации о конечных полях». Компьютеры в математических исследованиях. Амстердам: Издательство Северной Голландии : 37–50. Руководство по ремонту 0237467.
- Лам, Клемент Винг Хонг ; Маккей, Джон К.С. (1973-11-01). «Алгоритм 469: Арифметика над конечным полем [A1]». Коммуникации ACM. Собраны алгоритмы ACM (CALGO). Ассоциация вычислительной техники (ACM). 16 (11): 699. DOI : 10,1145 / 355611,362544. ISSN 0001-0782. S2CID 62794130. Томы / 469. [1] [2] [3]
- Кюн, Клаус (2008). "CF Gauß und die Logarithmen" (PDF) (на немецком языке). Аллинг-Бибург, Германия. Архивировано (PDF) из оригинала на 2018-07-14. Проверено 14 июля 2018.