Изменения
Нет описания правки
{{Требует доработки
|item1=Требуется еще несколько примеров факторгрупп.
|item2=(исправлено)Требуется пример группы <tex>G</tex> и ее подгруппы <tex>H</tex> (не нормальной), для которых <tex>G/H</tex> не является группой.
}}
* Рассмотрим группу невырожденных матриц <tex> GL_n</tex>. Отображение <tex>A \rightarrow \det A</tex> является гомоморфизмом <tex>GL_n \rightarrow \mathbb{R}</tex>. Ядро — группа матриц с единичным определителем <tex>SL_n</tex>. Поэтому <tex>SL_n</tex> является нормальной подгруппой в <tex>GL_n</tex> и факторгруппа <tex>GL_n/SL_n=\mathbb{R}</tex>.
{{Утверждение
|statement= В группе перестановок из трех элементов <tex>G</tex> и ее '''не нормальной''' <tex>H</tex>подгруппе перестановок из двух элементов не затрагивающих третий элемент, <tex>G/H</tex> не будет являться группой.
Определение произведения смежных классов корректно. То есть произведение смежных классов не зависит от выбранных представителей <tex>a</tex> и <tex>b</tex>.
|proof=
Рассмотрим группу <tex>S_3</tex>(перестановки трех элементов) и ее '''не нормальную''' подгруппу <tex>S'_2</tex>(перестановки не затрагивающие третий элемент). Рассмотрим множество перестановок <tex>S_3/S'_2</tex>:
класс <tex>E(abc \rightarrow abc</tex> и <tex>abc \rightarrow bac)</tex>,
класс <tex>А(abc \rightarrow acb</tex> и <tex>abc \rightarrow bca)</tex>,
класс <tex>B(abc \rightarrow сab</tex> и <tex>abc \rightarrow cba)</tex>.
Это смежные классы для <tex>S'_2</tex>. Теперь рассмотрим произведения:
<tex>abc \rightarrow acb \in A, \, abc \rightarrow cab \in B: (abc \rightarrow acb)(abc \rightarrow cab)=(abc \rightarrow cba) \Rightarrow AB=B</tex>
<tex> abc \rightarrow bca \in A, \, abc \rightarrow cba \in B: (abc \rightarrow bca)(abc \rightarrow cba)=(abc \rightarrow bca) \Rightarrow AB=E</tex>.
Противоречие. То есть согласованного с группой умножения нет. <tex> \Rightarrow S_3/S'_2</tex> не является группой.
}}
[[Категория: Теория групп]]
