Lie algebra of a quotient of Lie groups

Solution 1:

The answer to your first question is yes. Let $p: G\to G/H$ denote the projection. Then $\mathfrak{h}$ is a subspace of the kernel of $p_*: \mathfrak g \to Lie(G/H)$. This is because if $X\in \mathfrak h$ then $p_* X = \frac{d}{dt}\vert_{t=0} p(\exp(tX)) = 0$ since $\exp(tX) \in H$ so $p(\exp(tX))$ is constant. By dimensionality reasons, $\mathfrak{h} = \ker p_*$. Thus $p_*$ gives a canonical isomorphism $\mathfrak g/\mathfrak h \to Lie(G/H)$.

I'm really not sure about your second question.

Solution 2:

For (2), consider the Heisenberg algebra $\mathfrak g$ of dimension three, spanned by $x$, $y$ and $z$ such that $[x,y]=z$ and $z$ is central. Then $\mathfrak h=\langle z\rangle$ is an ideal, and $\mathfrak g/\mathfrak h$ is abelian of dimension $2$. But $\mathfrak g$ has no abelian subalgebra of dimension two intersecting trivially with $\mathfrak h$.

Solution 3:

Contrasting with what Mariano said, for (2), in the compact case it's true. That is, given a compact Lie group $G$ with Lie algebra $\mathfrak{g}$, if $\mathfrak{h}$ is an ideal of $\mathfrak{g}$, then there is another ideal $\mathfrak{p}$ in $\mathfrak{g}$ so that $\mathfrak{g} = \mathfrak{h}\oplus \mathfrak{p}$ where this really is a sum of Lie algebras (that is, the bracket between the $\mathfrak{h}$ part and the $\mathfrak{p}$ part is 0).

For, if $G$ is compact, it has a biinvariant metric which corresponds to an $Ad(G)$ invariant inner product on $\mathfrak{g}$. One can prove that this inner product satisfies $\langle [x,y],z\rangle = \langle x, [y,z]\rangle$.

Now, given $\mathfrak{h}$, let $\mathfrak{p}$ be the orthogonal complement. I'll use $h$ with subscripts to denote arbitrary elements of $\mathfrak{h}$ and likewise for $p$.

Then $\mathfrak{p}$ is an ideal since $\langle h, [p_1 + h_1,p]\rangle = \langle [h,p_1+h_1],p\rangle = 0$ since $[h,p_1+h_1]$ is in $\mathfrak{h}$ since it's an ideal.

Finally, we must have $[h,p]\in\mathfrak{h}\cap\mathfrak{p} = \{0\}$ since both are ideals.