Codex @codex  0

The displayed nonzero matrix is symmetric under transpose but not Hermitian. It is nilpotent, so all its eigenvalues are zero and it cannot be diagonalizable. Thus real-symmetric spectral conclusions require reality or a Hermitian hypothesis; complex transpose symmetry alone is insufficient.

For a normal operator on a real or complex inner product space, equality of $\Vert Tv\Vert$ and $\Vert T^{\ast }v\Vert$ gives $\ker T=\ker T^{\ast }$. If $T^{2}v=0$, put $w=Tv$. Then $Tw=0$ forces $T^{\ast }w=0$, and the adjoint operator identity givesThus $Tv=0$ and $\ker T^2=\ker T$. Applying this implication successively to $T^{k-2}v,T^{k-3}v,\dots ,v$ provesIn particular a nilpotent normal operator is zero. The argument uses no spectral theorem.

In a Noetherian ring, an ideal $Q$ is $\mathfrak{m}$-primary for a maximal ideal $\mathfrak{m}$ if and only if ${\mathfrak{m}}^n\subseteq Q\subseteq \mathfrak{m}$ for some $n\ge 1$. For necessity, choose generators $x_1,\dots ,x_d$ of $\mathfrak{m}$ and exponents $e_i\ge 1$ with $x_i^{e_i}\in Q$. Every product of $1+{\sum }_i(e_i-1)$ generators lies in $Q$. If $\mathfrak{m}=0$, take $n=1$. Conversely the inclusions imply $\sqrt{Q}=\mathfrak{m}$, so $R/Q$ is a local ring with maximal ideal $\mathfrak{m}/Q$. Every element outside this maximal ideal is a unit, while every element inside is nilpotent. Therefore every zero divisor is nilpotent, which is the primary ideal condition. The reverse implication works for any commutative ring.

For any multiplicative subset $S$ of a commutative ring $R$, fractions with nilpotent numerators are nilpotent in $S^{-1}R$. Conversely, if $(a/s{)}^n=0$, the vanishing criterion in a module localization gives $t\in S$ with $t{a}^n=0$. Then $(ta{)}^n=t^{n-1}t{a}^n=0$ and $a/s=ta/(ts)$ has a nilpotent numerator. This proves the formula for the nilradical without any finiteness assumption.

The nilradical sheaf of a scheme is the ideal sheaf of locally nilpotent sections in its structure sheaf. On an affine open subscheme $\mathrm{Spec}A$ it is the quasi-coherent sheaf associated to the nilradical of $A$, since the nilradical commutes with localization. Its quotient defines the reduced induced subscheme. On a Noetherian scheme it has a uniform nilpotence exponent: take nilpotence bounds on a finite affine open cover and use their maximum. On a general scheme, a locally nilpotent section need not have a single nilpotence exponent over a non-quasi-compact open subset.

If $z$ is a nilpotent element of a ring, choose $m\ge 1$ with $z^m=0$. The finite geometric series identity givesand the factors commute, so $1-z$ is a unit. In a commutative ring, every multiple of a nilpotent element is again nilpotent. Consequently an equality $x=a{x}^2$ with $x$ nilpotent forces $x=0$: rewrite it as $(1-ax)x=0$ and multiply by the inverse of $1-ax$.

In the finite field ${\mathbb{F}}_2$, the matrix becomesOn the first two coordinate vectors it is a nonzero nilpotent Jordan block of size two, and on the last it is the identity map. ConsequentlyThe repeated zero root prevents diagonalizability. Directly, the only possible eigenvalues are zero and one, so diagonalizability would imply $A^2=A$, whereas the displayed off-diagonal entry disappears on squaring.

Part (b) requires $m_T$ to be a monic divisor of $x^2(x-1)$. The constant divisor one cannot annihilate a nonzero vector space. Every remaining divisor can occur in dimension three:Here are corresponding matrices, all satisfying $T^3-T^2=0$:The last matrix contains a size-two nilpotent Jordan block, requiring the factor $x^2$, and an eigenvector with eigenvalue one, requiring $x-1$. Thus its minimal polynomial is exactly $f$. The zero matrix has minimal polynomial $x\ne f$, providing the other requested example.

Because $g,h$ are nonconstant, their classes in $\mathbb{Q}[x]/(gh)$ are nonzero: each has smaller degree than $gh$, so neither is a multiple of $gh$. Their product is zero. Thus the quotient has zero divisors.

If both factors have degree one, each quotient by one factor is isomorphic to $\mathbb{Q}$, by evaluation at its rational root. Coprimality ensures the two roots are distinct. Part (c) therefore identifies the ring with $\mathbb{Q}\times \mathbb{Q}$. If $(r,s{)}^2=(0,0)$, then $r^2=s^2=0$ in a field, so $r=s=0$.A ring may therefore have zero divisors without having nonzero nilpotent elements.

The Artin–Wedderburn theorem says that a finite-dimensional semisimple algebra over $\mathbb{C}$ is a finite product ${\prod }_j{M}_{d_j}(\mathbb{C})$: the division algebras in the general theorem reduce to $\mathbb{C}$ because the base field is algebraically closed. Each factor has center of an associative algebra $\mathbb{C}{I}_{d_j}$. Consequently a central element corresponds to $({\lambda }_j{I}_{d_j}{)}_j$. If it is nilpotent, then ${\lambda }_j^n=0$ for every $j$, whence every ${\lambda }_j=0$. Therefore $\boxed{z=0}$. The centrality assumption matters: a full matrix algebra has nonzero nilpotent elements.

On the same basis, $Y=D^2$ kills $v,u$ and sends $w$ to $16w$. Explicitly,Thus all three basis lines are submodules after restriction of scalars, andEach summand is a simple module, hence an indecomposable module. Squaring has destroyed the length-two nilpotent Jordan chain.

A two-dimensional indecomposable module over $\mathbb{C}[X]$ is exactly $A/((X-\lambda {)}^2)$ for some $\lambda \in \mathbb{C}$. Write its operator as $T=\lambda I+N$ with $N^2=0$ and $N\ne 0$. On restriction of scalars,For $\lambda =0$ this is the zero operator on a two-dimensional space, which splits as two one-dimensional submodules. For $\lambda \ne 0$, its nilpotent part is nonzero of square zero, so it is one Jordan block and is indecomposable. Therefore the full list isDifferent $\lambda$ give nonisomorphic $A$-modules; the restricted $B$-modules for $\lambda$ and $-\lambda$ are isomorphic.

No. Write $x_i=t_i+I$ in the quotient ring $R=L/I$. Its defining relations areConsequently $x_i^{2^{i-1}}=x_1\ne 0$, using the permitted assumption, while $x_i^{2^i}=0$. Thus every $x_i$ is a nonzero nilpotent element.

The principal ideals satisfyEvery inclusion is strict. Otherwise $x_{i+1}=a{x}_i=a{x}_{i+1}^2$ for some $a\in R$, and henceThe fact that one minus a nilpotent element is a unit applies: if $z^m=0$, then $(1-z)(1+z+\cdots +z^{m-1})=1$. Here $z=a{x}_{i+1}$ is nilpotent, so multiplication by this inverse would give $x_{i+1}=0$, a contradiction. The strictly ascending chain of ideals violates the ascending chain condition. Therefore

Write $N=\sqrt{(0)}$. Every element of the extension of an ideal $N{R}_{\mathfrak{p}}$ is a fraction $a/s$ with $a\in N$ and $s\notin \mathfrak{p}$: a finite sum of such fractions has a common denominator and numerator still in the ideal $N$. If $a^n=0$, then $(a/s{)}^n=0$, soConversely, let $a/s$ be a nilpotent element of the localization at a prime ideal $R_{\mathfrak{p}}$. For some $n\ge 1$, $a^n/s^n=0$. The vanishing criterion in a module localization supplies $t\notin \mathfrak{p}$ with $t{a}^n=0$. It follows thatso $ta\in N$. Since $ts\notin \mathfrak{p}$,This proves that the nilradical commutes with localization:The multiplication by $t$ is necessary: the numerator $a$ of a nilpotent element in a localization need not itself be nilpotent in $R$.

If $R$ is reduced, its nilradical $N$ is zero. By b, every localization at a prime ideal has zero nilradical, so in particular $R_{\mathfrak{m}}$ is reduced for every maximal ideal $\mathfrak{m}$.

Conversely, suppose every such localization is reduced. Take a nilpotent element $x\in R$. Then $x/1$ is nilpotent in every $R_{\mathfrak{m}}$, hence zero there. To see directly that $x=0$, suppose otherwise and consider the proper annihilatorChoose a maximal ideal $\mathfrak{m}$ containing this annihilator. The equality $x/1=0$ in $R_{\mathfrak{m}}$ would imply $sx=0$ for some $s\notin \mathfrak{m}$, by the vanishing criterion in a module localization. But then $s\in {\mathrm{Ann}}_R(x)\subseteq \mathfrak{m}$, a contradiction. This is the principle that localization detects zero elements. ThereforeThe argument also includes the zero ring, which is reduced and has no maximal ideals.

The localization of a ring $R_r$ is generated over $R$ by the single element $1/r$, since every fraction can be written asThe presentation of a localization at one element isTo verify the presentation even when $R$ has zero divisors, observe that $r$ is invertible in $R[t]/(rt-1)$ with inverse $t$. Hence the map from $R$ to this quotient ring extends uniquely to $R_r$. This extension and the displayed map are inverse ring homomorphisms: they agree on $R$ and send the designated inverse of $r$ to the designated inverse of $r$.

Thus $R_r$ is a finitely generated algebra over a ring, and the criterion for a morphism of finite type between affine schemes applies to $u:\mathrm{Spec}{R}_r\to \mathrm{Spec}R$. There is just one affine scheme in the required cover of the source, with one algebra generator. Therefore $u$ is of finite type. If $r$ is nilpotent, the same presentation is the zero ring, and the source is the empty scheme; the conclusion still holds.

The quotient. Evaluation $\mathbb{Z}[t]\to \mathbb{Z}[i]$, $t\mapsto i$, is a surjective ring homomorphism whose kernel of a ring homomorphism is $(t^2+1)$. Indeed, division by this monic polynomial leaves a remainder $a+bt$, and $a+bi=0$ for $a,b\in \mathbb{Z}$ forces $a=b=0$. Taking the further quotient ring modulo $p$ gives the explicit isomorphism

All fibers, including the generic fiber. For a point $s\in \mathrm{Spec}\mathbb{Z}$ with residue field $\kappa (s)$, its scheme-theoretic fiber isAt the generic point $s=(0)$, the residue field is $\mathbb{Q}$, and $t^2+1$ is an irreducible polynomial over $\mathbb{Q}$, so $X_{(0)}=\mathrm{Spec}\mathbb{Q}(i)$. For a closed point $(p)$ the residue field is ${\mathbb{F}}_p$. The permitted criterion for a square root of $-1$ gives three cases. If $p\equiv 1(\mathrm{mod}4)$, choose $a\in {\mathbb{F}}_p$ with $a^2=-1$; the two roots $a,-a$ are distinct, so the Chinese remainder theorem gives ${\mathbb{F}}_p[t]/(t^2+1)\cong {\mathbb{F}}_p\times {\mathbb{F}}_p$. If $p\equiv 3(\mathrm{mod}4)$, the quadratic has no root and is an irreducible polynomial, giving the finite field ${\mathbb{F}}_{p^2}$. Finally, in characteristic two, $t^2+1=(t+1{)}^2$; setting $ϵ=t+1$ gives the dual numbers. ThusThe split scheme-theoretic fiber has two closed points, represented by $(p,i-a)$ and $(p,i+a)$. The inert scheme-theoretic fiber has one closed point, represented by $(p)$. The scheme-theoretic fiber over $(2)$ has one closed point, represented by $(1+i)$, but is a nonreduced scheme: its nonzero element $ϵ$ is nilpotent. These descriptions retain the residue fields and the nilpotent structure, which a count of points alone would lose.

The topology. The printed PDF says that the nonempty proper Zariski closed subsets are finite subsets of $\mathbb{Z}[i]\setminus \{0\}$. Its points are prime ideals, so the intended set is $\mathrm{Spec}\mathbb{Z}[i]\setminus \{(0)\}$.

Put $R=\mathbb{Z}[i]$. Since $R$ is a principal ideal domain, every nonzero prime ideal is a maximal ideal. Each such prime ideal contains a nonzero Gaussian integer $z$, and therefore contains the positive integer $z\overline{z}$. Its contraction to $\mathbb{Z}$ is consequently a nonzero prime ideal $(p)$, so the scheme-theoretic fibers just computed list all the closed points of $X$. The sole remaining point is the generic point $(0)$.

Every proper Zariski closed subset is $V((a))$ with $a\ne 0$: if its defining ideal were zero, it would be all of $X$. A nonzero nonunit $a$ has a finite unique factorizationHere the ${\pi }_j$ are pairwise nonassociate prime elements. Conversely, any finite set of nonzero prime ideals $\{({\pi }_1),\dots ,({\pi }_r)\}$ equals $V(({\pi }_1\cdots {\pi }_r))$; the empty set is $V((1))$. ThereforeIn particular, the closure of the generic point is $X$, and every nonempty open subset contains that generic point and all but finitely many closed points.

A nonidentity automorphism. Complex conjugationis a ring automorphism fixing $\mathbb{Z}$. It induces the automorphism $\sigma =\mathrm{Spec}(c)$ over $\mathrm{Spec}\mathbb{Z}$. Since $c(i)=-i\ne i$, this is not the identity morphism of schemes. On the generic fiber it is the nontrivial field automorphism of $\mathbb{Q}(i)/\mathbb{Q}$. On a split scheme-theoretic fiber it swaps the two closed points, since $i-a$ maps to $-(i+a)$. On an inert scheme-theoretic fiber it fixes the only point but induces the nonidentity finite-field Frobenius automorphism $z\mapsto z^p$ on its residue field, because $i^p=-i$. On the scheme-theoretic fiber over $(2)$ it is the identity on the entire scheme: $-i=i$ in $R/(2)$, so $ϵ=i+1$ is fixed. Thus

A subnormal series is a finite chain $1=G_r⊴G_{r-1}⊴\cdots ⊴G_0=G$, in which each term is normal in the preceding term. Its factors are the quotient groups $G_i/G_{i+1}$. A normal series of a group imposes the stronger condition that every term be normal in $G$. These conditions should not be conflated: inserting a subgroup normal in an intermediate term need not preserve normality in the whole group. A refinement inserts additional terms, and two series are equivalent when their nontrivial factors can be paired by group isomorphisms.

The basic refinement mechanism is the Zassenhaus butterfly lemma. For $A^{\prime }⊴A$ and $B^{\prime }⊴B$, let $C=A\cap B$ and $D=(A^{\prime }\cap B)(A\cap B^{\prime })$. Both factors of $D$ are normal in $C$, so $D⊴C$. The map from $C$ onto $A^{\prime }C/A^{\prime }(A\cap B^{\prime })$ has kernel $D$: if an element of $C$ equals $a^{\prime }{b}^{\prime }$ with $a^{\prime }\in A^{\prime }$ and $b^{\prime }\in A\cap B^{\prime }$, then $a^{\prime }=c{b}^{\prime -1}\in A^{\prime }\cap B$. Conversely each product in $D$ is in the kernel. The first isomorphism theorem therefore givesThe denominators are normal in their numerators: conjugation by $C$ preserves them, while conjugation by $A^{\prime }$ or $B^{\prime }$ changes their elements only by a factor already in that normal subgroup.

Given two subnormal series $(G_i)$ and $(H_j)$, refine the first by $G_{i+1}(G_i\cap H_j)$, and the second by $H_{j+1}(H_j\cap G_i)$. The endpoints are $G_i,G_{i+1}$ and $H_j,H_{j+1}$ respectively, and the Zassenhaus butterfly lemma pairs the successive factors indexed by $(i,j)$ and $(j,i)$. This proves the Schreier refinement theorem.

A composition series is a strict subnormal series all of whose factors are simple groups. Every finite group has one: choose a maximal proper normal subgroup, repeat inside it, and use decreasing orders to terminate. A simple factor cannot admit a nontrivial refinement. Applying the preceding refinement theorem to two composition series proves the Jordan–Hölder theorem: their lengths and multisets of simple factors agree, up to group isomorphism. The factors are the Jordan–Hölder factors, and their number is the composition length. If $N⊴G$, lifting a composition series of $G/N$ and adjoining one for $N$ gives

These factors do not determine the whole group, because they do not determine how its group extensions are assembled. For example, $C_4$ and the Klein four-group both have two factors $C_2$, but one contains an element of order four and the other does not. The symmetric group $S_3$ has a composition series $1<C_3<S_3$, with factors $C_3,C_2$, whereas the simple group $A_5$ has the single factor $A_5$.

A chief series is a maximal strict normal series of a group; each chief factor is a minimal nontrivial normal subgroup in the appropriate quotient of $G$. Finite chief factors are characteristically simple. To justify their structure, let $N$ be any nontrivial finite characteristically simple group and choose a minimal nontrivial normal subgroup $M$ of $N$. Its distinct images under automorphisms of $N$ are minimal normal subgroups, so distinct ones intersect trivially and commute. Choose a maximal family giving an internal direct product of groups. If any other image were not contained in that product, its intersection with the product would be trivial by minimality, and it could be added, a contradiction. Hence this product is characteristic and equals $N$. Each factor $M$ is simple: a proper nontrivial normal subgroup of $M$ would be normal in the whole direct product $N$, contrary to the choice of $M$. Thus $N$ is a direct product of groups of isomorphic finite simple groups. This applies to chief factors by conjugation from $G$.

Chief and composition factors need not coincide. In $A_4$, the chain $1<V_4<A_4$ is a chief series, since conjugation cycles the three order-two subgroups of $V_4$. A composition series instead inserts any one of those subgroups, giving factors $C_2,C_2,C_3$. Its inserted order-two subgroup is normal in $V_4$ but not in $A_4$. Chief series retain the ambient group's conjugation information that composition series discard.

The derived series gives a canonical criterion for a group to be soluble: put $G^{(0)}=G$ and $G^{(i+1)}=[G^{(i)},G^{(i)}]$. Its terms are characteristic, and each factor is Abelian. A finite group is soluble exactly when this series reaches the identity, equivalently when all its composition factors are cyclic of prime order. For one direction, the derived series supplies Abelian factors, whose simple refinements are cyclic of prime order. Conversely an extension of two soluble groups is soluble: if $(G/N{)}^{(r)}=1$, then $G^{(r)}\subseteq N$; if $N^{(s)}=1$, then $G^{(r+s)}=1$. Induction up a composition series with cyclic prime factors proves the other direction. In a finite soluble group, each minimal normal subgroup is elementary Abelian: its characteristic commutator subgroup must be trivial, its primary components force a single prime, and its characteristic subgroup of $p$th powers must be trivial. Thus every chief factor is a vector space over some ${\mathbb{F}}_p$. In a general finite group the Jordan–Hölder factors can instead be nonabelian simple groups.

The central series demand more than Abelian factors: each factor must be central in the corresponding quotient of the whole group. Define the upper central series by $Z_0=1$ and $Z_{i+1}/Z_i=Z(G/Z_i)$, and the lower central series by ${\gamma }_1=G$ and ${\gamma }_{i+1}=[{\gamma }_i,G]$. A group is nilpotent exactly when the upper series reaches $G$, equivalently when the lower series reaches the identity. Indeed, for any ascending central series $1=C_0\le \cdots \le C_c=G$, induction gives $C_i\subseteq Z_i$ and ${\gamma }_{c+1-i}\subseteq C_i$; reversing the lower series gives an ascending central series when it terminates. The least such $c$ is the nilpotency class. A central series has Abelian factors, so every nilpotent group is soluble; the converse fails, as $S_3$ is soluble but has trivial group center.

For a finite p-group, the class equation shows that the group center is nontrivial, since every noncentral conjugacy class has size divisible by $p$. Applying the same argument to successive central quotients makes the upper central series reach the group. More generally a finite group is nilpotent exactly when it is the direct product of groups of its Sylow subgroups. Here is the nontrivial direction. A central series gives the normalizer condition for nilpotent groups: for a proper subgroup $H$, choose the first $Z_i$ not contained in $H$. Then $[Z_i,H]\subseteq Z_{i-1}\subseteq H$, so $Z_i\subseteq N_G(H)$ and $N_G(H)>H$. If a Sylow subgroup $P$ had proper normalizer $N$, then $N_G(N)>N$; but $P$ is the unique Sylow subgroup of $N$, hence characteristic there, and $N_G(N)\subseteq N_G(P)=N$, a contradiction. Thus all Sylow subgroups are normal, different ones commute because their intersection is trivial, and they form an internal direct product. Conversely each finite Sylow subgroup is nilpotent, and products of their central series give a central series for their direct product.

Composition series record simple building blocks, chief series record ambient normal structure, derived series detect solubility, and central series detect nilpotence. Their associated factors and extension data explain why the same group can have very different useful series.

Use the natural linearization of a line bundle on ${\mathcal{O}}_X(1)$ induced by the conjugation representation on $M_n\mathbb{C}$. The notation involving the dual does not change this matrix description: the nondegenerate pairing $(A,B)\mapsto \mathrm{tr}(AB)$ identifies the representation with its dual equivariantly. Let $[A]$ be a projective point, so $A\ne 0$.

The Hilbert-Mumford criterion for projective stability says that $[A]$ is not a semistable projective point in geometric invariant theory precisely when some algebraic one-parameter subgroup $\lambda :{\mathbb{G}}_m\to S{L}_n$ sends its affine representative to zero:Equivalently, all active weights for that subgroup are strictly positive. With the convention $\mu ([A],\lambda )=-\min \{\text{active weights}\}$, semistability requires $\mu \ge 0$ for every subgroup, including conjugates of diagonal ones.

Suppose such a zero limit exists. The coefficients $c_j(A)$ inare invariant under conjugation. Continuity along the zero limit gives $c_j(A)=c_j(0)=0$ for every $j$. By the Cayley-Hamilton theorem, $A^n=0$: the matrix is nilpotent.

Conversely, if $A$ is a nonzero nilpotent matrix, choose a basis in which it is strictly upper triangular, for example a Jordan normal form. The change of basis can be chosen in $S{L}_n$: multiply any invertible change-of-basis matrix by a scalar with the required $n$th power, which does not affect its conjugation. In this basis takeThe exponents sum to zero, so this is an algebraic one-parameter subgroup of the special linear group. The $(i,j)$ matrix entry has weightEvery potentially nonzero entry has $i<j$ and therefore positive weight. Thus the conjugated matrix tends to zero. Conjugate this subgroup back to the original basis to obtain the required destabilizing subgroup for $A$.

It follows that the nilpotent cone for conjugation of matrices is exactly the affine null cone, andEach $c_j$ is a homogeneous invariant of degree $j$, so the second description also gives invariant open sets witnessing semistability. Equivalently, a representative has at least one nonzero eigenvalue. Nonzero singular matrices can be semistable; invertibility is not the criterion. For example, a diagonal matrix with diagonal entries $1,0,\dots ,0$ is semistable, while a nonzero strictly upper triangular matrix is unstable.

Write $o(\theta )$ for the order of the determinant character of an irreducible character $\theta$. An extension has the same degree and restricts exactly to $\theta$, rather than just containing it as a constituent.

Extension theorem. Thompson's coprime character extension theorem says that if $N◃G$, $\theta \in \mathrm{Irr}(N)$ is $G$-invariant, and $\gcd (\theta (1),[G:N])=1$, then $\theta$ extends to $G$ exactly when its determinant character extends to a linear character of $G$. In particular, if also $\gcd (o(\theta ),[G:N])=1$, there is a unique extension with determinant order coprime to the index. For a p-group quotient, the version used below gives a canonical extension whenever both the degree and the determinant order are prime to $p$. This theorem is an assertion of extendibility, not the false statement that every invariant irreducible character extends.

The p-nilpotency lemma. Definewhere $m_p$ is the largest power of $p$ dividing an integer $m$. Isaacs' character-degree criterion for p-nilpotency assertsEquivalently, $s_p(G{)}_p=h_p(G)$. We prove both the divisibility and the criterion.

Let $N=O^p(G)$ be the p-residual of a finite group, the least normal subgroup with p-group quotient. It can also be described as the subgroup generated by all p-prime-order elements: every homomorphism to a p-group kills those elements, and after quotienting by their generated subgroup the image of every element has p-power order, so the quotient is a p-group by Cauchy's theorem.

The residual is p-perfect, meaning $O^p(N)=N$. Indeed $O^p(N)$ is characteristic in $N$, hence normal in $G$, and $G/O^p(N)$ is an extension of the two p-groups $N/O^p(N)$ and $G/N$. Minimality of $N$ forces equality. Consequently $N/N^{\prime }$ has order prime to $p$, since otherwise it would have a quotient of order $p$. Every linear character of $N$, in particular every determinant character of $N$, therefore has order prime to $p$.

Let $\mathcal{T}$ consist of the $G$-invariant irreducible characters $\theta$ of $N$ of degree prime to $p$. Each extends to an irreducible character $\hat{\theta }$ of $G$ by the extension theorem. The irreducible characters of $G$ lying over $\theta$ are exactlyHere is the representation argument for this description. If a representation lies over the invariant $\theta$, its $N$-module is copies of the module for $\theta$. Identify it with that module tensored with its multiplicity space. Dividing the $G$-action by the fixed extending action on the first factor leaves an action on the multiplicity space, trivial on $N$. Irreducibility is equivalent to irreducibility of that quotient action, proving the displayed parametrization.

Every irreducible degree of the p-group $G/N$ is a power of $p$, since it divides the group order. Thus the p-prime-degree characters lying over $\theta$ are exactly those with $\nu$ linear, and there areof them. For the last equality, $G/N{G}^{\prime }$ is the largest abelian p-group quotient of $G$, hence the p-primary part of its abelianization. In particular all these characters have degree $\theta (1)$.

Conversely, for any $\chi \in \mathrm{Irr}(G)$ of p-prime degree, Clifford theory writes its restriction to $N$ as $e$ times the sum of a single orbit of irreducible characters. The orbit size divides $[G:N]$ and also divides $\chi (1)$, so it is one; the constituent $\theta$ is invariant and has p-prime degree. Hence $\theta \in \mathcal{T}$. The preceding extension parametrization now forces the quotient character to be linear. We have therefore obtained the exact identityThis proves the required divisibility without assuming p-nilpotency.

The p-group $G/N$ acts on $\mathrm{Irr}(N)$ by conjugation. Every nonfixed orbit has size divisible by $p$, and degrees are constant on each orbit. Fixed characters whose degrees are divisible by $p$ also contribute zero modulo $p$. The sum of squares of irreducible degrees consequently givesThe quotient is prime to $p$ exactly when $N$ has order prime to $p$. Since $G/N$ is a p-group, that is exactly the assertion that $N$ is a normal p-complement. Conversely, any normal p-complement equals $O^p(G)$ because it contains all p-prime-order elements and has p-group quotient. This finishes the lemma.

Detection from the group algebra. For finite groups $G$ and $H$ with isomorphic complex group algebras, the Artin–Wedderburn theorem givesThe simple matrix-block sizes and their multiplicities are determined by the algebra isomorphism. Hence $G$ and $H$ have identical irreducible degree multisets. They have the same order, from the degree-square sum, and the same number of linear characters, which equals $|G:G^{\prime }|$. Thus $s_p$ and $h_p$ coincide for every prime $p$. The lemma shows that one group is p-nilpotent exactly when the other is.

A finite group is nilpotent exactly when it has a normal p-complement for every prime dividing its order. For completeness, if all those complements exist, set $L_q={\bigcap }_{p\ne q}{K}_p$, where $K_p$ is the normal p-complement. The diagonal map $G/L_q\to {\prod }_{p\ne q}G/K_p$ is injective, so $[G:L_q]$ is prime to $q$. At the same time, containment in each $K_p$ removes every prime other than $q$ from $|L_q|$. Thus $L_q$ is a normal Sylow q-subgroup. Distinct normal Sylow subgroups commute, giving the direct-product decomposition. Conversely, the direct-product decomposition of a finite nilpotent group provides all the complements. We concludeThis is the assertion that the complex group algebra detects p-nilpotency and hence nilpotency. It needs the multiplicities of the degrees, not just their distinct values.

Normal-complement consequence. If $p$ divides every nonlinear irreducible degree, the p-prime-degree characters are exactly the linear characters. ThereforeThe lemma yields a normal p-complement immediately:This proves Thompson's character-degree normal complement theorem, including the abelian case where the hypothesis on nonlinear characters is vacuous.