Is $[I,J]$ a vector space where $I,J$ are ideals of a Lie algebra

43 Views Asked by At

Let $\mathfrak g$ be a Lie algebra with ideals $I,J$. It is easy to check that $[[I,J],\mathfrak g] \subset [I,J]$ using the Jacobi identity but is it also a vector space?

That is, if $i,i' \in I$ and $j,j' \in J$, is it necessary that $[i,j] + [i',j'] \in [I,J]$?

2

There are 2 best solutions below

0
On BEST ANSWER

Yes, $[I,J]+[I,J]\subset [I,J]$ by definition of $[I,J]$.

0
On

By definition $[I,J]$ is the vector space spanned by $[i,j]$ for $i\in I$ and $j\in J$, so yes.