The symmetric Poincaré-Birkhoff-Witt theorem and Dynkin-Magnus commutators

Abstract

The objective of this paper is to give alternative proofs for the symmetric Poincaré-Birkhoff-Witt theorem utilizing the Magnus recursion formulae or Dynkin's non-commutative polynomial comparison method and simple universal algebraic principles. As an application of these principles, a theorem of Nouazé-Revoy type is also obtained.

14 pages, Part 1 of original submission arXiv:1812.04896v1, rewritten