The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
0answers
204 views

$U\left(\mathfrak a\right) \otimes_{U\left(\mathfrak a\cap\mathfrak b\right)} U\left(\mathfrak b\right) \cong U\left(\mathfrak a + \mathfrak b\right)$ over a ring containing $\mathbb{Q}$

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 ...
2
votes
1answer
400 views

What's an example of a commutative algebra over $\mathbb Q$ that fails to satisfy this version of the “PBW theorem”

In a recent question, I recalled the notion of differential operator, polyderivation, and principal symbol for a commutative algebra $A$ over some fixed commutative ring $k$. (I will not repeat those ...
7
votes
1answer
450 views

For which algebras does \{Differential Operators\} satisfy a PBW-like theorem?

Let $k$ be a commutative ring, $A$ a commutative $k$-algebra, and for some other part of why I'm asking this question I only care about the case when $k \supseteq \mathbb Q$. Recall the following ...
12
votes
2answers
747 views

Clifford PBW theorem for quadratic form

Update: now with a question 2 which is much more elementary (and should be well-known!). Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-module, and $g:L\to k$ be a quadratic form, i. e., a ...