Факторгруппа
Материал из Википедии — свободной encyclopedia
Факторгруппа — множество смежных классов группы по её нормальной подгруппе, само являющееся группой с определённой специальным образом групповой операцией.
Факторгруппа группы по нормальной подгруппе обычно обозначается .
Образ группы при гомоморфизме изоморфен её факторгруппе по ядру этого гомоморфизма.