Пусть $H$ — нормальная подгруппа группы $G$. Группа, построенная в предыдущей задаче, называется фактор-группой. Обозначение: $G/H$.