# p-group

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

*p*copies of

^{n}*g*, and not fewer, is equal to the identity element. The orders of different elements may be different powers of

*p*.

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 *p ^{n}* for every prime power

*p*that divides the order of

^{n}*G*.

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.

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

If *p* is prime and *G* is a group of order *p*^{k}, then *G* has a normal subgroup of order *p*^{m} 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.

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]}

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 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 *p ^{n}* contains normal subgroups of order

*p*with 0 ≤

^{i}*i*≤

*n*, and any normal subgroup of order

*p*is contained in the

^{i}*i*th center

*Z*

_{i}. If a normal subgroup is not contained in

*Z*

_{i}, then its intersection with

*Z*

_{i+1}has size at least

*p*

^{i+1}.

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.

*p*-groups of the same order are not necessarily isomorphic; for example, the cyclic group *C*_{4} and the Klein four-group *V*_{4} are both 2-groups of order 4, but they are not isomorphic.

Nor need a *p*-group be abelian; the dihedral group Dih_{4} of order 8 is a non-abelian 2-group. However, every group of order *p*^{2} 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 2^{n+1} and nilpotency class *n*.

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(*p*^{n}). Maximal *p*-subgroups of the general linear group GL(*n*,**Q**) are direct products of various *W*(*n*). It has order *p*^{k} where *k* = (*p*^{n} − 1)/(*p* − 1). It has nilpotency class *p*^{n−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 *p*^{n}. The second such group, *W*(2), is also a *p*-group of maximal class, since it has order *p*^{p+1} and nilpotency class *p*, but is not a regular *p*-group. Since groups of order *p*^{p} are always regular groups, it is also a minimal such example.

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 2^{n}, but that requires a bit more setup. Let ζ denote a primitive *p*th 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 *P*^{n} are normal subgroups of *E*(*p*), and the example groups are *E*(*p*,*n*) = *E*(*p*)/*P*^{n}. *E*(*p*,*n*) has order *p*^{n+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 2^{n}. When *p* is odd, both *W*(2) and *E*(*p*,*p*) are irregular groups of maximal class and order *p*^{p+1}, but are not isomorphic.

The groups of order *p*^{n} 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 *p*^{7}, 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 2^{n} 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.

The trivial group is the only group of order one, and the cyclic group *C*_{p} is the only group of order *p*. There are exactly two groups of order *p*^{2}, both abelian, namely *C*_{p2} and *C*_{p} × *C*_{p}. For example, the cyclic group *C*_{4} and the Klein four-group *V*_{4} which is *C*_{2} × *C*_{2} are both 2-groups of order 4.

There are three abelian groups of order *p*^{3}, namely *C*_{p3}, *C*_{p2}×*C*_{p}, and *C*_{p}×*C*_{p}×*C*_{p}. There are also two non-abelian groups.

For *p* ≠ 2, one is a semi-direct product of *C*_{p}×*C*_{p} with *C*_{p}, and the other is a semi-direct product of *C*_{p2} with *C*_{p}. 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 Dih_{4} of order 8. The other non-abelian group of order 8 is the quaternion group *Q*_{8}.

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.