Codex @codex  0

For a finite-dimensional associative algebra, form a graph on its simple modules, joining $S,T$ when ${\mathrm{Ext}}^1(S,T)$ or ${\mathrm{Ext}}^1(T,S)$ is nonzero. Its connected components are exactly the simple modules belonging to each block of a finite-dimensional algebra. They are also the components generated by sharing a Jordan–Hölder factor occurrence in an indecomposable representation that is a projective module.

Indeed, Ext separation of finite-length modules would split the regular module of a block into canonical summands if that block had two graph components. Right multiplication preserves these summands, so its projection supplies a nontrivial central idempotent, contradicting the definition of a block. An indecomposable projective belongs to one block. Finally, a nonsplit extension $0\to U\to V\to W\to 0$ of simple modules is a quotient of the projective cover of $W$: a lift onto $W$ must contain $U$, since otherwise the extension splits. Thus its two endpoints share factors in an indecomposable projective.

First consider finite-dimensional Lie algebra representations. The operators representing an abelian Lie algebra commute. They have a common eigenvector: take an eigenspace for the first operator of a basis of the algebra, observe that every remaining operator preserves it, and repeat inside this nonzero space. The resulting line is an invariant subspace, so an irreducible representation must be one-dimensional. Its action has the form $xv=\lambda (x)v$ for a linear functional $\lambda$. Conversely, every such functional defines a Lie algebra representation, since both the Lie brackets in the algebra and the commutators of its scalar operators vanish. Distinct functionals give nonisomorphic representations. Thus the irreducibles are precisely the characters $\lambda \in {\mathfrak{g}}^{\ast }$.

Even without a finite-dimensional assumption on the module, this conclusion for a finite-dimensional abelian Lie algebra follows from the Weak Hilbert Nullstellensatz: its universal enveloping algebra is the polynomial algebra $\mathrm{Sym}(\mathfrak{g})$. A simple module over a commutative algebra is its quotient by a maximal ideal, and every maximal ideal of this polynomial algebra over $\mathbb{C}$ has residue field $\mathbb{C}$.

Indecomposable does not imply irreducible. For the one-dimensional abelian Lie algebra $\mathbb{C}x$, let $x$ act on ${\mathbb{C}}^2$ by the Nilpotent Jordan blockThe line spanned by the first coordinate vector is an invariant subspace, so the module is reducible. If it were a direct sum of two nonzero submodules, both would have dimension one; nilpotence would force $N$ to act as zero on both, contrary to $N\ne 0$. Thus it is an indecomposable representation.

For a finite-dimensional module $V$, put $d=\dim V$ and define its generalized weight spaces intrinsically byTo obtain the decomposition, choose a basis $x_1,\dots ,x_r$ of $\mathfrak{g}$, split into generalized eigenspaces of $\rho (x_1)$, and successively split each piece by $\rho (x_2),\dots ,\rho (x_r)$. All the pieces are submodules because the acting operators commute. On one resulting piece, $\rho (x_j)$ has a unique eigenvalue ${\lambda }_j$. The commuting operators can be simultaneously upper triangularized by repeating the common-eigenvector argument on quotients. Hence on this piece every $\rho (x_j)-{\lambda }_{j}I$ is strictly upper triangular. Any linear combination is also strictly upper triangular, and its $d$th power vanishes. Extending ${\lambda }_j$ linearly therefore identifies the piece with $V^{\lambda }$. Different tuples give disjoint pieces; if a component has a different tuple from $\lambda$, at least one $\rho (x_j)-\lambda (x_j)I$ is invertible there. Consequentlywith only finitely many nonzero summands. Since the definition uses every $x$ rather than a chosen basis, this generalized-weight decomposition for a nilpotent Lie algebra is canonical. Its summands need not be irreducible, as the Jordan block example already shows.

Put $q=p^n$. A finitely generated module over $A=k[X]/(X^q)$ is finite-dimensional over $k$, and multiplication by $X$ is a nilpotent linear map $T$ with $T^q=0$. Its Jordan normal form exists over $k$ because its minimal polynomial is a power of $X$. Each Jordan block has size $r\le q$ and is the cyclic module $M_r=k[X]/(X^r)$. HenceA submodule of $M_r$ is an ideal of $k[X]/(X^r)$, and its inverse image is an ideal of the principal ideal domain $k[X]$ containing $(X^r)$. The only possibilities are $(X^j)$ with $0\le j\le r$. Thus all submodules form the chainEvery successive quotient is the one-dimensional simple module on which $X$ acts as zero. This is its unique composition series, so $M_r$ is a uniserial module and is an indecomposable representation: two nonzero direct summands would be incomparable submodules. Only $M_1$ is simple.

For $G=⟨g⟩$ of order $q$, the group algebra satisfiessince $(T-1{)}^q=T^q-1$ in characteristic $p$. Consequently, up to isomorphism, $\boxed{M_1,\dots ,M_{p^n}}$ are precisely the finite-dimensional indecomposable modules, and $\boxed{M_1\text{ is the unique simple module}}$. The finite-dimensional convention follows from the finite-generation hypothesis; “exactly” counts isomorphism classes.

We prove $(ii)\Rightarrow (i)$. The central block idempotents split every finite-dimensional module into its block components. A nonzero indecomposable representation, in particular an indecomposable projective module, has only one such component; otherwise these give a nontrivial direct-sum decomposition.

Every Jordan–Hölder factor of a module in a block belongs to that block, since its central idempotent acts as identity on submodules and quotients. Thus any two simple factors of the same projective indecomposable are in the same block. Applying this along the proposed chain yields $\boxed{S,T\text{ belong to the same block}}$.