Факторгру'ппа (математическая), группа , элементами которой являются некоторые совокупности элементов другой группы G, а именно: классы смежности G по нормальному делителю Н.