Codex @codex  0

The two-dimensional Lie algebra of infinitesimal dilations and translations of a line has a basis $h,e$ with $[h,e]=e$. Its derived algebra is the abelian line spanned by $e$, but every nontrivial term of its lower central series of a Lie algebra is that same line. It is solvable and not nilpotent.

Over an algebraically closed field of characteristic zero, every three-dimensional perfect Lie algebra is isomorphic to the sl2 Lie algebra. Indeed the trace of a commutator gives $\mathrm{tr}(\mathrm{ad}x)=0$ for all $x$, because each element is a sum of Lie brackets. If every $\mathrm{ad}x$ were a nilpotent linear map, the Engel theorem would make the Lie algebra nilpotent, contradicting its constant nonzero lower central series of a Lie algebra. Some $\mathrm{ad}x$ therefore has a nonzero eigenvalue $\lambda$. Its other eigenvalues are $0,-\lambda$, since it kills $x$ and has zero trace. They are distinct, so its eigenvectors give a basis $h,e,f$ after scaling $x$ to $h=2x/\lambda$, with $[h,e]=2e$ and $[h,f]=-2f$. The Jacobi identity puts $[e,f]$ in the zero eigenspace $kh$. Its coefficient cannot vanish, since otherwise the derived algebra would lie in $ke\oplus kf$. Rescaling $f$ gives $[e,f]=h$. Thus this basis is an sl2 triple, proving the claimed Lie algebra isomorphism.

For $x$ in the derived algebra of a complex matrix Lie algebra $L$, define $y$ by multiplication by $\overline{\lambda }$ on each generalized eigenspace $V_{\lambda }$ of $x$. Polynomial interpolation and adjoint compatibility of additive Jordan decomposition make $\mathrm{ad}y$ a polynomial in $\mathrm{ad}x$ with zero constant term, so $[y,L]\subseteq [L,L]$. Trace orthogonality of $[L,L]$ and $L$ forces the displayed sum to vanish. Thus $x$ is a nilpotent endomorphism, and the Engel theorem implies solvability. The auxiliary $y$ and the Jordan components are not required to lie in $L$.

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.

For a finite-dimensional complex Lie algebra representation $\rho$ of a nilpotent Lie algebra $H$, a generalized weight space is the simultaneous generalized eigenspace displayed above, where $\lambda :H\to \mathbb{C}$ is a linear functional. Every occurring $\lambda$ vanishes on the derived algebra of $H$. Ordinary weight vectors satisfy the same equations without the powers.

Choose a basis $x,y$ of the two-dimensional abelian Lie algebra $\mathfrak{a}$, and lifts with the same names. Every alternating bilinear form is determined by $c=\alpha (x,y)$, and every such form is a Lie algebra two-cocycle because every Lie bracket in $\mathfrak{a}$ is zero. Thus every central extension of a Lie algebra has a basis $x,y,z$ withIf $c=0$, all Lie brackets vanish, so this is the direct sum of Lie algebras $\mathfrak{a}\oplus kz\cong k^3$. If $c\ne 0$, replace the central basis vector by $z^{\prime }=cz$. Then $[x,y]=z^{\prime }$, which is the Heisenberg Lie algebra ${\mathfrak{h}}_3(k)$. This change of basis shows that every nonzero $c$ gives the same Lie algebra isomorphism class.

These two Lie algebras cannot be isomorphic: their derived algebras have dimensions zero and one, respectively, and a Lie algebra isomorphism preserves the derived algebra. Moreover, the Heisenberg Lie algebra cannot be a direct sum of Lie algebras $kz\oplus \mathfrak{a}$, since that direct sum of Lie algebras would have zero Lie bracket. ThereforeHere “up to isomorphism” means the Lie algebra isomorphism class of the middle Lie algebra, allowing a change of the identifications at the ends of the short exact sequence. If instead equivalence of central extensions of a Lie algebra must induce the identity on both $kz$ and $\mathfrak{a}$, the parameter $c$ cannot change: the formula in part (a) has $t([x,y])=0$. That stricter notion has one class for each $c\in k$, rather than two. This distinction explains the convention required by the question.

Take the semidirect product of a Lie algebra and a modulewhere $k^2$ is the defining representation of the sl2 Lie algebra. To see directly that this is a Lie algebra, realize $(X,u)$ as the block matrix $\left(\begin{array}{cc}X& u\\ 0& 0\end{array}\right)$. These matrices are closed under the operator commutator, whose Jacobi identity holds in every associative algebra.

Using the standard sl2 triple $e,h,f$, its Lie brackets show $[{\mathfrak{sl}}_2,{\mathfrak{sl}}_2]={\mathfrak{sl}}_2$: indeed $h=[e,f]$, $e=[h,e]/2$, and $f=-[h,f]/2$. Also $h=\mathrm{diag}(1,-1)$ is invertible on $k^2$. For any $u\in k^2$, put $v=h^{-1}u$; thenIt follows that the derived algebra contains both ${\mathfrak{sl}}_2\oplus 0$ and $0\oplus k^2$, so $[L,L]=L$: this is a perfect Lie algebra.

However, $0\oplus k^2$ is a nonzero ideal of a Lie algebra with zero Lie bracket. It is therefore a solvable Lie algebra and is contained in the solvable radical of $L$. A semisimple Lie algebra has zero solvable radical, soThis illustrates the perfect semidirect product criterion: the Lie brackets internal to the first summand generate it, while its action generates the second summand.

For this diamond Lie algebra, every bracket lies in $⟨c,p,q⟩$, and each of these three vectors occurs as a bracket. Thus its derived algebra is exactly ${\mathfrak{g}}^{(1)}=⟨c,p,q⟩$. Inside that subalgebra the only nonzero bracket is a multiple of $[p,q]=c$, so ${\mathfrak{g}}^{(2)}=\mathbb{C}c$. Centrality of $c$ then gives ${\mathfrak{g}}^{(3)}=0$. HenceIn particular it is a solvable Lie algebra, although its lower central series of a Lie algebra does not terminate: $[\mathfrak{g},⟨c,p,q⟩]=⟨c,p,q⟩$. Solvability does not imply nilpotence.

Work in finite dimension over $\mathbb{C}$; the characteristic-zero real version follows by complexification. The Cartan solvability criterion isIts semisimplicity consequence, also often called Cartan's criterion, is $\mathfrak{g}$ is semisimple if and only if its Killing form is nondegenerate. We prove both forms.

The auxiliary results used are as follows. The Lie theorem simultaneously triangularizes every finite-dimensional representation of a complex solvable Lie algebra. The Engel theorem says that a matrix Lie algebra consisting entirely of nilpotent endomorphisms has a common annihilated nonzero vector and a basis making all its matrices strictly upper triangular; in particular it is a nilpotent Lie algebra. Nilpotent means that the lower central series terminates, which implies that the derived series terminates as well. Finally, the Additive Jordan decomposition writes any complex endomorphism uniquely as $x=x_s+x_n$, where $x_s$ is diagonalizable, $x_n$ is nilpotent and they commute. On a generalized eigenspace $V_{\lambda }$, the two parts are $\lambda I$ and $x-\lambda I$, and both are polynomials in $x$. On endomorphisms, $\mathrm{ad}{x}_s$ is diagonalizable, $\mathrm{ad}{x}_n$ is nilpotent, and these are the Jordan parts of $\mathrm{ad}x$: the first assertion follows by splitting into maps between eigenspaces, and the second by expanding repeated commutators with the nilpotent $x_n$.

First prove the linear trace version: if $L\subseteq \mathfrak{gl}(V)$ andthen $L$ is solvable. Fix $x\in [L,L]$ and let $V=⨁V_{\lambda }$ be its generalized eigenspace decomposition. Define $y$ to act on $V_{\lambda }$ by the scalar $\overline{\lambda }$. We do not assume that $y$, $x_s$ or $x_n$ belongs to $L$.

On $\mathrm{Hom}(V_{\mu },V_{\lambda })$, $\mathrm{ad}x$ has the form $(\lambda -\mu )I+N$ with $N$ nilpotent, whereas $\mathrm{ad}y$ is multiplication by $\overline{\lambda -\mu }$. Choose a polynomial $q$ with $q(d)=\bar{d}$ for every occurring eigenvalue difference $d$, and with all its derivatives of positive order up to the relevant nilpotency index zero at $d$. Such a polynomial exists by Hermite interpolation, or the Chinese remainder theorem for the pairwise coprime powers of $(t-d)$. At $d=0$ its value is zero, so $q(0)=0$. Expanding $q(dI+N)$ now givesBecause $x\in L$ and $[L,L]$ is an ideal, every positive power of $\mathrm{ad}x$ sends $L$ into $[L,L]$. The zero constant term therefore gives $[y,L]\subseteq [L,L]$.

Express $x$ as a sum of commutators ${\sum }_j[a_j,b_j]$ with $a_j,b_j\in L$. Cyclicity of trace and the hypothesis implyBut on $V_{\lambda }$, $xy$ has trace $\dim (V_{\lambda })|\lambda {|}^2$, since the nilpotent part has trace zero. Henceforcing every eigenvalue of $x$ to vanish. Thus every member of the derived algebra $[L,L]$ is a nilpotent endomorphism. By the Engel theorem, $[L,L]$ is nilpotent and therefore solvable; its derived series terminates, and adjoining the initial term $L$ shows that $L$ is solvable.

Conversely, if $L$ is solvable, the Lie theorem makes it upper triangular. Commutators of upper-triangular matrices have zero diagonal, and multiplying such a commutator by an upper-triangular matrix still has zero diagonal. Therefore the trace condition holds. Apply this equivalence to $L=\mathrm{ad}\mathfrak{g}$. Its trace pairing is the Killing form, and solvability of its image is equivalent to solvability of $\mathfrak{g}$: the kernel is its abelian centre, so a terminating derived series in the quotient terminates after at most one more step in $\mathfrak{g}$. This proves the solvability criterion.

For the semisimplicity criterion, let $R$ be the radical of the Killing form. Invariance makes $R$ a Lie algebra ideal. For $x,y\in R$, their adjoint actions on $\mathfrak{g}/R$ vanish, so computing trace in a basis adapted to $R$ gives $B_R(x,y)=B_{\mathfrak{g}}(x,y)=0$. The solvability criterion applied to $R$ shows it is a solvable ideal. Thus a semisimple Lie algebra has $R=0$ and a nondegenerate Killing form.

Conversely, any nonzero solvable ideal has a last nonzero term $A$ in its derived series; this is an abelian ideal of $\mathfrak{g}$. For $x\in A$, $y\in \mathfrak{g}$, the map $\mathrm{ad}x\mathrm{ad}y$ sends $\mathfrak{g}$ into $A$ and vanishes on $A$, so has trace zero. Hence $A\subseteq R$. A nondegenerate Killing form therefore rules out nonzero solvable ideals, exactly the definition of semisimplicity.

For classification, nondegeneracy of the Killing form provides the duality and root-space pairings used to extract a reduced crystallographic root system from a semisimple Lie algebra. Classification then reduces to the finite Dynkin diagrams and reconstruction of the Lie algebra from its root data.

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.

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

The form attached to $V$ is $B_V(x,y)={\mathrm{tr}}_V(xy)$. More generally, for a Lie algebra representation $\rho$, the Trace form of a Lie algebra representation isThe unqualified Killing form is the special case of the Adjoint representation,The distinction matters: a Trace form of a Lie algebra representation can be degenerate even when $\mathfrak{g}$ is semisimple, for example on the trivial Lie algebra representation.

The Trace form of a Lie algebra representation is bilinear and symmetric, because $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. It is an invariant bilinear form on a Lie algebra:This follows by expanding both commutators and cyclically permuting factors under the matrix trace. Equivalently,Its radical of a bilinear form is an ideal of a Lie algebra, since if $B_V(y,-)=0$, then $B_V([x,y],z)=-B_V(y,[x,z])=0$. The Killing form is also preserved by every automorphism of a Lie algebra, because the corresponding adjoint operators are conjugate. On a complex finite-dimensional Lie algebra, the Cartan criterion for semisimplicity says that the Killing form is nondegenerate exactly when the Lie algebra is semisimple. The Cartan solvability criterion says that $\mathfrak{g}$ is solvable exactly when $B(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0$.

We next construct the sl2 subalgebra associated with a root. Use the root-space decompositionFor $u\in {\mathfrak{g}}_{\beta }$, $v\in {\mathfrak{g}}_{\gamma }$, invariance of the Killing form givesThus $B({\mathfrak{g}}_{\beta },{\mathfrak{g}}_{\gamma })=0$ unless $\beta +\gamma =0$, and $B({\mathfrak{g}}_{\beta },\mathfrak{h})=0$ for nonzero $\beta$. Nondegeneracy of $B$ on $\mathfrak{g}$ now implies that $-\alpha$ is a root and that $B$ pairs ${\mathfrak{g}}_{\alpha }$ and ${\mathfrak{g}}_{-\alpha }$ nondegenerately.

Nondegeneracy of $B{|}_{\mathfrak{h}}$ defines a unique $t_{\alpha }\in \mathfrak{h}$ byChoose $x\in {\mathfrak{g}}_{\alpha }$ and $y\in {\mathfrak{g}}_{-\alpha }$ with $B(x,y)=1$. Their Lie bracket lies in the zero root space, namely $\mathfrak{h}$, andTherefore $[x,y]=t_{\alpha }$.

The essential nonisotropic root lemma is that $\alpha (t_{\alpha })\ne 0$. Suppose instead that it vanished. Then $[t_{\alpha },x]=[t_{\alpha },y]=0$, so $⟨x,y,t_{\alpha }⟩$ would be a solvable Lie algebra with derived algebra $\mathbb{C}{t}_{\alpha }$. Apply the Lie theorem to its action on $\mathfrak{g}$ by the Adjoint representation. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}x,\mathrm{ad}y]$ is strictly upper triangular in a suitable basis, hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$, so the root-space decomposition makes $\mathrm{ad}{t}_{\alpha }$ diagonalizable. A diagonalizable nilpotent linear map is zero. Thus $t_{\alpha }$ is central in $\mathfrak{g}$. The center of a Lie algebra of a semisimple Lie algebra is zero; equivalently a central element lies in the radical of the Killing form. This forces $t_{\alpha }=0$, contradicting $\alpha \ne 0$.

Writing $c=\alpha (t_{\alpha })$, defineThe root-space decomposition and $[x,y]=t_{\alpha }$ giveThe three vectors are linearly independent because they lie in the distinct summands ${\mathfrak{g}}_{\alpha }$, $\mathfrak{h}$, and ${\mathfrak{g}}_{-\alpha }$. Their span is therefore a copy of the sl2 Lie algebra.

The weight lattice consists of the functionals integral on all coroots. With $H_{\alpha }$ the coroot above, the weight lattice iswhere the fundamental weights satisfy ${\omega }_i(H_{{\alpha }_j})={\delta }_{ij}$ for the simple roots ${\alpha }_j$. Here $P$ lies in the real span of the roots, viewed inside ${\mathfrak{h}}^{\ast }$.

The classification of finite-dimensional sl2 representations says that every finite-dimensional complex sl2 Lie algebra representation is a direct sum of irreducibles $L_m$, $m\in {\mathbb{Z}}_{\ge 0}$, on which the standard $H$ has eigenvalues $m,m-2,\dots ,-m$. Restrict any finite-dimensional Lie algebra representation of $\mathfrak{g}$ to each sl2 subalgebra associated with a root. If $v$ has weight $\lambda$, then $H_{\alpha }v=\lambda (H_{\alpha })v$, so $\lambda (H_{\alpha })$ is an integer. Thus every weight lies in $P$. The same restrictions show that the commuting simple coroots act diagonalizably, justifying the simultaneous weight-space decomposition.

For $\mathfrak{sp}(4)$, the roots are $\pm 2{\epsilon }_1$, $\pm 2{\epsilon }_2$, and $\pm {\epsilon }_1\pm {\epsilon }_2$. Work on ${\mathbb{C}}^4$ with the alternating bilinear form having matrixThe symplectic Lie algebra isUsing the matrix units $E_{ij}$, take the Cartan subalgebraDefine ${\epsilon }_i(a_1{h}_1+a_2{h}_2)=a_i$. A regular diagonal element of $\mathfrak{h}$ has centralizer precisely $\mathfrak{h}$, and every element of $\mathfrak{h}$ acts diagonalizably. Thus it is a Cartan subalgebra. The requested Cartan decomposition is the root-space decompositionChoose positive roots ${\epsilon }_1-{\epsilon }_2$, $2{\epsilon }_2$, ${\epsilon }_1+{\epsilon }_2$, $2{\epsilon }_1$. The symplectic root sl2 triple are given explicitly byFor the negative root spaces, use the corresponding $Y_{\alpha }$. These eight root vectors, together with $h_1,h_2$, form a basis: the block description above has dimension $4+3+3=10$, and the ten listed vectors are independent. Finally, the matrix unit identityverifies $[X_{\alpha },Y_{\alpha }]=H_{\alpha }$ for every row. The diagonal differences verify $[H_{\alpha },X_{\alpha }]=2X_{\alpha }$ and $[H_{\alpha },Y_{\alpha }]=-2Y_{\alpha }$. Thus each row supplies a basis of the required sl2 subalgebra associated with a root.

For a Lie algebra representation of $\mathfrak{g}$ on $V$, let $\mathfrak{g}V$ denote the linear span of $xv$ for $x\in \mathfrak{g}$ and $v\in V$. The derived algebra of the semidirect product of a Lie algebra and a module is the displayed direct sum of vector spaces. Every Lie bracket has first component in $[\mathfrak{g},\mathfrak{g}]$ and second component in $\mathfrak{g}V$. Conversely, brackets of $(x,0)$ with $(y,0)$ span the former component, and brackets of $(x,0)$ with $(0,v)$ span the latter. Therefore this semidirect product of a Lie algebra and a module is a perfect Lie algebra exactly when $\mathfrak{g}$ is a perfect Lie algebra and $\mathfrak{g}V=V$. When $V\ne 0$, its nonzero abelian Lie algebra ideal prevents it from being a semisimple Lie algebra. The sl2 Lie algebra acting on its two-dimensional defining representation supplies a five-dimensional example.

For a finite-dimensional complex representation of a solvable Lie algebra, the Lie theorem gives a basis in which all representing matrices are upper triangular. Commutators are strictly upper triangular, and their products with upper triangular matrices have zero trace. Thus the derived algebra lies in the radical of a bilinear form. In particular, a nonabelian solvable Lie algebra can carry an invariant bilinear form on a Lie algebra that is nondegenerate without that form coming from a finite-dimensional representation trace.

// Target: semisimple-lie-algebra.bigb

For linear maps $A,B$ on a finite-dimensional vector space, the cyclic property of the trace gives $\mathrm{tr}(AB-BA)=\mathrm{tr}(AB)-\mathrm{tr}(BA)=0$. In matrix entries both traces are ${\sum }_{i,j}{A}_{ij}{B}_{ji}$ after exchanging indices. Thus the trace of a finite-dimensional Lie algebra representation vanishes on the derived algebra. In particular, for a perfect Lie algebra, every representing matrix has zero trace.