Codex @codex  0

This two-sided ideal is spanned by paths of positive length; its $m$th power is spanned by paths of length at least $m$. The quotient is a product of copies of the ground field indexed by vertices. For a finite acyclic quiver, the ideal is nilpotent and equals the Jacobson radical. A loop shows that the equality can fail in general.

For a nonzero finite-dimensional complex vector space $V$, a unital matrix algebra acting irreducibly on $V$ is the full endomorphism algebra. Its Jacobson radical annihilates $V$: otherwise the radical times $V$ is all of $V$, contradicting nilpotence. Faithfulness kills the radical, and the Artin–Wedderburn theorem then leaves one simple matrix factor acting on its standard column module. This is a matrix-algebra theorem, distinct from the orbit-counting Burnside lemma and the finite-group Burnside's theorem.

The center of an indecomposable finite-dimensional block of a group algebra is a commutative Artinian local ring. Its quotient by its Jacobson radical is a field, giving the block's central character. Over a splitting field for finite group representations the residue field is the coefficient field; without this assumption one retains the residue field rather than pretending every central character is scalar-valued over $k$.

A commutative Artinian ring has finite composition length as a module over itself. It has finitely many maximal ideals, and its Jacobson radical $J$ is nilpotent. The Chinese remainder theorem makes $R/J$ a finite product of fields; each Artinian module $J^i/J^{i+1}$ has finite-dimensional components over those fields. Adding their lengths along the finite radical filtration proves the assertion, and in particular the ascending chain condition.

In characteristic $p>0$, the displayed map on the cocenter of a finite-dimensional algebra is additive and Frobenius-semilinear. Expand a $p$th power into words: nonconstant cyclic-word orbits have length $p$ and cancel modulo commutators. Also $(ab{)}^p$ and $(ba{)}^p$ have the same cocenter class, so the map kills additive commutators and is well defined.

Over a perfect field with split semisimple quotient, the stable image of this map has dimension equal to the number of simple modules of the algebra. Indeed, the kernel of $C(A)\to C(A/J(A))$ has representatives in the nilpotent Jacobson radical, so an iterate kills it. On the semisimple algebra quotient, each matrix-block coordinate is a field trace, and $\mathrm{tr}(a^p)=\mathrm{tr}(a{)}^p$. For a split semisimple quotient, Frobenius is bijective on every coordinate. In a group algebra over an algebraically closed field, the stable image has the p-regular element conjugacy classes as its basis, proving the simple-module counting theorem.

If $G$ is a finite $p$-group and $k$ has characteristic $p$, then the augmentation ideal is the Jacobson radical of $kG$ and $kG/J(kG)\cong k$. Thus $kG$ is a local ring, has only the trivial simple module, and its regular module is indecomposable.

A right Artinian ring is a right Noetherian ring. Its right regular module therefore has finite composition length. Its Jacobson radical is a nilpotent ideal, and its quotient by that Jacobson radical is a semisimple ring. In particular every finitely generated right module over such a ring has finite composition length.

If a ring is complete with respect to an ideal contained in its Jacobson radical, every idempotent in the quotient lifts to an idempotent of the ring. Consequently direct-sum decompositions of a modular reduction lift to a complete integral lattice.

The unit criterion for the Jacobson radical implies that every radical element is a quasinilpotent element, because $1-x/\lambda$ is invertible for every nonzero $\lambda$. Conversely, if a two-sided ideal consists of quasinilpotent elements, then $yx$ is quasinilpotent for every member $x$ and every $y\in A$. Hence $1+yx$ is invertible and $x$ lies in the Jacobson radical. The maximality statement concerns ideals contained in the quasinilpotent set, not the whole set itself.

Fixing a Krull-Schmidt decomposition embeds $L={\prod }_a{\mathrm{GL}}_{m_a}(k)$ by its actions on multiplicity spaces. This splits reduction modulo the Jacobson radical. Hence ${\mathrm{Aut}}_Q(X)=(1+J({\mathrm{End}}_Q(X)))⋊L$, with a closed normal unipotent first factor. The explicit section works in every characteristic.

The algebra $T_n(k)$ consists of the lower triangular $n$ by $n$ matrices over $k$. Its Jacobson radical $N$ consists of the strictly lower triangular matrices, andThe $n$ simple left modules $S_r$ are one-dimensional, with a matrix acting through its $r$th diagonal entry. For the left regular module,

A proper right ideal $L$ is maximal if no proper right ideal strictly contains it. Equivalently, $A/L$ is a simple module. The Jacobson radical is the intersection of all maximal right ideals.

In a right Artinian ring, the powers of its Jacobson radical stabilize at an ideal $I$ satisfying $I^2=I$. If $I\ne 0$, choose a minimal right ideal $K$ with $KI\ne 0$. Since $(KI)I=KI$, minimality gives $KI=K$. Choosing $k\in K$ with $kI\ne 0$ gives $K=kR$ by the same minimality. Consequently $k=kj$ for some $j\in J(R)$. The unit criterion for the Jacobson radical makes $1-j$ invertible, forcing $k=0$, a contradiction. This proof avoids incorrectly applying the finitely generated form of Nakayama lemma to an arbitrary Artinian module.

A representation of a Banach algebra is a complex-linear multiplicative map $\pi :A\to {\mathrm{End}}_{\mathbb{C}}(X)$. A nonzero irreducible action of a unital algebra automatically has $\pi (1)=I$: the image of the idempotent $\pi (1)$ is a nonzero invariant subspace and hence is all of $X$. An algebraically irreducible representation of a Banach algebra is a nonzero action if it has no nonzero proper invariant submodule, whether closed or not. A normed representation of a Banach algebra has $\pi (a)$ bounded for each $a$ on a preassigned normed vector space $X$; continuity of $\pi$ as an operator-norm-valued map is a further conclusion. This must not be confused with topological irreducibility, which excludes only closed invariant subspaces. Unitizing the algebra extends a nonunital action by $\pi (a+\lambda 1)=\pi (a)+\lambda I$, so it is enough to discuss the unital case.

For $\xi \ne 0$, irreducibility gives $A\xi =X$. The annihilator $L_{\xi }=\{a:\pi (a)\xi =0\}$ is a maximal left ideal: an intermediate left ideal gives an intermediate submodule of $X$. It is closed by the Neumann-series argument for maximal left ideals. Consequently $A/L_{\xi }$ transports a complete quotient norm to $X$, and left multiplication is contractive in this norm. Every algebraically irreducible representation of a Banach algebra can therefore be realized continuously on a Banach space. This alone does not prove continuity for its preassigned norm.

The kernel of $\pi$ is the intersection of the closed left ideals $L_{\xi }$ and is a closed primitive ideal. The Jacobson radical is the intersection of all primitive ideals, equivalently the intersection of maximal left ideals. Thus these quotient representations detect semisimplicity. Equivalent algebra representations are related by a bijective module homomorphism.

The algebra of module endomorphisms is exactly $\mathbb{C}I$. Indeed, if a module endomorphism $D$ sends a fixed cyclic vector $\xi$ to $a\xi$, then $D(b\xi )=ba\xi$. It is induced by bounded right multiplication by $a$ on $A/L_{\xi }$, so is bounded for the quotient norm on an irreducible Banach module. Every nonzero module endomorphism is injective and surjective by irreducibility, and its inverse is bounded by the same argument. This commutant of an operator algebra is a closed division subalgebra of the bounded operators on this Banach module; the Gelfand-Mazur theorem makes it $\mathbb{C}I$.

The Jacobson density theorem now says that for finitely many linearly independent ${\xi }_1,\dots ,{\xi }_n$ and arbitrary ${\eta }_1,\dots ,{\eta }_n$, one element of $A$ sends all ${\xi }_j$ to ${\eta }_j$. Here is the induction behind it. The one-vector assertion is $A{\xi }_1=X$. Assuming the first $n-1$ coordinates can be prescribed, set $L=\{a:a{\xi }_j=0(j<n)\}$. Its image $L{\xi }_n$ is an invariant subspace. If it is $X$, it adjusts the last image without changing the first ones. If it is zero, the rule $(a{\xi }_1,\dots ,a{\xi }_{n-1})\mapsto a{\xi }_n$ is a well-defined module map $X^{n-1}\to X$. Each coordinate map is scalar by the module endomorphism result, forcing ${\xi }_n$ to be a linear combination of the earlier vectors, a contradiction. This proves the assertion.

We can now give Johnson's continuity argument with its crucial construction. If $X$ is finite dimensional, the closed kernel has finite codimension and $A/\ker \pi$ is finite dimensional, so $\pi$ is continuous. Suppose instead that $X$ is infinite dimensional. LetThis is an invariant submodule, because the orbit map of $\pi (b)\xi$ is the orbit map of $\xi$ composed with the bounded map $a\mapsto ab$. Thus either $Y=X$ or $Y=0$.

To rule out $Y=0$, choose linearly independent unit vectors ${\xi }_0,{\xi }_1,\dots$. There are elements $a_n\in A$ such that, with $c_n=a_n\cdots a_1$,For completeness, construct them in the canonical quotient-norm Banach module. At stage $n$ the current tail vectors are independent. In the closed left annihilator of its first vector, density permits arbitrary images of any finite list of the remaining vectors. The condition that finitely many such images are independent is open in this Banach subspace and dense: perturb any element by $t$ times an element prescribing independent images; a suitable determinant is a nonzero polynomial in $t$, with only finitely many exceptional values. The Baire category theorem intersects these open dense conditions for all initial finite tail lists. The resulting $a_n$ kills the first current vector and retains independence of the entire remaining tail. This is the countable annihilation sequence in an irreducible Banach module.

The gliding-hump continuity principle supplies the other ingredient: if $E,F$ are Banach spaces, $S:E\to F$ is linear, $T_j:E\to E$ and $U_n:F\to F_n$ are bounded, and $U_{n}S{T}_1\cdots T_m$ is continuous whenever $m>n$, then $U_{n}S{T}_1\cdots T_n$ is continuous eventually. The product form of this principle is recorded in Proposition 1.3 of Thomas's paper. Here is the contradiction mechanism. Rescale so $\Vert T_j\Vert ,\Vert U_n\Vert \le 1$ and put $P_m=T_1\cdots T_m$. If infinitely many diagonal maps are discontinuous, choose increasing $n_j$ and successively tiny $x_j$ soAlso choose $\Vert x_j\Vert \le 2^{-j}/(1+{\max }_{i<j}\Vert U_{n_i}S{P}_{n_i+1}\Vert )$. The convergent sum $x={\sum }_j{P}_{n_j}{x}_j$ has, after its $j$th term, a tail factoring through $P_{n_j+1}$. Applying that continuous composite bounds the tail contribution by one. The display forces $\Vert U_{n_j}Sx\Vert >j$, contradicting $\Vert U_{n_j}Sx\Vert \le \Vert Sx\Vert$. Only finite decompositions and the continuous tail composites are used; no unjustified interchange of a discontinuous map with an infinite sum occurs.

Apply this principle with $E=A$, $F=\mathcal{B}(\overline{X})$, where $\overline{X}$ is the completion in the original norm, and $S(a)$ the bounded extension of $\pi (a)$. Set $T_j(a)=a{a}_j$ and $U_n(R)=R{\xi }_n$. ThenFor $m>n$ this is zero, hence continuous. For $m=n$ it is the orbit map of a nonzero vector, hence discontinuous if $Y=0$. This contradicts the principle. Therefore $Y=X$.

Finally, apply the Uniform boundedness principle on the Banach space $A$ to the continuous maps $a\mapsto \pi (a)\xi$ indexed by $\Vert \xi \Vert \le 1$. They are pointwise bounded because each individual $\pi (a)$ is bounded in the original norm. It givesThis proves Johnson's continuity theorem for irreducible normed representations, including when the original normed vector space is incomplete. The quotient norm, countable density construction, and gliding hump explain the substantive steps rather than assuming the desired continuity in advance.

It suffices first to treat unital algebras and a unital homomorphism. A surjective homomorphism between unital algebras automatically preserves the identity. If $B=0$, continuity is immediate. In the nonunital case, extend to the forced unitizations by $T^{+}(a+\lambda 1)=T(a)+\lambda 1$. This is still surjective and the unitization of a semisimple algebra is semisimple: its radical projects to zero in its scalar quotient, and its remaining intersection with the original algebra is its original radical. Continuity of the extension implies continuity of the original map.

An algebra homomorphism decreases the spectral radius, even without any continuity assumption, because it takes an inverse of $\lambda 1-a$ to an inverse of $\lambda 1-T(a)$. Suppose $a_n\to 0$ in $A$ and $T(a_n)\to b$ in $B$. Fix any $c\in B$ and choose $u,v\in A$ with $T(u)=b$, $T(v)=c$. PutConsider the polynomial $q_n(z)=T((1-z)w_n+zw)=(1-z)d_n+zd$. Its value at one is exactly $d$. On the outer circle $|z|=R$,On the inner circle $|z|=1/R$, spectral-radius decrease givesApplying part (i) in $B$ and then letting $n\to \infty$, with $R$ fixed, givesThis holds for every $R>1$, so $r_B(cb)=0$ for every $c\in B$.

This forces $b$ into the Jacobson radical. To see the criterion directly, if $b$ were outside a maximal left ideal $L$, then $L+Bb=B$, so $1=l+cb$ for some $l\in L$, $c\in B$. The equality $r_B(cb)=0$ makes $1-cb$ invertible, but this element equals $l\in L$, impossible in a proper left ideal. Hence $b$ lies in every maximal left ideal. Since $B$ is semisimple, $b=0$.

We have shown that the separating space of $T$ is zero. If $a_n\to a$ and $T(a_n)\to y$, apply the result to $a_n-a$ to obtain $y=T(a)$. Its graph is closed, and the closed graph theorem now provesThe crucial estimate uses part (i) with an exactly fixed central value; it does not assume the false general assertion that the spectral radius is continuous under norm limits.

Let $R$ be a commutative Artinian ring. We prove finite composition length first, without assuming the conclusion that $R$ is Noetherian.

Every prime ideal is maximal. Indeed, an Artinian integral domain is a field: for $a\ne 0$, stabilization of $(a^m)$ gives $a^m=a^{m+1}b$, and cancellation gives $ab=1$. There are only finitely many maximal ideals. To see this, choose a minimal finite intersection $L={\mathfrak{m}}_1\cap \cdots \cap {\mathfrak{m}}_s$ using the descending chain condition. Minimality gives $L\subseteq \mathfrak{m}$ for any other maximal ideal $\mathfrak{m}$. Since ${\mathfrak{m}}_1\cdots {\mathfrak{m}}_s\subseteq L$, primeness forces one ${\mathfrak{m}}_i\subseteq \mathfrak{m}$, and maximality makes them equal. Thus the Jacobson radical $J$ is this finite intersection, and the Chinese remainder theorem gives

We also need nilpotence of $J$. Its powers stabilize; put $I=J^m$ at a stabilization stage, so $I^2=I$. If $I\ne 0$, choose an ideal $L$ minimal subject to $IL\ne 0$. Since $I(IL)=IL\ne 0$, minimality gives $IL=L$. Choose $a\in L$ with $Ia\ne 0$. Minimality applied to the subideal $Ra$ gives $L=Ra$. The equality $IL=L$ then yields $a=xa$ for some $x\in I\subseteq J$. But $1-x$ is a unit by the unit criterion for the Jacobson radical; hence $a=0$, a contradiction. Therefore $J^m=0$.

Each layer $J^i/J^{i+1}$ is an Artinian module over the finite product of fields $R/J$. Its components over those fields are finite-dimensional: an infinite-dimensional vector space has a strictly descending chain of subspaces. Each layer consequently has finite composition length. The finite filtrationproves that $R$ itself has finite composition length, and therefore satisfies the ascending chain condition on ideals. Every commutative Artinian ring is Noetherian. The zero ring satisfies the conclusion trivially.

The relevant Artin–Wedderburn theorem says that a semisimple ring which is a right Artinian ring has the formwhere the $D_i$ are division rings and the positive integers $n_i$ and division rings are unique up to permutation and isomorphism. The division rings need not be commutative or finite-dimensional over a field. Conversely every such finite product is semisimple and a right Artinian ring.

Here is a proof which also works if semisimplicity is initially expressed as $J(R)=0$. A nonzero right ideal contains a minimal nonzero right ideal $L$ by the descending chain condition; $L$ is a simple module. If $L^2=0$, then for every $l\in L$ and $r\in R$, $(lr{)}^2=0$, so $1-lr$ has inverse $1+lr$. The unit criterion for the Jacobson radical would give $L\subseteq J(R)=0$, a contradiction. Thus some $a\in L$ induces a nonzero map $L\to L$ by left multiplication. This map is an isomorphism, since $L$ is simple. Choose $e\in L$ with $ae=a$. Then $a(e^2-e)=0$ and injectivity on $L$ gives $e^2=e$. We obtain $L=eR$ and the splittingFor a right ideal $K$ containing $e$, the same argument splits $K=eR\oplus (K\cap (1-e)R)$. Repeatedly split a minimal right ideal out of the remaining summand. The remaining summands form a strictly descending chain of right ideals, so the process terminates. Thusfor pairwise nonisomorphic simple modules $S_i$.

A nonzero map between simple modules is an isomorphism: its kernel and image leave no alternatives. Thus $D_i={\mathrm{End}}_R(S_i)$ is a division ring, and ${\mathrm{Hom}}_R(S_i,S_j)=0$ for $i\ne j$. This is the needed Schur lemma. Taking endomorphisms of the direct sum gives ${\prod }_i{M}_{n_i}(D_i)$. Finally, left multiplication identifies $R$ with ${\mathrm{End}}_R(R_R)$: a right-module endomorphism sends $r$ to $f(1)r$, and composition corresponds to multiplication in $R$, not its opposite. This proves the displayed ring isomorphism.

For the converse, the right regular module of $M_n(D)$ is the direct sum of its $n$ row modules. Each row module is simple, since elementary matrices and nonzero scalar inverses send any nonzero row to any prescribed row. A finite product therefore has a finite semisimple regular module and is a right Artinian ring. The simple-module multiplicities and their endomorphism division rings recover the factors, establishing uniqueness.

A regular element of a ring is an element $c$ for which both multiplication maps are injective:It is thus neither a left nor a right zero divisor; it need not be a unit. Here “ideals” means two-sided ideals. Put $A=A_n(\mathbb{C})$, and let $T_2(A)$ denote the specified upper triangular ring.

We first establish the additional facts about the Weyl algebra needed below. Its generators satisfyReordering gives a spanning set $x^{\alpha }{\partial }^{\beta }$. These monomials are independent. Indeed, represent the generators by multiplication and differentiation on $\mathbb{C}[x_1,\dots ,x_n]$. In a putative zero operator $P={\sum }_{\beta }{f}_{\beta }(x){\partial }^{\beta }$, choose $\beta$ of maximal total derivative degree. Iterated commutation with multiplication by the coordinates, ${\beta }_i$ times in coordinate $i$, gives multiplication by $\beta !f_{\beta }(x)$. All other derivative terms of that total degree disappear unless they have exactly the same multiindex, and lower-degree terms disappear. Thus $f_{\beta }=0$, and descending induction eliminates all coefficients. This proves the ordered monomial basis of a Weyl algebra and faithfulness of its polynomial action.

The Weyl algebra is a simple ring. In a nonzero two-sided ideal choose a nonzero element of least Bernstein filtration degree, where both $x_i$ and ${\partial }_i$ have degree one. Commuting it with any generator stays in the ideal and lowers that degree. Minimality therefore makes all these commutators zero. Commutation with every $x_i$ forces all derivative coefficients with $\beta \ne 0$ to vanish; commutation with every ${\partial }_i$ then forces all partial derivatives of the remaining polynomial to vanish. In characteristic zero the element is a nonzero scalar. The ideal consequently contains $1$. This proves simplicity of a Weyl algebra in characteristic zero. Its Jacobson radical is zero, since the radical is a proper two-sided ideal of a nonzero unital simple ring.

Use the two diagonal idempotents to isolate the entries of any ideal of $T_2(A)$. It must have the formwhere all three entries are two-sided ideals of $A$ and $I_{11}A+A{I}_{22}\subseteq I_{12}$. Conversely this condition makes the indicated set an ideal. Simplicity says that each $I_{ij}$ is $0$ or $A$, and either nonzero diagonal entry forces $I_{12}=A$. Hence the five ideals of $R_1$ areFor a two-sided ideal of $M_2(A)$, multiplication on both sides by elementary matrices isolates any entry and moves it to any matrix position. The entries obtained form one two-sided ideal $I$ of $A$, and the original ideal is $M_2(I)$. Thus the only ideals of $R_2$ are $0$ and $R_2$.

Since $N^2=0$, $N$ lies in the Jacobson radical of $R_1$: for $z\in N$ and $r\in R_1$, $zr\in N$ and $1-zr$ has inverse $1+zr$. On the other hand, $R_1/N\cong A\times A$ has zero radical, so the image of the radical in this quotient is zero. The elementary unit criterion for the Jacobson radical justifies both assertions. ThereforeThe second equality follows from simplicity of $R_2$.

We now construct the denominators used to describe regular matrices. A left Noetherian noncommutative domain satisfies the left Ore condition. For if $Aa\cap Ab=0$ for two nonzero elements, the left ideals $Ab,Aba,Ab{a}^2,\dots$ have direct sum: in a relation the first summand lies in $Ab$, all the others in $Aa$, so it vanishes; cancellation of the final $a$ repeats the argument. Their finite partial sums form a strictly ascending chain, contradicting left Noetherianity. Thus $Aa\cap Ab\ne 0$, giving common nonzero left multiples and the required Ore equations. The analogous argument with right ideals gives the right Ore condition under right Noetherianity. Both hypotheses for $A$ are allowed in the question.

The Ore localization therefore embeds $A$ in a division ring $Q$. Briefly, its elements are left fractions $a^{-1}b$, with nonzero $a$, and two fractions are identified after passing to a common left denominator. Common multiples supply addition and multiplication, while cancellation in the domain makes the embedding injective. A nonzero fraction has an inverse, obtained by interchanging its numerator and denominator in the appropriate Ore fraction calculation. The right fraction construction gives the same division ring, so finite lists have common left and common right denominators.

A triangular matrix $c=\left(\begin{array}{cc}r& s\\ 0& t\end{array}\right)$ with $r,t\ne 0$ is invertible over $T_2(Q)$, with inverseIt is consequently regular over $T_2(A)$. If $r=0$, then $c{E}_{11}=0$; if $t=0$, then $E_{22}c=0$. Hence

A full matrix is regular exactly when it is invertible over $Q$:One implication follows immediately from invertibility. Conversely, a singular matrix over a division ring has a nonzero right kernel column and a nonzero left kernel row, by row reduction. A common right denominator turns the column into a nonzero column over $A$, providing a right annihilator matrix over $A$. A common left denominator does the same for the row and gives a left annihilator. Thus a singular matrix is not regular. Explicitly, for $c=\left(\begin{array}{cc}r& s\\ t& u\end{array}\right)$ with $r\ne 0$, row elimination says that regularity is equivalent to $u-t{r}^{-1}s\ne 0$ in $Q$. If $r=0$, it is equivalent to both $s\ne 0$ and $t\ne 0$. A commutative determinant formula must not be substituted here.

Finally both classical left rings of quotients exist, andTo prove this directly, clear a common left denominator $a\ne 0$ from all the finitely many entries of a matrix over $Q$. It becomes $(a{I}_2{)}^{-1}b$ with $b$ in the original triangular or full ring and $a{I}_2$ regular. Every original regular element becomes a unit in the corresponding ring over $Q$, by the descriptions above. For $c$ regular and $r$ in the original ring, write $r{c}^{-1}=d^{-1}b$ in this way; then $dr=bc$, the left Ore condition. Since the denominators are regular, the additional annihilator condition for localization is automatic. This proves the matrix and triangular localization over an Ore domain assertions. In particular, the nonzero nilpotent radical of the triangular ring does not prevent its classical localization; that localization retains the triangular radical.

Choose a maximal Brauer pair $(D,b_D)$ for $B$. Define its inertial quotient of a block and inertial index of a block byConjugacy of maximal pairs makes the index well-defined. The standard maximal-pair property used here is that $E(B)$ is a $p^{\prime }$-group. Since $D$ is cyclic, its faithful conjugation action embeds it into $\mathrm{Aut}(D)$, so $e\mid p-1$. Write $d=p^n$ and $m=(d-1)/e$.

We use two precise structural results. Over an algebraically closed field, the basic algebra of a block with cyclic defect group is a Brauer tree algebra with $e$ edges and exceptional multiplicity $m$. For a Brauer tree algebra with $t$ edges and exceptional multiplicity $m$, all nonprojective indecomposable modules form the stable Auslander–Reiten quiverThese are the cyclic-defect structure theorem and the stable-quiver classification for tree algebras; we are not taking the requested numerical count as an assumption. Morita equivalence preserves simple, projective and indecomposable isomorphism classes.

There is one simple module per edge, so $l(B)=e$. The vertices of $\mathbb{Z}{A}_s$ can be indexed by $(j,i)$, $j\in \mathbb{Z}$, $1\le i\le s$. The quotient by ${\tau }^e$ leaves $e$ choices of $j$ for each $i$. With $s=em=d-1$, there are $e(d-1)$ nonprojective indecomposable modules. There are also $e$ indecomposable projective modules, one projective cover per simple. ThereforeThis counts isomorphism classes, not multiplicities in the regular module. In the one-edge case it agrees with the $d$ Jordan chains for $k[t]/(t^d)$.

For the definition, take a finite connected tree with a cyclic order of the incident edges at every vertex and positive integer multiplicities equal to one except possibly at a distinguished vertex. Its Brauer tree path presentation has a quiver vertex for each tree edge, and successor arrows around each tree vertex, including loops for valency one. If edge $i$ has endpoints $v,w$, let $C_{i,v}$ and $C_{i,w}$ be the cycles around these endpoints. The relations identifykill $C_{i,v}^{m_v}{\alpha }_{i,v}$, and kill paths switching between successor cycles belonging to different tree vertices. Redundant valency-one loops may be eliminated. This quotient of the path algebra is the basic Brauer tree algebra; allowing an arbitrary algebra with Morita equivalence to it does not change the module assertions. In particular, the cyclic orders and multiplicity, not merely the underlying graph, are part of the data.

For the construction, use right modules with paths multiplied left to right; equivalently use the opposite quiver for left modules, choosing orientation so radical factors follow the specified order. The indecomposable projective $P_1$ with top $S_1$ has simple socle $S_1$ and two uniserial radical branches $U_v,U_w$ meeting in that socle. The relations show that $U_v$ has length $mr$ and factors $S_2,\dots ,S_r,S_1$ repeated $m$ times. The other branch has length $m_w\mathrm{val}(w)$. Thus $W_v=P_1/U_w$ is a uniserial module of length $mr$, with factors $S_1,S_2,\dots ,S_r$ cyclically repeated. For $J$ the Jacobson radical,is the desired uniserial branch of a Brauer tree algebra. If an endpoint is a nonexceptional leaf, its branch is just the socle; the formula still applies.

For uniqueness, length one gives just $S_1$. If $q>1$ and $r>1$, the next factor $S_2$ chooses the successor arrow at $v$ uniquely, because two distinct edges cannot meet at both endpoints in a tree. Subsequent factors force the same cyclic succession. Any arrow into an edge not incident with $v$ acts as zero, because that simple does not occur. An opposite nonexceptional leaf loop is the full socle path around $v$, of length $mr$, hence zero on modules of length at most $mr$. If an opposite leaf is exceptional, then $v$ has multiplicity one and each incident simple occurs at most once; its nilpotent self-loop is zero on that one-dimensional vertex space as well.

The remaining action is one nilpotent successor chain. Choose a top generator $z_0$ and let $z_j$ be its successive path images for $0\le j<q$. Uniseriality makes each image nonzero in its respective radical layer; these images form a basis in the basic algebra description. Their labels are $S_{1+(j\mathrm{mod}r)}$, the successor arrow sends $z_j$ to $z_{j+1}$, and all other actions vanish. Any nonzero scalar choices are absorbed by rescaling this basis. This determines the module solely by its top and length.

If $r=1$ and $q>1$, then $m>1$ and $v$ is the exceptional leaf. The successor is a single loop and its action is the unique nilpotent Jordan chain of length $q$. The other branch either enters a different edge or is a redundant socle loop and contributes nothing. Hence the prescribed uniserial module is unique up to isomorphism for every positive integer $q\le mr$.