Some proofs of the Poincaré-Birkhoff-Witt theorem and related matters
arXiv:1812.04896
Abstract
This expository paper focuses on free Lie -algebras and the basic PBW theorem. We argue in various ways that the basic PBW theorem is a quite close consequence of the Magnus-Witt theorems concerning free Lie algebras.
arXiv comment22 pages, Part 3 of original submission arXiv:1812.04896v1, rewritten