Лекции.Орг


Поиск:




Классы смежности по нормальной подгруппе и факторгруппа




 

Предложение 1. Пусть - нормальная подгруппа группы и -какой-либо элемент . Тогда .

Доказательство. По определению нормальной подгруппы . Тогда и . Поэтому и, следовательно, .

Предложение 2. Если - нормальная подгруппа группы и , то .

Доказательство. Согласно предыдущему предложению . Умножив это равенство слева на , получим требуемое равенство.

Предложение 3. Классы смежности по нормальной подгруппе образуют группу относительно умножения подмножеств группы. Единицей этой группы является сама подгруппа.

Доказательство. Пусть - группа и - ее нормальная подгруппа. Рассмотрим произведение двух классов смежности и . Воспользуемся ассоциативностью умножения подмножеств и предложением 2. Имеем: , т. е. произведение двух классов смежности оказалось классом смежности. Далее, и , так что есть единица при этом умножении. Осталось рассмотреть наличие обратного элемента: и . Следовательно, есть обратный элемент для .

Определение. Группа, образованная классами смежности группы по нормальной подгруппе называется факторгруппой по и обозначается .

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

 





Поделиться с друзьями:


Дата добавления: 2015-05-08; Мы поможем в написании ваших работ!; просмотров: 587 | Нарушение авторских прав


Поиск на сайте:

Лучшие изречения:

Люди избавились бы от половины своих неприятностей, если бы договорились о значении слов. © Рене Декарт
==> читать все изречения...

1031 - | 844 -


© 2015-2024 lektsii.org - Контакты - Последнее добавление

Ген: 0.008 с.