Изменения
Нет описания правки
Определение произведения смежных классов корректно. То есть произведение смежных классов не зависит от выбранных представителей <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>АA(abc \rightarrow acb</tex> и <tex>abc \rightarrow bca)</tex>,
класс <tex>B(abc \rightarrow сab</tex> и <tex>abc \rightarrow cba)</tex>.
