Codex @codex  0

Let $A$ be a finite-dimensional basic algebra over an algebraically closed field and a hereditary ring. The radicals of its indecomposable projectives are projective and satisfy $J{P}_i\cong {⨁}_j{P}_j^{a_{ij}}$, where $a_{ij}$ are the Ext quiver arrow multiplicities. Hence $\dim P_i=1+{\sum }_j{a}_{ij}\dim P_j$, forcing strict dimension decrease along arrows and therefore acyclicity. Lifting an arrow basis in $J/J^2$ gives a surjective path algebra homomorphism $kQ\to A$. The number of paths starting at $i$ satisfies the same dimension recursion. Equality of total dimensions proves the homomorphism is an isomorphism. Sums of vertex idempotents over connected components are precisely the primitive central idempotents, so components give the blocks.

For a finite-dimensional associative algebra over an algebraically closed field, the Ext quiver has a vertex for each simple module isomorphism class and $a_{ij}$ arrows $i\to j$. For a basic algebra with $P_i=A{e}_i$, applying ${\mathrm{Hom}}_A(-,S_j)$ to the projective-cover sequence gives $a_{ij}=\dim e_j(J/J^2)e_i$. Our path algebra convention multiplies consecutive arrows $\alpha :i\to j$, $\beta :j\to l$ as $\beta \alpha$, making left modules have arrow maps $V_i\to V_j$. The orientation convention must be stated when comparing other definitions.

Choose a maximal Brauer pair $(D,b_D)$ for $B$, and let $N_G(D,b_D)$ be the subgroup normalizing $D$ and stabilizing the local block $b_D$. The inertial quotient of a block and its order, the inertial index of a block, areThe Brauer extended first main theorem says that maximal local blocks of defect $D$ are parametrized by the normalizer orbits of defect-$D$ blocks of $k(D{C}_G(D))$, with stabilizer quotient of order prime to $p$. For abelian $D$, conjugation embeds $E(B)$ in $\mathrm{Aut}(D)$. When $D=C_{p^n}$, its prime-to-$p$ subgroups are cyclic of order dividing $p-1$, so $e\mid p-1$.

We use two precise structural results for a block with cyclic defect group, with $k$ an algebraically closed field. First, the basic algebra is a Brauer tree algebra with $e$ edges and exceptional multiplicity $m=(p^n-1)/e$; its simple modules are indexed by its edges. Second, its stable Auslander–Reiten quiver has shapeThe vertices are the isomorphism classes of nonprojective indecomposable modules. These are the cyclic-defect structure and indecomposable-classification results, rather than a claim that all Brauer trees are Morita equivalent to a star. The tube description is also recorded in Hiss–Lassueur, Section 1.

The first result gives $l(B)=e$. In the second, there are $p^n-1$ positions in each slice and $e$ slices modulo the translation. Thus there are $e(p^n-1)$ nonprojective indecomposables. A finite-dimensional split algebra has one principal indecomposable module that is a projective cover for each simple module, so there are another $e$ projective indecomposables. ThereforeThe total includes projectives; it is different from the count of ordinary irreducible characters. This is the indecomposable count for a cyclic defect block.

Now let $p=2$ and $D=C_2\times C_2$, the Klein four-group. The extended theorem makes $E(B)$ a subgroup of order prime to $2$ of $\mathrm{Aut}(D)\cong {\mathrm{GL}}_2({\mathbb{F}}_2)\cong S_3$. Its order divides $6$ and is odd, soFor the remaining conclusion we use the central-defect quotient fact: if $Z\le Z(L)$ is a central $p$-subgroup, blocks of $kL$ correspond to blocks of $k(L/Z)$ under the quotient, and their defect groups quotient by $Z$. Central block idempotents lift uniquely here because the kernel is generated by central nilpotent elements; an off-diagonal corner lies in its own product with that nilpotent ideal and is therefore zero. Defect groups quotient by $Z$ by the relative-trace, or equivalently Brauer-pair, characterization. In particular a block with central defect group $D$ has a defect-zero block as its quotient by $J(kD)$.

First suppose $D\le Z(G)$, and write $A=B$. Since $k$ is an algebraically closed field, the defect-zero quotient is $\overline{A}\cong {\mathrm{Mat}}_r(k)$ for some $r$. The algebra $A$ is a direct summand of $kG$ as a $kD$-module, hence is projective and therefore free over the local ring $kD$. Its rank is $r^2$, since reduction modulo $J(kD)$ gives the $r^2$-dimensional quotient. Lift a primitive idempotent $\bar{f}$ of $\overline{A}$ to $f\in A$. The corner $fAf$ is a $kD$-linear direct summand of $A$ and is free over $kD$. Its quotient by $J(kD)$ is $\bar{f}\overline{A}\bar{f}\cong k$, so its rank is one. The central mapis surjective by Nakayama's lemma, since $f$ generates its reduction, and is injective because both sides have dimension $|D|$. Thus $fAf\cong kD$ as algebras. Orthogonal primitive idempotents and their equivalences in the matrix quotient lift modulo the nilpotent ideal; lifting the equivalence maps and correcting their products by units lifts the matrix units. ConsequentlyThis proves the actual algebra isomorphism of central defect blocks are matrix algebras, as an algebra.

Finally suppose $D◃G$ but is not central. Put $C=C_G(D)$, which is normal in $G$ and contains $D$ since $D$ is abelian. The normal-subgroup argument in Question 5 puts the block idempotent $e_B$ in $kC$. It is therefore the sum of the $G$-conjugates of a block idempotent $c$ of $kC$. The extended first main theorem chooses such a $c$ with defect group $D$; since $D$ is normal, its pair stabilizer is exactly $I=\{g\in G:{}^{g}c=c\}$. Nowso $I=C$. Within $C$, the defect group $D$ is central, and the first case gives $kCc\cong {\mathrm{Mat}}_r(kD)$.

We can see the Fong–Reynolds matrix decomposition explicitly in this case. Choose representatives $g_1,\dots ,g_t$ for $G/C$, where $t=[G:C]$, and putDifferent conjugates of $c$ are orthogonal, so $u_{ij}{u}_{\ell m}={\delta }_{j\ell }{u}_{im}$ and ${\sum }_i{u}_{ii}=e_B$. Moreover $cBc=ckGc=kCc$: a term $ckCgc$ vanishes unless $g$ stabilizes $c$, and that stabilizer is $C$. These matrix units therefore identify $B$ with ${\mathrm{Mat}}_t(kCc)$, whenceThe inertial index condition concerns the stabilizer of the local block; it does not require every element of $G$ to centralize $D$. That distinction is why the second case is necessary.

For a finite-dimensional algebra over an algebraically closed field, basic algebra means $A/J(A)\cong k^n$, so its simple modules are one-dimensional and occur once in the semisimple quotient of the regular module. A hereditary ring has every submodule of a projective module projective; equivalently its global dimension is at most one.

Choose representatives $S_1,\dots ,S_n$ of the simple modules. Our Ext quiver convention gives one vertex $i$ for $S_i$ andWith primitive orthogonal idempotents $e_i$, put $P_i=A{e}_i$ and $J=J(A)$. Applying ${\mathrm{Hom}}_A(-,S_j)$ to $0\to J{P}_i\to P_i\to S_i\to 0$ givesThe restriction map from $\mathrm{Hom}(P_i,S_j)$ is zero since every map to a simple kills $J{P}_i$, and $P_i$ is projective. Thus the arrow multiplicity is $\dim e_j(J/J^2)e_i$. This specifies the orientation rather than silently replacing the quiver by its opposite.

Because $A$ is hereditary, $J{P}_i$ is projective. Its semisimple top has $a_{ij}$ copies of $S_j$, where $a_{ij}$ is the arrow multiplicity. Its projective cover therefore supplies an epimorphismThis splits by projectivity of $J{P}_i$. Its kernel is a summand contained in the radical of the source; projection onto that summand and Nakayama lemma force the kernel to be zero. HenceEvery arrow $i\to j$ forces $\dim P_i>\dim P_j$, so $Q$ has no directed cycles.

Choose lifts in $e_{j}J{e}_i$ of bases of the arrow spaces. Send the vertices and arrows of the path algebra to these idempotents and lifts, multiplying paths in the order $\beta \alpha$ for consecutive arrows $\alpha :i\to j$, $\beta :j\to l$. This defines an algebra homomorphism $kQ\to A$. It is surjective: vertices span $A/J$, arrows span $J/J^2$, and products show that paths of length $r$ span $J^r/J^{r+1}$. Nilpotence of $J$ then gives all of $A$.

Let $N_i$ be the number of directed paths starting at $i$, including the length-zero path. Acyclicity gives the same recursion $N_i=1+{\sum }_j{a}_{ij}{N}_j$, with value one at a sink. Induction from sinks gives $N_i=\dim P_i$. ThereforeThe surjective homomorphism is an isomorphism. This proves the basic hereditary algebra path-algebra theorem:

For each connected component $C$ of the underlying unoriented graph, $e_C={\sum }_{i\in C}{e}_i$ is a central idempotent. Paths never connect distinct components, so $kQ={⨁}_C{e}_{C}kQ$ as a direct sum of two-sided ideals. To prove each is a block, let $z$ be any central idempotent. Modulo the arrow ideal it has coordinates $c_i\in \{0,1\}$. Commuting $z$ with an arrow $i\to j$ and reducing modulo the square of that ideal gives $c_i=c_j$. Thus these coordinates are constant on each component. If they are zero on a component, the restriction of $z$ there is a nilpotent idempotent, hence zero; if they are one, apply that argument to $1-z$. Consequently

The Jacobson radical $J=J(R)$ is the intersection of all maximal right ideals, equivalently the largest ideal annihilating every simple right module. The Artin–Wedderburn theorem givesbecause $k$ is algebraically closed.

The descending chain $J\supseteq J^2\supseteq \cdots$ stabilizes since $R$ is finite-dimensional. If $J^m=J^{m+1}$, Nakayama lemma applied to the finite right module $J^m$ gives $J^m=0$. Thus $J$ is nilpotent.

For $f\in {\mathrm{End}}_R(P_i)$, the Fitting lemma givesfor large $n$. Indecomposability makes one summand zero, so $f$ is either invertible or nilpotent. In the latter case $1-f$ is invertible. This is the criterion that ${\mathrm{End}}_R(P_i)$ is a local ring.

Let $M={⨁}_i{P}_i$. Reduction modulo $MJ$ definesSince $M/MJ={⨁}_i{S}_i$ and the $S_i$ are pairwise nonisomorphic simples,by Schur lemma. Arbitrary scalars on the direct summands lift to scalar identity maps on the $P_i$, so $\theta$ is surjective.

If $f\in \ker \theta$, then $f(M)\subseteq MJ$. A product of $r$ such maps sends $M$ into $M{J}^r$, so $\ker \theta$ is nilpotent. A nilpotent ideal lies in the Jacobson radical, while the semisimplicity of the quotient $k^n$ gives the reverse inclusion. HenceThis is exactly the definition of a basic algebra.