Abelian subgroups of maximum order need not be isomorphic
Statement
It is possible to have a group of prime power order with Abelian subgroups of maximum order such that is not isomorphic to .
Proof
Example of the dihedral group
Further information: dihedral group:D8
Let be the dihedral group of order eight, specifically:
.
has three Abelian subgroups of maximum order (i.e., order four): the cyclic subgroup generated by , and the following two Klein-four groups: the group , and the group . is not isomorphic to either or .