A Poincaré-Birkhoff-Witt Theorem for profinite pronilpotent Lie algebras
arXiv:1804.00254
Abstract
We prove a version of the Poincaré-Birkhoff-Witt Theorem for profinite pronilpotent Lie algebras in which their symmetric and universal enveloping algebras are replaced with appropriate formal analogues and discuss some immediate corollaries of this result.
6 pages