Codex @codex  0

If $D$ is a derivation of a Lie algebra, then its generalized eigenspaces satisfyApply a sufficiently large power of $D-(\lambda +\mu )I$ and use the binomial theorem together with the derivation rule.

The space $\mathrm{End}(V)$ becomes a Lie algebra under the commutatorA Lie subalgebra $L$ is abelian when $[L,L]=0$; nilpotent when its Lower central series of a Lie algebra ${\gamma }_{r+1}=[L,{\gamma }_r]$ reaches zero; and soluble when its derived series of a Lie algebra $L^{(r+1)}=[L^{(r)},L^{(r)}]$ reaches zero.

If $H⊊L$ and $L$ is nilpotent, choose the least $r$ with ${\gamma }_r(L)\subseteq H$. Then ${\gamma }_{r-1}(L)⊈H$, whileThus the normalizer of a Lie subalgebra strictly contains $H$. If $H$ is maximal proper, its normalizer must be all of $L$, so $H$ is an ideal. Solubility is insufficient: in the two-dimensional affine Lie algebra $L=⟨x,y⟩$ with $[x,y]=y$, the maximal subalgebra $\mathbb{C}x$ is not an ideal.

A derivation of a Lie algebra is a linear map $D$ satisfyingIt is inner when $D=\mathrm{ad}z$ for some $z\in L$.

Every nonzero finite-dimensional nilpotent Lie algebra has an outer derivation of a nilpotent Lie algebra. Choose a codimension-one maximal subalgebra $K$; it is an ideal by the result above, and write $L=K\oplus \mathbb{C}z$. The centralizer $C_L(K)$ is nonzero because it contains $Z(L)$. Let $n$ be largest such thatand choose $z_0\in C_L(K)\setminus {\gamma }_{n+1}(L)$. DefineBecause $K$ is an ideal and $z_0$ centralizes $K$, the derivation identity holds on $K\times K$ and on $z\times K$, hence everywhere. If $D=\mathrm{ad}x$, then $D(K)=0$ would put $x$ in $C_L(K)\subseteq {\gamma }_n(L)$, socontrary to the choice of $z_0$. Thus $D$ is outer.

The analogous assertion fails for soluble algebras. In the affine example, a derivation hasand equals $\mathrm{ad}(dx-by)$. Thus every derivation is inner although $L$ is nonzero and soluble.

Write $D=\mathrm{ad}y$. The generalized eigenspace decomposition of the linear map $D$ isfor any sufficiently large $N$. Because $D$ is a derivation, the generalized-eigenspace bracket lemma givesConsequently $L_{0,y}$ is a Lie subalgebra.

The set $I(K)=\{x\in L:[x,K]\subseteq K\}$ is the normalizer of a Lie subalgebra $K$. Certainly $L_{0,y}\subseteq I(L_{0,y})$. Conversely, if $x\in I(L_{0,y})$, then $y\in L_{0,y}$ givesOn the direct sum of the nonzero generalized eigenspaces, $D$ is invertible. Hence the nonzero-eigenvalue component of $x$ vanishes, and

Now let $K$ be a Lie subalgebra containing $L_{0,y}$. Since $y\in K$, the subspace $K$ is $D$-invariant. The generalized zero eigenspace of the induced map on $L/K$ is the image of $L_{0,y}$, hence is zero. If $x\in I(K)$, then $Dx=[y,x]\in K$, so $x+K$ lies in that zero eigenspace. Thus $x\in K$ and

A Nilpotent Lie algebra is one whose lower central serieseventually reaches zero. Suppose $L$ is nilpotent and $K⊊L$. Choose the least $r\ge 2$ for which ${\gamma }_r(L)\subseteq K$. Then ${\gamma }_{r-1}(L)⊈K$, and anysatisfies $[x,K]\subseteq [L,{\gamma }_{r-1}(L)]={\gamma }_r(L)\subseteq K$. Therefore $x\in I(K)\setminus K$, proving the normalizer condition for a nilpotent Lie algebra

It remains to prove the converse needed here. The Engel lemma states that if a finite-dimensional Lie algebra of linear maps consists of nilpotent maps, then the maps have a common nonzero vector in their kernels. To prove it, induct on the dimension of the algebra. For a maximal proper subalgebra $H$, induction applied to the action of $H$ on $L/H$ produces $x\notin H$ with $[H,x]\subseteq H$. Thus $H$ is an ideal of codimension one. Induction also gives a nonzero common kernelThe ideal property makes $W$ invariant under $L$; a nilpotent representative of a basis of $L/H$ has a nonzero kernel on $W$, yielding a vector killed by all of $L$.

Apply the lemma to the Adjoint representation. It produces a nonzero element of the Center of a Lie algebra. Induction on $\dim L$, followed by passage to the quotient by this center, proves Engel theorem: if every $\mathrm{ad}y$ is nilpotent, then $L$ is nilpotent. The hypothesis $L_{0,y}=L$ says exactly that every $\mathrm{ad}y$ is nilpotent, so