Алгебра - Варден Б.Л.
Скачать (прямая ссылка):
Примеры. Если сопоставить каждому элементу произвольно взятой группы ее единицу, то получится гомоморфизм этой группы на единичную группу. Точно так же получится гомоморфизм, если каждой подстановке произвольно взятой группы подстановок сопоставить число +1 или число — 1 в зависимости от того, четна эта подстановка или нечетна. Гомоморфным образом здесь служит мультипликативная группа чисел +1 и —1.
Сопоставим каждому целому числу т степень ат элемента а произвольной группы; тогда получится гомоморфизм аддитивной группы целых чисел в циклическую группу, порожденную элементом а, потому что сумме т + и при этом сопоставляется произведение ат+п = атач. Если а —элемент бесконечного порядка, то построенный гомоморфизм является изоморфизмом.
Рассмотрим отдельно гомоморфизмы групп.
Если в множестве 0> определены произведения (т. е. соотношения вида йЪ = с) и группа 05 гомоморфно отображается на 03, то и 05 является группой. Коротко: гомоморфный образ группы является группой.
46
ГРУППЫ
ГГЛ. II
Доказательство. Пусть сначала а, В, с — три элемента из ©, являющиеся образами элементов а, Ь, с из ©. Из
аЬ ? с = а-Ьс
следует, что
йВ-Р — а-Вс.
Фалее, из равенства
ае = а,
справедливого при всех а, следует, что для всех й
аё = а,
и аналогично из
Ьа = е (Ь^а.'1)
следует, что
Вй — ё.
Таким образом, в © существует единичный элемент ё и обратный элемент для каждого а. Следовательно, © — группа. Одновременно мы доказали, что
Единичный элемент и обратные элементы при гомоморфизме переходят снова в единичный элемент и обратные элементы.
Изучим теперь подробнее разбиение на классы, которое задается гомоморфным отображением ©->-©. При этом мы установим очень важное взаимно однозначное соответствие между гомоморфизмами и нормальными подгруппами.
Класс с группы ©, который при гомоморфизме ©->-© переходит в единичный элемент ё группы ®, является нормальной подгруппой в ©; остальные классы являются смежными классами по этой нормальной подгруппе.
Доказательство. Сначала покажем, что с — подгруппа. Пусть а и Ь переходят при гомоморфизме в <?; тогда аЬ снова переходит в ё2 = ё, так что с содержит произведение двух любых своих элементов. Далее, элемент а~1 переходит также в а~1 — ё, и класс с содержит элементы, обратные ко всем своим элементам.
Все элементы произвольно взятого левого смежного класса ас переходят в элемент аё = й. Если, наоборот, элемент а' переходит в элемент а, то определим х из уравнения
ах = а'.
Получается, что
йХ = й,
Х = ё.
Следовательно, элемент х лежит в классе с, а элемент а' принадлежит классу ас.
Поэтому класс группы ©, который соответствует элементу а, является левым смежным классом ас.
ГОМОМОРФИЗМЫ, НОРМАЛЬНЫЕ ПОДГРУППЫ
47
Но точно так же можно показать, что класс, который соответствует элементу а, должен быть правым смежным классом еа. Таким образом, налицо совпадение правых и левых смежных классов:
аг = еа,
и класс е —нормальная подгруппа. Утверждение полностью доказано.
Нормальная подгруппа е, элементы которой переходят при гомоморфизме в единичный элемент е, называется ядром гомоморфизма.
Обратим теперь постановку вопроса: пусть задана произвольная нормальная подгруппа д группы ©. Можно ли построить группу © — гомоморфный образ группы — элементам которой в точности соответствовали бы смежные классы группы © по нормальной подгруппе д?
Чтобы это сделать, возьмем попросту в качестве элементов конструируемой группы © смежные классы по нормальной подгруппе д. Согласно § 8 произведение двух любых смежных классов по нормальной подгруппе д снова является смежным классом и если а— элемент смежного класса ад, а Ь — элемент смежного класса Ьп, то произведение аЬ принадлежит произведению смежных классов аЬ<\ — ас\ ? Ь<]. Таким образом, смежные классы составляют множество, гомоморфное группе ©, т. е. гомоморфный образ группы ©. Группу, состоящую из этих смежных классов, называют факторгруппой группы © по нормальной подгруппе д и обозначают через
@/д.
Порядок группы @/д равен индексу подгруппы д.
Здесь мы видим принципиальную важность нормальных подгрупп: они позволяют строить новые группы, гомоморфные данным группам.
Если группа © гомоморфно отображается на другую группу ©, то, как мы видели, элементы группы © взаимно однозначно соответствуют смежным классам по ядру е в группе ©. Это соответствие, конечно, является изоморфизмом, потому что если ад, 6д —два смежных класса, то аЬе\ — их произведение, а для соответствующих элементов а, Ъ, аЬ из © в силу гомоморфизма имеет место равенство
(1аЬ) = й • 5.
Итак, мы имеем:
©/е ^ @,
а вместе с этим изоморфизмом и теорему о гомоморфизмах групп:
48
ГРУППЫ
[ГЛ II
Каждая группа ®, на которую гомоморфно отображается группа ®, изоморфна факторгруппе ©/«; при этом нормальная подгруппа е является ядром данного гомоморфизма. Обратно, группа ® гомоморфно отображается на любую свою факторгруппу ®/t (где с — нормальная подгруппа).
Задача 1. Вот тривиальные факторгруппы любой группы 0: 0/0 ~ 0: 0/0^6 (в —единичная подгруппа).
Задача 2. Факторгруппа группы подстановок по знакопеременной подгруппе (S„/3l„) является циклической группой второго порядка.
