Quotient group acts on abelian normal subgroup
given as follows:
where is conjugation by in .
The action is faithful if and only if is also a self-centralizing subgroup.
We need to be normal for the conjugation action to define an automorphism of , and we need to be Abelian for the map to be well-defined and independent of the choice of the coset representative.