Факторгруппа (математична), група, елементами якої є деякі сукупності елементів іншої групи G, а саме: класи суміжності G по нормальному дільникові Н.
