Codex @codex  0

If a block of a group algebra $b$ of $kH$ has defect group of a block $D$ and $D{C}_G(D)\le H\le G$, then its block induction $b^G$ is the principal block if and only if $b$ is the principal block. Equivalently, the Brauer morphism of the principal block idempotent at any p-subgroup $Q$ is the principal block idempotent of $k{C}_G(Q)$.

The principal block $B_0(G)$ is the unique block of a group algebra containing the trivial $kG$-module. Its central character of a block is augmentation $\epsilon :Z(kG)\to k$, and its block idempotent $e_0$ is the unique primitive central idempotent with $\epsilon (e_0)=1$. Its defect groups of a block are Sylow subgroups: if $e_0={\mathrm{Tr}}_D^G(a)$, augmentation gives $1=[G:D]\epsilon (a)$, so $p\nmid [G:D]$.

The Brauer third main theorem states that, if $b$ is a block of $kH$ with defect group $D$ and $D{C}_G(D)\le H\le G$, thenWe give a proof, including the normal-subgroup ingredient needed for the difficult implication.

First, block idempotents centralize a normal p-subgroup. If $P◃L$ is a p-subgroup, the ideal $J(kP)kL$ is nilpotent: conjugation preserves $J(kP)$, so its powers are $J(kP{)}^{m}kL$, eventually zero. For a central idempotent $e$ of $kL$, the difference $e-{\mathrm{Br}}_P(e)$ is a sum of nonfixed $P$-conjugation orbit sums. Such an orbit maps to a single element of $L/P$ multiplied by its size, which is zero in $k$. Thus the difference belongs to $J(kP)kL$. Since $P$ is normal, its centralizer is normal too, and the Brauer image is $L$-invariant; consequently it is itself a central idempotent of $kL$. Commuting central idempotents congruent modulo a nilpotent ideal coincide: their off-diagonal products are nilpotent idempotents, hence zero. ThereforeIt follows that central block idempotents of $kL$ are exactly the sums over $L$-orbits of primitive central idempotents of $k{C}_L(P)$. The principal block idempotent of $k{C}_L(P)$ is invariant under every automorphism preserving augmentation, so its singleton orbit is the principal block idempotent of $kL$.

In particular, if $P{C}_G(P)\le K\le L\le N_G(P)$, the groups $K,L$ have the same centralizer $C_G(P)$. Their principal block idempotents are both the principal block idempotent of $k{C}_G(P)$. By the definition using the central character of a block of block induction, a block of $K$ inducing to the principal block of $L$ must be principal: its idempotent, a sum of centralizer block idempotents, has nonzero overlap with this single principal idempotent, and is therefore precisely that idempotent. The forward implication also holds, by the same observation.

For an arbitrary subgroup $H$ in the theorem, use the Brauer first main theorem inside $H$ to replace $b$ by its correspondent $\beta$ in $K=N_H(D)$. This preserves principalness. Indeed a Brauer image preserves augmentation on central elements, since nonfixed $D$-orbits have sizes divisible by $p$; hence the principal block of $H$, when it has defect $D$, corresponds to the principal block of $K$. Conversely, if $\beta$ is principal, its induced central character of a block isso ${\beta }^H$ is principal. Transitivity gives ${\beta }^G=b^G$. Thus we may work with $D{C}_G(D)\le K\le N_G(D)$ and a block $\beta$ of defect $D$.

The forward implication is already proved by this augmentation calculation, now with $H$ replaced by $G$. For the converse, fix $G$ and suppose there is a counterexample with $\beta$ nonprincipal but ${\beta }^G$ principal. Choose one whose defect group $D$ has maximal order. Put $N=N_G(D)$ and $c={\beta }^N$. To verify the transitivity needed here, write $B={\beta }^G$. Its defining character gives $e_{\beta }{\mathrm{Br}}_D(e_B)=e_{\beta }$. The image ${\mathrm{Br}}_D(e_B)$ is $N$-invariant and central in $kN$, so the definition of $c$ gives $e_c{\mathrm{Br}}_D(e_B)=e_c$. If $E\ge D$ is a defect group of $c$, applying ${\mathrm{Br}}_E$ gives ${\mathrm{Br}}_E(e_c){\mathrm{Br}}_E(e_B)={\mathrm{Br}}_E(e_c)$, since $C_G(E)\subseteq C_G(D)$. The character defining $c^G$ therefore selects $e_B$. Thus $c^G={\beta }^G$. The normal-subgroup observation shows that $c$ is nonprincipal, since otherwise $\beta$ would be principal. Every defect group of $c$ contains the normal $p$-subgroup $D$ up to conjugacy: ${\mathrm{Br}}_D(e_c)=e_c\ne 0$. Choose a defect group $E\ge D$ of $c$. Then $C_G(E)\le C_G(D)\le N$, so $(G,N,c)$ is another admissible counterexample, now with defect group $E$. Maximality forces $E=D$.

The first main theorem applied to $N=N_G(D)$ therefore implies that the principal block $c^G$ has defect $D$. Thus $D$ is a Sylow subgroup of $G$, and also of $N$. The principal block of $N$ then has defect $D$ and, by the forward implication, induces to the principal block of $G$. Injectivity in the first main theorem gives $c=B_0(N)$, contradicting the established nonprincipalness of $c$. This proves the third main theorem.

A useful equivalent consequence, with its justification, isLet $a$ be a block idempotent of $k{C}_G(Q)$ occurring in the left side, and let $E$ be a defect group of $a$ containing the central $p$-subgroup $Q$. Then $C_G(E)\le C_G(Q)$, so $a^G$ is defined. Applying ${\mathrm{Br}}_E$ to $a{\mathrm{Br}}_Q(e_0)=a$ shows that the central character of a block defining $a^G$ selects $e_0$: deleting coefficients outside $C_G(E)$ can be done after deleting those outside $C_G(Q)$. Hence $a^G=B_0(G)$, and the theorem makes $a$ principal. The image is nonzero because its augmentation is $1$, so it is exactly the principal centralizer idempotent.

Now put $C=C_G(x)$ and $P=O_p(C)$, the p-core of a finite group. The hypothesis $O_{p^{\prime }}(C)=1$, using the p-prime core of a finite group, and the definition of a p-constrained group say $C_C(P)\le P$. The normal-subgroup observation puts every block idempotent of $kC$ inside $k{C}_C(P)\subseteq kP$. A group algebra of a p-group in characteristic p is local, so its only idempotents are $0,1$. Thus $kC$ has a single block, its principal block.

Write $Q=⟨x⟩$. By the trace and Brauer characterization of defect in Question 1,For the forward direction one can conjugate $Q$ into $D$; the nonzero image at $D$ then ensures the image at $Q$ is nonzero. The reverse direction follows because every subgroup with nonzero image is conjugate into a defect group. Since $kC$ has only one block, a nonzero image must equal $1=e_0(C)$. The preceding local-block argument then gives $B=B_0(G)$ by the third main theorem. Conversely, if $B$ is principal, its defect group is a Sylow subgroup and every $p$-element is conjugate into it. ThereforeThis includes $x=1$: in that case the hypotheses force $kG$ itself to have only its principal block.

Put $\overline{G}=G/O_{p^{\prime }}(G)$ using the p-prime core of a finite group. A finite group is p-constrained if $C_{\overline{G}}(O_p(\overline{G}))\le O_p(\overline{G})$. If $O_{p^{\prime }}(G)=1$, the p-core of a finite group has its centralizer contained in itself. Then block idempotents centralize a normal p-subgroup places every block idempotent in $k{O}_p(G)$, a local ring, so $kG$ has only the principal block.