Изменения

<tex>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</tex>

Таким образом, фактормножество <tex>G/H</tex> образует подгруппу, которая называется '''факторгруппой''' <tex>G</tex> по <tex>H</tex> . Нейтральным элементом является <tex>H</tex>, обратным к <tex>aH</tex> - <tex>a^{-1}H</tex>.