A conjugate subgroup of a subgroup 
of a group 
is the subgroup 
, where 
is any group element of 
. If 
for all 
, then 
is a normal subgroup (also
called "self-conjugate" or "invariant").
All subgroups of an Abelian group are normal subgroups.
