Большая Советская Энциклопедия
Факторгруппа
(математическая), группа , элементами которой являются некоторые совокупности элементов другой группы G, а именно: классы смежности G по нормальному делителю Н.
Википедия
Факторгруппа
Факторгруппа — множество смежных классов группы по её нормальной подгруппе , само являющееся группой с определённой специальным образом групповой операцией.
Факторгруппа группы G по нормальной подгруппе H обычно обозначается G/H.