Codex @codex  0

If a Sylow p-subgroup $P$ is abelian, a hypothetical central subgroup $Q\le G^{\prime }$ of order $p$ has a nontrivial linear character extending to $P$. Inducing this extension to $G$ gives a character of degree prime to $p$, hence an irreducible constituent of such degree. On $Q$ its determinant character is a nontrivial power of the chosen linear character, but every determinant character is trivial on $G^{\prime }$. This contradiction proves the displayed restriction.

Suppose $N◃G$, $G/N$ is solvable, $\theta \in \mathrm{Irr}(N)$ is invariant under $G$, and $\theta (1)$ is coprime to $[G:N]$. If a linear character $\mu$ of $G$ restricts to the determinant character $\det \theta$, then there is a unique character extension $\chi \in \mathrm{Irr}(G)$ with determinant $\mu$. This is the solvable-quotient extension result supplied for the exam's application.

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.

Let $V$ afford the given group representation of $H$. Its induced representation is the left $G$-moduleChoose representatives $t$ of the left cosets $G/H$; then it is the direct sum of the spaces $t\otimes V$. If $gt=t^{\prime }h$ with $h\in H$, the action sends $t\otimes v$ to $t^{\prime }\otimes \Psi (h)v$. This is independent of the representatives up to equivalence, and its dimension is $[G:H]\dim V$.

Only cosets fixed by $g$ contribute to its trace. Their contribution is $\psi (t^{-1}gt)$, giving the induced character formulaFor an arbitrary class function $f$ on $H$, the same averaging formula defines its induced class function on $G$. Equivalently, extend $f$ by zero outside $H$ and average $|H{|}^{-1}{\sum }_{x}f(x^{-1}gx)$. This definition is linear and does not require $f$ to be an actual character.

For a complex character $\psi$ of a finite group $G$ afforded by a representation $\rho$, its determinant character isMultiplicativity of the determinant makes this a linear character; it does not mean the determinant of the scalar value $\psi (g)$. The definition depends only on the character because characters determine the equivalence class of a finite-dimensional complex representation. In particular the determinant character is trivial on the derived subgroup $G^{\prime }$.

Frobenius reciprocity is the adjointness of character induction and restriction: for class functions $f$ on $H$ and $u$ on $G$,For characters this says that the multiplicity of an irreducible $G$-character in an induced character equals the corresponding multiplicity after restriction. To prove the identity directly, insert the induced class function formula and interchange the two finite sums. For each $x$, substitute $g=xh{x}^{-1}$ with $h\in H$. Since $u$ is constant on conjugacy classes,This proves the theorem for all class functions, not just irreducible characters.

For the group-theoretic conclusion, suppose that $p$ divides $|G^{\prime }\cap Z(G)|$. A central element of order $p$ lies in every Sylow p-subgroup: adjoining it to a Sylow subgroup gives a p-subgroup, so maximality forces it into that subgroup. Hence there is a subgroup $Q\le P\cap G^{\prime }\cap Z(G)$ of order $p$. Choose a nontrivial linear character $\lambda$ of $Q$.

Since $P$ is abelian, $\lambda$ extends to a linear character $\mu$ of $P$. One direct justification is to extend from an abelian subgroup $A$ to $⟨A,x⟩$ one generator at a time: if $d$ is the least positive exponent with $x^d\in A$, choose a complex $d$th root of $\lambda (x^d)$ as the value at $x$. The formula on $a{x}^j$ is then well defined and multiplicative. Iteration yields the claimed extension to $P$.

The induced character ${\mu }^G$ has degree $[G:P]$, which is prime to $p$. In its decomposition into irreducible characters, at least one constituent $\chi$ must have degree prime to $p$; otherwise the total degree would be divisible by $p$. Frobenius reciprocity also gives $⟨{\chi }_P,\mu {⟩}_P>0$ for this constituent. Restriction to the central subgroup $Q$ forcesIndeed, the induced representation itself restricts to $Q$ as copies of $\lambda$, because conjugation by every coset representative is trivial on $Q$; alternatively this follows from Schur's lemma and the positive multiplicity after restriction.

Each $q\in Q$ consequently acts in the representation affording $\chi$ as the scalar $\lambda (q)$. Taking its determinant character givesThe left side is trivial since $Q\le G^{\prime }$ and every linear character kills $G^{\prime }$. The right side is nontrivial since $\lambda$ has order $p$ and $p\nmid \chi (1)$. This contradiction provesThe argument is the central commutator has no torsion from an abelian Sylow subgroup determinant obstruction.

In character theory, a p-elementary group is a finite group isomorphic to $P\times C$, where $P$ is a $p$-group and $C$ is cyclic of order coprime to $p$. Either factor may be trivial. An elementary group is p-elementary for at least one prime $p$; it need not be an elementary abelian group.

A generalised character means an integer linear combination of irreducible complex characters. Brauer's characterisation of characters states that a complex class function $f$ on a finite group $G$ is a generalised character if and only if $f_E$ is a generalised character for every elementary subgroup $E\le G$. Equivalently,An ordinary character additionally requires nonnegative coefficients in its global irreducible decomposition. We use the virtual-character criterion just stated.

For the extension construction, set $d=\theta (1)$. The determinant character $\det \theta$ is linear. Since its extension $\mu$ has the same value $1$ at the identity, $\mu$ is also a linear character. For any $g\in G$, the subgroup $J_g=N⟨g⟩$ has cyclic quotient $J_g/N$, hence a solvable quotient. The invariant character $\theta$ has degree coprime to $[J_g:N]$, since this index divides $[G:N]$, and ${\mu }_{J_g}$ extends its determinant. The permitted coprime-degree determinant extension theorem therefore gives a unique character ${\chi }_g\in \mathrm{Irr}(J_g)$ withDefine a function on $G$ by $f(g)={\chi }_g(g)$. We next verify that these individually defined values form a compatible class function.

If $x\in G$, conjugation carries $J_g$ to $J_{xg{x}^{-1}}$. Transporting ${\chi }_g$ by this conjugation gives a character extending $\theta$, because $\theta$ is $G$-invariant, and with determinant $\mu$ restricted to the conjugate subgroup, because $\mu$ is a class function. Uniqueness identifies the transported character with ${\chi }_{xg{x}^{-1}}$. Consequently $f(xg{x}^{-1})=f(g)$.

Now take an elementary subgroup $E\le G$ and let $J=NE$. A finite $p$-group is solvable, a cyclic group is solvable, and a direct product of solvable groups is solvable. Thus $E$ is solvable, and so is $J/N\cong E/(E\cap N)$. Again the index $[J:N]$ divides $[G:N]$, so the same extension theorem gives ${\chi }_J\in \mathrm{Irr}(J)$ extending $\theta$ with determinant ${\mu }_J$.

For $g\in E$, we have $J_g\le J$. The restriction $({\chi }_J{)}_{J_g}$ is irreducible: an invariant subspace for $J_g$ would be invariant for $N$, whose restriction already affords the irreducible $\theta$. Its determinant is ${\mu }_{J_g}$. By uniqueness on $J_g$, it equals ${\chi }_g$. Thereforean ordinary character and hence a generalised character of $E$. Brauer's characterisation of characters now makes $f$ a generalised character of $G$. If $n\in N$, then $J_n=N$ and ${\chi }_n=\theta$, so $f(n)=\theta (n)$. We have proved, by gluing determinant-normalized character extensions,Only the intermediate quotients $J_g/N$ and $NE/N$ were required to be solvable; no solvability assumption on $G/N$ has been added.

For the prime-set assertion, let $E=P\times C$ be p-elementary, and split the cyclic group as $C=C_{\pi }\times C_{{\pi }^{\prime }}$, where each factor has the indicated prime divisors in its order. If $p\in \pi$, put $E_{\pi }=P\times C_{\pi }$ and $E_{{\pi }^{\prime }}=C_{{\pi }^{\prime }}$. If $p\notin \pi$, put $E_{\pi }=C_{\pi }$ and $E_{{\pi }^{\prime }}=P\times C_{{\pi }^{\prime }}$. In both cases the factors commute, have trivial intersection and have orders with disjoint prime spectra. This proves the prime-set decomposition of elementary groupsHere a pi-group has order divisible only by primes in $\pi$, and a pi-element has such an element order; the identity qualifies for both complementary prime sets.

Finally, suppose $K$ satisfies the given element-order condition. The sets $A,B$ are unions of conjugacy classes and are disjoint, because membership in both would force every prime divisor of the element order into $\pi \cap {\pi }^{\prime }=\varnothing$, hence force order $1$. Let $E\le K$ be elementary and use $E=E_{\pi }\times E_{{\pi }^{\prime }}$. If both factors were nontrivial, choose $a\ne 1$ in the first and $b\ne 1$ in the second. They commute and have coprime orders, so $ab$ has order $|a||b|$, containing primes from both $\pi$ and ${\pi }^{\prime }$. It would belong to neither $A$ nor $B$ nor $\{1\}$, contrary to the hypothesis. Thus every elementary subgroup is entirely a pi-group or entirely a complementary-prime group.

Write $m=|K{|}_{\pi }$ and $r=|K{|}_{{\pi }^{\prime }}$ for the two prime parts of $|K|$, so $|K|=mr$ and $\gcd (m,r)=1$. The Chinese remainder theorem supplies an integer $D$ satisfyingDefine the class functionFor an elementary $\pi$-subgroup $E$, its order divides $m$. Let ${\rho }_E$ be the character of its regular representation, equal to $|E|$ at $1$ and zero elsewhere. Thenwith integral coefficient because $D\equiv 1(\mathrm{mod}|E|)$. For an elementary ${\pi }^{\prime }$-subgroup, its order divides $r$, andagain has integral coefficient. The trivial subgroup satisfies either formula. Every elementary restriction is therefore a generalised character. A second application of Brauer's characterisation of characters provesThe freely chosen identity value, fixed by the two congruences, makes the restrictions integral. This construction also covers the cases $\pi =\varnothing$, ${\pi }^{\prime }=\varnothing$, or $K=\{1\}$, using modulus-one congruences where appropriate.

Let $N◃G$ and let $\theta \in \mathrm{Irr}(N)$ be invariant under $G$. If $\theta (1)$ is coprime to $[G:N]$, then $\theta$ extends to $G$ if and only if its determinant character extends to a linear character of $G$. In particular, if the determinant order is also coprime to the index, there is a unique extension whose determinant order is coprime to the index. When $G/N$ is a p-group and $N=O^p(N)$, every invariant irreducible character of degree prime to $p$ satisfies this latter determinant condition.