Let $\mathcal g$ be a nilpotent Lie algebra with $dim>1$. Why it is impossible that $codim \ \mathcal g'=1$?
Asked
Active
Viewed 152 times
2 Answers
2
Suppose that $codim g'=1$. Let $Vect\{x\}$ be a supplementary space of $g'$. Write $g'=W+[g,g']$ and $W$ is not trivial. Let $u,v\in g$ you can write $u=cx+u', u'\in g'$ and $v=dx+v', v'\in g'$. $[u,v] =[cx+u',dx+v']= c[x,v']+d[u',x]+[u',v']$. Since $u',v'\in g'$ we deduce that $[u,v]\in [g,g']$ thus the vector space generated by $[u,v], u,v\in g$ does not contain $W$. Contradiction.
Tsemo Aristide
- 87,475
-
Do you mean the space generated by $[u,v]$ where $u,v\in \mathcal g$ or the space generated by the three elements ${[u,v],u,v}$? – Ronald Feb 16 '16 at 01:14
-
Yes it is what i mean, $[u,v], u.v\in g$. – Tsemo Aristide Feb 16 '16 at 01:17
-
I've a question, since $codim \ g' =1$ doesn't that mean $dim\ g/g'=1$ which implies that $g=W + g'$?. I don't understand why then $g'=W+[g,g']$? – Ronald Feb 16 '16 at 01:23
-
Yes, it what it means – Tsemo Aristide Feb 16 '16 at 01:24
2
Let $L$ be a nilpotent Lie algebra. It is well-known that $L$ is generated by the representatives of $L/[L,L]$. If this space would be $1$-dimensional, $L$ would be generated by $1$ element, and hence would be abelian. But this is a contradiction, because then $[L,L]=0$. It follwos that $\dim L/[L,L]\ge 2$.
Dietrich Burde
- 130,978