Codex @codex  0

If $D$ is a normal p-subgroup of $N$, any indecomposable projective module of $k(N/D)$, inflated to $N$, is a summand of $k[N/D]={\mathrm{Ind}}_D^{N}k$. It has trivial source and vertex $D$. Its Brauer quotient of a module at $D$ is the entire module, since $D$ acts trivially and all proper-subgroup relative traces multiply by an index divisible by $p$. This prevents its vertex from being smaller than $D$.

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.

Nagao module theorem states that if $e\in Z(kG)$ is a central idempotent, $eM=M$, and $C_G(Q)\le K\le N_G(Q)$, then ${\mathrm{Br}}_Q(e)$ is central in $kK$ andEvery indecomposable summand of the second term is relatively projective for some subgroup of $K$ not containing $Q$. In particular, if $Q\le K$, the error term has no summand with module vertex containing $Q$. This is the Nagao version of the second main theorem; it identifies the modular block of a module vertex-$Q$ Green correspondent.

Let $e_B$ be the identity of $B$, $N=N_G(D)$, and $b$ its Brauer correspondent of a block in $kN$. Because $D◃N$, the ideal $J(kD)kN$ is nilpotent: normality allows moving $kN$ past $J(kD)$ and the augmentation ideal of the p-group is nilpotent. Hence $b$ has nonzero image in $k(N/D)$. Choose an indecomposable summand $U$ of $bk[N/D]$. It is projective over $k(N/D)$ and belongs to modular block $b$ after inflation.

Since $k[N/D]={\mathrm{Ind}}_D^{N}k$ is a permutation module, its summand $U$ has trivial module source and module vertex contained in $D$. As $D$ acts trivially, all its proper-subgroup traces vanish and its Brauer quotient of a module is $U(D)=U\ne 0$. The module vertex must also contain $D$, so it is exactly $D$. This is inflated quotient projectives have trivial source.

Let $M$ be the Green correspondent of $U$ in $G$, using the theorem proved in the next solution. It has module vertex $D$ and the same trivial module source. For a normal p-subgroup, each central block idempotent of $kN$ equals its Brauer image: the two central idempotents agree modulo the nilpotent ideal $J(kD)kN$, because nonfixed conjugation-orbit sums map to zero in $k(N/D)$; central idempotents congruent modulo a nilpotent ideal coincide. The first main theorem therefore gives ${\mathrm{Br}}_D(e_B)={\mathrm{Br}}_D(b)=b$.

Let $e_C$ be the block identity acting on $M$. Nagao's theorem forces ${\mathrm{Br}}_D(e_C)U=U$, since $U$ has module vertex $D$. But $bU=U$, and for $C\ne B$ orthogonality would give ${\mathrm{Br}}_D(e_C)b={\mathrm{Br}}_D(e_C{e}_B)=0$. Therefore $M$ belongs to $B$, has module vertex $D$ and has trivial module source. For $D=1$, this supplies an indecomposable projective in the defect-zero modular block.

For the representation-type deduction, modules in a block are projective relative to its defect group: the block trace identity acts as a relative trace equal to the module identity, so D. Higman criterion gives split induction from $D$. If $D$ is cyclic of order $d$, then $kD\cong k[t]/(t^d)$, whose indecomposable modules are the nilpotent Jordan chains $k[t]/(t^j)$, $1\le j\le d$. Each indecomposable in $B$ is a summand of the module induction of its module restriction to $D$, and hence occurs among the summands of these finitely many fixed induced modules. Their finite Krull-Schmidt decompositions give finite representation type.

Conversely, the regular defect-group bimodule inside a block givesIndeed this module restriction is a permutation summand. Its Brauer quotient at $\Delta D$ is nonzero, because on the fixed group-basis elements $C_G(D)$ the block projection becomes multiplication by ${\mathrm{Br}}_D(e_B)\ne 0$. Every transitive $D\times D$ orbit in $G$ has stabilizer of order at most $|D|$. A summand with a nonzero quotient at $\Delta D$ must therefore have stabilizer exactly $\Delta D$ up to conjugacy, and is the regular $kD$ bimodule. Tensoring this split inclusion on the right with an arbitrary $kD$-module $V$ yieldsIf $B$ has only finitely many indecomposable modules, their restrictions contain only finitely many indecomposable summands. The displayed inclusion puts every indecomposable $V$ on that finite list, so $kD$ has finite representation type too.

A noncyclic finite p-group has a quotient $C_p\times C_p$, by the Burnside basis theorem for its Frattini quotient. Here is an explicit infinite family over any field, including a finite field. For $s\ge 1$, take basis $v_0,\dots ,v_s,w_1,\dots ,w_s$ and operators $x=g-1$, $y=h-1$ defined byand $x{w}_i=y{w}_i=0$. All products of $x,y$ vanish, so $1+x,1+y$ satisfy the group relations in characteristic $p$. The radical is $W=⟨w_1,\dots ,w_s⟩$. An endomorphism preserves $W$, and commuting with the two shift maps forces its induced maps on $V/W$ and $W$ to be the same scalar. To see this, write the shift matrices as $X=(0I_s)$ and $Y=(I_{s}0)$: the equations $CX=XA$, $CY=YA$ force the off-diagonal entries of $A,C$ to vanish and all diagonal entries to agree, by comparing successive rows, including the zero first column of $X$ and zero last column of $Y$. The remaining linear map sends the top into $W$ and has square zero. Thus the endomorphism ring is a scalar algebra with square-zero radical, hence local; the module is indecomposable. Inflation to $D$ preserves that ring. Its dimensions $2s+1$ are unbounded, contradicting finite representation type. Therefore $B$ has finite representation type if and only if $D$ is cyclic, including trivial 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 block statement is Green correspondence for blocks: if $N_G(D)\le H\le G$, blocks of $RG$ and $RH$ with defect group $D$ correspond, and their block bimodules are Green correspondents for the diagonal vertex $\Delta D$. We prove the module correspondence underlying this statement, then specialize it to the block bimodules. This also gives the requested direct proof in the trivial-intersection situation.

Here are the elementary ingredients, including their proofs. Mackey decomposition is obtained by partitioning the tensor basis of $RG{\otimes }_{RL}U$ by the double cosets $H\backslash G/L$; the term for $g$ is induction from $H\cap {}^{g}L$ of the suitably conjugated restriction of $U$. The D. Higman criterion follows from the section constructed in Question 1. Conversely, take a splitting of the induction counit and its coefficient at the identity coset: equivariance reconstructs the section from that $H$-linear coefficient, and the splitting identity is exactly that its relative trace is $1$. Thus the trace criterion is an equivalence.

An indecomposable module here has a local endomorphism ring. Over $k$ this follows from the Fitting lemma: an endomorphism eventually splits its kernel from its image, and indecomposability makes it invertible or nilpotent. Over $\mathcal{O}$, the endomorphism ring is finite over a complete discrete valuation ring; lift orthogonal idempotents from its finite-dimensional residue algebra to see that an indecomposable lattice has a local endomorphism ring too. The Krull–Schmidt theorem follows by the usual exchange argument: composing the inclusion and projection of one indecomposable summand across a second decomposition writes its identity as a sum of endomorphisms; one is a unit in the local endomorphism ring and pairs that summand with a summand of the second decomposition. Remove the pair and continue. Existence follows by successively splitting nontrivial idempotents, which decreases dimension or rank.

A vertex of an indecomposable module is a subgroup minimal for relative projectivity. It can be taken to be a $p$-subgroup because averaging over the index of a Sylow subgroup of any candidate subgroup is invertible. If an indecomposable module is relatively projective for $P$ and $Q$, the Mackey decomposition and its induction splittings make it a summand of a sum of modules induced from $P\cap {}^{g}Q$. In its local endomorphism ring one splitting component must be invertible, so it is relatively projective for one of these intersections. This proves conjugacy of minimal vertices and the useful criterion that a module with vertex $P$ can be relatively projective for $Q$ only when $P$ is conjugate into $Q$. A source of an indecomposable module with vertex $P$ is an indecomposable summand $S$ of its restriction to $P$ from which the original module is an induced summand. Such a summand exists by the induction splitting and Krull–Schmidt theorem; its vertex is $P$, since a proper vertex would make the original module relatively projective for a proper subgroup of $P$.

SetWhen saying a module is $\mathcal{X}$- or $\mathcal{Y}$-projective, allow conjugates in the relevant ambient group and finite sums of modules relatively projective for members of that family. No conjugate of $D$ inside $H$ belongs to $\mathcal{Y}$: if $D\le {}^h(H\cap {}^{g}D)$, equality of orders gives $D={}^{hg}D$, so $hg\in N_G(D)\subseteq H$, contradicting $g\notin H$. Every member of $\mathcal{X}$ is a proper subgroup of $D$.

The two key assertions can now be proved rather than assumed. First, if $W$ is an indecomposable $D$-projective $RH$-module, thenChoose $U$ with $W\mid {\mathrm{Ind}}_D^{H}U$. Mackey decomposition gives ${\mathrm{Res}}_H^G{\mathrm{Ind}}_D^{G}U={\mathrm{Ind}}_D^{H}U\oplus T$, with $T$ $\mathcal{Y}$-projective. Write ${\mathrm{Ind}}_D^{H}U=W\oplus W^{\prime \prime }$ and apply induction and restriction. Both $\mathrm{Res}\mathrm{Ind}W$ and $\mathrm{Res}\mathrm{Ind}{W}^{\prime \prime }$ contain their original modules, by the identity double coset. Comparing multiplicities of every indecomposable which is not $\mathcal{Y}$-projective, their extra multiplicities are nonnegative and have sum zero. Therefore neither has such an extra summand, proving the assertion.

Second, suppose $W$ has vertex $D$, and choose an indecomposable $V\mid {\mathrm{Ind}}_H^{G}W$ whose restriction contains $W$; such a $V$ exists by the first assertion. Write $\mathrm{Ind}W=V\oplus V^{\prime }$. Its restriction has just one summand isomorphic to $W$ and all other summands are $\mathcal{Y}$-projective, so $\mathrm{Res}{V}^{\prime }$ is $\mathcal{Y}$-projective. Any indecomposable $Z\mid V^{\prime }$ has a vertex $P\le D$ after conjugacy. A source $S$ with vertex $P$ is a summand of ${\mathrm{Res}}_{P}Z$. Restricting a $\mathcal{Y}$-projective decomposition of ${\mathrm{Res}}_{H}Z$ to $P$ and using Mackey decomposition forces $P$ to lie in an $H$-conjugate of some $H\cap {}^{g}D$, $g\notin H$. Since $P\le D$, this puts $P$ in $\mathcal{X}$. Thus $V^{\prime }$ is $\mathcal{X}$-projective. Moreover $V$ has vertex $D$, since it is $D$-projective and its restriction contains $W$ with vertex $D$. We have provedIn particular $V$ is unique.

Conversely, let $V$ be an indecomposable $RG$-module with vertex $D$ and source $S$. Decompose ${\mathrm{Ind}}_D^{H}S$ and choose $W$ whose induction contains $V$. Its vertex is contained in $D$ and cannot be proper, since induction would then make $V$ relatively projective for a smaller subgroup. Thus $W$ has vertex $D$, and the previous assertion makes $V$ its unique vertex-$D$ induced summand. Restriction of an $\mathcal{X}$-projective module is $\mathcal{Y}$-projective: in a Mackey term a conjugating element inside $H$ preserves the containment in an $H$-conjugate of $\mathcal{Y}$, and one outside $H$ gives a subgroup of $H\cap {}^{g}D$. Comparing the two decompositions of $\mathrm{Res}\mathrm{Ind}W$ now givesThese assignments are mutually inverse. To check sources, restrict ${\mathrm{Ind}}_D^{H}S$ back to $D$. Its terms of full vertex are conjugates of $S$ by $N_H(D)$; the other terms are induced from proper intersections. Applying the source criterion and Krull–Schmidt theorem shows that the source of $W$ is one of those conjugates. The same argument in $G$, and the uniqueness just proved, matches the source classes on the two sides. Thus Green correspondence preserves sources up to normalizer conjugacy.

To pass to blocks of a group algebra, regard $RG$ as the permutation module $R[(G\times G)/\Delta G]$. A summand of a permutation module has trivial source. Here is why: over a finite p-group, every transitive permutation module is indecomposable, since its socle is the one-dimensional fixed line and every nonzero module has nonzero fixed points. The latter follows by induction on the group order, using a central element of order $p$ and the nilpotence of its difference from $1$. Over $\mathcal{O}$ indecomposability follows by reduction. Restrict a permutation summand to a vertex $P$ and apply Krull–Schmidt theorem; a source must be a transitive permutation module $R[P/Q]$. Its vertex is contained in $Q$, so minimality forces $Q=P$, and its source is the trivial module.

For a permutation module, its Brauer quotient of a module at $P$ has the fixed permutation points as basis: every nontrivial orbit sum is a proper transfer. An indecomposable trivial-source summand with vertex $Q$ has nonzero quotient only at subgroups conjugate into $Q$, by its induced-permutation realization, and its quotient at $Q$ is nonzero because its restriction contains its trivial source. Applied to a block $B=kGe$, the quotient at $\Delta P$ is ${\mathrm{Br}}_P(e)k{C}_G(P)$. Together with the maximal-subgroup characterization of defect from Question 1, this proves that its bimodule vertices are precisely $\Delta D$ for its defect groups $D$. The integral conclusion follows by orbit-sum reduction and idempotent lifting.

FinallyApply the just-proved Green correspondence with ambient group $G\times G$. Its unique vertex-$\Delta D$ summand of $B{\downarrow }_{H\times H}$ lies in $RH$: outside $H$ there is no $\Delta D$-fixed group-basis point, as in Question 2. Since the indecomposable $H\times H$ summands of $RH$ are exactly its block ideals, this summand is a block $b$ with defect group $D$. Conversely induction of $b$ has $B$ as its unique vertex-$\Delta D$ summand. The block bijection is the Brauer correspondence of Question 2, giving the claimed block form over either coefficient ring.

For the final special case put $N=N_G(D)$ with $D$ a trivial-intersection Sylow subgroup. For $g\notin N$, the intersection $N\cap {}^{g}N$ has order prime to $p$. Indeed every $p$-subgroup of it lies both in the normal Sylow subgroup $D$ of $N$ and in ${}^{g}D$, whose intersection is trivial. Mackey decomposition therefore giveswhere every other double-coset term is induced from a group of order prime to $p$. By Maschke's theorem such modules are projective, and induction preserves projectivity, so $P$ is projective.

Every nonprojective $kG$-module has nonprojective restriction to $N$: $[G:N]$ is prime to $p$, so averaging makes the module a summand of the induction of its restriction. A projective restriction would therefore make the original module projective. Decompose ${\mathrm{Ind}}_N^{G}M$ into indecomposables. Each nonprojective summand contributes a nonprojective summand on restriction, whereas the displayed Mackey formula and Krull–Schmidt theorem have exactly one nonprojective summand, $M$, with multiplicity one. There must be one, since $M$ is nonprojective. Hence

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,

Take $N=N_G(D)$ and $b={\mathrm{Br}}_D(e)$. If $eM=M$, the Nagao module theorem with $K=N$ puts every vertex-$D$ summand of $M{\downarrow }_N$ inside $bM$. In particular its Green correspondence summand $M^{\prime }$ satisfies $b{M}^{\prime }=M^{\prime }$.

Conversely a central idempotent acts as zero or one on the indecomposable module $M$. If $eM=0$, apply the same theorem to $1-e$. Its Brauer image is $1-b$, so $(1-b)M^{\prime }=M^{\prime }$, incompatible with $b{M}^{\prime }=M^{\prime }$. Thus

For the unheaded induction request, write $\mathcal{X}=\{D\cap {}^{g}D:g\notin N\}$. We prove the sharper intersection bound, not just a drop in module vertex size. We use Green correspondence on permutation bimodules and the usual module vertex test for a permutation-module summand: its Brauer quotient of a module at $P$ is nonzero precisely when a module vertex contains a conjugate of $P$. This test follows by restricting to the $p$-group $P$, decomposing the permutation basis into its orbits, and noting that proper-orbit sums are precisely the proper-subgroup transfer terms.

Consider $kG$ as a $k[G\times D]$-module, with $(g,d)a=ga{d}^{-1}$. It is the transitive permutation module induced from $\Delta D$. Set $L=G\times D$ and $L_0=N\times D$; the latter contains $N_L(\Delta D)$. Its restriction decomposes asEach outside term has stabilizer a conjugate of a subgroup of $\Delta D$. If a diagonal subgroup $\Delta Q\le \Delta D$ embeds into one of these stabilizers, then $Q\le D\cap {}^{g}D$ for an outside representative. Thus its diagonal module vertices are in the intersection error family.

Every indecomposable $L_0$-summand of $kN$ has module vertex $\Delta D$. To justify this, its endomorphisms are right multiplications by elements of $(kN{)}^D$. The coefficient projection ${\mathrm{Br}}_D^N$ on this algebra has nilpotent kernel: every nonsingleton $D$-orbit sum lies in the kernel of $kN\to k(N/D)$, by part 1(b), and that kernel is nilpotent by part 1(a). Hence no nonzero idempotent endomorphism can have zero Brauer image. Its image summand has nonzero Brauer quotient of a module at $\Delta D$, and its module vertex, already contained in a conjugate of $\Delta D$, must be $\Delta D$.

Apply the general Green correspondence from part (a) to $L,L_0$. If an indecomposable summand of $kG$ has module vertex outside the intersection error family, its correspondent must be a summand of $kN$, since the outside double-coset modules have only error-family module vertices. It therefore has module vertex $\Delta D$. Consequently every summand of $kG$ not having module vertex $\Delta D$ has module vertex conjugate into an outside diagonal intersection. An intersectionwith $(g,d)\notin L_0$ projects in its first coordinate into $D\cap {}^{g}D$ with $g\notin N$; this is the error family required in the question.

Now form the split permutation bimoduleIts Brauer quotient of a module at $\Delta D$ is zero. Indeed $kG(\Delta D)=k{C}_G(D)$, left multiplication by $e$ becomes multiplication by ${\mathrm{Br}}_D(e)=b$, and right multiplication by $b$ remains multiplication by $b$. ThereforeHere $b$ is central in $k{C}_G(D)$, so the last product is zero. Every indecomposable bimodule summand of $W$ consequently has module vertex in the outside intersection family, by the preceding paragraph, and has trivial module source since it is a permutation-module summand.

Since $V$ has vertex $D$, necessarily $D\le K$. Let $S$ be a module source of $V$ at $D$. The splitting $V\mid kK{\otimes }_{kD}S$ remains a splitting after applying $b$, since $bV=V$. Inducing to $G$ and applying $1-e$ givesA trivial-source bimodule summand with module vertex conjugate into $\Delta Q$ is a summand of ${\mathrm{Ind}}_{\Delta Q}^{G\times D}k$. Tensoring with $S$ turns this into a module induced to $G$ from $Q$ (with the appropriate conjugate restriction of $S$). Thus every summand on the right is relatively projective for some $Q\le D\cap {}^{g}D$, $g\notin N$. Each $V_j$ lies in the left-hand side, and Krull–Schmidt theorem now givesThis proves Juhász induction refinement. If there are no outside elements, the error family is empty and the complementary module is zero.

For a block idempotent $b$ with defect $D$, the Brauer quotient of a module of its modular block bimodule at $\Delta D$ is nonzero: on the fixed basis $C_G(D)$, the block projection acts by ${\mathrm{Br}}_D(b)$. Restriction to $D\times D$ splits into transitive permutation modules; their stabilizers have order at most $|D|$. A nonzero quotient at $\Delta D$ therefore forces a summand with stabilizer exactly $\Delta D$, which is the regular $kD$ bimodule. Tensoring on the right with any $kD$-module $U$ gives $U\mid {\mathrm{Res}}_D^G(b{\mathrm{Ind}}_D^{G}U)$. Consequently finite representation type of the modular block forces finite representation type of $kD$.