normal subgroup
subgroup invariant under conjugation
core
largest normal subgroup that is contained in a given subgroup
characteristic subgroup
mathematical subgroup that is mapped to itself by every automorphism of the parent group
transitively normal subgroup
subgroup such that every normal subgroup of it is also normal in the whole group
conjugate closure
closure of the set of conjugate elements under the group operation