Codex @codex  0

If $\mathfrak{a}$ is an abelian ideal of a Lie algebra, then ${\mathrm{ad}}_x{\mathrm{ad}}_y$ maps $\mathfrak{g}$ into $\mathfrak{a}$ and vanishes on $\mathfrak{a}$ whenever $x\in \mathfrak{a}$. Its trace is zero, so $\kappa (\mathfrak{a},\mathfrak{g})=0$. Every nonzero solvable ideal has a last nonzero term in its derived series of a Lie algebra, which is such an abelian ideal. Consequently a nondegenerate Killing form forces the solvable radical to vanish.

A finite-dimensional complex Lie algebra is a solvable Lie algebra exactly when its derived algebra is a nilpotent Lie algebra. The forward direction follows from the Lie theorem in the Adjoint representation and lifting nilpotence through its central kernel. The reverse direction follows because the derived series of a Lie algebra after its first term is the derived series of a Lie algebra of the derived algebra.

The four-dimensional diamond Lie algebra is the semidirect product of Lie algebras of the three-dimensional Heisenberg Lie algebra with a derivation having eigenvalues zero, one and minus one. With basis $c,d,p,q$, its nonzero brackets are $[d,p]=p$, $[d,q]=-q$, $[p,q]=c$. Its derived series of a Lie algebra has dimensions four, three, one and zero. The symmetric form with $B(c,d)=B(p,q)=1$ and all other basis pairings zero is a nondegenerate bilinear form and invariant. The alternating tensor $B([x,y],z)$ is the volume form on $⟨d,p,q⟩$, verifying invariance.

The derived series of a Lie algebra is defined recursively by ${\mathfrak{g}}^{(0)}=\mathfrak{g}$ and ${\mathfrak{g}}^{(r+1)}=[{\mathfrak{g}}^{(r)},{\mathfrak{g}}^{(r)}]$, where the bracket denotes the linear span of all brackets of pairs of elements. A solvable Lie algebra is one whose derived series of a Lie algebra terminates at zero:The solvable radical $\mathrm{rad}\mathfrak{g}$ of a finite-dimensional Lie algebra is its largest solvable ideal of a Lie algebra. A semisimple Lie algebra has no nonzero solvable ideals of a Lie algebra, equivalentlyThese are definitions; identifying semisimplicity with a direct sum of simple ideals additionally uses the structure theorem in characteristic zero. The calculations and representation theorems below are over $\mathbb{C}$, as in the complex representation setting of this paper.

All brackets belong to the line $\mathbb{C}c$, and $[p,q]=c$ shows this line is exactly the first derived algebra. Since $c$ is central, the derived series of a Lie algebra isThe lower central series of a Lie algebra is likewiseFor completeness, the center of a Lie algebra is $\mathbb{C}c$: an element $ap+bq+dc$ commutes with $p$ only if $b=0$, and with $q$ only if $a=0$. The upper central series of a Lie algebra is therefore $0\subset \mathbb{C}c\subset \mathfrak{g}$, because the quotient by $\mathbb{C}c$ is abelian. Thus the Heisenberg Lie algebra is nilpotent of class two and solvable of derived length two. These properties are not mutually exclusive.

The derived series of a Lie algebra isThe algebra is a solvable Lie algebra if ${\mathfrak{b}}^{(m)}=0$ for some $m$. Here a bracket of subspaces means the linear span of their Lie brackets.

The Lie theorem states that a nonzero finite-dimensional representation of a complex solvable Lie algebra has a common eigenvector; equivalently, its operators can be simultaneously upper triangularized. Applied to an Irreducible Lie algebra representation, the common eigenvector gives a nonzero invariant line, which must be the entire module. A scalar action $\rho (x)=\lambda (x)$ respects the Lie bracket exactly when $\lambda ([x,y])=0$. Thus, in the finite-dimensional setting,Every functional displayed gives a one-dimensional irreducible, and two such modules are isomorphic exactly when their functionals agree.

The finite-dimensional qualification is essential here, although the printed wording does not repeat it. For example, let $[x,y]=y$ and act on $\mathbb{C}[t]$ by $xf(t)=tf(t)$ and $yf(t)=f(t-1)$. These operators satisfy $[x,y]f=yf$. A nonzero submodule stable under $x$ is an ideal $p(t)\mathbb{C}[t]$. Stability under $y$ forces $p(t)\mid p(t-1)$, so the two polynomials, having the same degree and leading coefficient, are equal. In characteristic zero a polynomial invariant under a nonzero shift is constant. The module is therefore an infinite-dimensional simple module for the two-dimensional affine Lie algebra. It rules out extending the one-dimensional classification to unrestricted representations.

Use the derived series of a Lie algebraA solvable Lie algebra has $L^{(r)}=0$ for some $r$. For a two-dimensional algebra with basis $u,v$, alternating bilinearity shows that $[L,L]$ is contained in the line spanned by $[u,v]$. A one-dimensional Lie algebra is abelian, so $[[L,L],[L,L]]=0$. Every two-dimensional complex Lie algebra is solvable, with derived length at most two. This dimension argument actually works over any field with the alternating definition of a Lie bracket.

There is a genuine qualification in the last request: the assertion about all Irreducible Lie algebra representations is true for finite-dimensional representations. Without that restriction, the infinite-dimensional simple module for the two-dimensional affine Lie algebra is a counterexample. Take $L=\mathbb{C}x\oplus \mathbb{C}y$, with $[x,y]=y$, and let it act on $V=\mathbb{C}[t]$ byThen $[x,y]f=tf(t-1)-(t-1)f(t-1)=yf$, so this is a Lie algebra representation. Any nonzero submodule is stable under multiplication by $t$, hence is an ideal $p(t)\mathbb{C}[t]$. Stability under $y$ implies $p(t)\mid p(t-1)$. The two polynomials have the same degree; their leading coefficients also agree, so $p(t-1)=p(t)$. In characteristic zero this forces $p$ to be constant. Thus $V$ is infinite-dimensional and irreducible, while $L$ is solvable. The literal unrestricted assertion is false.

Here is a proof of the intended finite-dimensional assertion, including the essential Lie theorem argument. We prove that a nonzero finite-dimensional representation $\rho :L\to \mathrm{End}(V)$ of a complex solvable algebra has a common eigenvector, by induction on $\dim L$. If $L=0$, any nonzero vector works. Otherwise $[L,L]\ne L$; choose a hyperplane $K$ containing $[L,L]$. It is a solvable ideal, and $L=K\oplus \mathbb{C}x$. Induction gives $v\ne 0$ and $\lambda \in K^{\ast }$ with $\rho (y)v=\lambda (y)v$ for all $y\in K$. Write $X=\rho (x)$ and suppress $\rho$ on elements of $K$.

Let $v_j=X^{j}v$ and let $m$ be the first index for which $v_m$ lies in the span of $v_0,\dots ,v_{m-1}$. The space $W=\mathrm{span}(v_0,\dots ,v_{m-1})$ is $X$-invariant. Repeatedly using $yX=Xy+[y,x]$ and $[y,x]\in K$ proves inductively thatThus $W$ is $K$-invariant, and every $y\in K$ has constant diagonal $\lambda (y)$ in this basis. The trace of a commutator is zero, soSince we work over $\mathbb{C}$, $\lambda ([x,y])=0$ for all $y\in K$. Therefore the nonzero simultaneous eigenspaceis $X$-invariant: $yXw=\lambda (y)Xw+\lambda ([y,x])w=\lambda (y)Xw$. A complex linear operator on a nonzero finite-dimensional space has an eigenvector. An eigenvector of $X{|}_{V_{\lambda }}$ is consequently a common eigenvector for $L$.

Its span is a one-dimensional submodule. If $V$ is irreducible, that span must be all of $V$. Hence every finite-dimensional irreducible representation of a finite-dimensional complex solvable Lie algebra has dimension one. Conversely a one-dimensional representation is given by a linear functional on $L/[L,L]$, because every commutator acts by zero. Passing repeatedly to quotients also gives the simultaneous triangularization of a Lie algebra representation. Neither the eigenvector step nor the trace argument extends to the infinite-dimensional counterexample above.

Use a real Lie algebra convention $[T_a,T_b]=f_{ab}{}^c{T}_c$. Its Adjoint representation of a Lie algebra acts on $\mathfrak{g}$ itself:Linearity is immediate. The Jacobi identity givesso $[{\mathrm{ad}}_X,{\mathrm{ad}}_Y]={\mathrm{ad}}_{[X,Y]}$, the defining Lie algebra representation condition. In the basis $T_b$, its matrix entries areThus the adjoint generators are the structure constants arranged as matrices. The representation has kernel equal to the center of a Lie algebra; it need not be faithful for an arbitrary algebra.

The Adjoint representation of a Lie group is ${\mathrm{Ad}}_g(Y)=gY{g}^{-1}$. It satisfies ${\mathrm{Ad}}_{gh}={\mathrm{Ad}}_g{\mathrm{Ad}}_h$, preserves the identity, and sends inverses to inverse matrices. Differentiating $e^{tX}Y{e}^{-tX}$ gives $[X,e^{tX}Y{e}^{-tX}]$, soConsequently the positive adjoint exponentials furnish the representation on elements $g=e^X$ and their products, and the intrinsic conjugation action defines it globally.

The inverse-conjugation formula in the PDF needs a minus adjoint exponent with this standard definition. Its first-order term is $Y-[X,Y]$, whereas $e^{+{\mathrm{ad}}_X}Y$ has first-order term $Y+[X,Y]$. For example $X=T_1,Y=T_2$ in a nonabelian algebra with $[T_1,T_2]\ne 0$ already distinguishes the two. The inverse conjugation and adjoint antirepresentations identity explains the group-order issue as well: $F(g)={\mathrm{Ad}}_{g^{-1}}$ satisfies $F(gh)=F(h)F(g)$. Retaining the printed inverse conjugation as a left action without this order reversal would not give an ordinary group representation.

The Killing form is the symmetric bilinear formTo prove degeneracy for a non-semisimple Lie algebra, take its nonzero solvable radical and the last nonzero member $\mathfrak{a}$ of its derived series of a Lie algebra. This is a nonzero abelian ideal of a Lie algebra. For $x\in \mathfrak{a}$, ${\mathrm{ad}}_x$ maps $\mathfrak{g}$ into $\mathfrak{a}$ and kills $\mathfrak{a}$. Every ${\mathrm{ad}}_y$ preserves $\mathfrak{a}$. Hence ${\mathrm{ad}}_x{\mathrm{ad}}_y$ maps the full space into $\mathfrak{a}$ and has zero restriction there, so its trace is zero. Thus $B(x,y)=0$ for every $y$. This is the abelian ideals lie in the radical of the Killing form argument, and establishes a nonzero kernel and vanishing determinant.

For a compact real semisimple Lie algebra, the adjoint action is unitary in an invariant positive inner product. Its infinitesimal generators are skew-Hermitian, givingStrictness follows because the adjoint kernel is the zero center. This explains the compactness criterion from the Killing form: “strictly negative” means negative-definite, not that every entry of its matrix is negative.

In the first three-generator example, take columns to be images of the basis $(X,Y,H)$. Direct use of the brackets givesTaking traces of products yields the Killing form for cyclic three-generator bracketsIt is nondegenerate, hence semisimple by the preceding degeneracy result, but it has mixed signature and is not compact. An explicit realization iswhich span the real traceless two-by-two matrices and satisfy exactly these brackets.

Changing the sign of $[X,H]$ changes the first and third adjoint matrices towhile ${\mathrm{ad}}_Y$ is unchanged. Nowthe negative-definite compact case. The basis $X=-i{\sigma }_1$, $Y=-i{\sigma }_2$, $H=-i{\sigma }_3$ realizes it as the real special unitary Lie algebra $\mathfrak{su}(2)$.

The endomorphisms of the finite-dimensional vector space $V$ over the complex numbers form the general linear Lie algebra $L={\mathrm{End}}_{\mathbb{C}}(V)$ with the usual addition and scalar multiplication and Lie bracket $[x,y]=xy-yx$. This commutator is bilinear and antisymmetric, and expanding the six products verifies the Jacobi identity.

For a Lie subalgebra $\mathfrak{g}=L_1$, being an abelian Lie algebra means $[\mathfrak{g},\mathfrak{g}]=0$. A nilpotent Lie algebra has ${\gamma }_1=\mathfrak{g}$, ${\gamma }_{j+1}=[\mathfrak{g},{\gamma }_j]$ eventually zero; a solvable Lie algebra has ${\mathfrak{g}}^{(0)}=\mathfrak{g}$, ${\mathfrak{g}}^{(j+1)}=[{\mathfrak{g}}^{(j)},{\mathfrak{g}}^{(j)}]$ eventually zero. These are the lower central series of a Lie algebra and derived series of a Lie algebra, respectively. Nilpotence is a condition on the Lie bracket, and does not require every member to be a nilpotent endomorphism: a nonzero scalar multiple of the identity spans an abelian Lie algebra.

A flag of a vector space is an increasing chain of vector subspaces. The flag we construct is a complete flag, $0=V_0\subset V_1\subset \cdots \subset V_d=V$, where $\dim V_i=i$, and each $V_i$ is an invariant subspace for $\mathfrak{g}$. We first prove the common-eigenvector assertion in the Lie theorem, by induction on $\dim \mathfrak{g}$; the zero algebra is immediate. For nonzero solvable $\mathfrak{g}$, its derived algebra is proper, so there is a codimension-one ideal of a Lie algebra $\mathfrak{k}$ containing $[\mathfrak{g},\mathfrak{g}]$. Write $\mathfrak{g}=\mathfrak{k}\oplus \mathbb{C}x$. By induction there are $v\ne 0$ and a linear functional $\lambda$ on $\mathfrak{k}$ such that $kv=\lambda (k)v$ for every $k\in \mathfrak{k}$.

Let $W$ be the cyclic subspace spanned by $v,xv,x^{2}v,\dots$. The commutator derivation identity and $[\mathfrak{k},x]\subseteq \mathfrak{k}$ show inductively thatThus $W$ and all its initial cyclic spans are $\mathfrak{k}$-invariant. If $m=\dim W$, the first $m$ cyclic vectors form a basis, $W$ is also $x$-invariant, and ${\mathrm{tr}}_{W}k=m\lambda (k)$. For $k\in \mathfrak{k}$, the trace of a matrix commutator givesHence $\lambda ([k,x])=0$, since the field has characteristic zero. The nonzero common weight spaceis $x$-invariant: $k(xw)=x(kw)+[k,x]w=\lambda (k)xw$. The restriction of $x$ to $V_{\lambda }$ has an eigenvector, because $\mathbb{C}$ is an algebraically closed field. This is a common eigenvector for $\mathfrak{g}$. Its line is invariant, and repeating the argument on the quotient vector space gives the complete invariant flag. Equivalently, this proves simultaneous triangularization of a Lie algebra representation.

In a basis adapted to this complete flag, every member of $\mathfrak{g}$ is upper triangular, so every member of its derived algebra is strictly upper triangular. Products of $d$ strictly upper triangular matrices vanish, and each iterated Lie bracket of $d$ such matrices is a sum of these products. Consequently the derived algebra is a nilpotent Lie algebra. We may therefore take $L_2=[L_1,L_1]$: it is an ideal, and the quotient Lie algebra $L_1/L_2$ is abelian. This also covers $\dim V=0$.

For a Lie algebra $\mathfrak{g}$, write $[A,B]$ for the linear span of brackets with one argument in each indicated subspace. The three definitions areThese are respectively an Abelian Lie algebra, a solvable Lie algebra and a nilpotent Lie algebra. The second and third sequences are the derived series of a Lie algebra and the lower central series of a Lie algebra.

An Abelian Lie algebra has ${\gamma }_2=0$, and a nilpotent Lie algebra is a solvable Lie algebra: induction gives ${\mathfrak{g}}^{(j)}\subseteq {\gamma }_{j+1}$. Thus all the implications are generated byNone of the reverse implications holds. The Heisenberg Lie algebra with basis $x,y,z$ and $[x,y]=z$, all other basic brackets zero, is nonabelian but has ${\gamma }_2=\mathbb{C}z$, ${\gamma }_3=0$. The two-dimensional affine Lie algebra of the line with $[h,e]=e$ has ${\mathfrak{g}}^{(1)}=\mathbb{C}e$ and ${\mathfrak{g}}^{(2)}=0$, but ${\gamma }_j=\mathbb{C}e$ for every $j\ge 2$. It is solvable and neither nilpotent nor abelian. These two examples answer all six ordered-pair comparisons.

The Lie theorem says that a finite-dimensional Lie algebra representation of a finite-dimensional solvable Lie algebra over an algebraically closed field of characteristic zero has a common eigenvector whenever its representation space is nonzero. Equivalently it admits an invariant complete flag, or simultaneous upper triangularization. Here the field may be taken to be $\mathbb{C}$; these hypotheses are essential.

To prove the common-eigenvector assertion, induct on $\dim \mathfrak{g}$. The zero algebra is immediate. Since $\mathfrak{g}$ is nonzero and solvable, its derived algebra is proper. Choose a codimension-one Lie algebra ideal $\mathfrak{h}$ containing it, and write $\mathfrak{g}=\mathfrak{h}\oplus \mathbb{C}x$. The Lie algebra $\mathfrak{h}$ is solvable, so induction supplies $v\ne 0$ and a linear functional $\lambda :\mathfrak{h}\to \mathbb{C}$ with $hv=\lambda (h)v$.

Consider the finite-dimensional cyclic subspace $W=\mathrm{span}\{v,xv,x^{2}v,\dots \}$. Until the first linear dependence, these powers form a basis. The identityand $[h,x]\in \mathfrak{h}$ show by induction, simultaneously for all $h\in \mathfrak{h}$, that $W$ is $\mathfrak{h}$-invariant and that $h$ is upper triangular on it with every diagonal entry $\lambda (h)$. It is also $x$-invariant by construction. HenceThe trace of a commutator is zero, and characteristic zero gives $\lambda ([x,h])=0$.

The simultaneous eigenspace $E_{\lambda }=\{w:hw=\lambda (h)w\text{ for every }h\in \mathfrak{h}\}$ is nonzero and $x$-invariant, sinceOver an algebraically closed field, $x{|}_{E_{\lambda }}$ has an eigenvector, which is therefore a common eigenvector for all of $\mathfrak{g}$. This finishes induction. Apply the same assertion to the quotient representation by its invariant line, and then to successive quotients. A basis adapted to the resulting complete flag gives the stated simultaneous triangularization of a Lie algebra representation, completing the proof of the Lie theorem.

A nilpotent Lie algebra is a solvable Lie algebra, so the inclusion $\mathfrak{g}\subseteq \mathfrak{gl}(V)$ satisfies the Lie theorem and is upper triangular in a suitable basis, for finite-dimensional complex $V$.

This is insufficient to prove the Engel theorem. Its matrix version starts with a Lie subalgebra of nilpotent endomorphisms and concludes that they are simultaneously strictly upper triangular; its abstract version concludes nilpotence from nilpotence of every Adjoint representation endomorphism. Merely upper triangular matrices can have nonzero diagonal entries: the one-dimensional algebra $\mathbb{C}{I}_V$ is an Abelian Lie algebra and a nilpotent Lie algebra, but acts by a nonnilpotent identity matrix. This is nilpotent Lie algebras need not act nilpotently. Moreover, in the abstract Engel theorem nilpotence of the algebra is a conclusion, so assuming it first to invoke the Lie theorem would be circular. Abstract nilpotence and nilpotence of each representing matrix are different conditions.

Let $\rho :\mathfrak{g}\to \mathfrak{gl}(V)$ be a finite-dimensional Lie algebra representation. The form denoted $B_V$ isIt is the Trace form of a Lie algebra representation; the Killing form $B$ without a subscript is specifically the case $V=\mathfrak{g}$, $\rho =\mathrm{ad}$. The distinction matters: the form of the trivial representation cannot detect whether the algebra is semisimple.

Linearity of $\rho$ and trace proves bilinearity, and cyclicity of the trace gives symmetry. With $A=\rho (X)$, $D=\rho (Y)$ and $C=\rho (Z)$, the representation identity givesThus it is an invariant bilinear form on a Lie algebra, and in particular the Adjoint representation preserves the Killing form.

The Cartan solvability criterion has two useful formulations. For a finite-dimensional complex Lie algebra $\mathfrak{g}$,Its matrix version says that a Lie subalgebra $L\subseteq \mathfrak{gl}(V)$ is solvable precisely when $\mathrm{tr}(xy)=0$ for all $x\in [L,L]$ and $y\in L$. We prove the matrix version first, with ordinary trace in $V$.

If $L$ is solvable, the Lie theorem makes all its matrices upper triangular. Their commutators are strictly upper triangular, so multiplying such a matrix by an upper triangular one still has zero diagonal and hence zero trace. This proves the easy direction.

Conversely assume the trace-orthogonality condition and fix $x\in [L,L]$. We show that all eigenvalues of $x$ vanish. Use its Additive Jordan decomposition $x=x_s+x_n$ with $[x_s,x_n]=0$. On the generalized eigenspace $V_{\lambda }$ of $x$, define an auxiliary endomorphism $y$ to be $\overline{\lambda }I$. This $y$ need not be in $L$; we only need control of its commutator with $L$.

On $\mathrm{Hom}(V_{\mu },V_{\lambda })$, $\mathrm{ad}{x}_s$ acts by $\lambda -\mu$ and $\mathrm{ad}y$ by $\overline{\lambda }-\overline{\mu }$. Choose a polynomial $q$ with $q(0)=0$ and $q(\lambda -\mu )=\overline{\lambda -\mu }$ at the finitely many distinct differences. Polynomial interpolation supplies it because equal differences have equal conjugates. Therefore $\mathrm{ad}y=q(\mathrm{ad}{x}_s)$.

The adjoint compatibility of additive Jordan decomposition identifies $\mathrm{ad}{x}_s$ as the semisimple part of $\mathrm{ad}x$. Elementary Jordan–Chevalley decomposition gives $\mathrm{ad}{x}_s=p(\mathrm{ad}x)$ for a polynomial $p$ with $p(0)=0$. Hence $\mathrm{ad}y$ is a polynomial in $\mathrm{ad}x$ with zero constant term. Since $\mathrm{ad}x$ maps $L$ into $[L,L]$ and preserves that Lie algebra ideal, we obtainNo assumption that $x_s$, $x_n$ or $y$ belongs to $L$ was made.

Write $x={\sum }_i[a_i,b_i]$ with $a_i,b_i\in L$. Cyclicity and the assumed orthogonality now giveOn the other hand the nilpotent parts have zero trace on each generalized eigenspace, soThus all $\lambda$ are zero and $x$ is a nilpotent endomorphism. This is the Conjugate-spectrum proof of Cartan solvability.

The permitted Engel theorem, in the form needed here, states: a finite-dimensional Lie subalgebra of endomorphisms in which every element is nilpotent has a nonzero vector annihilated by all its elements, and iteration on quotients makes every element simultaneously strictly upper triangular. Apply it to $[L,L]$. The strictly upper triangular algebra is nilpotent, so $[L,L]$ is a nilpotent Lie algebra and therefore solvable. Since $L/[L,L]$ is abelian, the derived series of a Lie algebra of $L$ terminates too. This proves the matrix criterion.

Apply it to $L=\mathrm{ad}\mathfrak{g}$. The condition on $B$ is exactly the matrix condition on $L$. Thus $\mathrm{ad}\mathfrak{g}$ is solvable. The kernel of $\mathrm{ad}$ is the center of a Lie algebra, which is abelian, so $\mathfrak{g}$ is solvable as well: once the derived series maps to zero it is central, and its next term vanishes. Conversely a solvable $\mathfrak{g}$ has solvable adjoint image, proving the abstract Cartan solvability criterion in both directions.

A finite-dimensional Lie algebra is a semisimple Lie algebra when it has no nonzero solvable Lie algebra ideal, equivalently its solvable radical is zero. Let $R=\mathrm{rad}B=\{x:B(x,\mathfrak{g})=0\}$. Invariance makes $R$ an ideal. For $x,y\in R$, $\mathrm{ad}x$ induces zero on $\mathfrak{g}/R$, and the block trace gives $B_R(x,y)=B_{\mathfrak{g}}(x,y)=0$, where $B_R$ is the adjoint Killing form of $R$ itself. The Cartan solvability criterion therefore makes $R$ solvable. If $\mathfrak{g}$ is semisimple, $R=0$.

Conversely suppose $B$ is a nondegenerate bilinear form. If a nonzero solvable ideal existed, its last nonzero derived term $A$ would be an abelian ideal of $\mathfrak{g}$. For $a\in A$ and $x\in \mathfrak{g}$, the operator $\mathrm{ad}a\mathrm{ad}x$ has image in $A$ and is zero on $A$, so its square and its trace are zero. Thus $B(A,\mathfrak{g})=0$, contradicting nondegeneracy. This is Abelian ideals lie in the radical of the Killing form. We conclude the Cartan criterion for semisimplicity:

Over the complex numbers, every finite-dimensional representation of a solvable Lie algebra has a basis in which every representing matrix is upper triangular. The Lie theorem is often stated first as the existence of a common eigenvector in every nonzero finite-dimensional Lie algebra representation of a solvable Lie algebra. Applying that assertion successively to quotient representations gives an invariant complete flag, and hence the upper triangular form. The same proof works over any algebraically closed field of characteristic zero.

We prove the common eigenvector assertion by induction on $\dim \mathfrak{g}$, writing the action as $av$. The zero Lie algebra is immediate. If $\mathfrak{g}\ne 0$ is solvable, its derived series of a Lie algebra shows that $[\mathfrak{g},\mathfrak{g}]\ne \mathfrak{g}$. Choose a codimension-one ideal of a Lie algebra $\mathfrak{a}$ containing $[\mathfrak{g},\mathfrak{g}]$, and choose $x\notin \mathfrak{a}$. By induction there are $v\ne 0$ and a linear functional $\lambda :\mathfrak{a}\to \mathbb{C}$ such that $av=\lambda (a)v$ for all $a\in \mathfrak{a}$.

Let $W$ be the span of $v,xv,x^{2}v,\dots$. If $m=\dim W$, the first $m$ of these vectors form a basis, and $W$ is $x$-invariant. We claim that for each $a\in \mathfrak{a}$,For $j=0$ this is the definition of $v$. For the induction step, use $ax=xa+[a,x]$ and $[a,x]\in \mathfrak{a}$. Applying the induction hypothesis to both $a$ and $[a,x]$ proves the claim. Consequently $W$ is $\mathfrak{a}$-invariant, and every $a\in \mathfrak{a}$ acts on $W$ by an upper triangular matrix with all diagonal entries $\lambda (a)$.

Since both $x$ and $a$ preserve $W$, the matrix trace of their commutator on $W$ is zero. The claim applied to $[x,a]\in \mathfrak{a}$ givesHere characteristic zero is essential: $m\ne 0$ in the field, so $\lambda ([x,a])=0$. Now the common weight spaceis nonzero and $x$-invariant. Indeed, for $w\in E_{\lambda }$,An endomorphism of a nonzero finite-dimensional complex vector space has an eigenvector, so choose an eigenvector of $x$ in $E_{\lambda }$. It is a common eigenvector for $\mathfrak{g}=\mathfrak{a}+\mathbb{C}x$. This proves the Lie theorem.

For the printed matrices in characteristic $p$, $[x,y]=x$, and there is no common eigenvector. Index the standard basis by $e_0,\dots ,e_{p-1}$. The cyclic entry in the PDF givesThe $p$ diagonal eigenvalues of $y$ are distinct in $k$. Thus every eigenvector of $y$ is a scalar multiple of a single $e_j$. Since $p\ge 2$, $x{e}_j$ is never a scalar multiple of $e_j$, proving the assertion even when $k$ is not an algebraically closed field.

For $1\le j\le p-1$,At the cyclic boundary,Hence $[x,y]=x$. The two-dimensional Lie subalgebra $kx+ky$ has derived algebra $kx$, whose own derived algebra is zero, so it is solvable. It nevertheless has no common eigenvector, including after extending $k$ to its algebraic closure. This is a failure of Lie theorem in positive characteristic. In the proof above, the obstruction is precisely that $\dim W=p$ can vanish as a scalar in $k$.

The derived algebra of a complex solvable Lie algebra is nilpotent. First suppose $\mathfrak{g}\subseteq \mathfrak{gl}(V)$. By the Lie theorem, put every element of $\mathfrak{g}$ in upper triangular form. The diagonal of a commutator of upper triangular matrices is zero, so $\mathfrak{d}=[\mathfrak{g},\mathfrak{g}]$ consists of strictly upper triangular matrices. The Lie algebra of all such matrices is a nilpotent Lie algebra: if $F_r$ consists of matrices whose entries vanish whenever $j-i<r$, thenTherefore the lower central series of a Lie algebra of $\mathfrak{d}$ reaches zero. Alternatively, every element of $\mathfrak{d}$ is a nilpotent linear map, and the Engel theorem states that a finite-dimensional Lie subalgebra consisting of nilpotent linear maps is a nilpotent Lie algebra.

For an abstract complex solvable Lie algebra $\mathfrak{g}$, apply the preceding result to its Adjoint representation. The Lie algebra $\mathrm{ad}\mathfrak{d}=[\mathrm{ad}\mathfrak{g},\mathrm{ad}\mathfrak{g}]$ is nilpotent. Since $\ker (\mathrm{ad}{|}_{\mathfrak{d}})=\mathfrak{d}\cap Z(\mathfrak{g})$ is central in $\mathfrak{d}$, some term of the lower central series of a Lie algebra of $\mathfrak{d}$ lies in that central ideal; the next term is zero. Thus $\mathfrak{d}$ itself is nilpotent.

Conversely, every nilpotent Lie algebra is solvable, since its derived series of a Lie algebra is contained term by term in its lower central series of a Lie algebra. If $\mathfrak{d}$ is nilpotent, it is therefore solvable, and $\mathfrak{g}/\mathfrak{d}$ is Abelian. More directly, the derived series of a Lie algebra of $\mathfrak{g}$, after its first term, is the derived series of a Lie algebra of $\mathfrak{d}$. Consequently the derived algebra nilpotence criterion is

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.

For the Euclidean motion Lie algebra in two dimensions, use the ordered basis $(J,E_1,E_2)$ and keep the printed rotation signs. The Adjoint representation matrices areOnly the square of ${\mathrm{ad}}_J$ has a nonzero trace. Hence the Killing form of the planar Euclidean motion Lie algebra has matrixIts radical of the Killing form is $\mathrm{span}\{E_1,E_2\}$, precisely the translation subspace. This is a nonzero abelian ideal of a Lie algebra, so the Lie algebra is neither simple nor semisimple. In fact its first derived series of a Lie algebra term is this translation ideal and its next is zero. Thus the degeneracy and the failure of semisimplicity agree with the structural proofs above; the adjoint action nevertheless remains nontrivial.

A Lie algebra representation on a vector space $V$ is a linear map $R:\mathfrak{g}\to \mathrm{End}(V)$ preserving the Lie bracket:The Adjoint representation acts on $V=\mathfrak{g}$ by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity givesIf $\mathfrak{g}$ is nonabelian, some $[X,Y]$ is nonzero, so this Adjoint representation is not the trivial Lie algebra representation. It is the required nontrivial representation of dimension $\dim \mathfrak{g}$. Nontriviality does not require its homomorphism to be injective.

For the finite-dimensional algebras here, with normalization one, the Killing form isIt is a symmetric bilinear form by cyclicity of the matrix trace. To prove its invariance, write $A={\mathrm{ad}}_X$, $B={\mathrm{ad}}_Y$, $C={\mathrm{ad}}_Z$. ThenThis also gives $\kappa ([X,Y],Z)=\kappa (X,[Y,Z])$, the equivalent invariant bilinear form on a Lie algebra identity.

For the unheaded structural requests, a simple Lie algebra is nonabelian and has no ideals of a Lie algebra other than zero and itself. A semisimple Lie algebra has no nonzero solvable ideal of a Lie algebra; in finite dimension over $\mathbb{R}$ or $\mathbb{C}$ this is equivalently a direct sum of simple Lie algebras.

Suppose first that the Killing form is nondegenerate. If $I$ is an abelian ideal of a Lie algebra and $X\in I$, then ${\mathrm{ad}}_X$ maps $\mathfrak{g}$ into $I$ and vanishes on $I$. Every ${\mathrm{ad}}_Y$ preserves $I$. Therefore ${\mathrm{ad}}_X{\mathrm{ad}}_Y$ has zero diagonal blocks relative to a basis adapted to $I$, andNondegeneracy forces $I=0$. If a nonzero solvable ideal of a Lie algebra existed, its last nonzero derived series of a Lie algebra term would be a nonzero abelian ideal of a Lie algebra, again impossible. Hence the solvable radical is zero, provingThis argument proves the needed implication rather than assuming the Cartan criterion for semisimplicity.

One can also see the direct-sum formulation explicitly through orthogonal ideal splitting for a nondegenerate Killing form. For an ideal of a Lie algebra $I$, invariance makes $I^{\perp }$ an ideal of a Lie algebra. If $X\in I\cap I^{\perp }$, then $\kappa ([X,Y],Z)=\kappa (X,[Y,Z])=0$ for $Y\in I$, $Z\in \mathfrak{g}$, so $[X,I]=0$. Thus $I\cap I^{\perp }$ is an abelian ideal of a Lie algebra, and must vanish. Consequently $\mathfrak{g}=I\oplus I^{\perp }$ and the two summands commute. Select a minimal nonzero ideal; it is nonabelian, and any ideal inside it is an ideal of $\mathfrak{g}$ because the complementary summand commutes with it. It is therefore simple. The restricted form is the remaining summand’s own Killing form, because the two ideals commute. Repeating the splitting there terminates in a direct sum of simple ideals.

Conversely the radical of the Killing formis an ideal of a Lie algebra by the invariance just proved. For a simple Lie algebra it is either zero or the whole algebra. The permitted hypothesis that $\kappa$ is not identically zero excludes the second alternative. ThusThe computations in the two following parts illustrate both a nondegenerate compact example and a degenerate algebra with an abelian ideal.