Classification of finite p-groups of rank one
This article gives a classification statement for certain kinds of groups of prime power order, subject to additional constraints.
View other such statements
- If is odd, then must be cyclic
- If , then is either cyclic or is a generalized quaternion group
- 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 .
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.