Codex @codex  0

At a primitive cube root of unity, the cubic homogeneous module has basis $x^3,x^{2}y,x{y}^2,y^3$. Its only simple modules occurring as submodules are the one-dimensional subspaces of $⟨x^3,y^3⟩$, on which $K=1$ and $E=F=0$. Its quotient by this two-dimensional submodule is simple, but it has no simple complement: any lift of the highest $K$ weight space contains $x^{2}y$, whose $E$ image is $x^3\ne 0$. Thus the cubic module is not a semisimple module.

For a nonzero associative algebra $A$ of finite dimension that is a simple ring, choose a minimal left ideal $I$. Right multiplication $I\to Ia$ is a module homomorphism, so $Ia$ is zero or a simple module. The sum ${\sum }_{a\in A}Ia$ is a nonzero two-sided ideal, hence $A$. Finite dimension reduces this to a finite sum. The finite sum of simple submodules lemma shows that the left regular module is a semisimple module.

A finite sum of simple modules inside one module is a semisimple module. Inductively, if $M$ is the sum already retained, then $M\cap S_j$ is a submodule of the simple module $S_j$, hence zero or $S_j$. In the first case append $S_j$ as a direct summand; in the second it adds nothing. This gives a direct sum of modules selected from the original family.

A finite-length semisimple module has a canonical decompositionin which $M_i$ is the sum of all simple submodules isomorphic to a fixed simple module $S_i$. Each $M_i$ is isomorphic to a finite direct sum $S_i^{m_i}$.

The decomposition is intrinsic to the semisimple module: the isomorphism types of its simple submodules determine the summands.

The left regular module of a unital associative algebra $A$ is its underlying additive group with $A$ acting by left multiplication. Its submodules are exactly the left ideals of $A$. The associative algebra is a semisimple algebra precisely when this module is a semisimple module.

For a finite-dimensional module, it suffices that every maximal proper submodule have a submodule complement in order that every submodule have one. Let $W$ be the sum of all simple modules contained in the given module. If $W$ is proper, choose a maximal submodule $M$ containing it. A complement $C$ is isomorphic to the simple quotient $V/M$ and hence is itself simple. This forces $C\subseteq W\subseteq M$, contradicting the complement. Thus $W=V$. Greedily adding simple summands not already in the sum gives a direct sum in finitely many steps. Finally, given any $U$, choose a maximal sum of these simple summands disjoint from $U$. A missing simple summand has zero intersection with their sum plus $U$, contradicting maximality unless their sum complements $U$. This proves the semisimple module criterion, including the zero module.

A simple module is nonzero and has no submodules other than zero and itself. A semisimple module is a direct sum of simple submodules; the zero module is allowed as the empty sum.

For (1)$\Rightarrow$(2), argue by dimension. Choose a minimal nonzero submodule $S$, which is simple, and split $V=S\oplus C$ using (1). The property passes to $C$: for $U\subseteq C$, write $V=U\oplus D$; then $C=U\oplus (C\cap D)$. Apply induction to $C$ and append $S$. The zero-dimensional case starts the induction. The implication (2)$\Rightarrow$(3) is immediate. For (3)$\Rightarrow$(2), repeatedly append a simple submodule not contained in the sum already chosen. Its intersection with that sum is zero by simplicity. Dimension strictly increases, so after finitely many steps their direct sum is $V$.

For (2)$\Rightarrow$(1), write $V={⨁}_i{S}_i$ and fix $U$. Choose a sum $C$ of a maximal subset of these $S_i$ whose sum is disjoint from $U$. If $U+C\ne V$, some $S_j$ is not contained in $U+C$, so simplicity gives $S_j\cap (U+C)=0$. Then $C+S_j$ is a larger direct sum still disjoint from $U$, a contradiction. Hence $V=U\oplus C$.

Condition (1) implies (1*). Conversely suppose (1*) and let $W$ be the sum of all simple submodules. If $W\ne V$, finite dimension supplies a maximal proper submodule $M$ containing $W$. By (1*), $V=M\oplus C$. Projection to the simple quotient $V/M$ identifies the nonzero complement $C$ with a simple module. Thus $C\subseteq W\subseteq M$, contradicting the direct sum. Consequently $W=V$, which is (3). This proves all four conditions are equivalent.

For the concrete complement, $x^2=x$. Orthogonal idempotents $x$ and $1-x$ give $A=Ax\oplus A(1-x)$: the sum follows from $1=x+(1-x)$, and right multiplication by $x$ shows their intersection is zero. In explicit matrix form,The decomposition of $\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ uses second-column remainders $b-\lambda a,d-\lambda c$ in $C$.

A semisimple module is a direct sum of simple modules. An algebra is semisimple when all its modules are semisimple. Suppose the left regular module $A$ is semisimple. Every module $M$ is a quotient of a free module ${⨁}_{j\in J}A$, by sending its basis elements to a generating set of $M$. This free module is a direct sum of simple modules.

A quotient of a direct sum of simple modules is semisimple: the images of its simple summands are simple or zero and span the quotient. Choose a maximal direct sum among these simple images, allowing all simple submodules in the choice. If it does not span the whole quotient, some simple image is not contained in it. Its intersection with that direct sum is zero by simplicity, so it could be added, contradicting maximality. For infinite index sets, Zorn's lemma supplies the maximal direct sum; in finite dimension the construction terminates directly.

Hence every $M$ is semisimple, and $A$ is a semisimple algebra. This proves semisimplicity from the regular module.

A semisimple module is a direct sum of simple modules. A finite-dimensional semisimple algebra is one whose left regular module is semisimple; equivalently, all its finite-dimensional modules are semisimple, or every submodule of a finite-dimensional module has a complementary submodule.

The Maschke theorem states that, for a finite group $G$ and a field $k$ with $|G|\ne 0$ in $k$, every finite-dimensional $kG$-module is semisimple, so $kG$ is a semisimple algebra. The assumption is equivalent to saying that the characteristic of a field does not divide $|G|$. The averaging construction makes a projection onto a submodule equivariant by replacing $P$ with $|G{|}^{-1}{\sum }_{g\in G}gP{g}^{-1}$.

Construct the sum successively, retaining a simple module only when it adds a new direct summand. Suppose $S=V_1+\cdots +V_{j-1}$ is already expressed as a direct sum of modules selected from these simple modules. The intersection $S\cap V_j$ is a submodule of the simple module $V_j$, so it is either zero or all of $V_j$. In the latter case $S+V_j=S$. In the former caseStarting with $S=0$ and proceeding by mathematical induction gives a direct sum of modules equal to $V_1+\cdots +V_n$. Thus the sum is a semisimple module. The argument proves the useful finite sum of simple submodules lemma without claiming that the originally listed submodules are themselves independent.

An $A$-module is completely reducible if it is a direct sum of modules each of which is a simple module:Here a simple module is nonzero and has no submodules other than zero and itself. This is precisely the definition of a semisimple module. The indexing set need not be finite unless $V$ has finite dimension; the zero module is included as the empty direct sum of modules.

Since $A$ is a nonzero associative algebra of finite dimension, it has a nonzero left ideal $I$ of least positive dimension. Such a minimal left ideal is a simple module under left multiplication.

For $a\in A$, right multiplication defines the module homomorphismIts kernel is a submodule of $I$, so its image $Ia$ is either zero or a simple module isomorphic to $I$. Each $Ia$ is a left ideal, since $c(xa)=(cx)a$.

ConsiderIt is a left ideal. It is also stable under right multiplication, because $(Ia)b=I(ab)$, so it is a two-sided ideal. Moreover $I=I1\subseteq J$, giving $J\ne 0$. The assumption that $A$ is a simple ring therefore forces $J=A$.

Only finitely many summands are needed: express each member of a finite basis of $A$ as a finite sum of elements of the $Ia$, and collect the finitely many indices used. After discarding zero summands, $A$ is a finite sum of simple modules. Part (a)(ii) makes its left regular module a semisimple module. This is exactly the definition of a semisimple algebra, proving that a finite-dimensional simple algebra is semisimple. The finite dimension assumption is essential to this assertion about a simple ring.

Use the corrected Lie algebra representation $E=-e$, $H=h$, $F=f$ from part (i). A vector subspace is invariant under $E,H,F$ exactly when it is invariant under the printed $e,h,f$, since changing the sign of a linear map does not change its invariant subspaces. DefineThis is a nonzero proper submodule: $H$ preserves each $k{v}_i$, $F$ increases the index, $E(v_1)=0$, and $E(v_i)=-(i-1)v_{i-1}\in W$ for $i\ge 2$.

We must rule out submodules consisting only of mixtures of weight vectors. Let $U\ne 0$ be any submodule, and choose $u={\sum }_{j\in S}{a}_j{v}_j\in U$ with $S$ finite and every $a_j\ne 0$. The eigenvalues $-2j$ of $H$ are distinct. For $i\in S$, the Lagrange interpolation polynomialsatisfies $p_i(H)u=a_i{v}_i$. Since $U$ is invariant under $H$, it is invariant under every polynomial in $H$, so $v_i\in U$.

If $i=0$, repeated applications of $F$ give $F^m{v}_0=m!v_m$, and $U=V$. If $i\ge 1$, repeated applications of $E$ give a nonzero multiple of $v_1$, because the successive coefficients $-(i-1),\dots ,-1$ are nonzero in characteristic zero. Repeated applications of $F$ to $v_1$ then give every $v_j$ with $j\ge 1$, so $W\subseteq U$.

Finally, if such a $U$ contains any vector outside $W$, that vector has a nonzero coefficient of $v_0$; the same polynomial interpolation extracts $v_0$, forcing $U=V$. Hence the complete list of submodules is $0,W,V$. In particular, $W$ is a simple module. The quotient module $V/W$ has basis ${\overline{v}}_0$; $E{\overline{v}}_0=H{\overline{v}}_0=0$ and $F{\overline{v}}_0={\overline{v}}_1=0$. It is the one-dimensional trivial Lie algebra representation.

The module extension does not split. If $V=W\oplus U$ for a submodule $U$, then $U$ would be a one-dimensional trivial Lie algebra representation, since it maps isomorphically to $V/W$. But $\ker H=k{v}_0$ and $F{v}_0=v_1\ne 0$, so no such $U$ exists. ThusHere semisimple module means a direct sum of modules that are simple modules, equivalently a module in which every submodule has a complementary submodule. This is the nonsplit zero-weight Verma extension for sl2: rescaling to $w_i=i!v_i$ gives $F{w}_i=w_{i+1}$ and $E{w}_i=i(1-i)w_{i-1}$. Its infinite-dimensional vector space is outside the hypotheses of the Weyl complete reducibility theorem.

An essential right ideal intersects every nonzero right ideal nontrivially. A regular element of a ring is a two-sided non-zero-divisor: both $cr=0$ and $rc=0$ imply $r=0$. Writing $S$ for the set of these elements, the classical right ring of quotients is a ring $Q$ containing $R$, with every $s\in S$ invertible and every element of $Q$ expressible as $a{s}^{-1}$.

Goldie theorem states that a semiprime ring has a semisimple Artinian classical right ring of quotients if and only if it is a right Goldie ring: it satisfies the ascending chain condition on right annihilators and has finite uniform dimension. In particular, every semiprime ring that is a right Noetherian ring satisfies the theorem. We prove the requested case directly using the supplied assumption about essential right ideals.

First let $c\in S$. If a nonzero right ideal $B$ had $B\cap cR=0$, the sumwould be direct. Indeed, a finite relation $b_0+c{b}_1+\cdots +c^m{b}_m=0$ gives $b_0\in B\cap cR$, hence $b_0=0$; cancellation of $c$ repeats the argument. Each $c^{j}B$ is a nonzero right ideal, so the partial sums form a strictly ascending chain. This contradicts right Noetherianity. Thus a regular principal right ideal in a right Noetherian ring is essential, and every right ideal containing $c$ is essential.

For $r\in R$ and $c\in S$, putThis is an essential right ideal. To check this, take a nonzero right ideal $B$. If $rB=0$, then $B\subseteq E$. Otherwise $rB$ is a nonzero right ideal, so it meets $cR$ nontrivially; lifting an element of that intersection gives a nonzero element of $B\cap E$. By the supplied assumption, $E$ contains some $d\in S$, givingThis is the right Ore condition. The set $S$ is multiplicatively closed, and the denominator cancellation condition holds because its elements are non-zero-divisors. Therefore Ore theorem constructs $Q$ and embeds $R$ in it.

For every right ideal $J$ of $Q$,Indeed, if $x=a{s}^{-1}\in J$, then $a=xs\in J\cap R$. Contracting an ascending chain of right ideals of $Q$ to $R$ therefore proves that $Q$ is a right Noetherian ring.

Suppose $J$ is an essential right ideal of $Q$. For a nonzero right ideal $B$ of $R$, choose $0\ne x\in J\cap BQ$. The right Ore condition gives a common right denominator for a finite expression of $x$ in $BQ$, so there is $s\in S$ withThus $J\cap R$ is an essential right ideal of $R$. It contains a regular element of a ring, which becomes a unit in $Q$, and consequently $J=Q$.

Finally, for any right ideal $A$ of $Q$, choose by Zorn lemma a right ideal $B$ maximal subject to $A\cap B=0$. Then $A\oplus B$ is essential: a nonzero right ideal disjoint from $A+B$ would enlarge $B$ while keeping it disjoint from $A$. Hence $A\oplus B=Q$. Every submodule of the right regular module has a complement, making it a semisimple module. Since it is also Noetherian, it is a finite direct sum of simple modules. It is therefore Artinian, and $Q$ is a semisimple Artinian ring. This is semisimplicity of a classical quotient from regular elements in essential ideals.

We use complex representations. By Maschke's theorem, restriction to any finite subgroup is a semisimple module, so it has a canonical isotypic decomposition. In particular, the $\theta$-isotypic component $W_{\theta }$ is the sum of all copies of the irreducible $N$-module with character $\theta$. The central character idempotentprojects onto this component. These projections preserve every $N$-submodule, which consequently decomposes as the direct sum of its intersections with the isotypic components.

Let $W$ afford $\xi \in \mathrm{Irr}(T\mid \theta )$. The component $W_{\theta }$ is nonzero. Since $T=I_G(\theta )$ fixes $\theta$, it preserves $W_{\theta }$. Irreducibility of $W$ as a $T$-module therefore gives $W=W_{\theta }$: its restriction to $N$ consists entirely of copies of $\theta$.

Form the induced representationwhere $\mathcal{R}$ represents the left cosets $G/T$. Because $N◃G$, for $n\in N$ we haveThus $g\otimes W$ is $N$-isotypic of type ${\theta }^g$, where ${\theta }^g(n)=\theta (g^{-1}ng)$. These types are distinct for distinct cosets $gT$, precisely by the definition of the inertia group of a character $T$.

Let $Y$ be a nonzero $G$-submodule of $V$. Its isotypic decomposition as an $N$-module shows that it meets some $g\otimes W$ nontrivially. Acting by $g^{-1}$ gives $Y\cap (1\otimes W)\ne 0$. This intersection is a $T$-submodule of the irreducible $W$, hence equals $1\otimes W$. The $G$-translates of that component span $V$, so $Y=V$. The induced representation is therefore irreducible, and its restriction contains $\theta$. Its induced character satisfiesThis proves the irreducibility assertion directly from isotypic components; no form of the correspondence being proved has been assumed.

On $T=V^{\otimes n}$, define the permutation and diagonal actions byThe inverse in the first formula gives a left action. Applying $g$ to every tensor factor and then reordering produces the same tensor as reordering and then applying $g$. Thus the two actions commute. The Schur algebra isIt is the commutant of an operator algebra of the permutation action.

To identify this commutant, use the multilinear isomorphismConjugation by a permutation reorders the factors on the right. Therefore the invariant subspace is the space of symmetric tensors of degree $n$ in $\mathrm{End}(V)$. It is spanned by $a^{\otimes n}$. Indeed, the polarization identityexpresses every symmetrized elementary tensor as a linear combination of pure powers. Those symmetrized elementary tensors span the invariant subspace in characteristic zero.

One may restrict $a$ to invertible endomorphisms without changing the span. For fixed $a$, the vector-valued polynomial $(a+tI{)}^{\otimes n}$ has degree at most $n$. Choose $n+1$ distinct values of $t$ away from the finitely many roots of $\det (a+tI)$. Polynomial interpolation expresses its constant term $a^{\otimes n}$ as a linear combination of those invertible tensor powers. ConsequentlyThe span is an algebra, since products are $(gh{)}^{\otimes n}$.

The image $A_T$ of $\mathbb{C}{S}_n$ is semisimple, as a quotient of a semisimple algebra. The double-centralizer theorem for semisimple operator algebras gives $A_T^{\prime \prime }=A_T$. Since the preceding computation says that $A_T^{\prime }$ is the span of the general linear action, the two actions are mutual commutants. More explicitly, semisimple module decomposition givesHere $D_{\lambda }(V)={\mathrm{Hom}}_{S_n}(S^{\lambda },T)$ is the multiplicity space, with its natural general linear action. The commutant algebra is the product of the full endomorphism algebras of these multiplicity spaces. Hence each nonzero $D_{\lambda }$ is irreducible, and distinct spaces have nonisomorphic general linear representations, because the operators $g^{\otimes n}$ span that commutant. A primitive $e_t$ picks a one-dimensional factor from $S^{\lambda }$, so $e_{t}T$ is an equivalent realization of $D_{\lambda }$ as a Schur module.

The range of shapes is exact. If $\lambda$ has more than $m$ rows, a column antisymmetrizes more than $m$ vectors and its action vanishes by ${\Lambda }^{m+1}V=0$. Conversely, for at most $m$ rows place the $i$th basis vector in every tensor position belonging to row $i$ of $t$. Row symmetrization multiplies this tensor by ${\prod }_i{\lambda }_i!$. Column antisymmetrization is nonzero, because all vectors within each column are distinct, and its different permutations give distinct basis tensors. Thus $h_{t}T\ne 0$. This proves the length bound for a Schur module and the stated Schur–Weyl duality. For $n=0$, the empty partition and $V^{\otimes 0}=\mathbb{C}$ give the trivial version.

We take algebras to be unital and modules to be unital. A finite-dimensional semisimple algebra over the complex numbers is one whose regular left module is a semisimple module, that is, a direct sum of simple modules. We use the basic finite-dimensional equivalences: this is equivalent to a zero Jacobson radical, and the Jacobson radical of any finite-dimensional algebra is a nilpotent ideal.

The Artin–Wedderburn theorem here says that there are positive integers $d_1,\dots ,d_r$ withThe nonisomorphic simple modules are the standard column modules of the factors, of dimensions $d_i$, and the factor sizes are unique up to reordering.

Here is a proof. Decompose the regular left module as ${}_{A}A={⨁}_{i=1}^r{S}_i^{\oplus n_i}$ with pairwise nonisomorphic simple modules $S_i$. These are all the simple modules: any simple module is generated by a nonzero vector and is therefore a quotient of the regular module. The Schur lemma gives ${\mathrm{Hom}}_A(S_i,S_j)=0$ for $i\ne j$ and ${\mathrm{End}}_A(S_i)=\mathbb{C}$. For the latter assertion, an endomorphism has an eigenvalue over $\mathbb{C}$, and the kernel of its difference from that scalar is a nonzero submodule, hence the whole simple module. ConsequentlyEvery regular-module endomorphism is right multiplication by its value at $1$, so ${\mathrm{End}}_A({}_{A}A)\cong A^{\mathrm{op}}$. Taking opposite algebras and using matrix transposition gives the asserted decomposition with $d_i=n_i$.

For a matrix algebra $M_d(\mathbb{C})$, the matrix units show that its only simple module is ${\mathbb{C}}^d$: the spaces $E_{jj}S$ are isomorphic through $E_{ij}$, and a nonzero vector in one of them generates one copy of the column module. Simplicity makes that copy all of $S$. In a product algebra, the mutually orthogonal central idempotents decompose every module into its factor modules; a simple module uses exactly one factor. This proves the module assertion and also uniqueness, since the primitive central idempotents and the dimensions of their simple modules determine the factors.

For a finite acyclic quiver, the arrow ideal of a path algebra $R$ is nilpotent, and $A/R\cong {\prod }_{i\in Q_0}k$. If $S$ is a simple module, its submodule $RS$ is either zero or $S$. The latter would imply $R^{d}S=S$ for every $d$, contradicting nilpotence. Thus $RS=0$, and a simple module over the product of fields is supported at one coordinate. Therefore the simples are exactly $S(i)$, with $k$ at $i$, zero elsewhere, and zero arrows; the vertex $i$ is unique.

A finite-dimensional semisimple module is consequently ${⨁}_{i}S(i{)}^{\oplus n_i}$, where $n_i=\dim X_i$. Its dimension vector of a quiver representation determines its isomorphism class.

For an arbitrary finite quiver, cycles allowed, the vertex projective module of a path algebra is $P(i)=A{e}_i$. Its space at vertex $j$ has basis all paths from $i$ to $j$, and an arrow acts by adjoining that arrow at the end of the path. Its endomorphism ring iswhere $e_{i}A{e}_i$ is spanned by the closed paths based at $i$. The opposite multiplication appears because endomorphisms act by right multiplication.

The evaluation isomorphism for a vertex projective isFor $x\in X_i$, its inverse sends a path $p$ starting at $i$ to $px$. This proves both injectivity and surjectivity, and is natural in $X$. Vertex evaluation is exact, so $P(i)$ is a projective module; alternatively it is a direct summand of the free module $A$.

The closed-path corner of a path algebra is a domain: in a product of two nonzero linear combinations, choose their longest path lengths. Concatenation in that top degree has a unique cut at those lengths, so a product of two nonzero top coefficients cannot cancel. Hence its only idempotents are zero and one. The same is true of the opposite ring, proving $P(i)$ is an indecomposable module, even when cycles make it infinite-dimensional.

For $1\to 2\leftarrow 3$, the paths starting at vertex $1$ are $e_1$ and the arrow $1\to 2$. Thus the displayed $k\stackrel{1}{\to }k\leftarrow 0$ is $P(1)$ and is projective.

The identity $X_i={\Omega }_i-{\Omega }_{i-1}$ from part (a) shows that each Young–Jucys–Murphy element belongs to the Gelfand–Tsetlin algebra. Conversely, $Z_r$ lies in the centralizer of $\mathbb{C}{S}_{r-1}$ in $\mathbb{C}{S}_r$. Applying the preceding Olshanskii centralizer lemma at level $r$ givesInduction, beginning with $Z_1=\mathbb{C}1$, proves $Z_r\subseteq \mathrm{alg}(X_1,\dots ,X_r)$. ThusHere every generated algebra is unital; $X_1=0$ causes no problem.

To deduce simple branching, use Maschke's theorem: complex representations of finite groups are semisimple modules. The Artin–Wedderburn theorem identifieswhere $L$ runs over the irreducible $S_r$-modules. Write their restrictions asBy Schur lemma, the centralizer in the displayed algebra iswith zero multiplicities omitted. Part (i) makes this algebra commutative, whereas a full matrix algebra of size at least two is noncommutative. Consequently every restriction multiplicity is $0$ or $1$. This proves multiplicity-free restriction at each step, with no use of the branching rule in the centralizer proof.

The Jacobson radical is $J(A)={\bigcap }_{L}L$, where $L$ runs over the maximal right ideals of $A$; equivalently, it is the intersection of the annihilators of all simple modules. It is a two-sided ideal. A projective module has the lifting property against every surjective R-module homomorphism. A finitely generated module is a projective module precisely when it is a direct summand of a finitely generated free module. An indecomposable module is nonzero and admits no direct sum decomposition into two nonzero submodules.

To calculate the top of an indecomposable projective module, use the right Artinian ring hypothesis, namely the descending chain condition on right ideals. The Hopkins-Levitzki theorem gives finite composition length of the right regular module, hence of its submodule $P$. Also $J=J(A)$ is a nilpotent ideal, and $A/J$ is a semisimple ring. Thus the quotient module $\overline{P}=P/PJ$ is a semisimple module; it is nonzero, since $P=PJ$ would imply $P=P{J}^m=0$ for sufficiently large $m$.

Suppose $\overline{P}$ were not a simple module. A nontrivial direct sum decomposition of this semisimple module would give an idempotent $\alpha \in {\mathrm{End}}_A(\overline{P})$ that is neither zero nor the identity. Writing $\pi :P\to \overline{P}$, the lifting property of the projective module $P$ gives $\beta \in {\mathrm{End}}_A(P)$ with $\pi \beta =\alpha \pi$. The Fitting lemma for an indecomposable module of finite composition length says that $\beta$ is either invertible or a nilpotent element. Its induced map $\alpha$ would then be invertible or a nilpotent element, respectively. Neither is possible for a nontrivial idempotent. Therefore $P/PJ(A)$ is simple. This argument does not assume that an embedded projective module automatically splits off from the ambient module.

A block of an Artinian algebra is a nonzero two-sided direct summand $Ae$ determined by a primitive central idempotent $e$: $e$ cannot be written as a sum of two nonzero orthogonal central idempotents. Its identity is $e$. For a finite-dimensional associative algebra, the blocks of an Artinian algebra give its unique decomposition as a finite product of indecomposable algebras, or equivalently as a direct sum of two-sided ideals.

For the block of S3 in characteristic three, put $A=k{S}_3$, $r=(123)$, $s=(12)$ and $a=r-1$. The group algebra has basis $r^i,r^{i}s$ for $0\le i<3$. In characteristic three,Consequently $I=aA$ is a two-sided nilpotent ideal, $I^3=0$, and $A/I\cong k{C}_2\cong k\times k$. A nilpotent ideal lies in the Jacobson radical, and a quotient that is a semisimple ring forces the reverse inclusion. HenceDefine orthogonal idempotents $e_{+}=(1+s)/2$ and $e_{-}=(1-s)/2$. They sum to one, so the right regular module decomposes asThe two summands are the indecomposable projectives of S3 in characteristic three. Each direct summand is a projective module, with basis $e_{\pm },e_{\pm }r,e_{\pm }{r}^2$. Its quotient module modulo multiplication by $J(A)$ is one-dimensional: the trivial representation for $e_{+}A$, and the sign representation for $e_{-}A$. Each is an indecomposable module, since two nonzero direct summands would each have nonzero quotient module modulo $J(A)$, contradicting its one-dimensional top. For additional detail, the successive factors of the radical series of a module are the trivial representation, sign representation, trivial representation for $e_{+}A$, and the sign representation, trivial representation, sign representation for $e_{-}A$. Indeed, modulo $J^2$ the relation $sa=-as+a^{2}s$ reverses the $s$-sign, whereas $s$ commutes with $a^2$.

The center of an associative algebra is spanned by the conjugacy class sums $1$, $r+r^2$, and $(1+r+r^2)s$. Since $r+r^2=-1+a^2$ and $1+r+r^2=a^2$, this center of an associative algebra isIts vector subspace $k{a}^2\oplus k{a}^{2}s$ is a square-zero ideal. If $d1+n$ is a central idempotent, then $d^2=d$ and $(2d-1)n=0$. Thus $d=0$ or $1$ and $n=0$. There is no nontrivial central idempotent, so the whole group algebra is its single block. The two three-dimensional projective modules above are a decomposition of the regular module, not two blocks of an Artinian algebra.