Конечные группы

Группа (полугруппа) называется конечной, если она состоит из конечного числа элементов. Число элементов конечной группы называется её порядком. Любая подгруппа конечной группы конечна. И если НG – подгруппа группы G, то для любого элемента аG множество Н_а={х: x=h◦a, для любых hH} называется левым классом смежности для G относительно Н. Понятно, что число элементов в Н_а равно порядку Н. (Аналогично можно сформулировать определение _аН – правого класса смежности относительно Н).

Важно то, что для любой подгруппы Н группы G любые два левых (правых) класса смежности по Н либо совпадают, либо не пересекаются, поэтому любая группа может быть представлена как объединение непересекающихся левых (правых) классов смежности по Н.

Действительно, если два класса Н_a и H_b, где a, bG, имеют общий элемент х, то существует tH такое, что x = t◦a. И тогда левый класс для х: Н_х={y: y=h◦x= h◦(t◦a) = (h◦t)◦a} H_a, но a= t^‑1◦x и Н_a={y: y=h◦a= h◦(t^‑1◦x) = (h◦t^‑1)◦x} H_x. Отсюда Н_х = Н_a. Аналогично можно показать, что Н_х = Н_b. И, следовательно, Н_a = Н_b. Если же классы Н_a и H_b не имеют общих элементов, то они и не пересекаются.

Такое разбиение группы на левые (правые) классы смежности называется разложением группы по подгруппе Н.

1. Порядок конечной группы делится на порядок любой её подгруппы.

Доказательство. Так как G – конечная группа, то и любая её подгруппа Н имеет конечный порядок. Рассмотрим разложение группы по подгруппе Н. В каждом классе смежности в этом разложении число элементов одинаково и равно порядку Н. Поэтому, если n – порядок группы G, а k – порядок подгруппы Н, то n=mk, где m – число классов смежности по Н в разложении группы G.

Если для любого элемента aG  Н_a = _аН (левый и правый классы смежности по подгруппе Н совпадают), то Н называется нормальным делителем группы G.

Утверждение: если G – коммутативная группа, то любая её подгруппа Н является нормальным делителем G.