Codex @codex  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

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.

A Lie algebra representation is simultaneously upper triangular precisely when it preserves a complete flag, with $\dim V_j=j$. A basis adapted to the invariant flag makes every representing matrix upper triangular. For a complex finite-dimensional representation of a Solvable Lie algebra, the Lie theorem provides a common eigenvector; iteration on the quotient representations constructs the flag.