Abelian subgroups of maximum order need not be isomorphic

From Groupprops
Revision as of 18:09, 7 February 2009 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 .