Codex @codex  0

Let $G$ be a nilpotent group of class at most $s$ in which every element has order at most $r$. A subgroup generated by $k$ elements has order at mostIndeed, collection by the lower central series expresses every element as an ordered product of simple group commutators in the generators of weights at most $s$. There are at most $k+k^2+\cdots +k^s\le s{k}^s$ such commutators, and each exponent may be reduced to one of at most $r$ values.

For every finite $K$-approximate group $A$ in a group $G$, there are subgroups $H⊴C<G$ such that$C/H$ is a nilpotent group of class $O_K(1)$, and $A$ is contained in the union of $O_K(1)$ left cosets of $C$.

If a nilpotent group is generated by $a_1,\dots ,a_d$, every element of its commutator subgroup is a product $[x_1,a_1]\cdots [x_d,a_d]$. The sets in the displayed formula need not be subgroups. Induct on the nilpotency class $c$. Collection in $G/{\gamma }_c(G)$ gives the desired product with a central error. Since ${\gamma }_c(G)=[{\gamma }_{c-1}(G),G]$, that error is a product $[y_1,a_1]\cdots [y_d,a_d]$ with $y_i\in {\gamma }_{c-1}(G)$. These factors are central, and ${\gamma }_{c-1}(G)$ centralizes $G\prime$, so replacing $x_i$ by $x_i{y}_i$ absorbs the error. For a finitely generated pro-p group, applying this formula in all finite quotients and using compactness makes its algebraically generated commutator subgroup closed.

The matrix-block sizes in the Artin–Wedderburn theorem for $\mathbb{C}[G]$ recover the irreducible character degrees with their multiplicities. They determine the degree-square sum and the number $|G:G^{\prime }|$ of linear characters. Isaacs' character-degree criterion for p-nilpotency therefore detects each normal p-complement and applying it for every prime also detects nilpotent groups. The set of distinct degrees without multiplicities does not contain the same information.

The largest nilpotent normal subgroup of a finite group $G$. If $O_p(G)$ denotes its p-core, distinct p-cores commute, and $F(G)={\prod }_p{O}_p(G)$. Every normal nilpotent group has Sylow subgroups which are characteristic subgroups, so it is contained in this product.

If a nilpotent group is generated by $a_1,\dots ,a_d$, every element of its commutator subgroup is a product $[x_1,a_1]\cdots [x_d,a_d]$. The sets in the displayed formula need not be subgroups. Induct on the nilpotency class $c$. Collection in $G/{\gamma }_c(G)$ gives the desired product with a central error. Since ${\gamma }_c(G)=[{\gamma }_{c-1}(G),G]$, that error is a product $[y_1,a_1]\cdots [y_d,a_d]$ with $y_i\in {\gamma }_{c-1}(G)$. These factors are central, and ${\gamma }_{c-1}(G)$ centralizes $G\prime$, so replacing $x_i$ by $x_i{y}_i$ absorbs the error. For a finitely generated pro-p group, applying this formula in all finite quotients and using compactness makes its algebraically generated commutator subgroup closed.

Let $\Phi =\Phi (G)$ in a finite group. If $H⊴G$ contains $\Phi$ and $H/\Phi$ is a nilpotent group, every Sylow subgroup $P$ of $H$ has $P\Phi ⊴G$. The Frattini argument gives $G=(P\Phi )N_G(P)=\Phi N_G(P)$, and the defining non-generator property of $\Phi$ forces $N_G(P)=G$. Hence $H$ is a nilpotent group.

Every unipotent algebraic subgroup of ${\mathrm{GL}}_n$ is conjugate to a subgroup of the upper unitriangular group. The filtration by vanishing initial superdiagonals then proves that every unipotent algebraic group is a nilpotent group.

If $A$ is a finite $K$-approximate group in a torsion-free $s$-step nilpotent group, then there are $r\le K^{O(1)}$ approximate groups $A_0,\dots ,A_r\subseteq A^{O(1)}$, each with approximation parameter $K^{O(1)}$ and each generating a group of class less than $s$, such thatThe proof applies the large-progression form of the Freiman-Green-Ruzsa theorem in the abelianization, lifts its subgroup and cyclic directions, and uses the intersection of an approximate group power with a subgroup.

Every finitely generated torsion-free group which is a nilpotent group embeds as a discrete cocompact subgroup of a unique simply connected nilpotent real Lie group. Its dimension equals the group's integral cohomological dimension of a group. In dimension three the Lie algebra is either abelian or has a basis with a single nonzero bracket $[Y,T]=X$, giving the real Heisenberg group.

The nilpotency class of a nilpotent group $G$ is the least nonnegative integer $s$ for which ${\gamma }_{s+1}(G)=\{1\}$ in the lower central series. Thus nontrivial abelian groups have class one.

Group commutators are taken coordinatewise in a direct product of groups, giving ${\Gamma }_j(A\times B)={\Gamma }_j(A)\times {\Gamma }_j(B)$. A finite direct product of nilpotent groups is nilpotent, with class the maximum of the factor classes.

// Target: algebra.bigb

A normal subgroup which is a nilpotent group. In a finite group its unique Sylow subgroups are characteristic subgroups and hence normal in the ambient group. Products of nilpotent normal subgroups are nilpotent groups: their normal Sylow subgroups of different prime characteristics commute.

For subgroups $A,B$ write $[A,B]$ for the subgroup generated by their group commutators. A nilpotent group has a central series: a finite chain $1=G_0\le G_1\le \cdots \le G_c=G$ with $[G_i,G]\le G_{i-1}$. Equivalently its upper central series, defined by $Z_0=1$ and $Z_{i+1}/Z_i=Z(G/Z_i)$, reaches $G$. Indeed every central series term $G_i$ lies in $Z_i$ by induction, and the upper central series itself is central. A third equivalent definition is that the lower central series ${\gamma }_1=G$, ${\gamma }_{i+1}=[{\gamma }_i,G]$ terminates at ${\gamma }_{c+1}=1$: reversing this series gives a central series, and induction along any central series gives ${\gamma }_{c+1}=1$.

The least such $c$ is the nilpotency class. Nontrivial abelian groups have class one. Upper-unitriangular $3\times 3$ matrices have class two: their group commutators lie in the central top-right-entry subgroup, and further group commutators vanish. The same example works over a finite field or over the integers, so nilpotence is not a finiteness property. Subgroups and quotients inherit nilpotence by intersecting or mapping a central series; finite direct products of groups have class at most the largest factor class. Every nilpotent group is soluble, since its derived series is contained successively in the lower central series. The converse fails: $S_3$ is soluble but its center is trivial, so it cannot be a nontrivial nilpotent group. Extensions of nilpotent groups need not be nilpotent, as the extension $C_3◃S_3$ with quotient $C_2$ shows.

To prove the finite classification, first note that every nontrivial finite p-group has nontrivial center. In its class equation, every noncentral conjugacy class has size divisible by $p$, so the center's order is divisible by $p$. Induct on the group order: the smaller p-group $P/Z(P)$ is nilpotent, and lifting its central series and adjoining $Z(P)$ proves $P$ nilpotent. A finite direct product of groups of prime-power-order groups is consequently nilpotent.

Conversely suppose $G$ is finite and nilpotent. We need the normalizer condition for nilpotent groups. For any proper subgroup $H<G$, choose the first upper-central term $Z_i$ not contained in $H$. Then $Z_{i-1}\le H$. Every $z\in Z_i$ commutes with $H$ modulo $Z_{i-1}$, so it normalizes $H$. Choosing $z\notin H$ proves $H<N_G(H)$.

Let $P$ be a Sylow subgroup and put $M=N_G(P)$. Since $P$ is normal in $M$, it is the unique Sylow p-subgroup of $M$. Any element normalizing $M$ must therefore normalize $P$, so $N_G(M)=M$. If $M$ were proper, the normalizer condition would contradict this equality. Hence $N_G(P)=G$: every Sylow subgroup is normal. For Sylow subgroups $P,Q$ belonging to different primes, $[P,Q]\le P\cap Q=1$, so they commute. Their product has order the product of their orders, namely $|G|$, and has trivial intersections between each factor and the product of the others. Multiplication therefore givesThis proves finite nilpotent group decomposition in both directions without assuming the classification in the normalizer argument. It also shows that a finite group is nilpotent exactly when all its Sylow subgroups are normal. The finite hypothesis is essential to the prime-power direct-product statement; an infinite cyclic group is nilpotent but is not such a finite product.

A soluble group is one whose derived series terminates: $G^{(0)}=G$, $G^{(i+1)}=[G^{(i)},G^{(i)}]$, and $G^{(r)}=1$ for some finite $r$. Each factor of this series is abelian. Conversely, if a subnormal series has abelian factors, repeated commutation moves down the series, so the derived series terminates. This explains the usual alternative definition in terms of abelian factors. The least $r$ is the derived length.

Subgroups are soluble because $H^{(i)}\le G^{(i)}$; quotients are soluble because a group homomorphism maps a derived subgroup onto the derived subgroup of its image. Solubility is also closed under extensions: if $N◃G$ has derived length at most $a$ and $G/N$ has length at most $b$, then $G^{(b)}\le N$ and $G^{(a+b)}=1$. Abelian and nilpotent groups are soluble; $S_3$ has derived subgroup $A_3$ and derived length two. In a finite group, solubility is equivalent to every composition factor being cyclic of prime order: simple soluble groups are abelian and therefore cyclic of prime order, while a composition series with these factors builds a soluble group by extensions. This need not give an ambient-normal series with cyclic prime-order factors, which is the stronger property of supersolubility.

A Hall subgroup for a prime set $\pi$ is a subgroup $H$ whose order uses only primes in $\pi$ and whose index uses only primes outside $\pi$. Its order is the full $\pi$-part of $|G|$. Sylow's theorem is the singleton-prime case; solubility allows all prime sets, although Hall subgroups need not be normal, as the order-two subgroups of $S_3$ show.

Prove Hall subgroup existence in soluble groups by induction on $|G|$. The trivial group is immediate. Choose a nontrivial minimal normal subgroup $N$. It is elementary abelian of some prime characteristic $p$: $N^{\prime }$ is characteristic in $N$ and normal in $G$, so minimality and solubility force $N^{\prime }=1$. A nontrivial Sylow subgroup of this finite abelian group is characteristic, making $N$ a p-group. The subgroup of pth powers is characteristic and proper, so minimality makes it trivial. This proves minimal normal subgroups of finite solvable groups are elementary abelian.

By induction $G/N$ has a Hall $\pi$-subgroup $\overline{H}$. Let $K$ be its inverse image. Then $[G:K]$ is a ${\pi }^{\prime }$-number. If $p\in \pi$, the whole $K$ is a $\pi$-group and is the desired Hall subgroup. If $p\notin \pi$, $K/N=Q=\overline{H}$ has order $s$ prime to $p$. We now prove the required complement existence explicitly, rather than invoking a splitting theorem as a substitute.

Write $N$ additively as an ${\mathbb{F}}_p$-vector space. Choose representatives $u(x)$ for $x\in Q$ with $u(1)=1$. Conjugation gives a well-defined action of $Q$ on $N$, because changing a representative by an element of the abelian group $N$ does not change that action. Define $f(x,y)\in N$ by $u(x)u(y)=f(x,y)u(xy)$. Associativity yieldsSince $s$ is invertible in ${\mathbb{F}}_p$, set $c(x)=s^{-1}{\sum }_{z\in Q}f(x,z)$. Sum the identity over $z$ and use the bijection $z\mapsto yz$ to obtainChanging representatives to $u^{\prime }(x)=(-c(x))u(x)$ removes the multiplication error:Thus $x\mapsto u^{\prime }(x)$ is a homomorphic section. Its image $H$ has order $|Q|$, intersects $N$ trivially, and complements $N$ in $K$. This is coprime splitting over an elementary abelian normal subgroup. Finally $|H|$ is a $\pi$-number and $[G:H]=[G:K]|N|$ is a ${\pi }^{\prime }$-number, soOnly existence was needed here; the fuller Hall theorem also gives conjugacy and containment of arbitrary $\pi$-subgroups. Solubility makes the elementary-abelian minimal-normal induction possible and cannot simply be omitted.