Понятие группы

Группой называется непустое множество G с алгебраической операцией * на нем, для которой выполняются первые три из четырех следующих аксиом.

1. Операция * ассоциативна, т.е. для любых а, b, с Î G

a*(b*с) =(a*b) *с.

2. В G имеется единичный элемент (или единица) е такой, что для любого

а Î G

а*е=е*а=а.

3. Для каждого а Î G существует обратный элемент а ^–1 Î G такой, что

а*a^-1 = а^-1 *a = е.

4. Для любых а,bÎ G

а*b=b*a.

Если дополнительно группа удовлетворяет четвертой аксиоме, то группа называется абелевой (или коммутативной).

Для групповой операции будем использовать мультипликативное обозначение и вместо а*b писать аb, называя этот элемент произведением элементов а и b. Иногда для групповой операции используют аддитивную запись: а + b. В этом случае вместо единицы пишут ноль, а вместо а^–1 – -а. Такие обозначения обычно резервируют для абелевых групп.

В группе имеется лишь один единичный элемент. Действительно, если е' – еще одна единица, то е' = е'е= е. Для любого элемента имеется лишь один обратный. Пусть х и у – обратные элементы для а Î G. Тогда по ассоциативности

х=хе=х(ау)=(ха)у= еу= у.

Примеры. Mножество Z челых чисел образуют группу относительно операции сложсния. То же можно сказать относительно рациональных чисел Q, вещественных чисел R и комплексных чисел С.

Обозначим через классы вычетов по модулю 5. Определим их сложение по модулю 5. ( и т.д.). Эта группа обозначается через Z₅ и называется (аддитивной) группой классов вычетов по модулю 5. Аналогично строится группа классов вычетов Z_т по любому модулю т. Если взять все классы вычетов, взаимно простые с модулем т, и определить их умножение по модулю т, то получается группа, обозначаемая через Z^*_m. Отметим, что существование обратного элемента для а Î Z^*_m вытекает из разрешимости сравнения ax º l(mod m) при (а,т) = 1.

Число элементов конечной группы G называется порядком группы и обозначается через |G|. Например, |Z_m| =m, |Z^*_m|= j(т).

Мультипликативная группа G называется циклической, если она порождена одним элементом, т.е. в ней имеется такой элемент а(образующий), что любой другой элемент b представим в виде b = aⁿ, п Î Z. Если п – отрицательное, то под aⁿ понимается произведение (а^-1)^-п. Циклическими являются группы Z и Z_m. Группа Z^*_m – циклическая лишь в случае, когда по модулю т существует первообразный корень. В циклической группе, конечной или нет, может быть несколько образующих элементов. В аддитивной группе Z образующими будут элементы 1 и -1. Циклическая группа всегда коммутативна.

Существует удобный способ задания конечной группы – в виде таблицы. Обычно она называется таблицей Кэли. Ее строки и столбцы помечаются элементами группы, и на пересечении строки, помеченной элементом а, и столбца, помеченного элементом b, ставится элемент ab.