Maximal among abelian normal implies self-centralizing

There are two formulations of this result:


 * In a supersolvable group: maximal among abelian normal implies self-centralizing in supersolvable
 * In a nilpotent group: maximal among abelian normal implies self-centralizing in nilpotent