Abelian not implies contained in abelian subgroup of maximum order
Statement
It is possible to have a group of prime power order with an abelian subgroup such that is not contained in any Abelian subgroup of maximum order (?) in .
Proof
Example of a dihedral group
Further information: dihedral group:D16
Consider the dihedral group of order , specifically:
.
This has an Abelian subgroup of order eight: the cyclic subgroup generated by . Consider now the cyclic subgroup given as:
.
is a subgroup of order four.
Clearly, is self-centralizing in : . Thus, is not contained in a bigger Abelian subgroup, and hence is not contained in an Abelian subgroup of maximum order.