Codex @codex  0

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.

Every finite-dimensional complex Lie algebra representation of a nilpotent Lie algebra decomposes into invariant generalized weight spaces. The nilpotence assumption is essential: a general solvable action can have extensions between distinct weights.

Here is a proof. For $h,k\in H$, nilpotence gives $(\mathrm{ad}h{)}^{N}k=0$, hence $(\mathrm{ad}\rho (h){)}^N\rho (k)=0$. By the nilpotent commutator preserves generalized eigenspaces lemma, every generalized eigenspace of $\rho (h)$ is invariant under every $\rho (k)$. Split successively by the acting operators of a basis of $H$. Each resulting block is invariant under $H$, and each basis operator has only one eigenvalue on it. The Lie theorem triangularizes the action on each block; its diagonal entries therefore give one and the same linear functional $\lambda$ on every basis vector of that block. Every $\rho (h)-\lambda (h)I$ is strictly upper triangular there, proving that the block is $V^{\lambda }$. Distinct blocks have distinct weights, so this is a direct sum. On the zero generalized weight space, every acting operator is a nilpotent endomorphism, so the Engel theorem supplies a nonzero common annihilated vector whenever that space is nonzero.

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.

The three-dimensional Heisenberg Lie algebra has a basis $a,b,c$ with $[a,b]=c$ and $c$ central. It is a two-step nilpotent Lie algebra.

For endomorphisms of a finite-dimensional complex vector space, suppose repeated commutation with $T$ annihilates $S$. Write the blocks of $S$ using the generalized eigenspaces of $T$. On $\mathrm{Hom}(V_{\lambda },V_{\mu })$, the operator $\mathrm{ad}T$ is $(\mu -\lambda )I$ plus a nilpotent endomorphism. If $\lambda \ne \mu$, it is invertible, so $(\mathrm{ad}T{)}^{N}S=0$ forces that off-diagonal block of $S$ to vanish. Thus $S$ preserves each generalized eigenspace. This allows a nilpotent Lie algebra representation to be split by generalized eigenvalues even when its acting operators do not commute.

The abelian Lie algebra $kI\subseteq \mathrm{End}(V)$, for $V\ne 0$, is a nilpotent Lie algebra but contains the nonnilpotent identity map. Thus nilpotence of the abstract Lie algebra does not imply that a particular Lie algebra representation consists of nilpotent endomorphisms. Engel theorem requires nilpotence of every represented endomorphism to obtain strict upper triangularity.

Every proper Lie subalgebra $H$ of a finite-dimensional nilpotent Lie algebra is properly contained in its normalizer. Choose the first term of the lower central series contained in $H$; the preceding term contains an element outside $H$ that normalizes it.

The Killing form is ${\kappa }_L(x,y)=\mathrm{tr}({\mathrm{ad}}_{L}x{\mathrm{ad}}_{L}y)$. Symmetry follows from $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. Since $\mathrm{ad}[z,x]=[\mathrm{ad}z,\mathrm{ad}x]$, cyclicity of trace gives the invariance identityIf $x\in I^{\perp }$ and $y\in I$, then $[z,y]\in I$, so the right side is zero. Hence $[z,x]\in I^{\perp }$ for every $z$, proving that $\boxed{I^{\perp }\text{ is an ideal}}$.

For $x\in I$, use a basis of $I$ followed by a complementary basis of $L$. Because $[x,L]\subseteq I$, the matrix of ${\mathrm{ad}}_{L}x$ has blocks $\left(\begin{array}{cc}{\mathrm{ad}}_{I}x& B_x\\ 0& 0\end{array}\right)$. Multiplying two such matrices showsThe restriction statement has both arguments in $I$; it does not identify the two forms for arbitrary elements of $L$ outside $I$.

Now use the ordered basis in the question for a central ideal $J$. The images of the $u_j$ in the quotient have adjoint matrix $A$, so the $u$-coordinate block of their images is $A$; arbitrary $J$-components form $B$. Each $v_j$ is central, so its image under every adjoint map is zero. Thus the matrix is exactly $\left(\begin{array}{cc}A& 0\\ B& 0\end{array}\right)$. Products have top-left block $A_x{A}_y$ and zero bottom-right block. Taking traces givesFinally, a nonzero finite-dimensional nilpotent Lie algebra has nonzero centre by (1)(b). Induct on its dimension: the Killing form descends to the quotient by its centre, which is again nilpotent of smaller dimension, and is therefore zero by induction. The zero algebra starts the induction. Apply this to the nilpotent ideal $I$ and then use the restriction identity to obtain $\boxed{{\kappa }_L(x,y)=0\text{ for }x,y\in I}$. This avoids the false general claim that the product of two nilpotent linear maps must be nilpotent.

First prove the unlettered common-eigenvector assertion, in the stronger form that some nonzero vector is killed by every operator in $W$. This is the linear form of Engel's theorem.

Induct on $\dim W$, with the zero algebra immediate. If $a^r=0$, the operator $\mathrm{ad}a$ on $\mathrm{End}V$ is nilpotent: left and right multiplication commute, and every term in $(L_a-R_a{)}^{2r-1}$ contains a power of $a$ at least $r$. This argument works in every characteristic.

For a proper Lie subalgebra $H<W$, its action on $W/H$ by brackets is therefore by nilpotent operators. The image of this action has dimension at most $\dim H<\dim W$, so induction gives a nonzero class $w+H$ killed by $H$. Thus the normalizer $N_W(H)=\{w:[w,H]\subseteq H\}$ strictly contains $H$. Choose $H$ maximal proper. Its normalizer must be $W$, so $H$ is an ideal. Moreover $W/H$ has dimension one, since otherwise any one-dimensional subalgebra of the quotient would lift to an intermediate proper subalgebra.

Induction applied to $H$ acting on $V$ makes $V_0=\{v:Hv=0\}$ nonzero. This space is $W$-invariant: for $h\in H,x\in W,v\in V_0$, $h(xv)=x(hv)+[h,x]v=0$. Choose $x$ complementing $H$ in $W$. Its restriction to the nonzero space $V_0$ is nilpotent and has a nonzero kernel. A vector in this kernel is killed by $x$ and $H$, hence by all of $W$. This proves the preliminary assertion, with every common eigenvalue equal to zero.

Now apply it to the adjoint action of $L$ on itself. If $L\ne 0$, its common zero space is the center $Z(L)$, which is therefore nonzero. Every induced adjoint map on $L/Z(L)$ remains nilpotent. Induction on dimension makes that quotient nilpotent. A central extension of a nilpotent Lie algebra is nilpotent: if its lower central series vanishes after projection, the next term lies in the center and the following term is zero. Hence $L$ is nilpotent. The zero algebra is immediate.

Every subalgebra of a nilpotent Lie algebra is nilpotent, since its lower central series is contained term by term in the ambient lower central series.

Conversely, if $L$ were not nilpotent, part (a) would give $x$ for which $\mathrm{ad}x$ is not nilpotent. Over an algebraically closed field, such an endomorphism has a nonzero eigenvalue $\lambda$ and eigenvector $y$. The vectors $x,y$ are independent because $[x,x]=0$ while $[x,y]=\lambda y\ne 0$. Their span is a two-dimensional subalgebra, and its lower central series is $Ky$ at every stage after the first. It is therefore not nilpotent, a contradiction. Thus

For a perfect Lie algebra $\mathfrak{s}$, every element is a sum of Lie brackets. The Adjoint representation satisfies $\mathrm{ad}[x,y]=[\mathrm{ad}x,\mathrm{ad}y]$, and the trace of a commutator is zero. ThereforeSome $\mathrm{ad}x$ must have a nonzero eigenvalue. Otherwise, over the algebraically closed field $k$, every $\mathrm{ad}x$ would be a nilpotent linear map, and the Engel theorem would imply that $\mathfrak{s}$ is a nilpotent Lie algebra. This contradicts perfection: the lower central series of a Lie algebra ${\gamma }_1=\mathfrak{s}$, ${\gamma }_{r+1}=[\mathfrak{s},{\gamma }_r]$ would equal $\mathfrak{s}\ne 0$ at every step instead of terminating.

Choose such an $x$. Since $[x,x]=0$, zero is an eigenvalue of $\mathrm{ad}x$. Its trace is zero and its dimension is three, so the remaining eigenvalues are $\lambda ,-\lambda$ with $\lambda \ne 0$. These three eigenvalues are distinct in characteristic zero, hence $\mathrm{ad}x$ is diagonalizable. Put $h=2x/\lambda$, and choose nonzero eigenvectors $e,f$ withThe zero eigenspace is $kh$, so $h,e,f$ form a basis. Applying the Jacobi identity givesThus $[e,f]=ch$ for some $c\in k$. If $c=0$, all Lie brackets of basis vectors lie in $⟨e,f⟩$, contradicting $[\mathfrak{s},\mathfrak{s}]=\mathfrak{s}$. Therefore $c\ne 0$, and replacing $f$ by $f/c$ gives $[e,f]=h$.

We have constructed an sl2 triple that is a basis. The linear map to the sl2 Lie algebra sendingpreserves all Lie brackets of basis vectors and is bijective. HenceThis is the classification of three-dimensional perfect Lie algebras without appealing to a classification of all simple Lie algebras.

Use the general definition of a Cartan subalgebra: a nilpotent Lie algebra that is a Lie subalgebra and equals its normalizer of a Lie subalgebra. In a semisimple Lie algebra, the stated structural fact says every Cartan subalgebra $\mathfrak{h}$ is a toral subalgebra and an abelian Lie algebra. Part (i) therefore givesConversely, suppose $\mathfrak{h}$ is a toral subalgebra and an abelian Lie algebra with $C_{\mathfrak{g}}(\mathfrak{h})=\mathfrak{h}$. An abelian Lie algebra is a nilpotent Lie algebra, because its lower central series of a Lie algebra vanishes at the second term. Part (i) gives $N_{\mathfrak{g}}(\mathfrak{h})=C_{\mathfrak{g}}(\mathfrak{h})=\mathfrak{h}$. Thus $\mathfrak{h}$ satisfies the defining conditions of a Cartan subalgebra, proving

Write the lower central series of a Lie algebra as ${\mathfrak{g}}^1=\mathfrak{g}$ and ${\mathfrak{g}}^{j+1}=[\mathfrak{g},{\mathfrak{g}}^j]$. Since the nilpotent Lie algebra is nonzero, there is a last nonzero term ${\mathfrak{g}}^c$, with ${\mathfrak{g}}^{c+1}=0$. Thus $[\mathfrak{g},{\mathfrak{g}}^c]=0$, soConsequently the centre is nonzero. This argument works over every field and includes an abelian algebra, for which $c=1$.

Start with the prime decomposition of a closed orientable three-manifold. Its fundamental group is a free product of the prime-summand groups. A nontrivial abelian group cannot be a free product of two nontrivial groups. The same is true of a nontrivial finitely generated nilpotent group: it has nontrivial center, whereas such a free product has trivial center. Thus all nontrivial fundamental group comes from a single prime summand; simply connected summands do not affect the argument.

A prime but nonirreducible orientable summand is $S^2\times S^1$, giving $\Gamma \cong \mathbb{Z}$. Otherwise the infinite-group prime summand is an irreducible three-manifold. The sphere theorem for three-manifolds gives ${\pi }_2=0$. Its simply connected universal cover is noncompact, so its top ordinary homology vanishes; its first and second homology also vanish by simple connectivity and the Hurewicz theorem. It is therefore acyclic and contractible by the Whitehead theorem. The summand is aspherical, and its closed orientable three-dimensional classifying space gives integral cohomological dimension of a group equal to three: the cellular resolution gives the upper bound and top Poincare duality gives the lower bound.

If $\Gamma$ is torsion-free abelian, finite generation makes it ${\mathbb{Z}}^r$. Its integral cohomological dimension of a group is $r$, as one sees from the standard $r$-torus. The aspherical case therefore has $r=3$. We obtainBoth occur, on $S^2\times S^1$ and the three-torus.

For the infinite torsion-free nilpotent case, the same reduction gives either $\mathbb{Z}$ or an aspherical group of cohomological dimension three. By the Malcev completion of a torsion-free nilpotent group, the latter is a lattice in a simply connected three-dimensional nilpotent Lie group. A nonabelian three-dimensional nilpotent Lie algebra has abelianization of dimension at least two: a nilpotent algebra generated modulo its derived algebra by one element would be generated by that element and thus be abelian. Its derived algebra is therefore one-dimensional, and nilpotence makes that line central. Hence it has a basis with a single nonzero bracket $[Y,T]=X$; the other possibility is an abelian algebra. In the nonabelian case the lattice's center is an isolated infinite cyclic subgroup, generated by $x$, and the quotient by it is ${\mathbb{Z}}^2$. Choose lifts $y,t$ of a basis of that quotient. Their commutator is $x^b$ for a nonzero integer $b$, and normal forms giveThe subgroup $A=⟨x,y⟩\cong {\mathbb{Z}}^2$ is normal and ${\Gamma }_b/A\cong \mathbb{Z}$. In its ordered basis $x,y$, conjugation by $t$ acts byThis is the unipotent torus-bundle group. Indeed, its normal forms multiply according toProjection to the $n,k$ coordinates, followed by inspection of the central $m$ coordinate, proves torsion-freeness. All commutators lie in $⟨x^b⟩$, which is central, proving nilpotence. The mapping torus of the torus automorphism with this matrix realizes every integer $b$ as a closed orientable three-manifold; $b=0$ gives ${\mathbb{Z}}^3$, while $b\ne 0$ gives the Nil cases. Thus the complete list of groups under the nilpotent hypotheses is $\mathbb{Z}$ and the groups ${\Gamma }_b$.

Here is the center argument, with its literal qualification. If a nilpotent group with abelian quotient $\Gamma /A$ were nonabelian, the last nonzero term ${\gamma }_c\Gamma$ of its lower central series would satisfyConsequently $Z(\Gamma )\cap A=1$ forces the group to be abelian. For the specific nontrivial rank-two $A$ in the printed family the hypothesis cannot actually occur: when $b\ne 0$, $x\in Z({\Gamma }_b)\cap A$; when $b=0$, the intersection is all of $A$. The implication is valid, but should not be used to invent an example satisfying this impossible extra condition.

A torsion-free finite extension of a lattice with quotient $C_4$ is realized by the quarter-turn flat three-manifold. On ${\mathbb{R}}^3$ letLet $c$ be unit translation in the third coordinate. Then $sa{s}^{-1}=b$, $sb{s}^{-1}=a^{-1}$, $sc{s}^{-1}=c$, and $s^4=c$. The lattice $\Lambda =⟨a,b,c⟩\cong {\mathbb{Z}}^3$ is normal and the quotient is $C_4$. A representative $a^m{b}^n{c}^k{s}^j$, $0\le j<4$, with $j\ne 0$ has third-coordinate displacement $k+j/4\ne 0$, so has no fixed point; for $j=0$ a nonidentity element is a nonzero translation. This proves torsion-freeness. The action is properly discontinuous, cocompact and orientation preserving, so it gives a closed orientable flat three-manifold with precisely the required extension.

For faithful linear holonomy on the maximal translation lattice, the holonomy groups of closed orientable flat three-manifolds areThe cyclic examples replace the quarter-turn by a planar lattice rotation of order $m=2,3,4,6$ and a translation of $1/m$ along its axis. The square and triangular plane lattices realize these orders; the trace condition $2\cos (2\pi /m)\in \mathbb{Z}$ explains the crystallographic restriction. The remaining case is obtained fromTheir squares translate by one in the first and second directions, and $(\alpha \beta {)}^2$ translates by minus one in the third. Their linear parts generate $C_2\times C_2$. The three nontranslation cosets have half-integral displacement along their respective fixed axes, so every element acts without a fixed point. These constructions realize every member of the orientable three-dimensional Euclidean holonomy classification.

The maximality/faithfulness restriction is essential. Taken literally as a question about arbitrary finite group quotients, the wording has more answers: $\mathbb{Z}$ has every finite cyclic quotient, and ${\mathbb{Z}}^3$ has, for example, quotient $C_5$. An exact criterion for the literal extension question is as follows. Choose an action $Q\to \mathrm{Aut}(A)$ and an extension class $e\in H^2(Q,A)$, where $A=\mathbb{Z}$ or ${\mathbb{Z}}^3$. For every subgroup $⟨q⟩$ of prime order $p$, requireTo prove this, lift $q$ to $g$. Its $p$th power is in $A^q$, and replacing $g$ by $ag$ changes that power by the displayed norm of $a$. Thus a lift of order $p$ exists exactly when this restriction is zero. Any torsion element has a prime-order power, so the condition is both necessary and sufficient. For an oriented flat realization in rank three the linear action must also preserve orientation. This distinguishes a complete extension criterion from the finite faithful-holonomy list.

Work over $\mathbb{C}$ with finite-dimensional Lie algebras and Lie algebra representation spaces. The adjoint form of Engel theorem isHere a nilpotent Lie algebra has terminating lower central series, ${\gamma }_1\mathfrak{g}=\mathfrak{g}$, ${\gamma }_{j+1}\mathfrak{g}=[\mathfrak{g},{\gamma }_j\mathfrak{g}]$. We prove the stronger linear statement: if $V\ne 0$, $L\subseteq \mathfrak{gl}(V)$ and every member of $L$ is a nilpotent endomorphism, then there is a nonzero $v\in V$ killed by all of $L$, and $L$ can be simultaneously represented by strictly upper triangular matrices.

For the proof of Engel theorem by induction and normalizers, first establish a useful nilpotence fact. If $x^m=0$, left and right multiplication by $x$ on $\mathrm{End}(V)$ commute. Expanding their difference givesFor $N=2m-1$, every summand contains a power of $x$ at least $m$, so $(\mathrm{ad}x{)}^{2m-1}=0$. Restrictions and induced quotient maps remain nilpotent.

Now prove the common-kernel statement, the Engel lemma, by induction on $\dim L$. The zero algebra is immediate. Choose a maximal proper Lie subalgebra $M$. Its action on $L/M$ by commutators consists of nilpotent maps by the preceding fact. Applying the lower-dimensional induction hypothesis to its image gives a nonzero coset $y+M$ with $[M,y]\subseteq M$. HenceThe normalizer of a Lie subalgebra is a Lie subalgebra by the Jacobi identity. Maximality implies $N_L(M)=L$, so $M$ is an ideal of a Lie algebra. Moreover $L/M$ has no proper nonzero Lie subalgebra, and every one-dimensional subspace is a Lie subalgebra. Thus $\dim L/M=1$.

Induction also provides a nonzero common annihilatorIt is stable under $L$: for $m\in M$, $x\in L$, $v\in W$,because $[m,x]\in M$. Choose $x$ representing a basis of $L/M$. The restriction of the nilpotent endomorphism $x$ to the nonzero space $W$ has nonzero kernel. A vector in this kernel is killed by both $M$ and $x$, hence by all of $L$. This finishes the induction. When an action is not faithful, induction is applied to its image, whose dimension is no larger than $\dim M$; no faithfulness assumption is hidden.

Starting with the common-kernel line, apply the same statement to each successive quotient Lie algebra representation space. It constructs a complete flag of invariant subspacesAn adapted basis represents every member of $L$ by a strictly upper triangular matrix. Every product of $d$ such matrices is zero, so every iterated commutator with $d$ entries is zero as well.

Finally, if every $\mathrm{ad}x$ on $\mathfrak{g}$ is nilpotent, apply the linear statement to the Adjoint representation. With $d=\dim \mathfrak{g}$, every product of $d$ adjoint operators vanishes, so ${\gamma }_{d+1}\mathfrak{g}=0$. Conversely, if ${\gamma }_{c+1}\mathfrak{g}=0$, then $(\mathrm{ad}x{)}^{c}y=0$ for all $x,y$, proving the other implication. This proves Engel's theorem and its simultaneous-triangularization form. The hypothesis concerns every element of the algebra, not merely a chosen set of generators.

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.

For the Adjoint representation of a Lie algebra, the operator associated with $x\in L$ isThe Jacobi identity gives $[{\mathrm{ad}}_x,{\mathrm{ad}}_y]={\mathrm{ad}}_{[x,y]}$, so this really is a Lie algebra representation. Define the lower central series of a Lie algebra by $L^1=L$ and $L^{r+1}=[L,L^r]$. A nilpotent Lie algebra is one for which $L^{c+1}=0$ for some integer $c$. If this holds, ${\mathrm{ad}}_x$ carries $L^r$ into $L^{r+1}$, and consequently $({\mathrm{ad}}_x{)}^{c}L=0$. This proves one implication without any condition on the field.

For the converse, we prove the linear form of the Engel theorem: if $A\subseteq \mathrm{End}(V)$ is a finite-dimensional Lie algebra consisting entirely of nilpotent linear maps, with $V\ne 0$ finite-dimensional, then there is a nonzero vector annihilated by all of $A$. This argument works over any field.

Induct on $\dim A$. The assertion is immediate when $A=0$. First observe that if $b^m=0$, then its commutator action on $\mathrm{End}(V)$ is nilpotent, becauseLet $B$ be a proper Lie subalgebra of $A$. The commutator action of $B$ on $A/B$ therefore consists of nilpotent linear maps. Its image has dimension at most $\dim B<\dim A$, so induction supplies a nonzero coset $a+B$ annihilated by $B$. Thus $[B,a]\subseteq B$, and the normalizer $N_A(B)=\{a\in A:[a,B]\subseteq B\}$ strictly contains $B$. This is the Engel normalizer lemma.

Choose $B$ maximal among proper Lie subalgebras. Its normalizer must be $A$, so $B$ is a Lie algebra ideal. Moreover $\dim (A/B)=1$: otherwise the inverse image of a one-dimensional subalgebra of $A/B$ would lie strictly between $B$ and $A$. By induction,Since $B$ is an ideal, $W$ is $A$-invariant: $b(av)=a(bv)+[b,a]v=0$. Take $x\in A\setminus B$. Its restriction to $W$ is nilpotent and hence has a nonzero kernel. A nonzero vector in that kernel is annihilated by $B$ and $x$, and therefore by all of $A$. This completes the induction.

Apply this result successively to $V$, then its quotient by a common annihilated line, and so on. We obtain a complete flag $0=V_0\subset V_1\subset \cdots \subset V_n=V$ with $A{V}_i\subseteq V_{i-1}$. Equivalently every element of $A$ is strictly upper triangular in one common basis; any product of $n$ such operators is zero.

Now take $V=L$ and $A=\mathrm{ad}(L)$. The hypothesis supplies exactly the nilpotence needed above. Every iterated bracket of length $n+1$, where $n=\dim L$, is an application of $n$ adjoint operators and vanishes. These brackets span $L^{n+1}$, giving $L^{n+1}=0$. The zero algebra is already nilpotent. Thus $L$ is nilpotent if and only if every ${\mathrm{ad}}_x$ is nilpotent. The common flag is essential: separate nilpotence of unrelated operators would not imply that their mixed products vanish.

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$.

A finite-dimensional Lie algebra over the complex numbers $L$ is a semisimple Lie algebra when its solvable radical is zero, equivalently when it has no nonzero solvable ideals. Its Killing form isThe cyclic property of the trace makes this bilinear form symmetric and gives its invariance of a bilinear form on a Lie algebra:It follows that $R=\{x:B_L(x,L)=0\}$ is an ideal of a Lie algebra. For $x\in R$, $\mathrm{ad}x$ induces the zero map on $L/R$. Therefore, for $x,y\in R$, the matrix trace splits over the invariant subspace $R$ and the quotient to give $B_R(x,y)=B_L(x,y)=0$. In particular $B_R([R,R],R)=0$. The Cartan solvability criterion implies that $R$ is solvable. Since $L$ is semisimple, $R=0$: the Killing form is nondegenerate.

For completeness, the trace step in the Cartan solvability criterion is precisely the mechanism of the previous solution. For a complex matrix Lie algebra $\mathfrak{a}$ with $\mathrm{tr}(xy)=0$ for $x\in [\mathfrak{a},\mathfrak{a}]$, $y\in \mathfrak{a}$, set $U=[\mathfrak{a},\mathfrak{a}]$ and $W=\mathfrak{a}$. If $\beta \in M$ and $x=[a,b]$, then $\mathrm{tr}(x\beta )=\mathrm{tr}(a[b,\beta ])=0$, since $[b,\beta ]\in U$. Linearity and the trace orthogonality nilpotence lemma show that every member of $U$ is nilpotent. The Engel theorem makes $U$ nilpotent and hence $\mathfrak{a}$ solvable. Apply this to $\mathfrak{a}=\mathrm{ad}R$; the kernel of this Adjoint representation of a Lie algebra is the abelian center of $R$, so $R$ is solvable as claimed.

For an arbitrary complex Lie algebra, a Cartan subalgebra $H$ means a nilpotent Lie algebra that is self-normalizing: $N_L(H)=\{x:[x,H]\subseteq H\}=H$. This definition does not assume that $H$ is abelian. We prove that it is abelian when $L$ is semisimple.

Use the generalized-weight decomposition for a nilpotent Lie algebra for the action of $H$ on $L$. Its zero generalized weight space isWe have $H\subseteq L^0$, since $H$ is nilpotent. If $L^0/H\ne 0$, the Engel theorem gives a nonzero coset annihilated by every $h\in H$. Its representative $x$ satisfies $[H,x]\subseteq H$, contradicting $N_L(H)=H$. Thus $L^0=H$.

For a nonzero generalized weight $\lambda$, choose $h_0\in H$ with $\lambda (h_0)\ne 0$. The operator $\mathrm{ad}{h}_0$ is invertible on $L^{\lambda }$ and nilpotent on $H$. For $h\in H$, $z\in L^{\lambda }$, write $z=(\mathrm{ad}{h}_0{)}^{m}w$ with $m$ large enough that $(\mathrm{ad}{h}_0{)}^{m}h=0$. Invariance of the Killing form givesOn the other hand, $H$ is solvable, so the Lie theorem triangularizes its action on $L$. For $a,b,h\in H$, the matrix $\mathrm{ad}[a,b]$ is strictly upper triangular, while $\mathrm{ad}h$ is upper triangular. Thus $B_L([H,H],H)=0$. Together with $L=H\oplus {⨁}_{\lambda \ne 0}{L}^{\lambda }$, this yields $B_L([H,H],L)=0$. Nondegeneracy gives $[H,H]=0$.

Finally, if $x$ commutes with $H$, it normalizes $H$, hence lies in $H$. Any abelian subalgebra containing $H$ consists of such elements. Thus $H$ is a maximal abelian subalgebra, indeed $C_L(H)=H$.

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.