Что такое факторгруппы в алгебре?

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

Факторгруппа группы G по нормальной подгруппе H обычно обозначается G / H. 1