на «2. Следовательно, т делится и на rtjrtj. Таким образом, число №[«2 действительно является порядком элемента gyg2-Очевидно, что аналогичное утверждение справедливо и для произведения любого числа элементов (взаимно простых порядков).

3. Подгруппы, нормальные делители и факторгруппы

Непустое подмножество Н группы О называется подгруппой, если

1) произведение НН любых элементов hH, hH принадлежит Я;

2) для любого элемента hH обратный элемент Л~ принадлежит Н.

Задача. Доказать, что подмножество Н группы О тогда и только тогда является подгруппой, когда для любых элементов Л, Я и tiiH элемент /{[Лг" принадлежит Я.

Очевидно, что любая подгруппа является группой (относительно определенной во всей группе операции).

Задача. Доказать, что пересечение любого числа подгрупп является подгруппой.

Заметим, что подмножество группы О, состоящее из ее единицы е, а также сама группа О являются подгруппами. Эти подгруппы мы будем называть тривиальными подгруппами.

Пусть О - произвольная группа и И-некоторая ее подгруппа. Подмножество группы О, состоящее из всех элементов вида hg, где Л- произвольный элемент подгруппы Я, а g - некоторый фиксированный элемент группы О, называется смежным классом элемента g по подгруппе Я и обозначается через Hg.

Очевидно, что gHg (ибо вЯ).

Пусть g - произвольный элемент смежного кдасса Hg, По определению

g = hg.

где h - некоторый элемент подгруппы Я. Рассмотрим смежный класс Hg элемента g. Любой элемент этого смежного класса имеет вид hg, т. е. вид hhg, где hH. Следовательно, так как hh Я, то любой элемент смежного класса Hg

3. ПОДГРУППЫ, НОРМАЛЬНЫЕ ДЕЛИТЕЛИ И ФАКТОРГРУППЫ 31

принадлежит смежному классу Hg, т. е.

HgzzHg.

С другой стороны, любой элемент hgHg можно пре!дста-пить в виде h(hf kg = h(hfg. Так как hihfH, то, следовательно, hg Hg. Таким образом,

HgZLHg.

Тем самым доказано, что

Hg = Hg,

то есть

смежный класс Hg любого элемента g из смежного класса Hg совпадает с классом Hg. Отсюда следует, что

если два смежных класса пересекаются, то они совпадают.

Действительно, смежный класс Hg элемента g, лежащего в пересечении данных смежных классов, совпадает с каждым из этих классов.

Теперь легко доказать, что

два элемента g и g группы О тогда и только тогда принадлежат одному смежному классу по подгруппе Н, когда gig2f-

Действительно, если gg Н, т. е. gig2 = h, где hH, то gl = hg2. т. е. gl Hg2 и, следовательно, элемент g принадлежит тому же смежному классу Hg2, которому принадлежит элемент g2. Обратно, если существует такой смежный класс Hg, что giHg yig2Hg, то Hgi = Hg2 и, следовательно, giHg2, т. е. gi - hg2, где hH. Поэтому

gig2ef-Наконец,

смежный класс Hg тогда и только тогда совпадает с подгруппой Н, когда gH.

Для доказательства достаточно заметить, что подгруппу Н можно рассматривать как смежный класс единицы е.

Пусть Hg- произвольный смежный класс по подгруппе Я. Определим отображение ш подгруппы Н на смежный класс Hg, положив для любого элемента hH

u) (Л) = hg.

Очевидно, что это отображение взаимно однозначно (ибо если hg - hg, то, умножая справа на g, мы получим, что Al = h). Таким образом, для любого смежного класса по подгруппе Н существует (вообще говоря, не единственное) взаимно однозначное отображение подгруппы Н на этот смежный класс. В частности, если подгруппа Н конечна (т. е. состоит из конечного числа элементов), то все смежные классы по подгруппе Н состоят из одного и того же числа элементов.

Применим этот результат к случаю, когда группа конечна. Пусть п - число элементов группы О. Любая подгруппа Н конечной группы О, очевидно, конечна, и число т. ее элементов не , превышает п. Пусть k - число различных смежных классов по подгруппе Н. (Это число конечно в силу конечности группы О.) По доказанному выше, эти классы, во-первых, не пересекаются, а во-вторых, каждый из них состоит из т. элементов. Поэтому все эти классы вместе содержат km различных элементов. Следовательно, заметив, что любой элемент g группы О обязательно принадлежит какому-нибудь смежному классу (именно классу Hg)> мы видим, что число п всех элементов группы равно km.

Число элементов конечной группы принято называть ее порядком. Таким образом, введенное выше число п является порядком группы О, а число т - порядком подгруппы Н. Число k смежных классов по подгруппе Н называется индексом подгруппы Н (в группе О). Доказанное выше равенство n = km означает справедливость следующей теоремы.

Порядок конечной группы делится на порядок любой ее подгруппы. Соответствующее, частное равно индексу подгруппы.

Эта теорема известна как теорема Лагранжа.

Вернемся теперь к рассмотрению произвольных (быть может, бесконечных) групп.

Подгруппа Н группы О называется нормальным дели-телем, если для любого элемента fiH к любого элемента gO элемент ghg~ принадлежит И. Очевидно, что в абе-левой группе любая подгруппа является нормальным делителем.

Задача. Доказать, что пересечение нормальных делителей является нормальным делителем.