Classification of finite p-groups of rank one
From Groupprops
This article gives a classification statement for certain kinds of groups of prime power order, subject to additional constraints.
View other such statements
Statement
Let be a prime, and let be a finite -group (a group whose order is a power of ), such that has rank at most one: in other words, every Abelian subgroup of is cyclic. Then:
- If is odd, then must be cyclic
- If , then is either cyclic or is a generalized quaternion group
Facts used
- Classification of finite p-groups of normal rank one: For an odd prime , any finite -group of normal rank one is cyclic. For , it is either cyclic or dihedral or generalized quaternion, or a semidirect product of a cyclic maximal subgroup with a two-element subgroup acting via multiplication by where the order of the group is .
Proof
If is a finite -group of rank one, then it in particular has normal rank one. Thus, fact (1) applies, and we get:
- For odd primes , we have the result.
- For , we have the cyclic and generalized quaternion groups, as well as two other kinds of groups. Both these other kinds of groups, however, possess elements of order two outside the center, and the subgroups generated by these elements and the center are Abelian and not cyclic. Thus, the cyclic and generalized quaternion groups are the only groups left.
References
Textbook references
- Finite Groups by Daniel Gorenstein, ISBN 0821843427, ^{More info}, Page 199, Theorem 4.10(ii), Section 5.4 (-automorphisms of -groups)