Hubbry Logo
logo
P-group avatar
P-group
Community hub

P-group

logo
0 subscribers
Read side by side
P-group
View on Wikipedia
from Wikipedia
Algebraic structure → Group theory
Group theory
Basic notions
Group homomorphisms
Finite groups
Classification of finite simple groups
Modular groups
  • PSL(2, )
  • SL(2, )
Topological and Lie groups
Infinite dimensional Lie group
  • O(∞)
  • SU(∞)
  • Sp(∞)
Algebraic groups

In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p.

Abelian p-groups are also called p-primary or simply primary.

A finite group is a p-group if and only if its order (the number of its elements) is a power of p. Given a finite group G, the Sylow theorems guarantee the existence of a subgroup of G of order pn for every prime power pn that divides the order of G.

Every finite p-group is nilpotent.

The remainder of this article deals with finite p-groups. For an example of an infinite abelian p-group, see Prüfer group, and for an example of an infinite simple p-group, see Tarski monster group.

Properties

[edit]

Every p-group is periodic since by definition every element has finite order.

If p is prime and G is a group of order pk, then G has a normal subgroup of order pm for every 1 ≤ m ≤ k. This follows by induction, using Cauchy's theorem and the Correspondence Theorem for groups. A proof sketch is as follows: because the center Z of G is non-trivial (see below), according to Cauchy's theorem Z has a subgroup H of order p. Being central in G, H is necessarily normal in G. We may now apply the inductive hypothesis to G/H, and the result follows from the Correspondence Theorem.

Non-trivial center

[edit]

One of the first standard results using the class equation is that the center of a non-trivial finite p-group cannot be the trivial subgroup.[1]

This forms the basis for many inductive methods in p-groups.

For instance, the normalizer N of a proper subgroup H of a finite p-group G properly contains H, because for any counterexample with H = N, the center Z is contained in N, and so also in H, but then there is a smaller example H/Z whose normalizer in G/Z is N/Z = H/Z, creating an infinite descent. As a corollary, every finite p-group is nilpotent.

In another direction, every normal subgroup N of a finite p-group intersects the center non-trivially as may be proved by considering the elements of N which are fixed when G acts on N by conjugation. Since every central subgroup is normal, it follows that every minimal normal subgroup of a finite p-group is central and has order p. Indeed, the socle of a finite p-group is the subgroup of the center consisting of the central elements of order p.

If G is a p-group, then so is G/Z, and so it too has a non-trivial center. The preimage in G of the center of G/Z is called the second center and these groups begin the upper central series. Generalizing the earlier comments about the socle, a finite p-group with order pn contains normal subgroups of order pi with 0 ≤ i ≤ n, and any normal subgroup of order pi is contained in the ith center Zi. If a normal subgroup is not contained in Zi, then its intersection with Zi+1 has size at least pi+1.

Automorphisms

[edit]

The automorphism groups of p-groups are well studied. Just as every finite p-group has a non-trivial center so that the inner automorphism group is a proper quotient of the group, every finite p-group has a non-trivial outer automorphism group. Every automorphism of G induces an automorphism on G/Φ(G), where Φ(G) is the Frattini subgroup of G. The quotient G/Φ(G) is an elementary abelian group and its automorphism group is a general linear group, so very well understood. The map from the automorphism group of G into this general linear group has been studied by Burnside, who showed that the kernel of this map is a p-group.

Examples

[edit]

p-groups of the same order are not necessarily isomorphic; for example, the cyclic group C4 and the Klein four-group V4 are both 2-groups of order 4, but they are not isomorphic.

Nor need a p-group be abelian; the dihedral group Dih4 of order 8 is a non-abelian 2-group. However, every group of order p2 is abelian.[note 1]

The dihedral groups are both very similar to and very dissimilar from the quaternion groups and the semidihedral groups. Together the dihedral, semidihedral, and quaternion groups form the 2-groups of maximal class, that is those groups of order 2n+1 and nilpotency class n.

Iterated wreath products

[edit]

The iterated wreath products of cyclic groups of order p are very important examples of p-groups. Denote the cyclic group of order p as W(1), and the wreath product of W(n) with W(1) as W(n + 1). Then W(n) is the Sylow p-subgroup of the symmetric group Sym(pn). Maximal p-subgroups of the general linear group GL(n,Q) are direct products of various W(n). It has order pk where k = (pn − 1)/(p − 1). It has nilpotency class pn−1, and its lower central series, upper central series, lower exponent-p central series, and upper exponent-p central series are equal. It is generated by its elements of order p, but its exponent is pn. The second such group, W(2), is also a p-group of maximal class, since it has order pp+1 and nilpotency class p, but is not a regular p-group. Since groups of order pp are always regular groups, it is also a minimal such example.

Generalized dihedral groups

[edit]

When p = 2 and n = 2, W(n) is the dihedral group of order 8, so in some sense W(n) provides an analogue for the dihedral group for all primes p when n = 2. However, for higher n the analogy becomes strained. There is a different family of examples that more closely mimics the dihedral groups of order 2n, but that requires a bit more setup. Let ζ denote a primitive pth root of unity in the complex numbers, let Z[ζ] be the ring of cyclotomic integers generated by it, and let P be the prime ideal generated by 1−ζ. Let G be a cyclic group of order p generated by an element z. Form the semidirect product E(p) of Z[ζ] and G where z acts as multiplication by ζ. The powers Pn are normal subgroups of E(p), and the example groups are E(p,n) = E(p)/Pn. E(p,n) has order pn+1 and nilpotency class n, so is a p-group of maximal class. When p = 2, E(2,n) is the dihedral group of order 2n. When p is odd, both W(2) and E(p,p) are irregular groups of maximal class and order pp+1, but are not isomorphic.

Unitriangular matrix groups

[edit]

The Sylow subgroups of general linear groups are another fundamental family of examples. Let V be a vector space of dimension n with basis { e1, e2, ..., en } and define Vi to be the vector space generated by { ei, ei+1, ..., en } for 1 ≤ i ≤ n, and define Vi = 0 when i > n. For each 1 ≤ m ≤ n, the set of invertible linear transformations of V which take each Vi to Vi+m form a subgroup of Aut(V) denoted Um. If V is a vector space over Z/pZ, then U1 is a Sylow p-subgroup of Aut(V) = GL(n, p), and the terms of its lower central series are just the Um. In terms of matrices, Um are those upper triangular matrices with 1s one the diagonal and 0s on the first m−1 superdiagonals. The group U1 has order pn·(n−1)/2, nilpotency class n, and exponent pk where k is the least integer at least as large as the base p logarithm of n.

Classification

[edit]

The groups of order pn for 0 ≤ n ≤ 4 were classified early in the history of group theory,[2] and modern work has extended these classifications to groups whose order divides p7, though the sheer number of families of such groups grows so quickly that further classifications along these lines are judged difficult for the human mind to comprehend.[3] For example, Marshall Hall Jr. and James K. Senior classified groups of order 2n for n ≤ 6 in 1964.[4]

Rather than classify the groups by order, Philip Hall proposed using a notion of isoclinism of groups which gathered finite p-groups into families based on large quotient and subgroups.[5]

An entirely different method classifies finite p-groups by their coclass, that is, the difference between their composition length and their nilpotency class. The so-called coclass conjectures described the set of all finite p-groups of fixed coclass as perturbations of finitely many pro-p groups. The coclass conjectures were proven in the 1980s using techniques related to Lie algebras and powerful p-groups.[6] The final proofs of the coclass theorems are due to A. Shalev and independently to C. R. Leedham-Green, both in 1994. They admit a classification of finite p-groups in directed coclass graphs consisting of only finitely many coclass trees whose (infinitely many) members are characterized by finitely many parametrized presentations.

Every group of order p5 is metabelian.[7]

Up to p3

[edit]

The trivial group is the only group of order one, and the cyclic group Cp is the only group of order p. There are exactly two groups of order p2, both abelian, namely Cp2 and Cp × Cp. For example, the cyclic group C4 and the Klein four-group V4 which is C2 × C2 are both 2-groups of order 4.

There are three abelian groups of order p3, namely Cp3, Cp2 × Cp, and Cp × Cp × Cp. There are also two non-abelian groups.

For p ≠ 2, one is a semi-direct product of Cp × Cp with Cp, and the other is a semi-direct product of Cp2 with Cp. The first one can be described in other terms as group UT(3,p) of unitriangular matrices over finite field with p elements, also called the Heisenberg group mod p.

For p = 2, both the semi-direct products mentioned above are isomorphic to the dihedral group Dih4 of order 8. The other non-abelian group of order 8 is the quaternion group Q8.

Prevalence

[edit]

Among groups

[edit]
Main article: Higman–Sims asymptotic formula

The Higman–Sims asymptotic formula states that the number of isomorphism classes of groups of order pn grows as , and these are dominated by the classes that are two-step nilpotent.[8] Because of this rapid growth, there is a folklore conjecture asserting that almost all finite groups are 2-groups: the fraction of isomorphism classes of 2-groups among isomorphism classes of groups of order at most n is thought to tend to 1 as n tends to infinity. For instance, of the 49 910 529 484 different groups of order at most 2000, 49487367289, or just over 99%, are 2-groups of order 1024.[9]

Within a group

[edit]

Every finite group whose order is divisible by p contains a subgroup which is a non-trivial p-group, namely a cyclic group of order p generated by an element of order p obtained from Cauchy's theorem. In fact, it contains a p-group of maximal possible order: if where p does not divide m, then G has a subgroup P of order called a Sylow p-subgroup. This subgroup need not be unique, but any subgroups of this order are conjugate, and any p-subgroup of G is contained in a Sylow p-subgroup. This and other properties are proved in the Sylow theorems.

Application to structure of a group

[edit]

p-groups are fundamental tools in understanding the structure of groups and in the classification of finite simple groups. p-groups arise both as subgroups and as quotient groups. As subgroups, for a given prime p one has the Sylow p-subgroups P (largest p-subgroup not unique but all conjugate) and the p-core (the unique largest normal p-subgroup), and various others. As quotients, the largest p-group quotient is the quotient of G by the p-residual subgroup These groups are related (for different primes), possess important properties such as the focal subgroup theorem, and allow one to determine many aspects of the structure of the group.

Local control

[edit]

Much of the structure of a finite group is carried in the structure of its so-called local subgroups, the normalizers of non-identity p-subgroups.[10]

The large elementary abelian subgroups of a finite group exert control over the group that was used in the proof of the Feit–Thompson theorem. Certain central extensions of elementary abelian groups called extraspecial groups help describe the structure of groups as acting on symplectic vector spaces.

Richard Brauer classified all groups whose Sylow 2-subgroups are the direct product of two cyclic groups of order 4, and John Walter, Daniel Gorenstein, Helmut Bender, Michio Suzuki, George Glauberman, and others classified those simple groups whose Sylow 2-subgroups were abelian, dihedral, semidihedral, or quaternion.

See also

[edit]

Footnotes

[edit]

References

[edit]

Further reading

[edit]
[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

P-group

View on Grokipedia
from Grokipedia
In group theory, a p-group (where p is a prime number) is a group in which the order of every element is a power of p.[1] This definition encompasses both finite and infinite groups, with infinite p-groups being those where all elements still satisfy this order condition despite the group's infinite cardinality.[2] For finite groups, the definition is equivalent to the group having order pn for some nonnegative integer n.[3] Finite p-groups are fundamental building blocks in the classification of finite groups, particularly through Sylow's theorems, which assert the existence and conjugacy of maximal p-subgroups (Sylow p-subgroups) in any finite group whose order is divisible by p.[3] Every nontrivial finite p-group possesses a nontrivial center Z(G), and in fact, it has normal subgroups of order pm for every m with 0 ≤ m ≤ n.[3] All finite p-groups are nilpotent, meaning their lower central series terminates in finitely many steps, and this nilpotency follows from the nontriviality of the center via induction.[3] The structure of finite p-groups becomes increasingly complex as n grows; for example, groups of order p2 are all abelian and isomorphic to either the cyclic group Cp2 or the direct product Cp × Cp, while higher orders admit non-abelian examples like the dihedral and quaternion groups for p=2.[3] Infinite p-groups, such as the Prüfer p-group (also known as the p∞-quasicyclic group), provide examples where every proper subgroup is finite and cyclic of p-power order, illustrating torsion structures without finite overall order.[4] The study of p-groups originated in the 19th century with contributions from mathematicians like Cauchy and Sylow, whose work on solvable groups and prime-power subgroups laid the groundwork for modern finite group theory.[3]

Definition and Fundamentals

Definition

In group theory, a p-group, where p is a prime number, is a group G (finite or infinite) in which the order of every element is a power of p.[5] For finite p-groups, this condition is equivalent to the order of G being pn for some nonnegative integer n.[5] A basic consequence is that the trivial group, whose sole element has order 1 = p0, qualifies as a p-group for every prime p and is the unique group of order 1.[5] More generally, groups where all element orders are powers of primes from a set π\pi are termed π\pi-groups, with the single-prime case corresponding to π={p}\pi = \{p\}.[5] The study of p-groups was advanced by Philip Hall in his 1928 work on solvable groups.[6]

Finite versus Infinite p-Groups

A finite p-group is a group whose order is exactly a power of a prime p, denoted as |G| = p^n for some nonnegative integer n.[7] In such groups, the Sylow p-subgroup coincides with the group itself and is therefore normal.[8] A defining property of finite p-groups is that they are nilpotent, meaning their lower central series terminates at the trivial subgroup after finitely many steps; this follows from the nontrivial center of any nontrivial p-group and induction on the order. In contrast, an infinite p-group is an infinite group in which the order of every element is a power of p. While some infinite p-groups are locally finite (every finitely generated subgroup is finite), others are not; for example, there exist finitely generated infinite p-groups. A canonical example is the Prüfer p-group, also known as the quasicyclic p-group or ℤ(p^∞), which is the p-primary component of the quotient group ℚ/ℤ and consists of all p-power roots of unity in the complex numbers under multiplication; it is countable and torsion, with every proper subgroup finite and cyclic.[9] All elements in any p-group, finite or infinite, have order a power of p, ensuring the group is periodic and torsion.[7] A key distinction arises in structural properties: while all finite p-groups are nilpotent, infinite p-groups need not be, though they share the periodic nature of p-groups. Infinite p-groups connect to the Burnside problem, particularly its restricted variant, where solutions show that finitely generated p-groups of bounded exponent p^k are finite, implying any infinite finitely generated p-group must have unbounded exponents.[10] This highlights how infinitude in p-groups often involves unbounded torsion orders, contrasting the controlled finite structure.[11]

Core Structural Properties

Non-Abelian Characteristics

A defining feature of non-abelian finite p-groups is that their center Z(G) is a proper, non-trivial subgroup, with |Z(G)| ≥ p.[12] This follows from the class equation for a finite group G of order p^n:
∣G∣=∣Z(G)∣+∑∣G:CG(gi)∣, |G| = |Z(G)| + \sum |G : C_G(g_i)|,
where the sum runs over representatives g_i of conjugacy classes outside the center, and each centralizer index |G : C_G(g_i)| is a power of p strictly greater than 1.[12] Since |G| is a power of p, the sum must also be a power of p, implying that |Z(G)| is divisible by p.[12] For non-abelian G, Z(G) ≠ G, so the center provides a non-trivial proper normal subgroup that captures the extent to which G fails to be abelian. The derived subgroup G' of a finite p-group G is contained in the Frattini subgroup Φ(G), the intersection of all maximal subgroups of G.[7] Moreover, Φ(G) is generated by G' and the subgroup G^p of p-th powers, so the quotient G/Φ(G) is an elementary abelian p-group—hence abelian of exponent p—and can be viewed as a vector space over the field \mathbb{F}_p.[7] The dimension of this vector space equals the minimal number of generators d(G) of G:
dim⁡Fp(G/Φ(G))=d(G). \dim_{\mathbb{F}_p} (G / \Phi(G)) = d(G).
[7] This structure highlights how non-abelian p-groups are built from their "linear" quotients modulo the Frattini, with commutators and p-th powers forming the "non-linear" kernel. All finite p-groups, including non-abelian ones, are nilpotent.[13] The nilpotency class, defined as the length of the lower central series minus one, is at most \log_p |G|.[14] This bound arises because the upper central series ascends through non-trivial extensions of order at least p at each step, reaching G in at most \log_p |G| steps.[14] In non-abelian cases, the class is at least 2 but remains controlled by the order, ensuring a finite distance from abelianness.

Automorphism Groups

The automorphism group Aut⁡(G)\operatorname{Aut}(G) of a pp-group GG consists of all isomorphisms from GG to itself, forming a group under composition. A key subgroup is the inner automorphism group Inn⁡(G)\operatorname{Inn}(G), which comprises conjugations by elements of GG and is isomorphic to G/Z(G)G/Z(G), where Z(G)Z(G) is the center of GG; since Z(G)Z(G) is nontrivial for non-trivial finite pp-groups, Inn⁡(G)\operatorname{Inn}(G) is itself a pp-group. The outer automorphism group is the quotient Out⁡(G)=Aut⁡(G)/Inn⁡(G)\operatorname{Out}(G) = \operatorname{Aut}(G)/\operatorname{Inn}(G), which encodes symmetries of GG modulo inner ones. For finite pp-groups, Aut⁡(G)\operatorname{Aut}(G) exhibits rich pp-power structure. Any such GG admits a faithful action of Aut⁡(G)\operatorname{Aut}(G) on the Frattini quotient G/Φ(G)≅(Z/pZ)d(G)G/\Phi(G) \cong (\mathbb{Z}/p\mathbb{Z})^{d(G)}, where Φ(G)\Phi(G) is the Frattini subgroup and d(G)d(G) is the minimal number of generators of GG; this implies that ∣Aut⁡(G)∣|\operatorname{Aut}(G)| is divisible by the pp-part of ∣GL⁡(d(G),p)∣|\operatorname{GL}(d(G), p)|, namely pd(G)(d(G)−1)/2p^{d(G)(d(G)-1)/2}. More strikingly, Helleloid and Martin proved that Aut⁡(G)\operatorname{Aut}(G) is itself a pp-group for almost all finite pp-groups of a given order pnp^n, in the sense that the proportion of such groups where this holds approaches 1 as n→∞n \to \infty.[15] A prominent exception occurs for elementary abelian pp-groups G≅(Z/pZ)nG \cong (\mathbb{Z}/p\mathbb{Z})^n, where Aut⁡(G)≅GL⁡(n,p)\operatorname{Aut}(G) \cong \operatorname{GL}(n, p), whose order includes factors coprime to pp. In fact, Aut⁡(G)≅GL⁡(n,p)\operatorname{Aut}(G) \cong \operatorname{GL}(n, p) if and only if GG is elementary abelian of order pnp^n.[16] Gaschütz established foundational results on outer automorphisms of finite pp-groups, proving that every such GG has nontrivial elements in Out⁡(G)\operatorname{Out}(G), and moreover, if GG is not cyclic of order pp, then Out⁡(G)\operatorname{Out}(G) contains an element of pp-power order. This implies the existence of outer pp-automorphisms, highlighting the pp-local nature of symmetries in these groups. Extensions by Schmid show that for nonabelian finite pp-groups, such outer automorphisms can act trivially on the center. Regarding automorphism towers—the iterative construction G0=GG_0 = G, Gi+1=Aut⁡(Gi)G_{i+1} = \operatorname{Aut}(G_i)—Gaschütz's insights contribute to understanding stabilization in nilpotent settings, though full resolution for soluble groups relies on later work by Zelmanov resolving the general tower problem affirmatively. For infinite pp-groups, the structure of Aut⁡(G)\operatorname{Aut}(G) varies widely; while Out⁡(G)\operatorname{Out}(G) is often infinite (e.g., for the Prüfer pp-group Z(p∞)\mathbb{Z}(p^\infty), Aut⁡(G)≅Zp×\operatorname{Aut}(G) \cong \mathbb{Z}_p^\times up to isomorphism, yielding infinite Out⁡(G)\operatorname{Out}(G) since GG is abelian), it can be finite in specific constructions. Notably, every group arises as Out⁡(H)\operatorname{Out}(H) for some locally finite pp-group HH, demonstrating the flexibility of outer symmetries even in infinite cases.[17]

Key Examples and Constructions

Abelian p-Groups

Abelian p-groups form a fundamental subclass of p-groups, consisting of those where the group operation is commutative. These groups play a crucial role in the structure theory of abelian groups and serve as building blocks for more general classifications, including their appearance as Sylow p-subgroups in finite groups.[18]

Finite Case

Finite abelian p-groups admit a complete classification via the fundamental theorem of finite abelian groups, which specializes to the p-primary component. Specifically, every finite abelian p-group G is isomorphic to a direct sum of cyclic groups of p-power order:
G≅⨁i=1rZ/pkiZ, G \cong \bigoplus_{i=1}^r \mathbb{Z}/p^{k_i}\mathbb{Z},
where $ k_1 \geq k_2 \geq \cdots \geq k_r > 0 $. This decomposition into elementary divisors is unique up to isomorphism, with the multiset {k1,…,kr}\{k_1, \dots, k_r\} serving as a complete set of invariants.[18] An alternative presentation uses invariant factors, where G decomposes as a direct sum Z/pm1Z⊕⋯⊕Z/pmsZ\mathbb{Z}/p^{m_1}\mathbb{Z} \oplus \cdots \oplus \mathbb{Z}/p^{m_s}\mathbb{Z} with $ m_1 \mid m_2 \mid \cdots \mid m_s $. The order of G satisfies $ |G| = p^{\sum_{i=1}^r k_i} $, reflecting the total exponent sum in the elementary divisor form.[18] A key property is the exponent of G, defined as the least common multiple of the orders of its elements, which equals $ p^{\max{k_i}} $ in the elementary divisor decomposition.[18]

Infinite Case

Infinite abelian p-groups exhibit greater diversity and lack a simple finite-type classification, but they can often be expressed as direct sums or direct products of cyclic p-groups. A canonical example is the Prüfer p-group Z(p∞)\mathbb{Z}(p^\infty), which is the direct limit of the system Z/pnZ\mathbb{Z}/p^n\mathbb{Z} for $ n \geq 1 $ and serves as the injective hull of Z/pZ\mathbb{Z}/p\mathbb{Z} in the category of abelian groups.[19] For countable torsion abelian p-groups, Ulm's theorem provides a classification using Ulm invariants $ f_\alpha(G) $ for ordinals α\alpha, where $ f_\alpha(G) $ counts the dimension of the α\alpha-th Ulm factor, determining the isomorphism type uniquely.[20] In general, all abelian p-groups—finite or infinite—are precisely the torsion modules over the ring Zp\mathbb{Z}_p of p-adic integers.[19] The exponent remains well-defined as the lcm of element orders, though it may be infinite.[19]

Non-Abelian Examples

Non-abelian p-groups provide essential examples that highlight the departure from commutativity in p-group structures, often arising as semidirect products or matrix groups with non-trivial centers. These groups illustrate key properties such as extraspecial structures and varying exponents, which are central to understanding the diversity of p-groups beyond the abelian case.[21] A fundamental example for p=2 is the dihedral group of order 2n2^n, denoted D2nD_{2^n}, which consists of symmetries of a regular 2n−12^{n-1}-gon. It has the presentation ⟨r,s∣r2n−1=s2=1,srs−1=r−1⟩\langle r, s \mid r^{2^{n-1}} = s^2 = 1, srs^{-1} = r^{-1} \rangle, where r generates rotations and s a reflection, yielding a non-abelian group of order 2n2^n with a cyclic subgroup of index 2.[22] This construction extends the classical dihedral group and demonstrates how inversion actions produce non-commutativity in 2-groups.[23] Another prominent 2-group is the quaternion group Q8Q_8 of order 8, with presentation ⟨x,y∣x4=1,x2=y2,yxy−1=x−1⟩\langle x, y \mid x^4 = 1, x^2 = y^2, yxy^{-1} = x^{-1} \rangle. Here, the center is {1,x2}\{1, x^2\}, and all non-central elements have order 4, distinguishing it from other non-abelian groups of order 8.[24] This group exemplifies an extraspecial 2-group, where the center and derived subgroup coincide and have order 2.[7] For odd primes p, the Heisenberg group modulo p, also known as the extraspecial group of exponent p and order p3p^3, can be realized as the group of upper triangular 3×3 matrices over the finite field Fp\mathbb{F}_p with 1s on the diagonal. Elements are of the form
(1ac01b001), \begin{pmatrix} 1 & a & c \\ 0 & 1 & b \\ 0 & 0 & 1 \end{pmatrix},
with multiplication yielding order p3p^3, a center of order p, and quotient by the center isomorphic to (Z/pZ)2(\mathbb{Z}/p\mathbb{Z})^2.[25] This nilpotent group has non-trivial center and captures Heisenberg-like commutation relations in finite settings.[26] In general, all non-abelian groups of order p3p^3 fall into two isomorphism classes: the Heisenberg group of exponent p, and for odd p, a semidirect product Z/p2Z⋊Z/pZ\mathbb{Z}/p^2\mathbb{Z} \rtimes \mathbb{Z}/p\mathbb{Z} of exponent p2p^2, where the action is multiplication by 1+p1+p. For p=2, the non-abelian groups of order 8 are the dihedral group D8D_8 and Q8Q_8. These classifications underscore the limited but distinct non-abelian structures at this order.[21] A broader construction for p=2 is the generalized dihedral group over an abelian 2-group A, formed as the semidirect product A⋊Z/2ZA \rtimes \mathbb{Z}/2\mathbb{Z} where Z/2Z\mathbb{Z}/2\mathbb{Z} acts by inversion on A. This yields a non-abelian 2-group with A as a normal subgroup of index 2, generalizing the classical dihedral case when A is cyclic. In these examples, non-trivial centers often arise from the kernel of the action, contributing to their nilpotency.[27]

Advanced Constructions

One prominent construction of finite p-groups involves wreath products, particularly iterated ones. The regular wreath product $ \mathbb{Z}_p \wr \mathbb{Z}_p $ consists of a base group isomorphic to $ (\mathbb{Z}_p)^p $ acted upon by a cyclic group of order p, yielding a group of order $ p^{p+1} $.[28] Iterating this process—forming higher wreath powers such as $ \mathbb{Z}_p \wr (\mathbb{Z}_p \wr \mathbb{Z}_p) $ and continuing—produces p-groups of exponentially growing order and increasing nilpotency class. These iterated wreath products demonstrate that p-groups exist with arbitrarily large nilpotency class, as starting from a p-group of class at most p and iterating yields groups of unbounded class.[29] Another key construction arises from linear algebra over finite fields. The group UT(n, p) of n × n unitriangular matrices over the field $ \mathbb{F}_p $ (with 1s on the diagonal and entries above the diagonal in $ \mathbb{F}_p $) forms a p-group of order $ p^{n(n-1)/2} $, as the superdiagonal and above provide that many independent entries. This group is nilpotent of class exactly n-1, with the lower central series corresponding to the levels of superdiagonals.[30] Extraspecial p-groups provide a canonical family of non-abelian p-groups with controlled structure. An extraspecial p-group G is a non-abelian p-group such that its center Z(G), derived subgroup G', and Frattini subgroup Φ(G) all coincide and have order p, while G/Z(G) is elementary abelian of even rank 2m, giving |G| = p^{2m+1}. For odd p, there are two non-isomorphic extraspecial p-groups of each order p^{2m+1} (m ≥ 1): one of exponent p (the Heisenberg type) and one of exponent p^2 (the semidirect product type). Each family can be realized as central products of the corresponding basic extraspecial group of order p^3, where the Heisenberg group of order p^3 serves as the basic building block for the exponent-p family, and larger groups in each family are obtained by amalgamating centers in a controlled manner. For p=2, the classification involves central products incorporating dihedral and quaternion factors of order 8.[26][31] For infinite p-groups, constructions addressing the Burnside problem yield significant examples. The Golod-Shafarevich theorem provides a criterion for the infinitude of pro-p groups via inequalities on relations in presentations, enabling the explicit construction of infinite discrete p-groups generated by d ≥ 2 elements where every element has order a power of p (p-torsion). For every prime p and d ≥ 2, such an infinite d-generated p-torsion group exists, often realized as quotients of free groups satisfying the Golod-Shafarevich inequality. These groups highlight the existence of infinite p-groups with bounded exponent, contrasting with finite cases.[32]

Classification Results

Small Order Classifications

The classification of p-groups begins with the smallest orders, providing foundational examples that illustrate both abelian and non-abelian structures. For order $ p $, where $ p $ is prime, there is only one group up to isomorphism: the cyclic group $ \mathbb{Z}/p\mathbb{Z} $, generated by any non-identity element, with presentation $ \langle x \mid x^p = 1 \rangle $.[33] This group is elementary abelian, has exponent $ p $, and nilpotency class 1. For order $ p^2 $, there are exactly two groups up to isomorphism, both abelian by the fundamental theorem of finite abelian groups. These are the cyclic group $ \mathbb{Z}/p^2\mathbb{Z} $, with presentation $ \langle x \mid x^{p^2} = 1 \rangle $ and exponent $ p^2 $, and the elementary abelian group $ \mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/p\mathbb{Z} $, with presentation $ \langle x, y \mid x^p = y^p = 1, , xy = yx \rangle $ and exponent $ p $. Both have nilpotency class 1.[34] For order $ p^3 $, there are five groups up to isomorphism, comprising three abelian and two non-abelian cases; this count holds for odd primes $ p $, while the non-abelian groups differ slightly for $ p = 2 $. The abelian groups follow from the fundamental theorem: $ \mathbb{Z}/p^3\mathbb{Z} $ (exponent $ p^3 $), $ \mathbb{Z}/p^2\mathbb{Z} \times \mathbb{Z}/p\mathbb{Z} $ (exponent $ p^2 $), and $ (\mathbb{Z}/p\mathbb{Z})^3 $ (exponent $ p $), all with nilpotency class 1.[34] The non-abelian groups are extraspecial p-groups of order $ p^3 $, each with center and derived subgroup of order $ p $, quotient by the center isomorphic to $ (\mathbb{Z}/p\mathbb{Z})^2 $, and nilpotency class 2. For odd $ p $, one is the Heisenberg group modulo $ p $ (also called the extraspecial group of exponent $ p $), with presentation $ \langle x, y \mid x^p = y^p = [x,y]^p = 1, , [[x,y],x] = [[x,y],y] = 1 \rangle $ and exponent $ p $; the other is the semidirect product $ \mathbb{Z}/p\mathbb{Z} \rtimes \mathbb{Z}/p^2\mathbb{Z} $, with presentation $ \langle x, y \mid x^p = 1, , y^{p^2} = 1, , yxy^{-1} = x^{1+p} \rangle $ and exponent $ p^2 $. For $ p = 2 $ (order 8), the non-abelian groups are the dihedral group $ D_4 $ of order 8, with presentation $ \langle x, y \mid x^4 = y^2 = 1, , yxy^{-1} = x^{-1} \rangle $ and exponent 4, and the quaternion group $ Q_8 $, with presentation $ \langle x, y \mid x^4 = 1, , x^2 = y^2, , yxy^{-1} = x^{-1} \rangle $ and exponent 4.[21] The following table summarizes the groups of order $ p^3 $, including presentations and key properties:
GroupPresentationExponentNilpotency ClassNotes
$ \mathbb{Z}/p^3\mathbb{Z} $$ \langle x \mid x^{p^3} = 1 \rangle $$ p^3 $1Abelian, cyclic
$ \mathbb{Z}/p^2\mathbb{Z} \times \mathbb{Z}/p\mathbb{Z} $$ \langle x, y \mid x^{p^2} = y^p = 1, , xy = yx \rangle $$ p^2 $1Abelian
$ (\mathbb{Z}/p\mathbb{Z})^3 $$ \langle x, y, z \mid x^p = y^p = z^p = 1, , [x,y] = [x,z] = [y,z] = 1 \rangle $$ p $1Abelian, elementary
Heisenberg mod $ p $ (odd $ p $)$ \langle x, y \mid x^p = y^p = [x,y]^p = 1, , [[x,y],x] = [[x,y],y] = 1 \rangle $$ p $2Non-abelian, extraspecial
$ \mathbb{Z}/p\mathbb{Z} \rtimes \mathbb{Z}/p^2\mathbb{Z} $ (odd $ p $)$ \langle x, y \mid x^p = y^{p^2} = 1, , yxy^{-1} = x^{1+p} \rangle $$ p^2 $2Non-abelian
$ D_4 $ ($ p=2 $)$ \langle x, y \mid x^4 = y^2 = 1, , yxy^{-1} = x^{-1} \rangle $42Non-abelian, dihedral
$ Q_8 $ ($ p=2 $)$ \langle x, y \mid x^4 = 1, , x^2 = y^2, , yxy^{-1} = x^{-1} \rangle $42Non-abelian, quaternion
These groups of small order exemplify the rapid growth in the number of p-groups: there are 2 of order $ p^2 $ and 5 of order $ p^3 $, with the count increasing dramatically for larger exponents.[35]

Generation and Basis Theorems

The Frattini subgroup Φ(G)\Phi(G) of a finite pp-group GG is defined as the intersection of all maximal subgroups of GG.[7] In pp-groups, Φ(G)\Phi(G) is generated by all commutators [x,y][x, y] for x,y∈Gx, y \in G and all pp-th powers xpx^p for x∈Gx \in G.[7] Moreover, the quotient G/Φ(G)G / \Phi(G) is an elementary abelian pp-group, meaning it is isomorphic to a vector space over the field Fp\mathbb{F}_p with no further relations beyond those of abelian pp-groups of exponent pp.[7] The Burnside Basis Theorem provides a fundamental characterization of generating sets for finite pp-groups in terms of this quotient. Specifically, a subset X⊆GX \subseteq G generates GG if and only if the image of XX in G/Φ(G)G / \Phi(G) generates G/Φ(G)G / \Phi(G).[7] This equivalence implies that the minimal number of generators d(G)d(G) required for GG equals the dimension of the vector space G/Φ(G)G / \Phi(G) over Fp\mathbb{F}_p.[7] Consequently, for a finite pp-group GG, the order of the Frattini quotient satisfies ∣G/Φ(G)∣=pd(G)|G / \Phi(G)| = p^{d(G)}, where d(G)d(G) is the smallest size of a generating set for GG.[7] This structure ensures that every finite pp-group GG of order ∣G∣=pn|G| = p^n can be generated by at most d(G)≤nd(G) \leq n elements, since d(G)=log⁡p∣G/Φ(G)∣≤log⁡p∣G∣d(G) = \log_p |G / \Phi(G)| \leq \log_p |G|.[7] Coclass theory further leverages these generation properties to classify pp-groups. The coclass of a finite pp-group GG of order pnp^n and nilpotency class cc is defined as n−cn - c. For fixed prime pp and fixed coclass rr, there are only finitely many isomorphism types of finite pp-groups of coclass rr, as established by the resolved coclass conjectures. This finiteness arises from the bounded growth in the coclass graphs G(p,r)G(p, r), which organize pp-groups by their relations to pro-pp completions. Automorphisms of GG induce linear transformations on the vector space G/Φ(G)G / \Phi(G).[7]

Prevalence in Group Theory

Enumeration of p-Groups

The enumeration of p-groups focuses on determining the number of isomorphism classes of groups of order pnp^n, denoted g(n,p)g(n,p), for a fixed prime pp and positive integer nn. For small values of nn, these numbers are well-established: g(1,p)=1g(1,p) = 1 (the trivial group), g(2,p)=2g(2,p) = 2 (cyclic and elementary abelian), g(3,p)=5g(3,p) = 5 (three abelian and two non-abelian), and for odd pp, g(4,p)=15g(4,p) = 15 (five abelian and ten non-abelian).[21][36] As nn increases, g(n,p)g(n,p) grows rapidly, with the asymptotic behavior given by Higman's theorem: log⁡g(n,p)∼227n3log⁡p\log g(n,p) \sim \frac{2}{27} n^3 \log p, reflecting a deep connection to the enumeration of restricted integer partitions via the structure of p-group presentations.[37] This formula highlights the exponential proliferation of p-group structures, far outpacing the number of groups of composite orders. Computationally, the GAP system's SmallGroups library provides complete enumerations of all groups of order pnp^n up to n=6n=6 for all primes pp, with extensions to higher nn for small primes (e.g., up to n=9n=9 for p=2p=2 and n=7n=7 for p=3p=3), enabling explicit study and verification of these counts. For instance, g(9,2)=10,494,213g(9,2) = 10{,}494{,}213, illustrating the scale for even modest nn. Although p-groups constitute a minuscule proportion of all finite groups of a given order mm when mm has multiple prime factors—since the total number of groups of order mm grows much more slowly overall—they entirely dominate when m=pnm = p^n, comprising 100% of such groups by definition.[38] Historically, early enumerations were advanced by M. F. Newman in the 1960s through systematic use of power commutator presentations, laying groundwork for computational methods; more recent progress leverages coclass theory to classify and count infinite families of p-groups with bounded nilpotency class relative to order, facilitating enumerations beyond brute force for larger nn.[39][40]

Role in Sylow Theory

In the study of finite groups, p-groups emerge prominently as Sylow p-subgroups, which capture the maximal p-power structure within an arbitrary finite group G. Sylow's theorems, established in the late 19th century, assert that for any prime p dividing the order of G, there exists a subgroup P of G with order p^k, where p^k is the highest power of p dividing |G|, and such subgroups are precisely the maximal p-subgroups of G. All Sylow p-subgroups of G are conjugate to one another, and the number n_p of these subgroups satisfies n_p ≡ 1 (mod p) while dividing |G|/p^k. Every finite group G admits Sylow p-subgroups for each prime p dividing |G|, and these subgroups are p-groups by definition, embodying the full p-primary component of G's order. If n_p = 1, the unique Sylow p-subgroup P is normal in G, denoted P ⊴ G. In cases where all Sylow subgroups of G are normal, G decomposes as the direct product of its Sylow p-subgroups, each of which is a p-group and hence solvable; this direct product structure ensures G itself is solvable. More broadly, p-groups contribute to detecting solvability in G via composition factors, as the only simple p-groups are cyclic groups of prime order. The conjugation action of elements of G on a Sylow p-subgroup P induces fusion, whereby conjugates of elements or subgroups of P are determined by the action of G, effectively controlled by automorphisms induced from G. This fusion mechanism highlights how the global structure of G governs local p-subgroup behavior through the normalizer N_G(P). Alperin's fusion theorem provides a deeper connection, asserting that the fusion of p-subgroups within G is fully realized by morphisms arising from a collection of local subgroups, thereby linking subgroup automorphisms to the overall automorphism group of G.[41]

Applications to Group Structure

Local Subgroup Control

In finite groups, the local-global principle manifests through the structure of p-local subgroups, which are the normalizers NG(R)N_G(R) of nontrivial p-subgroups RR of GG. A key result is Frobenius' theorem on normal p-complements: if every p-local subgroup of GG is p-nilpotent (i.e., possesses a normal p-complement), then GG itself is p-nilpotent.[42] This principle extends to broader properties, such as solvability or nilpotency, where uniform behavior across all p-local subgroups—for primes pp dividing ∣G∣|G|—implies the corresponding global property holds for GG. For instance, in the context of nilpotent or solvable groups, the formation and embedding of these p-local subgroups determine whether GG admits a Hall π\pi-subgroup for any set of primes π\pi, linking local p-structure to global decomposability.[42] Control by normality plays a central role when the p'-residual Op′(G)=GO^{p'}(G) = G, meaning GG has no nontrivial normal p-quotient and thus lacks a normal p-complement. In this case, the p-local structure of GG is dictated by its Sylow p-subgroups, as the absence of a normal p-subgroup forces the analysis of p-subgroup conjugacy and normalizers to reveal the full local formation. Specifically, the primitive pairs formed by p-local subgroups—pairs (M1,M2)(M_1, M_2) where each is the normalizer of a characteristic subgroup of the intersection—embed into GG and characterize its p-structure via Sylow interactions.[42] Wielandt's contributions emphasize how p-subgroups govern the p-radical Op(G)O_p(G), the largest normal p-subgroup of GG. Through methods involving subnormal subgroups and their normalizers, Wielandt showed that the intersection of all Sylow p-subgroups yields Op(G)O_p(G), and properties like p-stability in local subgroups propagate to control this radical globally. In particular, if p-subgroups exhibit quadratic action on chief factors or satisfy stability conditions in their normalizers, Op(G)O_p(G) is precisely determined by these local behaviors, ensuring the p-radical captures the nilpotent p-core without extraneous elements.[42] In p-solvable finite groups, the normalizer NG(P)N_G(P) of a Sylow p-subgroup PP controls p-fusion, meaning that conjugacy classes of p-subgroups in GG are realized entirely within NG(P)N_G(P). This control arises from the solvable layer structure, where chief factors alternate between p- and p'-groups, allowing fusion maps induced by NG(P)N_G(P) to fully account for G-conjugacy without external influences. Alperin's fusion theorem reinforces this, confirming that NG(P)N_G(P) dictates the fusion system on PP.[42] The Gaschütz transfer theorem provides a cohomological link to such control mechanisms, relating the first cohomology group H1(NG(P),P)H^1(N_G(P), P) to the transfer homomorphism τ:NG(P)/P→P\tau: N_G(P)/P \to P. Specifically, the image of the transfer coincides with the subgroup generated by p'-elements in the focal subgroup of PP, and the vanishing of H1(NG(P),P)H^1(N_G(P), P) (or related extensions) implies that NG(P)N_G(P) fully controls transfers and thus fusion in GG. This cohomological perspective quantifies when local normality extends to global splitting, as seen in complements for abelian normal subgroups.[42]

Implications for Solvability

Finite p-groups play a fundamental role in determining the solvability of finite groups, as every finite p-group is nilpotent and hence solvable.[13] This nilpotency follows from the existence of a nontrivial center in every nontrivial finite p-group, allowing an inductive construction of the upper central series that reaches the whole group.[13] Consequently, the composition series of a finite p-group consists entirely of cyclic factors of order p, contributing solely p-group quotients to any larger group's structure. In a solvable finite group G, the composition factors are precisely the cyclic groups of prime order, ensuring that the p-parts of these factors arise from subquotients involving Sylow p-subgroups.[43] The p-length of G, defined as the minimal number of steps in a normal series where each factor is either a p-group or of order coprime to p, is thus constrained by the structure and conjugacy properties of its Sylow p-subgroups; for instance, if a Sylow p-subgroup is normal, the p-length is at most 1.[44] Solvability guarantees the existence of Hall π-subgroups for any set of primes π dividing |G|, and when π = {p}, these coincide with the Sylow p-subgroups, which are thus Hall subgroups of order the highest power of p dividing |G|.[45] A key result linking p-groups to global solvability is Burnside's normal p-complement theorem, which states that if P is a Sylow p-subgroup of a finite group G such that P lies in the center of its normalizer N_G(P), then G possesses a normal subgroup N of order coprime to p with G = P N and P ∩ N = {1}.[46] This theorem implies the existence of a normal p-complement under the given local condition on the Sylow p-subgroup. More broadly, a finite group is solvable if and only if it admits a p-complement for every prime p dividing its order, highlighting how the embeddability and complementarity of p-groups detect solvability.[45] Unsolvability can often be detected through the failure of such complements involving p-groups; for example, in the alternating group A_5, which is simple and thus unsolvable, the Sylow 2-subgroup is the Klein four-group V_4, but A_5 has no normal 2-complement, as any such complement would be a normal subgroup of index 4, contradicting simplicity.[47] Similarly, the Sylow 3- and 5-subgroups lack normal complements. In p-solvable groups, local control by p-groups further refines these implications, allowing series with controlled p-factors.[48]

References

  1. [PDF] Group Theory - The University of Memphis
  2. [PDF] group actions on sets - Northwestern Math Department
  3. None
  4. [PDF] Group Theory - Holden Lee
  5. p-Group -- from Wolfram MathWorld
  6. Philip Hall (1904 - 1982) - Biography - MacTutor
  7. [PDF] The Theory of p-Groups
  8. [PDF] p-Groups
  9. [PDF] arXiv:0906.4891v1 [math.GR] 26 Jun 2009
  10. [PDF] arXiv:1603.04337v1 [math.CO] 14 Mar 2016
  11. [PDF] arXiv:2403.13715v1 [math.GR] 20 Mar 2024
  12. [PDF] arXiv:2004.04610v1 [math.GR] 9 Apr 2020
  13. [PDF] SOLVABLE AND NILPOTENT GROUPS
  14. The automorphism group of a finite p-group is almost always a p-group
  15. [PDF] General Linear Groups as Automorphism Groups 1 Introduction
  16. Outer automorphisms of locally finite p-groups - ScienceDirect
  17. [PDF] classification of finite abelian groups - Columbia Math Department
  18. [PDF] infinite abelian groups
  19. Zur Theorie der abzählbar-unendlichen Abelschen Gruppen
  20. [PDF] GROUPS OF ORDER p3 1. Introduction For each prime p, we will ...
  21. [PDF] dihedral groups - keith conrad
  22. [PDF] Dihedral Groups
  23. [PDF] Generalized quaternions - Keith Conrad
  24. [PDF] Element orders in extraspecial groups - arXiv
  25. [PDF] A structure theorem for product sets in extra special groups
  26. [PDF] arXiv:2308.14209v4 [math.GR] 19 Feb 2025
  27. The Wreath Product of Powerful p-Groups - MDPI
  28. [PDF] arXiv:2010.14790v1 [math.NT] 28 Oct 2020
  29. [PDF] A Closer Look at the Multilinear Cryptography using Nilpotent Groups
  30. [PDF] Semi-extraspecial Groups - arXiv
  31. [PDF] golod-shafarevich groups: a survey - GitHub Pages
  32. [PDF] When are all groups of order n cyclic? - Keith Conrad
  33. https://kconrad.math.uconn.edu/blurbs/grouptheory/finite-abelian.pdf
  34. [PDF] 2.6 Groups of Small Order
  35. [1611.00461] Groups of order $p^4$ made less difficult - arXiv
  36. [PDF] Counting p-groups and nilpotent groups - Numdam
  37. Enumerating p-Groups | Journal of the Australian Mathematical ...
  38. ENUMERATING p -GROUPS - BETTINA EICK and EA O'BRIEN
  39. Groups of prime-power order - SpringerLink
  40. [PDF] Sylow Intersections and Fusion - UChicago Math
  41. None
  42. [PDF] Theorem II.8.4.
  43. A note on groups of p-length 1∗ - ScienceDirect
  44. [PDF] Hall's theorems on solvable groups
  45. [PDF] Theory of Groups of Finite Order - Project Gutenberg
  46. [PDF] Problems - UChicago Math
  47. The powerful class of Sylow subgroups of finite groups
User Avatar
No comments yet.