# Non split extension of lie algebra?

Is there a Lie Algebra $\mathfrak g$ so that the extension

$0\xrightarrow{}\mathfrak h\xrightarrow{}\mathfrak g\xrightarrow{}\mathfrak q\xrightarrow{}0$

does not split, i.e. $\mathfrak g$ is not a semi-direct product of $\mathfrak h$ and $\mathfrak q$? As I understand it, $\mathfrak q$ should not be identifiable with a subalgebra of $\mathfrak g$, right? Since $\mathfrak h$ is already an ideal in $\mathfrak g$ as the kernel.

-
add comment

## 1 Answer

I guess the Heisenberg algebra will do. This is the algebra $\mathfrak{g}$ with basis $a, b, c$, and products $[a, b] = c$, $[a, c] = [b, c] = 0$. Take $\mathfrak{h} = \langle c \rangle$. Then $\mathfrak{q}$ is a two-dimensional abelian algebra, and all such object in $\mathfrak{g}$ contain $c$.

-
I think I follow, $\mathfrak g/\mathfrak h$ would be abelian because $\mathfrak h = [\mathfrak g, \mathfrak g]$, and two-dimensional because $\mathfrak h$ is one-dimensional, and it must contain c, otherwise it wouldn't be closed under the lie bracket. But what does that mean? That $\mathfrak q$ cannot be the quotient of the other two and therefore not a subalgebra of $\mathfrak g$? –  rabipelais Jan 20 at 23:56
Ah, I think I see it, now, how dumb. Because q contains c it is not a direct product to h. Thanks. –  rabipelais Jan 21 at 3:08
@rabipelais Precisely. Sorry, I could have added a couple of words to make this clear. –  Andreas Caranti Jan 21 at 6:50
add comment