Some proofs of the Poincaré-Birkhoff-Witt theorem and related matters

Gyula Lakos

This expository paper focuses on free Lie $K$-algebras and the basic PBW theorem. We argue in various ways that the basic PBW theorem is a quite close consequence of the Magnus-Wit…