Abelian subgroups of maximum order need not be isomorphic

From Groupprops

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 .