0
$\begingroup$

Let $\mathfrak{g}$ be a finite dimensional Lie algebra and $\mathfrak{h}$ a Lie subalgebra. If I know that $\mathfrak{g}/\mathfrak{h}$ is abelian, does it follow that $\mathfrak{g}/\mathfrak{h} \subset \mathfrak{g}/[\mathfrak{g}, \mathfrak{g}]$?

  • 1
    g/h doesn't make sense as a Lie algebra unless h is an ideal, not just a subalgebra2012-03-26

1 Answers 1

2

Assuming $\mathfrak{h}$ is indeed an ideal (to make sense of the statement, as noted by Qiaochu), saying that $\mathfrak{g}/\mathfrak{h}$ is abelian means that for any $x,y \in \mathfrak{g}$, $[x,y]\in\mathfrak{h}$, hence $[\mathfrak{g},\mathfrak{g}]\subset\mathfrak{h}$. Now consider the application $ \pi :\mathfrak{g}/[\mathfrak{g},\mathfrak{g}] \rightarrow \mathfrak{g}/\mathfrak{h}\\ \pi:x+[\mathfrak{g},\mathfrak{g}] \mapsto x+\mathfrak{h} $ It is well-defined because $[\mathfrak{g},\mathfrak{g}]\subset\mathfrak{h}$, and it is obiously linear, and commutes with the bracket. Now by elementary commutative algebra, $\mathfrak{g}/\mathfrak{h}$ is isomorpic to the quotient of $\mathfrak{g}/[\mathfrak{g},\mathfrak{g}]$ by the kernel of $\pi$, which is precisely what you want (following the remark of Ted).

  • 0
    This is analogous to the situation in group theory. $\mathfrak{g}/[\mathfrak{g},\mathfrak{g}]$ is the largest quotient of $\mathfrak{g}$ which is abelian. Just as $G/G'$ (where $G'=[G,G]$) is the largest abelian quotient of a group $G$.2012-03-26