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