Dedekind group
group such that every its subgroup is normal
abelian group
group whose group operation is commutative
Hamiltonian group
non-abelian Dedekind group
norm
in group theory, characteristic intersection of the normalizers of all its subgroups