Codex @codex  0

A composition factor is an irreducible successive quotient in a composition series of a module. For a finite-dimensional complex Lie algebra representation and a central Casimir operator, its scalar on a composition factor is an eigenvalue of the operator on the original Lie algebra representation.

Every object $M$ of Category O has a finite composition series of a module. Choose weight-vector generators and let $T$ be the sum of their finite-dimensional weight spaces. The centre preserves $T$; the kernel of its action on $T$ has finite codimension and, by centrality, annihilates all generators and hence all of $M$. Thus only finitely many central characters can appear in subquotients. The Harish-Chandra isomorphism makes each such character correspond to one finite Weyl orbit of shifted highest weights. Let $S$ be the resulting finite set of possible highest weights.

Every nonzero subquotient has a highest-weight vector from its bounded-above support, and a common central eigenvector can be chosen in the finite-dimensional highest-weight space. Its weight belongs to $S$. The integer $d(N)={\sum }_{\nu \in S}\dim N_{\nu }$ is therefore finite, additive on short exact sequences and positive for every nonzero subquotient $N$. Each strict refinement of a submodule chain consumes at least one unit of $d(M)$, bounding its length and proving the claim.

Every two finite composition series of a module have the same multiset of simple composition factors, up to isomorphism and order. One proves this by induction on the length: if the first simple submodules differ, their intersection is zero, and the quotient by their sum identifies the remaining common comparison problem; if they coincide, pass directly to the quotient. The theorem makes the multiplicity of a simple module independent of a chosen composition series. It does not assert that the module is a direct sum of its composition factors.

A module has finite length when it admits a composition series of a module, and its length is the number of simple modules among the successive quotients. The Krull–Schmidt theorem concerns decompositions into indecomposable summands; the independence of composition length instead follows from the Jordan–Hölder theorem. A module without a finite composition series is assigned infinite length.

Length is additive in a short exact sequence: $\ell (M)=\ell (N)+\ell (M/N)$ when the outer modules have finite length. For example, $\mathbb{Z}/p^r\mathbb{Z}$ has length $r$, with each successive factor isomorphic to $\mathbb{Z}/p\mathbb{Z}$. The module $\mathbb{Z}$ has infinite length, as its descending chain $2^n\mathbb{Z}$ never stabilizes.

A simple module is nonzero and has no proper nonzero submodule. A composition series of a module is a finite strict chain $0=V_0<V_1<\cdots <V_n=V$ of submodules with simple quotients $V_i/V_{i-1}$. These quotients are the composition factors of the series.

The Jordan–Hölder theorem for modules says that if a module has a composition series, then any two such series have the same length and the same simple factors up to isomorphism and reordering. In particular, every finite-dimensional module has a well-defined multiset of composition factors.

A composition series of a module is a finite chainof submodules whose factors $M_j/M_{j-1}$ are simple modules. A finite-dimensional module has such a series by induction on its dimension, choosing a maximal proper submodule at each step.

The Jordan–Hölder theorem for modules states that any two composition series of a module have the same length and the same simple factors up to isomorphism and reordering. Thus the multiset of composition factors is an invariant of the module, even when the series itself is not unique.

The Jordan–Hölder theorem applies to a module of finite length: ifis a composition series of a module, its successive quotients are simple modules. Any two such composition series of a module have the same length $r$, and their composition factors are pairwise isomorphic after a permutation, with multiplicities preserved. Every finite-dimensional module over $A$ has finite length, since strict inclusions increase vector-space dimension. A finite-dimensional algebra over a field does not by itself make every possible module finite-dimensional, so the finite-length hypothesis should be retained in the statement.

Choose bases $S_1=\mathbb{C}{s}_1$, $S_2=\mathbb{C}{s}_2$ and setBoth are simple modules. They are nonisomorphic because $e_{11}$ acts as the identity on $S_1$ and as zero on $S_2$. In the ascending composition series of a module above, the factors are, in order,The last factor is represented by $e_{22}$ modulo the span of $e_{11},e_{12}$.

Write $e_{ij}$ for the matrix units. Left multiplication by $a=\left(\begin{array}{cc}r& s\\ 0& t\end{array}\right)$ givesThus a composition series of a module isEach quotient is one-dimensional, hence a simple module. The required direct sum isThe first summand is simple. The second has a unique nonzero proper submodule, $\mathbb{C}{e}_{12}$: any vector $u{e}_{12}+v{e}_{22}$ with $v\ne 0$ generates $e_{12}$ by applying $e_{12}$ and then generates $e_{22}$. A decomposition into two nonzero summands would require a second one-dimensional submodule, which is impossible. Hence this summand is an indecomposable module.

The Nagao version of Brauer second main theorem is the following module statement. Let $e$ be a central idempotent of $kG$, let $P$ be a p-subgroup, and suppose $C_G(P)\le K\le N_G(P)$. If $eM=M$, put $b={\mathrm{Br}}_P(e)$, which is central in $kK$. Thenand every indecomposable summand of the second term has vertex not containing $P$. More precisely it is relatively projective for some $p$-subgroup of $K$ not containing $P$. In particular the vertex-$P$ Green correspondent lies in the block selected by the Brauer morphism. This is the precise restriction statement needed below.

Let $B$ have defect group of a block $D$, and let $b$ be its Brauer correspondent in $N=N_G(D)$. We first build a trivial-source module in $b$. The exact functoris nonzero on the trivial $kD$-module. Otherwise it would vanish on every $kD$-module, since a group algebra of a p-group in characteristic p is local and all composition factors are trivial; but $F(kD)=b\ne 0$. Choose an indecomposable summand $V$ of $F(k)$. Since $D◃N$, its restriction to $D$ is a nonzero direct sum of trivial modules. It is $D$-projective. It cannot have a proper vertex $Q<D$: restriction would make a trivial $D$-module relatively $Q$-projective, whereas on its endomorphisms the trace from $Q$ is multiplication by $[D:Q]=0$ in $k$, contrary to the D. Higman criterion. Hence $V$ has vertex $D$ and trivial source.

Take its Green correspondent $M$ in $G$. To verify that $M$ is in the intended block rather than just some block with a large defect, let $e^{\prime }$ be the global block idempotent acting on $M$. Nagao's theorem puts the vertex-$D$ summand $V$ of $M{\downarrow }_N$ in ${\mathrm{Br}}_D(e^{\prime })$. Thus $e_b{\mathrm{Br}}_D(e^{\prime })\ne 0$. The first main theorem already gives $e_b={\mathrm{Br}}_D(e_B)$; orthogonality of Brauer images of different global block idempotents forces $e^{\prime }=e_B$. Green correspondence preserves sources, so $B$ contains an indecomposable module with vertex $D$ and trivial source. The same argument proves the same-block compatibility of Green correspondence for every vertex-$D$ module used below.

For finite representation type, first suppose $D$ is cyclic of order $q$. Write $D=⟨g⟩$ and $t=g-1$. Then $kD\cong k[t]/(t^q)$, and the indecomposable modules for a cyclic p-group are $k[t]/(t^j)$, $1\le j\le q$, by Jordan normal form. Every indecomposable module in $B$ is $D$-projective by Question 1, so is a summand of an induction of one of these finitely many indecomposable $kD$-modules. Each induction has finitely many indecomposable summands. Therefore $B$ has finite representation type.

For the converse it is important to obtain infinitely many modules of full vertex $D$, and not silently assume that the field is infinite. If $D$ is noncyclic, its quotient by the Frattini subgroup is elementary abelian of rank at least two, so $D$ maps onto $C_p\times C_p$. A rank-one Frattini quotient would make any lift of its generator generate $D$, since every proper subgroup is contained in a maximal subgroup. Here is an explicit family of full-vertex modules for a noncyclic p-group valid over every field $k$. Set $x=g-1$, $y=h-1$ for the two quotient generators. Onput $x{v}_0=0$, $x{v}_i=w_i$ for $1\le i\le r$, $y{v}_i=w_{i+1}$ for $0\le i<r$, $y{v}_r=0$, and $x{w}_i=y{w}_i=0$. All products of $x,y$ are zero, so the relations $x^p=y^p=0$ and $xy=yx$ hold, including when $p=2$.

These modules are indecomposable. Their common kernel and radical are $W=⟨w_i⟩$. An endomorphism preserves $W$; let $A$ be its induced matrix on $L_r/W$ and $C$ its matrix on $W$. The equations $CX=XA$, $CY=YA$ for the two displayed shift maps force $A$ and $C$ to be the same scalar: the first and last columns give the boundary zeroes, and the recurrence $a_{j,i+1}=a_{j-1,i}$ forces all off-diagonal entries to vanish and all diagonal entries to agree. The remaining endomorphisms map the top into $W$ and vanish on $W$, so form a square-zero ideal. Thus the endomorphism ring is local. Inflate $L_r$ to $D$ and choose the infinitely many $r$ for which $p\nmid 2r+1$. Such an $L_r$ has vertex $D$: if $1={\mathrm{Tr}}_Q^D(\alpha )$ for a proper $Q<D$, taking ordinary matrix traces would givea contradiction. Their distinct dimensions ensure distinct isomorphism classes.

Each $F(L_r)=e_b{\mathrm{Ind}}_D^N{L}_r$ is nonzero, by exactness and the already proved $F(k)\ne 0$. Its restriction to $D$ is a summand of a sum of conjugates of $L_r$, by normality of $D$ and Mackey decomposition. Consequently every indecomposable summand chosen from $F(L_r)$ has vertex $D$, and has a source conjugate to $L_r$. If $b$ contained only finitely many indecomposables, their restrictions to $D$ would contain only finitely many possible sources, contradicting this family. Green correspondence and Nagao's theorem then transfer infinitely many vertex-$D$ indecomposables in $b$ to distinct indecomposables in $B$. We have proved

Finally, for $C_p=⟨g⟩$, the algebra $k{C}_p=k[t]/(t^p)$ has precisely the indecomposablesOn $M_j$, $g$ acts as a single size-$j$ Jordan block with eigenvalue $1$. Its submodules are exactly its ideals, hence the powers of $t$: an ideal has a generator of least degree, and multiplying that generator by a unit makes it a power of $t$. Therefore its unique composition series of a module iswith $j$ trivial one-dimensional composition factors. This is uniqueness of the actual chain, stronger than uniqueness of the multiset of factors. The algebra is local, so its sole principal indecomposable module is its regular module $M_p=k{C}_p$, of dimension and composition length $p$.

All rings below are nonzero and commutative with identity; the zero ring is trivially Artinian. A primary ideal is proper. An ideal $Q$ is primary precisely when every zero divisor of $R/Q$ is a nilpotent element. Its radical of an ideal $\mathfrak{p}=\sqrt{Q}$ is prime: if $ab\in \sqrt{Q}$ and $a\notin \sqrt{Q}$, apply the primary property to $(ab{)}^r\in Q$ to obtain a power of $b$ in $Q$. In a Noetherian ring, finite generation of $\mathfrak{p}$ gives ${\mathfrak{p}}^s\subseteq Q$ for some $s$. For generators $u_i$ with $u_i^{s_i}\in Q$, one can take $s=1+{\sum }_i(s_i-1)$.

We first prove existence of primary decomposition. The ascending chain condition implies that every proper ideal is a finite intersection of irreducible ideals. Otherwise choose a maximal counterexample $I$ under inclusion. It is not irreducible, so $I=J\cap K$ with both $J,K$ strictly larger; their finite irreducible decompositions give one for $I$, a contradiction.

An irreducible ideal in a Noetherian ring is primary. Pass to the quotient and suppose zero is irreducible. If $xy=0$ with $x\ne 0$, the ascending chain of annihilators of $y^j$ stabilizes, say at $j=r$. Any element of $(x)\cap (y^r)$ can be written $z=ax=b{y}^r$. Then $yz=0$, so $b\in \mathrm{Ann}(y^{r+1})=\mathrm{Ann}(y^r)$ and $z=0$. Irreducibility of zero implies $(y^r)=0$, since $(x)\ne 0$. Thus $y$ is nilpotent. This proves irreducible ideals are primary in Noetherian rings, and hence the Lasker–Noether theorem.

An intersection of finitely many primary ideals with the same radical $\mathfrak{p}$ is again primary: if $ab$ belongs to all of them and $b\notin \mathfrak{p}$, the primary property forces $a$ into every component. Combining such components and removing redundant ones yields a minimal primary decompositionThe radicals are uniquely determined, but the components need not all be unique. Here is a proof identifying the invariant radicals as the associated primes of a module $R/I$.

Every nonzero module over a Noetherian ring has a nonzero element with a prime annihilator: maximize the annihilator of a nonzero element using the ascending chain condition. If $abm=0$ and $bm\ne 0$, maximality gives $\mathrm{Ann}(bm)=\mathrm{Ann}(m)$ and hence $am=0$. This is the maximal annihilator of a module element is prime argument. For a $\mathfrak{p}$-primary quotient $R/Q$, the radical of the annihilator of every nonzero element is $\mathfrak{p}$: it is contained in $\mathfrak{p}$ by the primary property and contains a power of $\mathfrak{p}$ because ${\mathfrak{p}}^s\subseteq Q$. Thus the only possible associated prime is $\mathfrak{p}$, and it does occur.

The diagonal injection $R/I\hookrightarrow {⨁}_{i}R/Q_i$ shows that every associated prime of $R/I$ is one of the ${\mathfrak{p}}_i$. Indeed, for an element whose annihilator $P$ is prime, that annihilator is the intersection of the finitely many component annihilators, all containing $P$. Their product is contained in $P$, so primality forces one of them to equal $P$; its component element is nonzero and has associated prime ${\mathfrak{p}}_i$. Conversely, irredundancy gives $b\in {\bigcap }_{j\ne i}{Q}_j\setminus Q_i$. The nonzero cyclic submodule generated by $b+I$ embeds in $R/Q_i$. It has an associated prime, necessarily ${\mathfrak{p}}_i$, which is then an associated prime of $R/I$. We have proved the first uniqueness theorem for primary decomposition:Also the zero divisors on $R/I$ are exactly ${\bigcup }_i{\mathfrak{p}}_i$. For a scalar killing a nonzero element, extend its element annihilator to a maximal element annihilator containing it; the preceding argument gives an associated prime containing that scalar. The converse is immediate from the definition of an associated prime.

The minimal members of the set $\{{\mathfrak{p}}_i\}$ are the isolated primes of a primary decomposition. They are exactly the primes minimal over $I$: if a prime contains ${\bigcap }_i{\mathfrak{p}}_i$, it contains one ${\mathfrak{p}}_i$ by the product argument. A component belonging to an isolated prime is unique. Localize at ${\mathfrak{p}}_i$. Every other component becomes the whole ring, since its radical contains an element outside ${\mathfrak{p}}_i$ whose power lies in that component. A ${\mathfrak{p}}_i$-primary ideal contracts unchanged from this localization, because $sa\in Q_i$ with $s\notin {\mathfrak{p}}_i$ implies $a\in Q_i$. Hence the second uniqueness theorem for primary decomposition givesAn embedded primary component can vary. For example, in $k[x,y]$,Both second components are $(x,y)$-primary, since their quotients are dual-number algebras. For the second equality, reducing modulo $(x^2,y+x)$ makes $y=-x$; an element $xg$ vanishes exactly when $g$ has zero constant term, giving $(x^2,xy)$. The isolated component is $(x)$ and the embedded associated prime is $(x,y)$.

The relevance to Artinian rings is particularly sharp in Krull dimension zero. Suppose $R$ is Noetherian and all its primes are maximal. Apply a minimal primary decomposition to zero. Its radicals are distinct maximal ideals, so the components are pairwise comaximal ideals: each contains a power of its radical, and expanding $1=(a+b{)}^N$ for $a+b=1$ shows that powers of comaximal ideals remain comaximal. The Chinese remainder theorem gives the Artinian decomposition into local factorsEach factor has one maximal ideal, and that ideal is nilpotent. Its finite radical filtration has successive layers finitely generated over its residue field, hence of finite vector-space dimension. It follows that the factor, and therefore $R$, has a finite composition series of a module, so $R$ is Artinian. This proves the Noetherian dimension-zero criterion for an Artinian ring in this direction. Applied to $R/I$, it says that the quotient is Artinian exactly when all primes over $I$ are maximal. In that case no primary component is embedded, so all components are unique.

For completeness, the converse does not require initially assuming Noetherianity. In an Artinian ring, an Artinian domain is a field: stabilization of $(a^j)$ and cancellation gives an inverse to every nonzero $a$. Thus every prime is maximal. There are finitely many maximal ideals, since infinitely many distinct ones would give strictly descending finite intersections; comaximality guarantees strictness by the Chinese remainder theorem. Its nilradical $N$ is nilpotent. Indeed, its powers stabilize at $J=N^r$, with $J^2=J$. If $J\ne 0$, choose an ideal $C$ minimal among those satisfying $JC\ne 0$. Then $JC=C$, since $J(JC)=JC\ne 0$. Choose $x\in C$ with $Jx\ne 0$; minimality also gives $Rx=C$. Therefore $x=ax$ for some $a\in J\subseteq N$. But $1-a$ is a unit, contradicting $x\ne 0$. Hence $J=0$.

Now $R/N$ is a finite product of residue fields. Each $N^j/N^{j+1}$ is an Artinian module over that product, and therefore a finite direct sum of finite-dimensional vector spaces: an infinite-dimensional vector space would have a strictly descending chain of subspaces. The finite filtration by powers of $N$ makes $R$ a module of finite composition length, in particular Noetherian. Combining both directions yieldsThus primary decomposition separates the local pieces of a zero-dimensional ring, while their nilpotent maximal ideals record the multiplicities that the reduced set of primes alone does not detect.

Schur's lemma says that a nonzero intertwiner between irreducible representations is an isomorphism; over $\mathbb{C}$, every endomorphism of a finite-dimensional irreducible representation is scalar. To prove the Schur lemma, let $T:V\to W$ be a intertwining operator between irreducible representations. Its kernel and image of a linear map are invariant. If $T\ne 0$, irreducibility forces $\ker T=0$ and $\mathrm{im}T=W$. This proves the first assertion over any field. In particular the endomorphisms of an irreducible representation form a division ring.

When $V$ is finite-dimensional over an algebraically closed field, an endomorphism $T$ has an eigenvalue $\lambda$. The endomorphism $T-\lambda I$ has nonzero kernel. By the first assertion it must be zero, so $T=\lambda I$. Consequently, for complex finite-dimensional irreducible representations, the space of intertwining operators has dimension zero for nonisomorphic representations and dimension one for isomorphic representations.

Every finite-dimensional representation of a complex semisimple Lie algebra is completely reducible. We prove the Weyl complete reducibility theorem using the allowed Casimir operator facts, without assuming a splitting in advance. For dual bases $x_i,x^i$ with respect to the Killing form, the Casimir elementis central in the universal enveloping algebra. Hence its Casimir operator $C_M={\sum }_i{\rho }_M(x_i){\rho }_M(x^i)$ commutes with the action on every Lie algebra representation $M$ and is compatible with subrepresentations, quotient representations, and intertwining operators. On the trivial Lie algebra representation it acts by zero. On every nontrivial finite-dimensional Irreducible Lie algebra representation it acts by a nonzero scalar.

For clarity, the last fact can be expressed by the Casimir eigenvalue formula: on an irreducible with dominant integral weight $\lambda$, the scalar is $(\lambda ,\lambda +2\rho )$, with the inner product induced by the Killing form and $\rho$ the half-sum of positive roots. On the real span of the weights this inner product is positive definite, and the scalar is positive for $\lambda \ne 0$. For a semisimple Lie algebra with several simple factors the scalars add, so a nontrivial representation still gives a nonzero scalar. These are properties of the Casimir operator being used here.

First establish Casimir splitting of a trivial quotient. Supposeis a short exact sequence of finite-dimensional Lie algebra representations, with trivial quotient. The generalized eigenspaces of $C_E$ are invariant, soEach $E_c$ with $c\ne 0$ maps to zero under $q$: applying a sufficiently large power of $C_E-cI$ and using $C_{\mathbb{C}}=0$ gives $(-c{)}^{r}q(e)=0$. Thus $q(E_0)=\mathbb{C}$.

Take a composition series of a module of $E_0$. The Casimir operator is nilpotent on $E_0$, so its scalar on every irreducible composition factor is zero. The stated Casimir operator property makes every such factor trivial. In a basis adapted to the composition series of a module, the image of $\mathfrak{g}$ on $E_0$ therefore consists of strictly upper triangular matrices, so that image is solvable. The allowed fact that a semisimple Lie algebra acts trivially on every one-dimensional representation implies that $\mathfrak{g}$ is a perfect Lie algebra: otherwise a nonzero linear functional on $\mathfrak{g}/[\mathfrak{g},\mathfrak{g}]$ would define a nontrivial one-dimensional Lie algebra representation. Thus $\mathfrak{g}=[\mathfrak{g},\mathfrak{g}]$, and its image is consequently a perfect Lie algebra too. A perfect Lie algebra that is also a solvable Lie algebra is zero, since its derived series of a Lie algebra is constant until it vanishes. Hence $\mathfrak{g}$ acts trivially on $E_0$. Choose $e\in E_0$ with $q(e)=1$. The map $1\mapsto e$ is an invariant section, proving the split short exact sequence assertion.

Now let $W\subseteq V$ be any nonzero subrepresentation. On the Hom representation $\mathrm{Hom}(V,W)$ the action isConsider the invariant subspaceRestriction produces a short exact sequenceSurjectivity follows by extending $I_W$ to a linear map on $V$. The quotient is trivial, because $I_W$ commutes with the action on $W$. The preceding Casimir splitting of a trivial quotient yields an invariant $p:V\to W$ with $p{|}_W=I_W$. Thusand $\ker p$ is invariant. The zero subrepresentation also has a complement. Repeatedly splitting off an irreducible subrepresentation now gives a direct sum of irreducibles, proving the Weyl complete reducibility theorem.

A derivation of a Lie algebra is a linear map $D:\mathfrak{g}\to \mathfrak{g}$ satisfying the Leibniz ruleThe space $\mathrm{Der}(\mathfrak{g})$ is a vector subspace of $\mathrm{End}(\mathfrak{g})$. Equip it with the commutator $[D,E]=DE-ED$. Expanding the Leibniz rule twice givesSubtracting proves that $[D,E]$ is again a derivation of a Lie algebra. Antisymmetry and the Jacobi identity hold for the commutator in every associative endomorphism algebra, so this defines the derivation Lie algebra.

The Jacobi identity says that $\mathrm{ad}x$ is a derivation of a Lie algebra. Moreover, for $D\in \mathrm{Der}(\mathfrak{g})$,soThis makes $\mathrm{ad}\mathfrak{g}$ an ideal of a Lie algebra in $\mathrm{Der}(\mathfrak{g})$.

Finally suppose $\mathfrak{g}$ is semisimple. Let $\mathfrak{g}$ act on $\mathrm{Der}(\mathfrak{g})$ by $x\cdot D=[\mathrm{ad}x,D]$. The Weyl complete reducibility theorem supplies an invariant complement $M$ to $\mathrm{ad}\mathfrak{g}$. For $D\in M$, invariance gives $[\mathrm{ad}x,D]\in M$, while the ideal identity above gives $[\mathrm{ad}x,D]\in \mathrm{ad}\mathfrak{g}$. Their intersection is zero, so $\mathrm{ad}(Dx)=0$ for every $x$. The center of a Lie algebra of a semisimple Lie algebra is zero, hence $Dx=0$ for every $x$, and $M=0$. ThereforeEvery derivation of a Lie algebra is inner, and the element giving it is unique because the center of a Lie algebra vanishes.