1

Let $K$ be a proper ideal of a nilpotent Lie algebra $L$. If the nilpotency class of $L$ is $n$ (i.e $L^n\not = 0, L^{n+1}=0$). Is it correct that $K\cap L^n \not=0$?

Ronald
  • 4,121

1 Answers1

3

This is not true in general. Consider a direct Lie algebra sum $L=\mathfrak{h}_n\oplus \mathbb{C}$ of the $2n+1$-dimensional Heisenberg Lie algebra and the $1$-dimensional abelian Lie algebra. We have $L^1=L$, $L^2=[L,L]=\langle z\rangle =Z(\mathfrak{h}_n)$, and $L^3=0$, but the center of $L$ is $2$-dimensional. Hence $L^2\neq Z(L)$. Now we could take the ideal $K=\mathbb{C}$of $L$, which satisfies $K\cap L^2=0$.

Dietrich Burde
  • 130,978