Let be a subgroup of a group . The similarity transformation of by a fixed element in not in always gives a subgroup. If
for every element in , then is said to be a normal subgroup of , written . Normal subgroups are also known as invariant subgroups or self-conjugate subgroup.
All subgroups of Abelian groups are normal