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.


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$.

| cite | improve this answer | |
  • $\begingroup$ 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$? $\endgroup$ – rabipelais Jan 20 '13 at 23:56
  • $\begingroup$ Ah, I think I see it, now, how dumb. Because q contains c it is not a direct product to h. Thanks. $\endgroup$ – rabipelais Jan 21 '13 at 3:08
  • 1
    $\begingroup$ @rabipelais Precisely. Sorry, I could have added a couple of words to make this clear. $\endgroup$ – Andreas Caranti Jan 21 '13 at 6:50
  • $\begingroup$ @AndreasCaranti please also see this query math.stackexchange.com/questions/1819295/… $\endgroup$ – IgotiT Jun 9 '16 at 4:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.