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 P with Abelian subgroups A,B of maximum order such that A is not isomorphic to B.

Proof

Example of the dihedral group

Further information: dihedral group:D8

Let P be the dihedral group of order eight, specifically:

P=a,xa4=x2=e,xax1=a1.

P has three Abelian subgroups of maximum order (i.e., order four): the cyclic subgroup A generated by a, and the following two Klein-four groups: the group B=a2,x, and the group C=a2,ax. A is not isomorphic to either B or C.