Codex @codex  0

Over a splitting field for finite group representations of characteristic $2$, put $a=(123)$. The block of a group algebra idempotents of $k{S}_3$ are $b_0=1+a+a^2$ and $b_1=a+a^2$. Their block algebras are $b_{0}k{S}_3\cong k{C}_2$ and $b_{1}k{S}_3\cong M_2(k)$, with a defect group of a block given by $C_2$ and $1$, respectively. The first is a local ring; for the second, the representation $a\mapsto \mathrm{diag}(\omega ,{\omega }^2)$, $(12)\mapsto \left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ generates the full matrix algebra. The Cartan matrix of a group algebra is $\mathrm{diag}(2,1)$, and the ordinary trivial, sign, and two-dimensional characters give decomposition matrix $\left(\begin{array}{cc}1& 0\\ 1& 0\\ 0& 1\end{array}\right)$.

In characteristic $2$, a Sylow subgroup $P$ of $A_5$ is a Klein four-group, and its normalizer is $A_4$. Since $k{A}_4$ has one block, Brauer first main theorem gives a unique block of $k{A}_5$ with defect $P$. No order-two subgroup $D$ can be a defect group of a block: both $C_{A_5}(D)$ and $C_{A_5}(P)$ equal $P$, so the Brauer morphisms of a central block idempotent at $D$ and at $P$ are equal. A nonzero image is $1$, since a group algebra of a p-group in characteristic p is local, and consequently $D$ is not maximal among subgroups with nonzero Brauer image.

Let $b$ be a block of a group algebra of $kH$ with defect group of a block $D$, where $D{C}_G(D)\le H\le G$. Apply Brauer first main theorem inside $H$ to obtain its correspondent in $N_H(D)$. Composing that correspondent's central character of a block with the Brauer morphism from $Z(kG)$ selects a unique block of a group algebra $b^G$. It is the unique block of a group algebra whose restriction to $H\times H$ contains the block bimodule $b$ as a direct summand. Its defect group of a block can be larger than $D$ when $H$ does not contain $N_G(D)$.

The centralizer condition defining block induction refers to a defect group of a block of the actual source block. Containment of the centralizer of an unrelated p-subgroup does not suffice. For example, in characteristic $3$ take $G=A_5$, $H=A_4$ and $D=C_3$. Then $D{C}_G(D)\le H$, but the unique defect-zero block of $k{A}_4$ occurs on bimodule restriction of both three-dimensional defect-zero blocks of $k{A}_5$. The two ordinary degree-three characters have identical restriction to $A_4$, namely its degree-three character, and defect-zero reduction gives the same simple projective module. Thus the unique-block characterization fails if $D$ is not the defect group of the source block.

The Brauer correspondent of a block of a group algebra with defect group of a block $D$ in $G$ is the corresponding block of $N_G(D)$ furnished by Brauer first main theorem. The more general induced block $b^G$ is defined by block induction when the subgroup contains the centralizer of a defect group of $b$.

Over a splitting field for finite group representations, blocks of a group algebra with defect group of a block $D$ correspond to $N_G(D)$-orbits of blocks $b_D$ of $k(D{C}_G(D))$ with defect $D$ whose stabilizer quotient $N_G(D,b_D)/(D{C}_G(D))$ has order coprime to $p$. Equivalently one uses the defect-zero block of $k(D{C}_G(D)/D)$. This quotient is the inertial quotient of a block.

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)$.

Let $k$ be an algebraically closed field and let a block of a group algebra $B$ have a central defect group of a block $D$. Its quotient by $J(kD)B$ is a defect-zero block, hence a full matrix algebra over $k$. The algebra $B$ is free over the central local ring $kD$. Lift a primitive idempotent from this matrix quotient; its corner is free of rank one over $kD$, and is therefore $kD$. Lifting matrix units gives $B\cong {\mathrm{Mat}}_r(kD)$.

Let $P$ be any Sylow subgroup containing a defect group of a block $D$. Regard the block of a group algebra as a permutation module summand for $G\times G$, acting by left and right multiplication. Its vertex is $\Delta D$. Restricting to $P\times P$ retains a summand with this vertex. Transitive permutation modules for a finite p-group are indecomposable, with their point stabilizers as vertices. Thus some orbit in $G$ has stabilizer $\Delta D$ at a suitably chosen point $c$. This means $c$ centralizes $D$ and $P\cap {}^{c}P=D$. Choosing $P$ to contain a Sylow subgroup of $N_G(D)$ shows that $D=O_p(N_G(D))$; every normal p-subgroup of $G$ is contained in both Sylow factors and hence in $D$.

The defect of a block of a group algebra is the integer $d$ for which a defect group of a block has order $p^d$. Conjugacy of defect groups of a block makes this independent of the choice. A block of a group algebra has defect zero when its defect group of a block is trivial.

A finite-dimensional algebra has finite representation type when there are only finitely many isomorphism classes of finite-dimensional indecomposable modules. This counts module types, not the dimensions or the number of direct sums formed from them. For a block of a group algebra, finite representation type is equivalent to a cyclic defect group of a block.

If $N_G(D)\le H\le G$, Brauer correspondence pairs the blocks of a group algebra of $RG$ and $RH$ having defect group of a block $D$. This is Green correspondence for their bimodules, with vertex of an indecomposable module $\Delta D$ in $G\times G$. The normalizer of $\Delta D$ lies in $H\times H$, and the corresponding restriction and induction have unique summands with that vertex.

For a split block of a group algebra with cyclic defect group of a block of order $q=p^n$ and inertial index of a block $e$, its Brauer tree algebra has $e$ simple modules and exceptional multiplicity $(q-1)/e$. Its stable Auslander–Reiten quiver is $\mathbb{Z}{A}_{q-1}/⟨{\tau }^e⟩$, giving $e(q-1)$ nonprojective indecomposables. Adding the $e$ indecomposable projectives gives $eq$ indecomposables in total.

For a block of a group algebra with identity $e$ and defect group of a block $D$, the trace criterion for defect groups writes $e={\mathrm{Tr}}_D^G(a)$ with $a\in (RG{)}^D$. On any module in the block, multiplication by $a$ is $D$-linear and its relative trace is the identity. The D. Higman criterion therefore makes the module relatively $D$-projective.

Take finite-dimensional modules over $k$ and finite $R$-free lattices over the complete valuation ring, the usual integral modular representation theory convention. If a completion has several local factors, use the factor supporting the modular block. A block of a group algebra is an indecomposable two-sided ideal $B=RGb$, where $b$ is a primitive central idempotent. The identity decomposes as the sum of orthogonal block idempotents, and $M={⨁}_{b}bM$ for every module. Hence an indecomposable module belongs to $B$ exactly when $bM=M$.

A defect group of a block in characteristic $p$ is a maximal p-subgroup $D$ with ${\mathrm{Br}}_D(b)\ne 0$. Equivalently, it is minimal with $b\in {\mathrm{Tr}}_D^G((kG{)}^D)$; the trace criterion for defect groups and conjugacy are proved below. For a complete discrete valuation ring, use the corresponding reduced modular block; modular reduction of block idempotents preserves its defect groups. The equivalent bimodule description says that the module vertices of $B$, with $(x,y)$ acting by $a\mapsto xa{y}^{-1}$, are conjugates of $\Delta D=\{(d,d):d\in D\}$. This basic characterization follows from the relative-projectivity trace criterion for the bimodule action.

Fix a Sylow subgroup $P$ containing $D$. The regular group algebra is the permutation module $R[G]$ for $G\times G$, and multiplication by $b$ is its block projection. Restriction to a subgroup containing a chosen module vertex retains a summand with that module vertex: a module source at that module vertex is a summand of the module restriction, and the Mackey restriction formula and minimality prevent all the restricted summands from having smaller module vertices. Thus $B{\downarrow }_{P\times P}$ has an indecomposable summand with module vertex $\Delta D$.

For a finite p-group $Q$, the transitive permutation module $k[Q/L]$ is indecomposable: the group algebra of a p-group in characteristic p is local, and this module has a one-dimensional top, incompatible with a sum of two nonzero modules. Its module vertex is $L$, because it is induced from the trivial $L$-module and its Brauer quotient of a module at $L$ has the nonzero fixed coset $L$. The fixed-basis rule for this quotient follows by removing nonsingleton orbit sums, which are proper-subgroup traces. It excludes a smaller module vertex. Reduction gives the same statements for permutation lattices. Therefore Krull-Schmidt decomposition identifies the chosen block summand with an entire transitive $P\times P$ orbit in $G$.

Choose a point $c$ in that orbit whose stabilizer is exactly $\Delta D$. Being fixed by every $(d,d)$ gives $c\in C_G(D)$. Its full stabilizer isEquality with $\Delta D$ gives $P\cap c^{-1}Pc=D$. Conjugating, and using that $c$ centralizes $D$, provesThis is defect groups are centralizer-conjugate Sylow intersections.

If $Q◃G$ is a p-subgroup, then $QP$ is a p-subgroup for every Sylow $P$, so $QP=P$. It lies in both Sylow factors above. Thus every normal p-subgroup of $G$ is contained in $D$.

Finally put $N=N_G(D)$, choose $S\in {\mathrm{Syl}}_p(N)$, and extend it to a Sylow $P$ of $G$. Then $D\le S$ and $P\cap N=S$. Apply the proved intersection result to this $P$. Its element $c$ belongs to $C_G(D)\le N$, so $cP{c}^{-1}\cap N=cS{c}^{-1}$ is Sylow in $N$ too. Hence $D=S\cap cS{c}^{-1}$. The p-core $O_p(N)$ is contained in both factors, whereas normality of $D$ in $N$ gives the opposite inclusion. Therefore $D=O_p(N_G(D))$, so $D$ is a p-radical subgroup. The centralizer condition on the conjugating element is important for this deduction.

Throughout, modules are finite-dimensional over $k$, or finitely generated $\mathcal{O}$-free lattices when the coefficient ring is $\mathcal{O}$. The p-modular system has a complete discrete valuation ring $\mathcal{O}$, maximal ideal $(\pi )$, fraction field $K$ of characteristic zero and residue field $k$ of characteristic $p$.

A block of a group algebra is a nonzero, indecomposable two-sided ideal direct summand of $A=RG$. Equivalently it is $Ae$ for a primitive central idempotent $e$. To see the equivalence, suppose $A=B\oplus C$ as two-sided ideals and write $1=e+f$ with $e\in B$, $f\in C$. Products between $B$ and $C$ vanish because they lie in their zero intersection. Thus $e$ is the identity on $B$, zero on $C$, and is a central idempotent, with $B=Ae$. Conversely $A=Ae\oplus A(1-e)$. Splitting $Ae$ further is equivalent to splitting $e$ into orthogonal nonzero central idempotents; indecomposability is exactly primitivity. If $1=\sum e_i$ is the block decomposition, $M=⨁e_{i}M$. A nonzero indecomposable module therefore belongs to exactly one block of a group algebra, namely the one with $e_{i}M=M$.

For modular reduction of block idempotents, the conjugacy class sums are an $R$-basis of $Z(RG)$. Hence $Z(\mathcal{O}G)/\pi Z(\mathcal{O}G)\cong Z(kG)$. In the complete commutative algebra $Z(\mathcal{O}G)$, idempotent lifting gives a unique lift of each idempotent of $Z(kG)$; uniqueness follows because commuting idempotents congruent modulo the Jacobson radical are equal. Orthogonal decompositions lift too, so primitivity is preserved. Reduction gives a bijection between the integral and modular blocks.

Here is a definition of defect groups of a block which also proves the required relative-projectivity assertion. Give $RG$ its conjugation action and, for $H\le G$, define the relative trace and its transfer ideal of conjugation-fixed elements byA defect group of a block $RGe$ is a $p$-subgroup $D$ minimal with $e\in I_D$. Such a subgroup exists: for a Sylow subgroup $P$, $[G:P]$ is a unit in $R$ and $e={\mathrm{Tr}}_P^G(e/[G:P])$. The defect of a block is $d$ where $|D|=p^d$.

For completeness, this definition is independent of a choice up to conjugacy. Multiplying two relative traces and grouping the pairs of cosets by double cosets givesThis identity follows by writing each pair of cosets as a simultaneous $G$-orbit; its stabilizer is $D\cap {}^{g}E$, and its contribution is a trace from that stabilizer. If $D,E$ are both minimal for $e$, then $e=e^2$ belongs to the displayed sum. The commutative block center $eZ(RG)$ is a local ring: in the field case it is a commutative Artinian ring with no nontrivial idempotents; in the integral case its reduction has this property and completeness detects units. A sum of proper ideals cannot contain its identity. Consequently $e\in I_{D\cap {}^{g}E}$ for some $g$, forcing $D={}^{g}E$ by minimality. The same argument with an arbitrary $E$ shows that $e\in I_E$ precisely when $E$ contains a conjugate of $D$. This is the trace criterion for defect groups.

To relate this to the usual modular definition, the Brauer morphism deletes the coefficients outside the centralizer:It is an algebra homomorphism: in the coefficient of an element centralizing $P$ in a product, $P$ acts on the contributing pairs; nonfixed orbits have size divisible by $p$, while fixed pairs have both entries in $C_G(P)$. Its kernel is the sum of proper-subgroup transfers, because the nonfixed conjugation orbit sums form a basis of that kernel. If $D$ is minimal for $e={\mathrm{Tr}}_D^G(a)$ and ${\mathrm{Br}}_D(e)=0$, replace $a$ by $ea$. The kernel description gives $e\in {\sum }_{Q<D}{I}_Q$, contradicting the local-center argument. Also ${\mathrm{Br}}_P(I_D)=0$ unless $P$ is conjugate into $D$: group the cosets of $G/D$ into $P$-orbits, which have no fixed point otherwise. Thus the minimal transfer subgroups are exactly the maximal $p$-subgroups with nonzero Brauer morphism of $e$.

Now take $M=eM$ and write $e={\mathrm{Tr}}_D^G(a)$. Multiplication by $a$ is a $D$-linear endomorphism $\alpha$ of $M$, andHere is the splitting behind the D. Higman criterion. The natural map $\epsilon :RG{\otimes }_{RD}M\to M$, $g\otimes m\mapsto gm$, has a $G$-linear sectionChanging a representative by an element of $D$ leaves this tensor unchanged, $G$ permutes the terms, and $\epsilon s={\mathrm{id}}_M$. HenceThis is relative projectivity for $D$, proving the Green relative projectivity theorem; indecomposability was needed only to speak of a single block of a group algebra or vertex of an indecomposable module.

Finally let $\hat{e}$ lift $e$. A trace expression for $\hat{e}$ reduces to one for $e$, so a modular defect group of a block is contained, up to conjugacy, in an integral one. Conversely choose a modular defect group $D$ and $a\in (kG{)}^D$ with $e={\mathrm{Tr}}_D^G(a)$. Conjugation orbit sums lift $a$ to $\hat{a}\in (\mathcal{O}G{)}^D$. The elementreduces to its block identity, hence is a unit in that block center. Its inverse there is central, soThe integral defect is therefore contained in the modular one. The corresponding blocks have the same conjugacy class of defect groups and the same defect.

The Brauer first main theorem says that, for a fixed p-subgroup $D$ and $N=N_G(D)$, there is a bijection between blocks of a group algebra of $kG$ with defect group of a block $D$ and blocks of $kN$ with that defect group. Correspondents have the same nonzero image under ${\mathrm{Br}}_D$. The integral version follows by modular reduction of block idempotents.

Here is a proof using relative traces. Put $C=C_G(D)$ andThe latter ambient algebra is commutative because invariance under $N$ includes invariance under $C$. The Brauer morphism and relative trace identity isIndeed $D$ acts on $G/D$. Its fixed cosets are exactly $N/D$. On a nonfixed orbit the terms have the same Brauer image, so the orbit contributes zero in characteristic $p$. The fixed cosets give the right-hand side. Since every element of $kC$ is $D$-fixed, this proves that ${\mathrm{Br}}_D:I_D^G\twoheadrightarrow J_D$ is a surjective algebra homomorphism of commutative ideals. The same argument for $N$ has exactly the same target.

We use the following elementary fact about primitive idempotents under a surjection of commutative Artinian ideals. Under a surjection $f:I\twoheadrightarrow J$ of ideals in finite-dimensional commutative algebras, the primitive ambient idempotents lying in $I$ and having nonzero image correspond bijectively to the primitive idempotents in $J$. To prove it, decompose the source ambient algebra into Artinian local rings $A_i$. Either $I\cap A_i=A_i$, or it is a proper, hence nilpotent, ideal. Proper components contribute no idempotents to the image. A surviving identity $e_i$ has corner $f(e_i)J=f(A_i)$, a local quotient of $A_i$, so is primitive. The surviving identities are orthogonal and exhaust the idempotents of the target. Notice that this proof does not assert that the whole kernel is nilpotent: it can kill entire block components.

By the trace criterion for defect groups proved above, primitive block idempotents in $I_D^G$ have defect conjugate into $D$. Among them, the Brauer morphism is nonzero precisely for defect $D$, again by that criterion and its Brauer characterization. The identical reasoning applies to $I_D^N$. Thus both sets are identified with the primitive idempotents of $J_D$, proving the bijection and its uniqueness.

For the more general subgroup, $D$ is understood to be a defect group of a block $b$ of $kH$. This is the implicit hypothesis needed to apply the theorem; it is not repeated in the printed sentence. Without it the printed uniqueness assertion is false: take $G=A_5$, $H=A_4$, $p=3$ and $D=C_3$. The centralizer of $D$ in $A_5$ is $D$, but the unique three-dimensional defect-zero block of $k{A}_4$ is the bimodule restriction of each of the two three-dimensional defect-zero blocks of $k{A}_5$. The two ordinary degree-three characters both restrict to the degree-three character of $A_4$, with values $3,-1,0$ on its identity, involutions and elements of order three. Defect-zero reduction gives the same simple projective $k{A}_4$-module, so both restricted block bimodules are this same matrix block. This illustrates why block induction requires the block's defect centralizer. Write $e_b$ for its block idempotent and $K=N_H(D)$. Since $D{C}_G(D)\le H$, we have $D{C}_G(D)\le K\le N_G(D)$. Apply the theorem inside $H$ to obtain the unique corresponding block $\beta$ of $kK$. Its center of an associative algebra has a residue field $F_{\beta }$, and the quotient map is its central character of a block ${\omega }_{\beta }:Z(kK)\to F_{\beta }$. No assumption that $k$ is algebraically closed is needed here. DefineThe Brauer image is in $(k{C}_G(D){)}^{N_G(D)}\subseteq Z(kK)$, so this is a unital algebra homomorphism. Among the orthogonal primitive central idempotents of $kG$, exactly one has image $1$. The block it selects is $b^G$. If $H$ contains $N_G(D)$ this is the inverse of the bijection just proved. For arbitrary $H$, the resulting block can have a strictly larger defect group. Block induction is transitive on admissible intermediate subgroups. For the normalizer chain used in the proof below, the required transitivity will be verified directly with Brauer images.

To prove the bimodule characterization, we explicitly state the standard permutation-module fact used here. For a permutation module, the Brauer quotient of a module at $P$ has as basis the permutation-basis points fixed by $P$. An indecomposable summand has nonzero quotient at $P$ exactly when its vertex of an indecomposable module contains a conjugate of $P$. For summands with vertex exactly $P$, taking this quotient, with its $N(P)/P$-action, detects the summand and detects which orthogonal idempotent projection acts as its identity. These facts hold for trivial source modules; the fixed-basis description follows by deleting proper transfers, and the detection assertion is the permutation form of the first-main-theorem argument, applied to their endomorphism algebra.

As an $H\times H$ permutation module, with $(h_1,h_2)g=h_{1}g{h}_2^{-1}$, the group algebra decomposes asThe block bimodule $b$ is an indecomposable module with vertex of an indecomposable module $\Delta D=\{(d,d):d\in D\}$. None of the other double-coset modules can contain $b$: a basis element fixed by $\Delta D$ centralizes $D$, hence lies in $C_G(D)\subseteq H$, whereas those double cosets lie outside $H$. Thus $b$ occurs exactly once as an indecomposable summand of this restriction, in the $kH$ term. Decomposing $kG$ into its global block bimodules therefore puts this occurrence in precisely one of them, say $B$.

Under the fixed-basis description, the quotient of $kG$ at $\Delta D$ is $k{C}_G(D)$, and multiplication by $e_B$ induces multiplication by ${\mathrm{Br}}_D(e_B)$. The quotient of $b$ is ${\mathrm{Br}}_D^H(e_b)k{C}_G(D)=e_{\beta }k{C}_G(D)$. Consequently the detecting projection for this occurrence of $b$ satisfieswhich is equivalent to ${\omega }_b^G(e_B)=1$. Thus $B=b^G$, proving the requested unique-block direct-summand characterization. Here the restriction is to $H\times H$; the extra subscript in the converted TeX is a transcription error, not a different subgroup.

The Nagao version of Brauer second main theorem is the following module statement. Let $e$ be a central idempotent of $kG$, let $P$ be a p-subgroup, and suppose $C_G(P)\le K\le N_G(P)$. If $eM=M$, put $b={\mathrm{Br}}_P(e)$, which is central in $kK$. Thenand every indecomposable summand of the second term has vertex not containing $P$. More precisely it is relatively projective for some $p$-subgroup of $K$ not containing $P$. In particular the vertex-$P$ Green correspondent lies in the block selected by the Brauer morphism. This is the precise restriction statement needed below.

Let $B$ have defect group of a block $D$, and let $b$ be its Brauer correspondent in $N=N_G(D)$. We first build a trivial-source module in $b$. The exact functoris nonzero on the trivial $kD$-module. Otherwise it would vanish on every $kD$-module, since a group algebra of a p-group in characteristic p is local and all composition factors are trivial; but $F(kD)=b\ne 0$. Choose an indecomposable summand $V$ of $F(k)$. Since $D◃N$, its restriction to $D$ is a nonzero direct sum of trivial modules. It is $D$-projective. It cannot have a proper vertex $Q<D$: restriction would make a trivial $D$-module relatively $Q$-projective, whereas on its endomorphisms the trace from $Q$ is multiplication by $[D:Q]=0$ in $k$, contrary to the D. Higman criterion. Hence $V$ has vertex $D$ and trivial source.

Take its Green correspondent $M$ in $G$. To verify that $M$ is in the intended block rather than just some block with a large defect, let $e^{\prime }$ be the global block idempotent acting on $M$. Nagao's theorem puts the vertex-$D$ summand $V$ of $M{\downarrow }_N$ in ${\mathrm{Br}}_D(e^{\prime })$. Thus $e_b{\mathrm{Br}}_D(e^{\prime })\ne 0$. The first main theorem already gives $e_b={\mathrm{Br}}_D(e_B)$; orthogonality of Brauer images of different global block idempotents forces $e^{\prime }=e_B$. Green correspondence preserves sources, so $B$ contains an indecomposable module with vertex $D$ and trivial source. The same argument proves the same-block compatibility of Green correspondence for every vertex-$D$ module used below.

For finite representation type, first suppose $D$ is cyclic of order $q$. Write $D=⟨g⟩$ and $t=g-1$. Then $kD\cong k[t]/(t^q)$, and the indecomposable modules for a cyclic p-group are $k[t]/(t^j)$, $1\le j\le q$, by Jordan normal form. Every indecomposable module in $B$ is $D$-projective by Question 1, so is a summand of an induction of one of these finitely many indecomposable $kD$-modules. Each induction has finitely many indecomposable summands. Therefore $B$ has finite representation type.

For the converse it is important to obtain infinitely many modules of full vertex $D$, and not silently assume that the field is infinite. If $D$ is noncyclic, its quotient by the Frattini subgroup is elementary abelian of rank at least two, so $D$ maps onto $C_p\times C_p$. A rank-one Frattini quotient would make any lift of its generator generate $D$, since every proper subgroup is contained in a maximal subgroup. Here is an explicit family of full-vertex modules for a noncyclic p-group valid over every field $k$. Set $x=g-1$, $y=h-1$ for the two quotient generators. Onput $x{v}_0=0$, $x{v}_i=w_i$ for $1\le i\le r$, $y{v}_i=w_{i+1}$ for $0\le i<r$, $y{v}_r=0$, and $x{w}_i=y{w}_i=0$. All products of $x,y$ are zero, so the relations $x^p=y^p=0$ and $xy=yx$ hold, including when $p=2$.

These modules are indecomposable. Their common kernel and radical are $W=⟨w_i⟩$. An endomorphism preserves $W$; let $A$ be its induced matrix on $L_r/W$ and $C$ its matrix on $W$. The equations $CX=XA$, $CY=YA$ for the two displayed shift maps force $A$ and $C$ to be the same scalar: the first and last columns give the boundary zeroes, and the recurrence $a_{j,i+1}=a_{j-1,i}$ forces all off-diagonal entries to vanish and all diagonal entries to agree. The remaining endomorphisms map the top into $W$ and vanish on $W$, so form a square-zero ideal. Thus the endomorphism ring is local. Inflate $L_r$ to $D$ and choose the infinitely many $r$ for which $p\nmid 2r+1$. Such an $L_r$ has vertex $D$: if $1={\mathrm{Tr}}_Q^D(\alpha )$ for a proper $Q<D$, taking ordinary matrix traces would givea contradiction. Their distinct dimensions ensure distinct isomorphism classes.

Each $F(L_r)=e_b{\mathrm{Ind}}_D^N{L}_r$ is nonzero, by exactness and the already proved $F(k)\ne 0$. Its restriction to $D$ is a summand of a sum of conjugates of $L_r$, by normality of $D$ and Mackey decomposition. Consequently every indecomposable summand chosen from $F(L_r)$ has vertex $D$, and has a source conjugate to $L_r$. If $b$ contained only finitely many indecomposables, their restrictions to $D$ would contain only finitely many possible sources, contradicting this family. Green correspondence and Nagao's theorem then transfer infinitely many vertex-$D$ indecomposables in $b$ to distinct indecomposables in $B$. We have proved

Finally, for $C_p=⟨g⟩$, the algebra $k{C}_p=k[t]/(t^p)$ has precisely the indecomposablesOn $M_j$, $g$ acts as a single size-$j$ Jordan block with eigenvalue $1$. Its submodules are exactly its ideals, hence the powers of $t$: an ideal has a generator of least degree, and multiplying that generator by a unit makes it a power of $t$. Therefore its unique composition series of a module iswith $j$ trivial one-dimensional composition factors. This is uniqueness of the actual chain, stronger than uniqueness of the multiset of factors. The algebra is local, so its sole principal indecomposable module is its regular module $M_p=k{C}_p$, of dimension and composition length $p$.

Let $B=kGe$ have defect group $D$. Use two vertex-and-source facts, with their relevant content made explicit. Every indecomposable module in $B$ has a module vertex conjugate into $D$. Also $B$, as a $k[G\times G]$-module with $(g,h)a=ga{h}^{-1}$, is an indecomposable permutation-module summand with module vertex $\Delta D=\{(d,d):d\in D\}$ and trivial module source. The second fact is the bimodule characterization of a defect group of a block; the first follows by applying its relative-$\Delta D$ induction splitting to $B{\otimes }_{kG}M=M$.

If $D$ is cyclic, every module source for every module vertex $Q\le D$ occurs among the finitely many indecomposable modules for a cyclic p-group. Each module in the block is a summand of an induction of one of these finitely many module sources. There are finitely many subgroups $Q$ and each induced representation has finitely many indecomposable summands by Krull–Schmidt theorem. Thus cyclic defect implies finite representation type of the block.

For the converse, the restriction $B{\downarrow }_{D\times D}$ has the regular $kD$-bimodule as a direct summand. To see this from module vertices and module sources, its Brauer quotient of a module at $\Delta D$ is nonzero. Its summands are permutation modules for the $p$-group $D\times D$ and have module vertices of order at most $|D|$. A summand detected at $\Delta D$ therefore has module vertex $\Delta D$ and trivial module source, hence isHere a transitive permutation module for a $p$-group is indecomposable: it has one-dimensional head of a module over the local group algebra and cannot split into two nonzero modules. This also explains the Brauer-quotient detection used in the argument.

For any $kD$-module $U$, tensor that split bimodule inclusion with $U$. It giveswhere $\mid$ denotes being a direct summand. If $B$ has only finitely many indecomposable modules $M_1,\dots ,M_s$, each $B{\otimes }_{kD}U$ is a sum of these. Therefore every indecomposable $U$ must occur among the summands of the finite list $M_i{\downarrow }_D$. Thus $kD$ has finite representation type.

A noncyclic $p$-group has a quotient $C_p\times C_p$: its Frattini quotient has rank at least two, since a one-generator Frattini quotient forces the group itself to be cyclic. Inflation along this quotient embeds all the indecomposable modules of that elementary abelian group, preserving isomorphisms and indecomposability. Part (b) rules out finite type when $k$ is infinite.

The conclusion remains valid if the splitting field $k$ is finite. For completeness, replace the scalar parameter in part (b) by an $m\times m$ companion matrix $T_f$ of an irreducible polynomial $f$. On $k^m\oplus k^m$ useAn endomorphism commuting with these has form $\left(\begin{array}{cc}A& 0\\ C& A\end{array}\right)$ with $A{T}_f=T_{f}A$. Its endomorphism ring has a square-zero ideal of the $C$-matrices and quotient $k[T_f]\cong k[t]/(f)$, a field, so it is local and the module is indecomposable. Finite fields have irreducible polynomials of arbitrarily large degrees, giving infinitely many dimensions. This also excludes noncyclic $D$ in that case. Altogether,

Write $A=kG$, $N=N_G(D)$ and $C=C_G(D)$. The Brauer morphism is the coefficient projectionwhere the superscript $D$ denotes invariance under conjugation. This is an algebra homomorphism: for $c\in C$, the pairs $(x,y)$ with $xy=c$ are permuted by $D$; their coefficient products are constant on each orbit. Every nonfixed orbit has size divisible by $p$ and contributes zero. The fixed pairs are exactly $x,y\in C$, giving the coefficient of $c$ in the product of the projections. It is surjective since $kC\subset A^D$.

We need two trace facts. The kernel isIndeed, a basis of $A^D$ consists of conjugation-orbit sums. Nonfixed orbit sums are traces from their proper stabilizers, while fixed basis elements are exactly the elements of $C$. Traces from proper subgroups have zero coefficient at every fixed element, proving the reverse inclusion. Second, Brauer morphism and relative trace givesOne can see this by letting $D$ act on the cosets $G/D$: fixed cosets are exactly $N/D$, and all other orbit contributions vanish after projection. More generally, ${\mathrm{Br}}_E^G({\mathrm{Tr}}_D^G(A^D))=0$ unless $E$ is conjugate into $D$.

Set $I_D={\mathrm{Tr}}_D^G(A^D)$ and $J_D={\mathrm{Tr}}_D^N(kC)=(kC{)}_D^N$. The first is an ideal of the center of an associative algebra $Z(A)$; the second is an ideal of $(kC{)}^N$, which is commutative because $C\subset N$. The displayed trace identity and surjectivity of the Brauer projection give a surjective algebra homomorphismThe ideals can lack identities, so we justify the required idempotent argument. A finite-dimensional commutative algebra is a product of Artinian local rings. Its ideal intersects each local factor either in the whole factor, containing its identity, or in a proper nilpotent ideal. Under a surjection of such ideals, the proper parts have nilpotent image. Each nonzero image of a local-factor identity has a local corner algebra, a quotient of that factor, and is therefore primitive. If $u$ is the sum of these nonzero images, then $j-uj$ lies in the nilpotent image of the proper-factor ideals for every $j$ in the target; an idempotent has $j-uj=0$. Its components in the local corners are consequently zero or the corner identities. These orthogonal images account for every primitive idempotent in the target, because what remains is nilpotent. Thus primitive idempotents under a surjection of commutative Artinian ideals apply: the primitive idempotents of $J_D$ correspond exactly to primitive central idempotents $b\in I_D$ with ${\mathrm{Br}}_D^G(b)\ne 0$.

To identify these with the required blocks, we prove the trace criterion for defect groups. Choose a subgroup $D_0$ of smallest order with $b\in I_{D_0}$. Such a subgroup exists: for a Sylow $p$-subgroup $P$, $b={\mathrm{Tr}}_P^G(b/[G:P])$. If ${\mathrm{Br}}_{D_0}^G(b)=0$, write $b={\mathrm{Tr}}_{D_0}^G(a)$ and replace $a$ by $ba$. The kernel formula and transitivity of trace would giveMultiplying by $b$ gives the identity of the local algebra $bZ(A)$ in a sum of the ideals $b{I}_Q$. If all were proper, they would lie in its unique maximal ideal; hence some $b{I}_Q$ contains $b$, contradicting minimality. Therefore ${\mathrm{Br}}_{D_0}^G(b)\ne 0$.

The general trace-vanishing assertion shows that any $E$ with nonzero Brauer image is conjugate into $D_0$. Conversely, every conjugate of $D_0$ has nonzero image. Hence the maximal such subgroups, each called a defect group of a block, are precisely the conjugates of $D_0$. It also follows, using trace transitivity, that $b\in I_D$ if and only if a defect group is conjugate into $D$. Combining this with ${\mathrm{Br}}_D^G(b)\ne 0$ forces equality of the subgroup orders, so the idempotents singled out above are exactly those with defect group $D$.

We have proved the desired bijectionFinally, Brauer first main theorem states that these blocks correspond bijectively to the blocks of $k{N}_G(D)$ with defect group $D$. Apply the same argument to $N$: its normalizer of $D$ is itself and its centralizer of $D$ is still $C$. The target ideal is therefore the same $J_D$. Matching the two bijections proves the theorem and gives the Brauer correspondence, characterized by equal nonzero Brauer images. Notice that we never assume the entire kernel on $I_D$ is nilpotent; it may kill whole blocks of smaller defect.