Изменения

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

примером '''факторгруппы''' является группа класса вычетов по модулю <tex>n</tex>.