Uniform pro-p group and powerful Lie lattice correspondence (source code)

= Uniform pro-p group and powerful Lie lattice correspondence

The <Lie algebra of a uniform pro-p group> construction and <BCH convergence on a powerful Lie lattice> are mutually inverse on objects and morphisms. On the group side morphisms are continuous <group homomorphisms>; on the lattice side they are linear <Lie algebra homomorphisms> over the <p-adic integers>. A group homomorphism respects powers, roots and limits, and a Lie homomorphism respects every convergent <Baker--Campbell--Hausdorff formula> term.