Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
New entry PBW theorem and stub primitive element. Related new stubs filtered ring and associated graded ring with redirects filtered algebra, associated graded algebra.
Thanks Zoran! I have edited a little more.
Jim: Coalgebra structure on universal enveloping algebra is, of course, described in detail at universal enveloping algebra, no need to repeat it here.
Where can one find such a proof ?
I added the remark that PBW holds in the general context of $k$-linear tensor categories, with a reference.
1 to 8 of 8