221
правка
Изменения
м
{{Требует доработки
|item1=(исправлено)Требуется несколько примеров факторгрупп.
|item2=(исправлено)Требуется пример группы <tex>G</tex> и ее подгруппы <tex>H</tex> (не нормальной), для которых <tex>G/H</tex> не является группой.
}}
Определение произведения смежных классов корректно. То есть произведение смежных классов не зависит от выбранных представителей <tex>a</tex> и <tex>b</tex>.
Нет описания правки
== Факторгруппа ==
Рассмотрим [[группа|группу]] <tex>G</tex> и ее [[нормальная подгруппа|нормальную подгруппу]] <tex>H</tex>. Пусть <tex>G/H</tex> {{---}} множество [[Смежные классы|смежных классов]] <tex>G</tex> по <tex>H</tex>. Определим в <tex>G/H</tex> групповую операцию по следующему правилу.
{{Утверждение
|statement= В группе перестановок из трех элементов <tex>G</tex> и ее '''не нормальной''' подгруппе <tex>H</tex> перестановок из двух элементов не затрагивающих третий элемент, <tex>G/H</tex> не будет являться группой.
|proof=
Рассмотрим группу <tex>S_3</tex>(перестановки трех элементов) и ее не нормальную подгруппу <tex>S'_2</tex>(перестановки не затрагивающие третий элемент). Рассмотрим множество перестановок <tex>S_3/S'_2</tex>:
