 Lazard enveloping-algebra map

The initial form of $g-1$ depends only on the initial form of $g$ in $\mathrm{gr}G$. The resulting Lie map extends to a surjective graded algebra homomorphismFor a complete finite-rank p-valued group, ordered-basis expansions show that it is an isomorphism.