делитель нормальный

Матем. normal subgroup