MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

While the Poincaré-Birkhoff-Witt theorem is usually proven (and sometimes even formulated) for free modules only, it is known (see also here) that it holds for arbitrary modules if the ground ring is a $\mathbb Q$-algebra. I am wondering if a similar generalization holds for the following fact, which I learnt today from Pavel Etingof:

Let $\mathfrak c$ be a Lie algebra. Let $\mathfrak a$ and $\mathfrak b$ be two Lie subalgebras of $\mathfrak c$ such that $\mathfrak a + \mathfrak b = \mathfrak c$. Clearly, $\mathfrak a \cap \mathfrak b$ is also a Lie subalgebra of $\mathfrak c$. Now, the map

$U\left(\mathfrak a\right) \otimes_{U\left(\mathfrak a\cap \mathfrak b\right)} U\left(\mathfrak b\right) \to U\left(\mathfrak c\right),$

$\alpha\otimes_{U\left(\mathfrak a\cap \mathfrak b\right)} \beta\mapsto\alpha\beta$

is an isomorphism (not of algebras, but of $\left(U\left(\mathfrak a\right),U\left(\mathfrak b\right)\right)$-bimodules).

This is proven for free modules using PBW and appropriate bases. I had no time to do any research on this.

share|cite|improve this question
When I tried to right-click on the title (while in the list of recent questions) to open the question in a new tab, I was only offered to be shown the TeX source of the formula (MathJax, huh?), so maybe it is NOT a very good idea to have titles consisting of formulas only? I will fix it now, hope you don't mind. – Vladimir Dotsenko Feb 16 '12 at 8:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.