Алгебраические системы

3.1.5 Конечные кольца и поля

Определение 3.18 Множество с двумя алгебраическими операциями , называется ассоциативным кольцом, если в нём выполняются свойства:

1. является коммутативной группой по сложению с нейтральным элементом (эта группа называется аддитивной).
2. является полугруппой (обозначается ).
3. Дистрибутивность: и .

Определение 3.19 Кольца и называются изоморфными, если существует отображение , являющееся изоморфизмом аддитивных и мультипликативных групп этих колец.

Определение 3.20 Полем называется кольцо , в котором является коммутативной группой.

Определение 3.21 Характеристикой поля называется наименьшее такое натуральное число , что , или 0, если такого не существует. Характеристика поля может быть только простым числом или нулем.

Определение 3.22 Левым (правым) идеалом кольца называется любое его подкольцо, выдерживающее умножение слева (соответственно, справа) на любой элемент кольца. Подкольцо, являющееся левым и правым идеалом, называется двусторонним идеалом, или просто идеалом.

Подкольцо разбивает кольцо на классы эквивалентности: . Класс, содержащий элемент , можно записать в виде:

Если подкольцо является идеалом, то на множестве таких классов можно ввести операции сложения и умножения, относительно которых множество классов образует кольцо, называемое фактор-кольцом:

Из определения идеала следует, что результат операций не зависит от выбора представителей , , то есть операции заданы корректно.

Наиболее важными для нас будут следующие кольца и поля:

1. Кольцо целых чисел относительно обыкновенных операций сложения и умножения.
2. Поле рациональных чисел относительно операций сложения и умножения.
3. Фактор-кольцо кольца целых чисел по идеалу всех чисел, кратных . Также это кольцо можно себе представлять, как кольцо целых неотрицательных чисел, меньших , с операцией сложения и умножения по модулю . Такое кольцо является полем тогда и только тогда, когда - простое число.
4. Кольцо многочленов от переменных над произвольным полем .
5. Фактор-кольцо кольца многочленов над полем по идеалу, порожденному одним многочленом степени , то есть состоящему из всех многочленов, кратных . Это кольцо можно также рассматривать, как кольцо многочленов степени меньше с операцией сложения и умножения по модулю . Такое кольцо является полем тогда и только тогда, когда многочлен неприводим над .

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

1. Каждое конечное поле имеет простую характеристику .
2. Поле простого порядка не имеет подполей, и называется простым.
3. Конечное поле характеристики содержит подполе порядка .
4. Конечное поле является линейным пространством над своим простым подполем, поэтому имеет порядок для некоторого натурального числа .
5. Мультипликативная группа конечного поля циклическая. Если поле имеет простой порядок , то порождающий его мультипликативную группу элемент называется примитивным корнем по модулю .
6. Конечные поля одного порядка изоморфны.

Рассмотрим несколько связанных с кольцами вычетов задач, часто возникающих в криптографии.

Пример 3.5 Найти мультипликативный порядок элемента по модулю , то есть порядок элемента мультипликативной группы .

Решение. Поскольку число 101 простое, порядок мультипликативной группы поля равен 100. По следствию из теоремы Лагранжа, мультипликативный порядок любого числа по модулю 101 является делителем 100, то есть одним из чисел: 1, 2, 4, 5, 10, 20, 25, 50, 100. Проверим каждое из чисел:

	1	2	4	5	10	20	25	50	100
	16	54	88	95	36	84	1	-	-

После того, как обнаружили, что , возводить в -ю и -ю степень излишне - видно, что наименьшая степень, в которой 16 даст единицу по модулю 101, это 25.

Пример 3.6 Найти случайный примитивный корень по модулю .

Решение. Порядок мультипликативной группы поля вычетов по модулю 883 равен . Будем выбирать случайное число и возводить его в степени , , . Если в какой-то степени даст единицу, то его порядок меньше 882, и, следовательно, он не является примитивным корнем по модулю 883. Наоборот, порядок порождающего элемента является делителем числа 882, и если он не является делителем ни одного из чисел , , , то равен 882. В первой колонке таблицы приводятся случайно выбранные элементы , а в следующих колонках - результаты возведения в степень.

94	1	545	626
537	882	1	71
787	882	1	199
326	882	337	199

Итак, 326 является примитивным корнем по модулю 883.