Изменения
Нет описания правки
<math>a_1\cdot b_1=a\cdot h_a\cdot b\cdot h_b=a\cdot b\cdot (b^{-1}\cdot h_a\cdot b)\cdot h_b=a\cdot b\cdot h\cdot h_b\in abH</math>
Таким образом, фактормножество <math>G/H</math> образует подгруппу, которая называется факторгруппой <math>G</math> по <math>H</math> . Нейтральным элементом является <math>H</math>, обратным к <math>aH</math> - <math>a^{-1}H</math>.
