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.
|Number of pages||8|
|Journal||Journal of Lie Theory|
|State||Published - 2019|
- Formal power series
- Infinite-dimensional Lie algebra
- Profinite vector space
- Pronilpotent Lie algebra