normal subgroup

subgroup invariant under conjugation

Categories: