Nilpotent group

The definition uses the idea of a central series for a group. The following are equivalent definitions for a nilpotent group G:

• G has a central series of finite length. That is, a series of normal subgroups

${\displaystyle \{1\}=G_{0}\triangleleft G_{1}\triangleleft \dots \triangleleft G_{n}=G}$

where ${\displaystyle G_{i+1}/G_{i}\leq Z(G/G_{i})}$, or equivalently ${\displaystyle [G,G_{i+1}]\leq G_{i}}$.

• G has a lower central series terminating in the trivial subgroup after finitely many steps. That is, a series of normal subgroups

${\displaystyle G=G_{0}\triangleright G_{1}\triangleright \dots \triangleright G_{n}=\{1\}}$

where ${\displaystyle G_{i+1}=[G_{i},G]}$.

• G has an upper central series terminating in the whole group after finitely many steps. That is, a series of normal subgroups

${\displaystyle \{1\}=Z_{0}\triangleleft Z_{1}\triangleleft \dots \triangleleft Z_{n}=G}$

where ${\displaystyle Z_{1}=Z(G)}$ and ${\displaystyle Z_{i+1}}$ is the subgroup such that ${\displaystyle Z_{i+1}/Z_{i}=Z(G/Z_{i})}$.

For a nilpotent group, the smallest n such that G has a central series of length n is called the nilpotency class of G; and G is said to be nilpotent of class n. (By definition, the length is n if there are ${\displaystyle n+1}$ different subgroups in the series, including the trivial subgroup and the whole group.)

Equivalently, the nilpotency class of G equals the length of the lower central series or upper central series. If a group has nilpotency class at most n, then it is sometimes called a nil-n group.

It follows immediately from any of the above forms of the definition of nilpotency, that the trivial group is the unique group of nilpotency class 0, and groups of nilpotency class 1 are exactly the non-trivial abelian groups.[2][3]

A portion of the Cayley graph of the discrete Heisenberg group, a well-known nilpotent group.

• As noted above, every abelian group is nilpotent.[2][4]
• For a small non-abelian example, consider the quaternion group Q₈, which is a smallest non-abelian p-group. It has center {1, −1} of order 2, and its upper central series is {1}, {1, −1}, Q₈; so it is nilpotent of class 2.
• The direct product of two nilpotent groups is nilpotent.[5]
• All finite p-groups are in fact nilpotent (proof). The maximal class of a group of order pⁿ is n (for example, any group of order 2 is nilpotent of class 1). The 2-groups of maximal class are the generalised quaternion groups, the dihedral groups, and the semidihedral groups.
• Furthermore, every finite nilpotent group is the direct product of p-groups.[6]
• The multiplicative group of upper unitriangular n x n matrices over any field F is a nilpotent group of nilpotency class n - 1. In particular, taking n = 3 yields the Heisenberg group H, an example of a non-abelian[7] infinite nilpotent group.[8] It has nilpotency class 2 with central series 1, Z(H), H.
• The multiplicative group of invertible upper triangular n x n matrices over a field F is not in general nilpotent, but is solvable.
• Any nonabelian group G such that G/Z(G) is abelian has nilpotency class 2, with central series {1}, Z(G), G.

Nilpotent groups are so called because the "adjoint action" of any element is nilpotent, meaning that for a nilpotent group ${\displaystyle G}$ of nilpotence degree ${\displaystyle n}$ and an element ${\displaystyle g}$, the function ${\displaystyle \operatorname {ad} _{g}\colon G\to G}$ defined by ${\displaystyle \operatorname {ad} _{g}(x):=[g,x]}$ (where ${\displaystyle [g,x]=g^{-1}x^{-1}gx}$ is the commutator of ${\displaystyle g}$ and ${\displaystyle x}$) is nilpotent in the sense that the ${\displaystyle n}$th iteration of the function is trivial: ${\displaystyle \left(\operatorname {ad} _{g}\right)^{n}(x)=e}$ for all ${\displaystyle x}$ in ${\displaystyle G}$.

This is not a defining characteristic of nilpotent groups: groups for which ${\displaystyle \operatorname {ad} _{g}}$ is nilpotent of degree ${\displaystyle n}$ (in the sense above) are called ${\displaystyle n}$-Engel groups,[9] and need not be nilpotent in general. They are proven to be nilpotent if they have finite order, and are conjectured to be nilpotent as long as they are finitely generated.

An abelian group is precisely one for which the adjoint action is not just nilpotent but trivial (a 1-Engel group).

Since each successive factor group Z_i+1/Z_i in the upper central series is abelian, and the series is finite, every nilpotent group is a solvable group with a relatively simple structure.

Every subgroup of a nilpotent group of class n is nilpotent of class at most n;[10] in addition, if f is a homomorphism of a nilpotent group of class n, then the image of f is nilpotent[10] of class at most n.

The following statements are equivalent for finite groups,[11] revealing some useful properties of nilpotency:

• (a) G is a nilpotent group.
• (b) If H is a proper subgroup of G, then H is a proper normal subgroup of N_G(H) (the normalizer of H in G). This is called the normalizer property and can be phrased simply as "normalizers grow".
• (c) Every Sylow subgroup of G is normal.
• (d) G is the direct product of its Sylow subgroups.
• (e) If d divides the order of G, then G has a normal subgroup of order d.

Proof: (a)→(b): By induction on |G|. If G is abelian, then for any H, N_G(H)=G. If not, if Z(G) is not contained in H, then h_ZH_Z⁻¹h⁻¹=h'H'h⁻¹=H, so H·Z(G) normalizers H. If Z(G) is contained in H,then H/Z(G) is contained in G/Z(G). Note, G/Z(G) is a nilpotent group. Thus, there exists an subgroup of G/Z(G) which normalizers H/Z(G) and H/Z(G) is a proper subgroup of it. Therefore, pullback this subgroup to the subgroup in G and it normalizes H. (This proof is the same argument as for p-groups – the only fact we needed was if G is nilpotent then so is G/Z(G) – so the details are omitted.)

(b)→(c): Let p₁,p₂,...,p_s be the distinct primes dividing its order and let P_i in Syl_pi(G),1≤i≤s. Let P=P_i for some i and let N=N_G(P). Since P is a normal subgroup of N, P is characteristic in N. Since P char N and N is a normal subgroup of N_G(N), we get that P is a normal subgroup of N_G(N). This means N_G(N) is a subgroup of N and hence N_G(N)=N. By (b) we must therefore have N=G, which gives (c).

(c)→(d): Let p₁,p₂,...,p_s be the distinct primes dividing its order and let P_i in Syl_pi(G),1≤i≤s. For any t, 1≤t≤s we show inductively that P₁P₂…P_t is isomorphic to P₁×P₂×…×P_t. Note first that each P_i is normal in G so P₁P₂…P_t is a subgroup of G. Let H be the product P₁P₂…P_t-1 and let K=P_t,so by induction H is isomorphic to P₁×P₂×…×P_t-1. In particular,|H|=|P₁|·|P₂|·…·|P_t-1|. Since |K|=|P_t|, the orders of H and K are relatively prime. Lagrange's Theorem implies the intersection of H and K is equal to 1. By definition,P₁P₂…P_t=HK, hence HK is isomorphic to H×K which is equal to P₁×P₂×…×P_t. This completes the induction. Now take t=s to obtain (d).

(d)→(e): Note that a P-group of order p^k has a normal subgroup of order p^m for all 1≤m≤k. Since G is a direct product of its Sylow subgroups, and normality is preserved upon direct product of groups, G has a normal subgroup of order d for every divisor d of |G|.

(e)→(a): For any prime p dividing |G|, the Sylow p-subgroup is normal. Thus we can apply (c) (since we already proved (c)→(e)).

Statement (d) can be extended to infinite groups: if G is a nilpotent group, then every Sylow subgroup G_p of G is normal, and the direct product of these Sylow subgroups is the subgroup of all elements of finite order in G (see torsion subgroup).

Many properties of nilpotent groups are shared by hypercentral groups.

• Bechtell, Homer (1971). The Theory of Groups. Addison-Wesley.
• Von Haeseler, Friedrich (2002). Automatic Sequences. De Gruyter Expositions in Mathematics. 36. Berlin: Walter de Gruyter. ISBN 3-11-015629-6.
• Hungerford, Thomas W. (1974). Algebra. Springer-Verlag. ISBN 0-387-90518-9.
• Isaacs, I. Martin (2008). Finite Group Theory. American Mathematical Society. ISBN 0-8218-4344-3.
• Palmer, Theodore W. (1994). Banach Algebras and the General Theory of *-algebras. Cambridge University Press. ISBN 0-521-36638-0.
• Stammbach, Urs (1973). Homology in Group Theory. Lecture Notes in Mathematics. 359. Springer-Verlag. review
• Suprunenko, D. A. (1976). Matrix Groups. Providence, Rhode Island: American Mathematical Society. ISBN 0-8218-1341-2.
• Tabachnikova, Olga; Smith, Geoff (2000). Topics in Group Theory. Springer Undergraduate Mathematics Series. Springer. ISBN 1-85233-235-2.
• Zassenhaus, Hans (1999). The Theory of Groups. New York: Dover Publications. ISBN 0-486-40922-8.