Подгруппы групп

Подмножество H группы G называется подгруппой этой группы, если H об­разует группу относительно операции группы G.

Подгруппы группы G, отличные от тривиальных подгрупп {e}G, называются собственными подгруппами.

Теорема 3.2.1. Подмножество Н группы G будет ее подгруппой тогда и только тогда, когда выполняются условия:

1) a, b Î Н =>ab Î H;

2) a Î Н =>a^-1Î H.

Теорема 3.2.2. Если Н – подгруппа группы G, то отношение R_H на G, определяемое условием

(а, b) Î R_H <=>а = bh для некоторого h Î H,

является бинарным отношением эквивалентности.

Классы эквивалентности по отношению R_H называются левыми смежными классами группы G по подгруппе Н и обозначаются

аН ={аh| hÎH}.

Смежные классы группы по подгруппе либо совпадают, либо не пересекаются. Аналогично определяются правые смежные классы по подгруппе Н, которые имеют вид Нa ={ha | h Î Н}. Для абелевой группы эти два понятия идентичны.

Пусть, например, G = Z, Н = 2Z – подгруппа четных чисел. Тогда имеем два смежных класса: 2Z – четные числа, 1 + 2Z — нечетные.

Теорема 3.2.3. Если Н – конечная группа, то каждый (левый или правый) смежный класс по ней содержит |Н| элементов.

Теорема 3.2.4. Пусть G – конечная группа. Тогда

|G|=[G:H] |Н|.

Следствие 3.2.1. (Лагранж). Порядок конечной группы делится на порядок любой ее подгруппы.

Пусть а ÎG. Положим а^п =аа×××а, если п — натуральное, а^п =(а^-1)^-п, если п – целое отрицательное, и, наконец, а⁰ = е. Таким образом можно рассмот­реть подмножество

<a> = { а^п| nÎZ}.

Оно, как легко показать, является подгруппой группы G. Эта подгруппа на­зывается циклической подгруппой, порожденной элементом а. Ее порядок назы­вается порядком элемента а. Иными словами, элемент а Î G называется элементом порядка т Î N, если а^т = е, где т – наименьшее натуральное с этим усло­вием. Легко показать, что т|l, если а^l = е. Если такого т нет, то элемент а называется элементом бесконечного порядка. Из теоремы Лагранжа вытекает, что порядок конечной группы G делится на порядок любого ее элемента а. По­этому a^êGê = е. Поскольку |Z^*_m|= j(т), то в качестве еще одного следствия полу­чается теорема Эйлера о том, что если (а,т) =1, то

а^j(m) º 1(mod m).

В дальнейшем нам потребуется утверждение о порядках элементов в абелевой группе G. Пусть a,bÎG и их порядки т и п соответственно, причем (m,п) = 1. Покажем, что порядок произведения аb равен тп. Обозначим порядок ab через d. Тогда (аb)^d, а значит, (аb)^dm =1 => a^dmb^dm=1 => b^dm=1 => п|dт => n|d. Аналогично показывается, что т|d. Поэтому тп|d. Последнее, в силу мини­мальности d, означает d = тп. Доказанное является частным случаем следующе­го утверждения.

Теорема 3.2.5. Пусть даны два элемента a,bÎG абелевой группы. Тогда в группе найдется элемент порядка [т, п].