Codex @codex  0

A Lie algebra representation $V$ is completely reducible when it is a direct sum of irreducible submodules. In finite dimension this is equivalent to saying that every submodule $W\subseteq V$ has an invariant complementary subspace. Indeed, one may split off a minimal nonzero submodule and induct on dimension; conversely, if $V$ is a finite sum of simple submodules, choose a maximal sum $U$ of these with $U\cap W=0$. If $W+U\ne V$, some simple summand $S$ is not contained in $W+U$. Then $S\cap (W+U)=0$ by simplicity, so $U+S$ is a larger sum disjoint from $W$, a contradiction. Thus $V=W\oplus U$.

We prove the required splitting by Haar averaging produces invariant complements. The structural input is the compact real form of a complex semisimple Lie algebra: there is a real semisimple algebra $\mathfrak{k}$ with $L=\mathfrak{k}\oplus i\mathfrak{k}$, whose simply connected integrating Lie group $K$ is compact. This structural fact is independent of the complete-reducibility assertion. One standard construction uses root vectors normalized so that $[e_{\alpha },e_{-\alpha }]=h_{\alpha }$, with real structure constants compatible with the involution $e_{\alpha }\mapsto -e_{-\alpha }$ and $h_{\alpha }\mapsto -h_{\alpha }$. The real spanis closed under brackets, complexifies to $L$, and has negative-definite Killing form. The compactness criterion for real semisimple Lie algebras then gives a compact simply connected $K$. Thus this route uses root structure and compact integration, not the theorem being proved.

Restrict $\rho :L\to {\mathrm{End}}_{\mathbb{C}}(V)$ to $\mathfrak{k}$. The integration of a Lie-algebra representation gives a representation $R:K\to {\mathrm{GL}}_{\mathbb{C}}(V)$, since $K$ is simply connected. Choose any positive-definite Hermitian inner product $⟨,{⟩}_0$ and average using normalized Haar measure:The integral exists by compactness. It is positive-definite because $R(g)v\ne 0$ for $v\ne 0$, and it is $K$-invariant by translation invariance of Haar measure. Equivalently, every $\rho (a)$ with $a\in \mathfrak{k}$ is skew-Hermitian for this inner product.

Let $W$ be an $L$-submodule. It is invariant under $\mathfrak{k}$, hence under the exponentials generating the connected group $K$. For $v\in W^{\perp }$, $w\in W$ and $g\in K$,Consequently the orthogonal complement $W^{\perp }$ is $K$-invariant, and differentiation makes it $\mathfrak{k}$-invariant. It is a complex vector subspace, so it is also invariant under $i\mathfrak{k}$ and hence under $L$. Therefore $V=W\oplus W^{\perp }$ as $L$-modules.

Induction on $\dim V$ now expresses $V$ as a finite direct sum of irreducible submodules. Every finite-dimensional representation of a finite-dimensional complex semisimple Lie algebra is completely reducible. The compact real form need not be the real form originally used to present $L$; in particular the averaging argument does not require the given presentation to be unitary.

Choose a base of a root system and its positive roots, so that the triangular decomposition of a Lie algebra is $L={\mathfrak{n}}^{-}\oplus H\oplus {\mathfrak{n}}^{+}$. A primitive element of a Lie algebra representation of weight $\omega \in H^{\ast }$ is a nonzero vector $v$ such thatEquivalently it is a highest-weight vector. Being primitive depends on the chosen positive system; no integrality condition is part of this definition.

Construct the Verma module for an arbitrary $\omega$. The subalgebra $\mathfrak{b}=H\oplus {\mathfrak{n}}^{+}$ has a one-dimensional module ${\mathbb{C}}_{\omega }$ on which $H$ acts by $\omega$ and ${\mathfrak{n}}^{+}$ acts by zero. This is a representation because $[\mathfrak{b},\mathfrak{b}]\subseteq {\mathfrak{n}}^{+}$. Setwhere $U$ denotes the universal enveloping algebra. The Poincare-Birkhoff-Witt theorem, applied with negative-root vectors first, then Cartan vectors and positive-root vectors, givesas vector spaces. In particular $v_{\omega }=1\otimes 1$ is nonzero, generates $M(\omega )$, and is primitive of weight $\omega$.

The same ordered monomials show that $M(\omega )$ is a direct sum of weight spaces, with weights of the formand that its weight-$\omega$ space is exactly $\mathbb{C}{v}_{\omega }$. Each vector has only finitely many weight components. If a submodule contains a vector with nonzero weight-$\omega$ component, choose $h\in H$ that separates $\omega$ from the finitely many other weights of that vector. Polynomial interpolation in the action of $h$ extracts a nonzero multiple of $v_{\omega }$. Such a submodule is all of $M(\omega )$, because $v_{\omega }$ generates it. Consequently every proper submodule has zero component in weight $\omega$.

Let $N$ be the sum of all proper submodules. Every finite sum still has zero weight-$\omega$ component, so $N$ is proper; it contains every proper submodule and is therefore the unique maximal proper submodule. Its quotientis irreducible, and the nonzero image of $v_{\omega }$ is primitive of weight $\omega$. This proves existence for every $\omega \in H^{\ast }$ and gives the irreducible quotient of a Verma module. It also proves uniqueness up to isomorphism among irreducible modules generated by a primitive vector of that weight: the defining relations induce a surjection from $M(\omega )$, whose proper kernel must be $N$.

These modules are not generally finite-dimensional. For example, in an ${\mathfrak{sl}}_2$ root subalgebra, a primitive vector with $hv=\lambda v$ satisfiesIf its irreducible highest-weight module is finite-dimensional, the weight-lowering sequence eventually stops. For the first $m$ with $f^{m+1}v=0$ and $f^{m}v\ne 0$, the identity forces $\lambda =m\in {\mathbb{Z}}_{\ge 0}$. In general a finite-dimensional highest-weight module therefore requires nonnegative integral values on all simple coroots; arbitrary $\omega$ in the request must allow infinite-dimensional representations. This is consistent with the finite-dimensional qualification made in Question 2.

For simple coroots $h_1,\dots ,h_r$ forming a basis of $H$, the fundamental weights are the dual basis ${\omega }_1,\dots ,{\omega }_r\in H^{\ast }$:For the special linear Lie algebra ${\mathfrak{sl}}_3(\mathbb{C})$, take the diagonal trace-zero Cartan subalgebra and positive roots corresponding to upper triangular matrix units. Write ${\epsilon }_i(\mathrm{diag}(t_1,t_2,t_3))=t_i$. The simple roots are ${\alpha }_1={\epsilon }_1-{\epsilon }_2$, ${\alpha }_2={\epsilon }_2-{\epsilon }_3$, and the simple coroots areThe fundamental weights of sl3 are thereforeChecking these on $h_1,h_2$ gives the two coordinate vectors $(1,0)$ and $(0,1)$. In the Euclidean trace-zero plane they can also be writtenThe Fundamental representations of sl3 make these weights concrete: ${\mathbb{C}}^3$ has primitive vector $e_1$ of weight ${\omega }_1$, and ${\Lambda }^2{\mathbb{C}}^3$ has primitive vector $e_1\wedge e_2$ of weight ${\omega }_2$. Every finite-dimensional irreducible highest weight is $a{\omega }_1+b{\omega }_2$ with nonnegative integers $a,b$.

Choose a positive system of a root system and the corresponding triangular decomposition of a Lie algebra $L={\mathfrak{n}}^{-}\oplus H\oplus {\mathfrak{n}}^{+}$. A primitive element of a Lie algebra representation of weight $\omega \in H^{\ast }$ is a nonzero vector $v$ with $hv=\omega (h)v$ for every $h\in H$ and ${\mathfrak{n}}^{+}v=0$. Thus it is a highest-weight vector; the choice of positive roots is part of this definition. A highest-weight representation is generated by such a vector.

Let $\mathfrak{b}=H\oplus {\mathfrak{n}}^{+}$ be the corresponding Borel subalgebra. Define its one-dimensional Lie algebra representation ${\mathbb{C}}_{\omega }$ by the scalar $\omega (h)$ on $H$ and zero on ${\mathfrak{n}}^{+}$. This respects the Lie bracket, since $[\mathfrak{b},\mathfrak{b}]\subseteq {\mathfrak{n}}^{+}$. The induced Verma moduleis nonzero: the Poincare-Birkhoff-Witt theorem identifies its underlying vector space with $U({\mathfrak{n}}^{-})$, and $v=1\otimes 1$ is a primitive element of weight $\omega$. Its weight spaces are finite dimensional, its top weight space is the line $\mathbb{C}v$, and all other weights are $\omega -\sum n_i{\alpha }_i$ with $n_i\ge 0$ and at least one positive coefficient.

A proper submodule cannot contain $v$, because $v$ generates $M(\omega )$. More strongly it has no component of weight $\omega$: any finite sum of distinct weight vectors can be projected onto its individual components by a polynomial in a generic element of $H$. Therefore the sum $N$ of all proper submodules still misses the top weight line and is proper. It contains every proper submodule, so the irreducible quotient of a Verma moduleis irreducible and retains the nonzero primitive element $v+N$. This constructs the requested representation for every $\omega \in H^{\ast }$. It is not asserted to be finite dimensional for arbitrary $\omega$.

For the sl2 Lie algebra, use $h=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$, $e=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$ and $f=\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right)$, with $[h,e]=2e$, $[h,f]=-2f$, $[e,f]=h$. The classification of finite-dimensional sl2 representations gives one irreducible $V_n$ for every integer $n\ge 0$. In a basis $v_0,\dots ,v_n$ its action iswhere $v_{-1}=v_{n+1}=0$. These formulas satisfy the three Lie brackets. Any nonzero invariant subspace contains a weight vector by polynomial projection using $h$; repeated application of $e$ gives $v_0$, and applications of $f$ then give the entire basis. Thus $V_n$ is irreducible.

Conversely, in any finite-dimensional irreducible module, start with an eigenvector of $h$ and apply $e$ until reaching a nonzero vector $v$ with $ev=0$. This process terminates because $e$ increases the eigenvalue by two and only finitely many eigenvalues occur. Write $hv=av$. The sl2 highest-weight lowering formula givesLet $f^{n}v\ne 0$ and $f^{n+1}v=0$, which again follows from the finite set of weights. Applying $e$ to the latter identity yields $(n+1)(a-n)f^{n}v=0$, so $a=n$. The resulting $n+1$ distinct weight vectors span an invariant subspace, hence the entire irreducible module. Therefore $\dim V_n=n+1$ and its primitive weight is ${\omega }_n(h)=n$, with $n=0,1,2,\dots$; its weights are $n,n-2,\dots ,-n$.

Put $K=\mathrm{Frac}(A)$ and let $B$ be the integral closure of $A$ in $L$. We first establish the elementary integral extension machinery, and then use the trace pairing to put $B$ inside a finite $A$-module.

An integral element $x$ satisfies a monic polynomial over the base ring. If its equation has degree $r$, the powers $1,x,\dots ,x^{r-1}$ generate $A[x]$ as an $A$-module. More generally, adjoining finitely many integral elements gives a finitely generated module: reduce the exponent of each generator using its monic equation. Conversely, if an $A$-submodule $M$ of an extension algebra contains $1$, is finitely generated, and is stable under multiplication by $x$, choose generators $m_j$ and write $x{m}_j={\sum }_i{a}_{ij}{m}_i$. Multiplying $(xI-(a_{ij}))$ by its adjugate shows that its monic determinant annihilates every $m_j$, hence annihilates $1$. This finite-module criterion for integrality is the determinant trick.

If $x,y$ are integral elements, the finite $A$-module $A[x,y]$ is stable under $x+y$, $xy$ and $-x$. The criterion proves that these are integral elements. Thus the integral closure really is a subring. It also proves integral dependence is transitive: if $x$ is integral over an integral $A$-algebra $C$, take the finitely many coefficients of its equation, form their finite $A$-subalgebra $C_0$, and observe that $C_0[x]$ is finite over $C_0$ and therefore finite over $A$. The criterion applies to $x$. In particular, an algebra generated by finitely many integral elements is a finite integral extension, even though an arbitrary integral extension need not be finite.

Choose a $K$-basis $v_1,\dots ,v_d$ of $L$. Each basis element is algebraic over $K$. Ifchoose a nonzero $a_i\in A$ clearing all coefficient denominators. Then $e_i=a_i{v}_i$ satisfies a monic equation with coefficients $a_i^j{c}_{ij}\in A$. Hence all $e_i$ belong to $B$ and still form a $K$-basis. This is integral field basis by denominator clearing.

We next prove the trace of an integral element over a normal domain property. For $z\in B$, its images under all $K$-embeddings of $L$ into an algebraic closure are integral elements over $A$, because each satisfies the same monic equation. Their sum is integral by the subring property just proved. Since $L/K$ is a separable field extension, that sum is the field trace ${\mathrm{Tr}}_{L/K}(z)$ and lies in $K$. The normality assumption means that $A$ is a normal domain, equivalently an integrally closed domain, soThe same conclusion applies to $z{e}_i$, since $B$ is a ring.

The trace pairing of a finite separable field extension is nondegenerate. One can see this directly using the allowed Galois theory: for a primitive element $u$, the embedding matrix of $1,u,\dots ,u^{d-1}$ is a Vandermonde matrix in the distinct conjugates of $u$. Its determinant is nonzero, and the trace Gram matrix is its transpose times itself. Nondegeneracy is unchanged by a change of basis.

Let $M={\sum }_{i}A{e}_i$. Its trace-dual lattice isNondegeneracy supplies a trace-dual $K$-basis $e_1^{\ast },\dots ,e_d^{\ast }$, with $\mathrm{Tr}(e_i{e}_j^{\ast })={\delta }_{ij}$. The coefficient formula givesEquivalently, the matrix $T=(\mathrm{Tr}(e_i{e}_j))$ has entries in $A$ and nonzero determinant $D$; if $b={\sum }_i{c}_i{e}_i\in B$, then $Tc\in A^d$ and the adjugate formula gives $Dc\in A^d$. Thus $B\subseteq D^{-1}M$ as well. Both descriptions exhibit a finite free ambient $A$-module.

A finite $A$-module is a Noetherian module when $A$ is a Noetherian ring, and every submodule of a Noetherian module is finitely generated. Since $B$ is an $A$-submodule of $M^{\vee }$, we obtainThis proves finiteness of integral closure in a finite separable extension. The hypotheses have distinct roles: separability makes the trace pairing nonsingular, normality puts integral traces back in $A$, and Noetherianity makes the contained submodule finite. Also $\mathrm{Frac}(B)=L$, since the integral basis elements span $L$ over $K$, and $B$ is itself Noetherian because its ideals are $A$-submodules of a finite $A$-module.

Assume first that $S\ne 0$, as required for the irreducible-module conclusion. If $B\to {\mathrm{End}}_{\mathbb{C}}(S)$ is surjective, any nonzero invariant subspace contains every image of one of its nonzero vectors under all endomorphisms, hence is all of $S$. Thus $S$ is irreducible.

Conversely an irreducible $B$-module is finite dimensional: for $s\ne 0$, $S=Bs$ is a quotient of the finite-dimensional vector space $B$. Let $D$ be the image of $B$ in ${\mathrm{End}}_{\mathbb{C}}(S)$. It acts faithfully and irreducibly. The subspace $J(D)S$ is a submodule, so is zero or all of $S$. The latter alternative would imply $J(D{)}^{k}S=S$ for every $k$, contradicting nilpotence of the Jacobson radical. Therefore $J(D)S=0$, and faithfulness gives $J(D)=0$.

The Artin–Wedderburn theorem makes $D$ a product of matrix algebras. A faithful simple module forces there to be just one factor, because all other factors would annihilate that module. Thus $D\cong M_d(\mathbb{C})$ and $S\cong {\mathbb{C}}^d$, so the action is the full endomorphism algebra. This is the Burnside matrix-algebra theorem.

For nonzero $S$, surjectivity is equivalent to irreducibility. The zero module is a literal exception if it is admitted: its endomorphism algebra is zero, so the action map is surjective, whereas the zero module is not irreducible.

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.

Work with the usual commutative unital Noetherian ring convention. First prove that every submodule of $R^d$ is a finitely generated module. For $d=1$, a submodule is an ideal, hence finitely generated by Noetherianity. For the induction step, project a submodule $N\subseteq R^d$ onto its last coordinate. Its image is a finitely generated ideal; choose lifts in $N$ of its generators. The projection kernel lies in $R^{d-1}$ and is finitely generated by induction. The kernel generators together with the chosen lifts generate $N$, since subtracting a combination of the lifts leaves an element of the kernel.

Now choose a surjection $R^d\to M$ from a finite generating set of the module $M$. For any submodule $U\subseteq M$, its inverse image in $R^d$ is finitely generated by the result just proved. The images of those generators generate $U$.

Every submodule of $M$ is finitely generated. In particular $M$ is a Noetherian module: the union of an ascending chain is a submodule, and its finite generators all belong to a single member of the chain, forcing eventual stabilization.