
Journal of Lie Theory 29 (2019), No. 3, 611618 Copyright Heldermann Verlag 2019 A PoincaréBirkhoffWitt Theorem for Profinite Pronilpotent Lie Algebras Alastair Hamilton Dept. of Mathematics and Statistics, Texas Tech University, Lubbock, TX 794091042, U.S.A. alastair.hamilton@ttu.edu We prove a version of the PoincaréBirkhoffWitt 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. Keywords: PoincaréBirkhoffWitt, pronilpotent Lie algebra, formal power series, infinitedimensional Lie algebra, profinite vector space. MSC: 13J05, 13J10, 16S10, 16W70, 17B01, 17B35, 17B65. [ Fulltextpdf (97 KB)] for subscribers only. 