Nilpotent ideal is in nullspace for Killing form

Statement

Suppose $F$ is a field, $L$ is a Lie algebra over $F$, $\kappa$ is the Killing form (?) on $L$, and $A$ is a Nilpotent ideal (?) of $L$. Then, for $x\in A,y\in L$, $\kappa (x,y)=0$.

Related facts

Weaker facts

• Abelian ideal is in nullspace for Killing form

Other related facts

• Killing form on ideal equals restriction of Killing form
• Cartan's first criterion
• Cartan's second criterion

Facts used

1. Lower central series members are derivation-invariant
2. Derivation-invariant subring of ideal implies ideal

Proof

Given: A field $F$, a Lie algebra $L$ over $F$, a class $c$-nilpotent ideal $A$ of $L$. $\kappa$ is the Killing form on $L$.

To prove: For $x\in A,y\in L$, $\kappa (x,y)=0$.

Proof: Consider:

$\mathrm{a}\mathrm{d}(x)\circ (\mathrm{a}\mathrm{d}(y)\circ \mathrm{a}\mathrm{d}(x){)}^c$.

The right-most $\mathrm{a}\mathrm{d}(x)$ sends any element of $L$ inside $A$, since $A$ is an ideal. $\mathrm{a}\mathrm{d}(y)$ again sends this inside $A$, since $A$ is an ideal.

The next $\mathrm{a}\mathrm{d}(x)$ now sends the element inside $[A,A]$. Since $[A,A]$ is a derivation-invariant subring of $A$ (fact (1)) which is an ideal in $L$, $[A,A]$ is an ideal in $L$ (fact (2)). So $\mathrm{a}\mathrm{d}(y)$ sends the element within $[A,A]$.

Inductively, after $d$ steps, the element is in $[\dots [A,A],A],\dots ,A]$ with $d$ $A$s. Applying $\mathrm{a}\mathrm{d}(x)$ sends it to $[\dots [A,A],\dots A]$ with $d+1$ $A$s. This is a derivation-invariant subring of $A$ which is an ideal of $L$, so it is an ideal of $L$. So $\mathrm{a}\mathrm{d}(y)$ preserves it.

Thus, $(\mathrm{a}\mathrm{d}(y)\circ \mathrm{a}\mathrm{d}(x))$ is in $A_c=[\dots [A,A],\dots ,A]$ where $A$ is repeated $c$ times. Applying $\mathrm{a}\mathrm{d}(x)$ to this sends it to $A_{c+1}$, which is zero since $A$ has class $c$. Thus:

$\mathrm{a}\mathrm{d}(x)\circ (\mathrm{a}\mathrm{d}(y)\circ \mathrm{a}\mathrm{d}(x){)}^c=0$

From this, we get that $(\mathrm{a}\mathrm{d}(x)\circ \mathrm{a}\mathrm{d}(y){)}^{c+1}=0$. Thus, $\mathrm{a}\mathrm{d}(x)\circ \mathrm{a}\mathrm{d}(y)$ is nilpotent, so it has trace zero, so $\kappa (x,y)=0$.