Endofunctors and Poincaré–Birkhoff–Witt Theorems
Open Access
- 6 February 2020
- journal article
- research article
- Published by Oxford University Press (OUP) in International Mathematics Research Notices
- Vol. 2021 (16) , 12670-12690
Abstract
We determine what appears to be the bare-bones categorical framework for Poincaré–Birkhoff–Witt (PBW)-type theorems about universal enveloping algebras of various algebraic structures. Our language is that of endofunctors; we establish that a natural transformation of monads enjoys a PBW property only if that transformation makes its codomain a free right module over its domain. We conclude with a number of applications to show how this unified approach proves various old and new PBW-type theorems. In particular, we prove a PBW-type result for universal enveloping dendriform algebras of pre-Lie algebras, answering a question of Loday.Keywords
All Related Versions
This publication has 43 references indexed in Scilit:
- Gröbner bases for operadsDuke Mathematical Journal, 2010
- Algebras, hyperalgebras, nonassociative bialgebras and loopsAdvances in Mathematics, 2007
- Distributive laws and KoszulnessAnnales de l'institut Fourier, 1996
- The diamond lemma for ring theoryAdvances in Mathematics, 1978
- Graded Lie algebras in mathematics and physics (Bose-Fermi symmetry)Reviews of Modern Physics, 1975
- An outline of functorial semantics1969
- Coequalizers in categories of algebras1969
- Applied functorial semantics, II1969
- Representability of Lie Algebras and Lie Groups by MatricesAnnals of Mathematics, 1937
- Treue Darstellung Liescher Ringe.Journal für die reine und angewandte Mathematik (Crelles Journal), 1937