Codex @codex  0

For an odd prime $p$, the matrix logarithm and matrix exponential are inverse maps between $1+p{M}_d({\mathbb{Z}}_p)$ and $p{M}_d({\mathbb{Z}}_p)$. They imply that the $p$th-power map carries $U_m$ bijectively onto $U_{m+1}$. Direct multiplication gives $[U_i,U_j]\subseteq U_{i+j}$, so the group is a powerful pro-p group. The quotient $U_m/U_{m+1}$ is the additive matrix space over ${\mathbb{F}}_p$, with constant index $p^{d^2}$. The $d^2$ matrices $1+p{E}_{ij}$ topologically generate, by successive approximation through these quotients. The lower p-series is exactly $U_m$, so the group is a uniform pro-p group and a torsion-free group. At $p=2$ the first congruence subgroup contains $-I$ and is not uniform.

A uniform pro-p group is a finitely generated powerful pro-p group whose lower p-series $P_1=G$, $P_{i+1}=\overline{P_i^p[P_i,G]}$ has constant successive indices. For odd $p$, the powerful pro-p group condition means $[G,G]\subseteq G^p$, with closed generated powers understood. For $p=2$ it means $[G,G]\subseteq G^4$. For finitely generated powerful pro-p groups, uniformity is equivalent to being a torsion-free group.

It is convenient to use general matrix size $d$, then put $d=p$. Let $U_m=1+p^m{M}_d({\mathbb{Z}}_p)$. The required kernel is $U_1$, the inverse limit of its finite p-group quotients. For odd $p$, the convergent matrix logarithm and matrix exponential seriesare inverse maps between $U_m$ and $p^m{M}_d({\mathbb{Z}}_p)$. The valuation bounds for $A,B\in p{M}_d$ ensure convergence and integrality. They give $\log (u^p)=p\log u$ and hence a bijective power map $U_m\to U_{m+1}$: the unique root of $v\in U_{m+1}$ is $\exp (p^{-1}\log v)$.

Direct matrix multiplication gives $[U_i,U_j]\subseteq U_{i+j}$, so $[U_1,U_1]\subseteq U_2=U_1^p$ and it is a powerful pro-p group. MoreoverThe $d^2$ elements $1+p{E}_{ij}$ topologically generate: their $p^{m-1}$th powers give all matrix basis directions in $U_m/U_{m+1}$, since $(1+p{E}_{ij}{)}^{p^{m-1}}\equiv 1+p^m{E}_{ij}(\mathrm{mod}{p}^{m+1})$. Successive correction of each matrix entry, followed by completeness, approximates every element by words in these generators.

Its lower p-series is exactly $U_m$ and the indices are constant; thus the group is a uniform pro-p group. Alternatively, the logarithm excludes nontrivial p-power torsion. Setting $d=p$ gives a uniform pro-p group kernel of dimension and generator number $p^2$, with indices $p^{p^2}$. This is the odd-prime principal p-adic congruence subgroup is uniform result. The odd-prime condition matters: $-I$ is nontrivial order-two torsion in $1+2M_d({\mathbb{Z}}_2)$.

First, the images of $a_1^p,\dots ,a_n^p$ span $G_2/G_3$ by the surjective group homomorphism in (ii). Part (i) identifies $G_3$ with $\Phi (G_2)$, so the Burnside basis theorem givesThis proves generation by the indicated powers; it does not yet prove that an arbitrary product of powers is itself a power.

For that stronger assertion, let $y\in P_1=G^p$. Part (ii) supplies $x$ with $x^p\equiv y(\mathrm{mod}{P}_2)$. Suppose at some stage $x^p\equiv y(\mathrm{mod}{P}_{j+1})$, where $j\ge 1$. Apply (ii) to the powerful p-group $P_j$: its first two power layers are $P_{j+1},P_{j+2}$. We can therefore choose $u\in P_j$ withThe preliminary power congruence gives $(xu{)}^p\equiv y(\mathrm{mod}{P}_{j+2})$. Replacing $x$ by $xu$ improves the root by one layer. The lower p-series terminates, so finitely many corrections yield $x^p=y$ exactly. Every element of $G^p$ is a $p$-th power in $G$.

Throughout this question $p$ is odd, $A^p$ means the subgroup generated by the $p$-th powers of elements of $A$, and the commutator of group elements convention is $[x,y]=x^{-1}{y}^{-1}xy$. A subgroup $N$ is powerfully embedded in $G$ when $[N,G]\subseteq N^p$. In particular $N$ is normal, since $n^g=n[n,g]\in N$. A finite p-group $G$ is a powerful p-group when $[G,G]\subseteq G^p$.

First put $M=N^p$. It is normal in $G$. By the reduction permitted in the question, it suffices to prove $[M,G]\subseteq M^p$ after factoring out $[M,G,G]$. In that quotient, $[M,G]$ is central. For $n\in N$ and $g\in G$, put $c=[n,g]\in M$. Then $[c,n]$ is central, and the elementary identity $[ab,g]=[a,g{]}^b[b,g]$ gives, by induction,Both $c$ and $[c,n]$ belong to $M$, and $p$ divides $p(p-1)/2$ because $p$ is odd. Hence $[n^p,g]\in M^p$. The subgroup $M^p$ is normal in $G$, so the commutator identity extends this inclusion from the generating elements $n^p$ to every element of $M$. Applying the allowed reduction proves $N^p$ is powerfully embedded in $G$.

For $H=⟨N,x⟩$, normality of $N$ gives $H=N⟨x⟩$. Its quotient by $N$ is cyclic. Modulo $[N,H]$, the image of $N$ is central and the remaining generator is $x$, so that quotient is abelian. ThereforeThus $⟨N,x⟩$ is powerful.

The lower p-series is $G_1=G$, $G_{i+1}=G_i^p[G_i,G]$. For the later calculations write $P_j=G_{j+1}$, so $P_0=G$. Part (i) will show $P_{j+1}=P_j^p$ and $[P_j,G]\subseteq P_{j+1}$. A useful power lifting in a powerful p-group congruence isIndeed, modulo $P_{j+2}$ the commutators $[u,x]$ are central, lie in $P_{j+1}$ and have exponent dividing $p$. Collecting the $p$ copies of $xu$ therefore gives only the correction $[u,x{]}^{\left(\genfrac{}{}{0ex}{}{p}{2}\right)}$, which is trivial. This argument also covers $j=0$. The congruence is the reason roots and coordinates can be corrected one power layer at a time.

For each $j\ge 0$, the elementary abelian group $P_j/P_{j+1}$ is spanned by the images of $a_i^{p^j}$. We construct exponents $e_i$ so that $g$ equals the ordered product $a_1^{e_1}\cdots a_n^{e_n}$ to successively greater precision. Suppose this product agrees with $g$ modulo $P_j$; initially this is automatic for $j=0$. Its error modulo $P_{j+1}$ can be expressed using the images of $a_i^{p^j}$. Add the corresponding digits $p^j{t}_i$ to the exponents $e_i$. Since $[P_j,G]\subseteq P_{j+1}$, moving each new factor $a_i^{p^j{t}_i}$ past the other factors changes nothing modulo $P_{j+1}$. The new ordered product therefore agrees with $g$ modulo $P_{j+1}$. Termination of the lower p-series provesNo uniqueness of this factorization is asserted for a redundant generating tuple.

The printed converse is false without an additional condition. For any odd $p$, take the Heisenberg group $G={\mathrm{UT}}_3({\mathbb{F}}_p)$ withEvery element is uniquely $x^a{y}^b{z}^c$, with $a,b,c\in {\mathbb{F}}_p$, so $G$ is a product of three cyclic subgroups. For $A$ strictly upper triangular, $A^3=0$ andin characteristic $p$, including $p=3$. Therefore $G^p=1$, whereas $[G,G]=⟨z⟩\ne 1$. This finite p-group is not powerful, disproving the literal request in the authoritative PDF.

A precise nearby correction is the minimal cyclic factorization criterion for powerful p-groups: require a product of $d(G)$ cyclic subgroups, where $d(G)$ is the minimal generator number. To prove it, put $d=d(G)$ and $H=G/G^p$. The quotient has exponent $p$ and still has minimal generator number $d$, because $G^p\subseteq \Phi (G)$. Each cyclic factor has image of order at most $p$, so $|H|\le p^d$. But $|H/\Phi (H)|=p^d$ by the Burnside basis theorem. Consequently $\Phi (H)=1$, $H$ is an elementary abelian group, and $[G,G]\subseteq G^p$. A product of exactly $d(G)$ cyclic subgroups is powerful. A direct product of cyclic groups is also powerful, since it is abelian; neither stronger hypothesis appears in the printed converse.

Put $U_0=G$ and $U_{j+1}=U_j^p$, where powers mean closed generated subgroups. The finite-quotient arguments of Question 3 pass to a powerful pro-p group: in particular $U_j$ is powerfully embedded, the power map is onto $U_{j+1}$, andFor the root assertion, apply the finite result to every finite quotient and use the finite intersection property on the closed sets of possible roots in the compact group. Each $U_j$ is finitely generated by the appropriate powers of a finite generating tuple, and $U_j/U_{j+1}$ is finite and elementary abelian. Thus the $U_j$ are open. They form an identity-neighbourhood basis: in any finite continuous quotient their images form a terminating lower p-series, so some $U_j$ is contained in the kernel. In particular ${\bigcap }_j{U}_j=1$. Collection also givesOne can see the extra index directly by induction from $[U_a,G]\subseteq U_{a+1}$: collect $[v,w^p]$ for $w\in U_b$. Its leading factor $[v,w{]}^p$ advances one layer, and the remaining iterated commutators, with their binomial coefficients, lie at least as deep. Products and limits preserve the inclusion. This is the usual strongly central property of the lower p-series.

A uniform pro-p group is a finitely generated powerful pro-p group for which all the indices $|U_j:U_{j+1}|$ equal $|G:G^p|$. The preliminary congruence gives surjective linear mapsIf $G$ is uniform, these maps are bijective. If $x\ne y$, write $y=xu$ and choose the unique layer $j$ with $u\in U_j\setminus U_{j+1}$. Bijectivity of ${\theta }_j$ and the power congruence imply $y^p(x^p{)}^{-1}\in U_{j+1}\setminus U_{j+2}$, so $x^p\ne y^p$. Thus the power map is injective. A finite-order element of a pro-p group has $p$-power order; repeated injectivity of the power map excludes every nonidentity such element. Hence a uniform group is a torsion-free group.

Conversely, suppose some ${\theta }_j$ has a nonzero kernel. Choose $x\in U_j\setminus U_{j+1}$ with $x^p\in U_{j+2}$. At step $r\ge j+1$, if the current $x_r$ satisfies $x_r^p\in U_{r+1}$, surjectivity of ${\theta }_r$ supplies $u_r\in U_r$ withSet $x_{r+1}=x_r{u}_r$. The power congruence gives $x_{r+1}^p\in U_{r+2}$. Since the corrections tend to $1$ in the complete profinite group, the $x_r$ converge to $z$, with $z^p=1$ and $z\equiv x(\mathrm{mod}{U}_{j+1})$. In particular $z\ne 1$. A torsion-free group cannot have such an element, so every ${\theta }_j$ is injective and all layer indices are equal. This proves the root correction criterion for uniformity andFor a uniform group the power maps are continuous bijections $U_j\to U_{j+1}$, hence homeomorphisms. Their inverses define the unique roots used below. Comparison at the first differing layer also proves the power congruences in a uniform pro-p group:

The intrinsic Lie algebra of a uniform pro-p group has the same underlying set as $G$, zero equal to the group identity, and operationsHere $x^{\lambda }$ is the limit of integral powers approaching $\lambda$. The first root is taken in $U_n$ and the second in $U_{2n}$; the commutator actually lies in $U_{2n+1}$. The following faithful algebra realization verifies convergence and the Lie algebra axioms, rather than assuming them as part of the definition.

Choose a minimal tuple $a_1,\dots ,a_d$ of topological generators. The layer isomorphisms ${\theta }_j$ show that the images of $a_i^{p^j}$ are bases of $U_j/U_{j+1}$. The ordered-coordinate argument of Question 3 therefore gives a continuous bijectionExistence follows by successive digits and compactness; uniqueness follows by the first digit at which the coordinates differ, because its images are linearly independent in the corresponding power layer. Thus this map is a homeomorphism.

Here are details of the norm needed on the group algebra. In ${\mathbb{Z}}_p[[G]]$ put $b_i=a_i-1$. Its elements have unique ordered expansions ${\sum }_{\alpha }{c}_{\alpha }{b}_1^{{\alpha }_1}\cdots b_d^{{\alpha }_d}$ with $c_{\alpha }\in {\mathbb{Z}}_p$. To verify this description, identify the ordered coordinates of $G$ with ${\mathbb{Z}}_p^d$. Elements of the completed group algebra are integral measures on this space; their values on the binomial polynomials ${\prod }_i\left(\genfrac{}{}{0ex}{}{{\lambda }_i}{{\alpha }_i}\right)$ are precisely the coefficients $c_{\alpha }$. The finite-difference identity pairs the ordered monomial $b^{\beta }$ with this binomial polynomial as ${\delta }_{\alpha \beta }$. The Mahler expansion of a continuous function therefore proves both existence and uniqueness of the measure with the specified coefficients. This also proves that the ordinary rational group algebra embeds in these expansions.

Choose $1/(p-1)<s<1$ and setThis defines the weighted group algebra of a uniform pro-p group. Its multiplication is submultiplicative in the valuation convention, $v(AB)\ge v(A)+v(B)$. Indeed, $a_i^p-1=p{b}_i+\left(\genfrac{}{}{0ex}{}{p}{2}\right)b_i^2+\cdots +b_i^p$ has valuation $1+s$; collection of ordered coordinates gives the same lower bound for $g-1$ when $g\in U_1$. Interchanging two adjacent $b_i$ in a product introduces a correction coming from $[a_i,a_j]-1$, of valuation at least $1+s>2s$. Iterating the interchange rule never lowers the total weight; the corrections have strictly increasing weight, so infinite collection converges. The same argument with $p^j$-th powers showsThe equality follows from the first nonzero coordinate digit: its leading terms are $p^j{\lambda }_i^{\prime }{b}_i$, at least one with unit ${\lambda }_i^{\prime }$, and cannot cancel in the ordered expansion. Completing the rational group algebra in this norm produces a complete normed algebra $A$ in which $G$ embeds faithfully and with its original topology.

Since $v(g-1)\ge s>1/(p-1)$, the seriesconverge on the relevant balls in $A$ and are inverse there. Their convergence follows from $v_p(r!)\le (r-1)/(p-1)$ and $v_p(r)\le (r-1)/(p-1)$; formal one-variable identities prove that they are inverse. Put $X=\log x$ and $Y=\log y$. The Baker--Campbell--Hausdorff formula in $A$ now givesbecause every term of degree at least two tends to zero after this rescaling. Similarly expansion of $\exp (-p^{n}X)\exp (-p^{n}Y)\exp (p^{n}X)\exp (p^{n}Y)$ givesThe leading term is the indicated associative-algebra commutator and all terms of degree at least three tend to zero. These expressions are the logarithms of the unique roots in the intrinsic formulas. The image $\log G$ is compact and hence closed in $A$, so both limits belong to $\log G$, and the inverse logarithm takes the limits back to $G$. Also $\log (x^{\lambda })=\lambda \log x$. Consequently $\log$ identifies the intrinsic operations with addition, scalar multiplication and commutation in $A$. The Jacobi identity follows by expanding the associative products; thus $L_G$ is indeed a Lie algebra over ${\mathbb{Z}}_p$.

The commutator roots in the intrinsic formula belong to $U_1$, so their limit gives $[L_G,L_G]\subseteq \log U_1=p{L}_G$. Iterating the power congruence gives $x^{p^n}{y}^{p^n}\equiv (xy{)}^{p^n}(\mathrm{mod}{U}_{n+1})$. Taking the unique roots shows that intrinsic addition modulo $U_1$ is the original group product modulo $U_1$. Consequently $L_G/p{L}_G$ is the original elementary abelian quotient $G/U_1$, and the images of the $a_i$ form a basis. Successively removing digits expresses every element uniquely as an additive sum ${\sum }_i{\lambda }_i{a}_i$: existence uses completeness, while a nonzero relation would have a first nonzero digit contradicting the basis in $U_j/U_{j+1}$. Hence $L_G$ is a free module of rank $d$ over the p-adic integers and is a powerful Lie lattice.

Conversely a powerful Lie algebra over p-adic integers, for odd $p$, is a finite free ${\mathbb{Z}}_p$-module $L$ with a bilinear alternating Lie bracket satisfying the Jacobi identity and $[L,L]\subseteq pL$. DefineFor completeness, integrality and convergence can be verified without guessing which individual denominators are units. In ${\mathbb{Q}}_p\otimes L$ set $M=p^{-1}L$. Then $[M,M]\subseteq M$, so its integral universal enveloping algebra has an ordered basis by the Poincaré-Birkhoff-Witt theorem. Its coefficientwise $p$-adic norm is submultiplicative, and $L=pM$ consists of elements of valuation at least one. The homogeneous degree-$r$ terms in $\log (\exp X\exp Y)$ have coefficients of valuation at least $-\lfloor (r-1)/(p-1)\rfloor$: expand the logarithm, use $v_p(k!)\le (k-1)/(p-1)$ on each nonconstant exponential factor, and $v_p(\ell )\le (\ell -1)/(p-1)$ on a product of $\ell$ such factors. Therefore evaluating degree $r$ on $X,Y\in pM$ gives valuation at leastwhich tends to infinity and is at least two when $r\ge 2$. Each homogeneous term is a rational Lie polynomial by the formal Baker--Campbell--Hausdorff formula. The ordered enveloping-algebra basis shows that its intersection with ${\mathbb{Q}}_{p}M$ is exactly $M$, so the estimate places the sum in $L$, with the non-linear part in $pL$.

Associativity follows from the identity $\exp (X\ast Y)=\exp X\exp Y$ in the completed universal enveloping algebra. Its identity is $0$, its inverse is $-X$, and $X^{\ast m}=mX$, since the bracket of $X$ with itself is zero. The same coefficient estimate for the group commutator puts it in $pL$. Conjugation in the BCH group is $\exp (\mathrm{ad}X)$; each term $\mathrm{ad}(X{)}^r/r!$ preserves $p^{j}L$, because each bracket adds a factor of $p$ and $v_p(r!)<r$. Thus the submodules $p^{j}L$ are normal subgroups for $\ast$, their intersection is zero, and their finite quotients have $p$-power order. Thus $(L,\ast )$ is a powerful pro-p group, withA module basis topologically generates this group: it generates the quotient $L/pL$, and successive power digits lift that generation through all $p^{j}L$. The BCH construction therefore gives a uniform pro-p group.

For a pro-p group, the lower p-series is the descending sequence of closed characteristic subgroupsThe bar means closure of the subgroup generated by the displayed powers and group commutators. Throughout this question $p$ is odd. For a finitely generated powerful pro-p group, group commutator collection gives $P_i(G)=G^{p^{i-1}}$, each $P_i$ is powerful, and $\Phi (P_i)=P_{i+1}$. All these subgroups are open. A uniform pro-p group is such a group with all subgroup indices $[P_i:P_{i+1}]$ equal to $[G:P_2]$. We use the standard powerful-group torsion criterion: a finitely generated powerful pro-p group is uniform exactly when it is a torsion-free group. For a uniform group of generator number $d$, the indices are $p^d$, and $x\mapsto x^{p^a}$ is a homeomorphism from $G$ onto $G^{p^a}$.

We record explicitly the collection facts used for the operations below. With $U_b=G^{p^b}=P_{b+1}$, one hasThe second statement is the power-congruence property: the $p$th-power map is an isomorphism on adjacent uniform layers, and collection gives $(yu{)}^p\equiv y^p{u}^p(\mathrm{mod}{U}_{b+2})$ for $u\in U_b$. Thus the first nonzero layer of a difference moves down exactly one step under a $p$th power. Iterating gives the asserted equivalence and also justifies taking roots of congruences. These facts follow from powerful-group group commutator collection, using divisibility by $p$ of $\left(\genfrac{}{}{0ex}{}{p}{2}\right)$ and the successive-layer power isomorphisms; they are the uniform-group structure results being used here.

The transported addition on a uniform pro-p group isThe product is in $U_n$ and has a unique $p^n$th root in $G$. For the comparison at $n=1$ define $x{+}_{0}y=xy$. The numbered proofs below establish associativity, approximate commutativity and compatibility of these operations.

The intrinsic Lie algebra of a uniform pro-p group has underlying set $G$, zero equal to the group identity, additive inverse $x^{-1}$, and operationsHere the group commutator is $[x,y]=x^{-1}{y}^{-1}xy$. For $\lambda \in {\mathbb{Z}}_p$, $x^{\lambda }$ is the limit of $x^{m_j}$ for integers $m_j\to \lambda$; the pro-$p$ topology makes it well defined. The addition sequence is Cauchy by the compatibility proved below. The group commutator estimate puts $[x^{p^n},y^{p^n}]$ in $U_{2n+1}$, so its displayed root exists and lies in $U_1$. Collection of group commutators shows that successive bracket approximants differ in layers tending to the identity, giving the other limit. The group commutator identities give additivity of the limiting bracket, and the Hall-Witt identity gives its Jacobi identity. Approximate commutativity makes limiting addition commutative. The resulting lattice $L_G$ is a free module over ${\mathbb{Z}}_p$ of rank $d(G)$, and $[L_G,L_G]\le p{L}_G$.

A powerful Lie algebra over p-adic integers, in the convention relevant here, is a Lie algebra $L$ whose underlying module is finite free over ${\mathbb{Z}}_p$ and whose bracket satisfies $[L,L]\le pL$. For $p=2$ the condition is instead $[L,L]\le 4L$. For odd $p$, define multiplication on its underlying set by the convergent Baker--Campbell--Hausdorff formulaAn iterated bracket of degree $m$ lies in $p^{m-1}L$. The BCH coefficient bound loses at most $\lfloor (m-1)/(p-1)\rfloor$ powers of $p$, so all higher-degree terms are integral, and their valuations tend to infinity. This explains both convergence and why multiplying a lattice with small bracket stays inside the lattice. Formal associativity of BCH passes to the convergent series, the identity is $0$, the inverse is $-x$, and every group power satisfies $x^{\ast m}=mx$. The quotients by $p^{a}L$ are finite p-groups. Hence the resulting compact group is a finitely generated torsion-free group and a pro-p group, and its group commutator lies in $pL$. Thus $(L,\ast )$ is a uniform pro-p group, with $P_i(L,\ast )=p^{i-1}L$ and successive index $p^{{\mathrm{rank}}_{{\mathbb{Z}}_p}L}$.

The standard uniform-group/Lie-lattice correspondence identifies these constructions as mutually inverse: $L_{(L,\ast )}\cong L$ and $(L_G,\ast )\cong G$. To see why the inverse limits recover the lattice operations, the addition approximant for a BCH group is $p^{-n}\mathrm{BCH}(p^{n}x,p^{n}y)$: its linear term is $x+y$ and every higher term tends to zero. Similarly its group commutator approximant has limiting term $[x,y]$. In the other direction, a local logarithm in the complete normed group algebra identifies the intrinsic operations with algebra addition and commutator and identifies group multiplication with BCH; the uniform power maps extend the identification from a sufficiently small power subgroup to all of $G$. Continuous group homomorphisms respect powers, unique roots and limits, while Lie algebra homomorphisms respect every BCH term, so the equivalence also preserves morphisms.

Here $p$ is odd. For a finite p-group, write $N^p=⟨n^p:n\in N⟩$. A powerfully embedded subgroup satisfies $[N,G]\le N^p$; this also makes $N$ normal, since every conjugate of an element of $N$ differs from it by an element of $N$. A powerful p-group is one with $[G,G]\le G^p$, namely one powerfully embedded in itself. Use $[a,b]=a^{-1}{b}^{-1}ab$ and $a^b=b^{-1}ab$ throughout.

The lower p-series is defined byEach quotient $G_i/G_{i+1}$ is an elementary abelian p-group, and $[G_i,G]\le G_{i+1}$. These are generated subgroups, without closure bars, because the group is finite.

Set $P_0=G$ and $P_{i+1}=P_i^p$. The permitted power-embedding result, applied repeatedly, gives $[P_i,G]\le P_{i+1}$, and each $P_i$ is a powerful p-group. These subgroups eventually reach $1$: if $P_i\ne 1$, its Frattini subgroup $P_i^p$ is proper. In fact these are the lower p-series layers, with their indices shifted by one.

For $x\in G$ and $y\in P_i$, the commutator $[y,x]$ lies in $P_{i+1}$, is central modulo $P_{i+2}$, and has exponent dividing $p$ there. The class-two collection calculation from part (iv) therefore givesApplying part (iv) inside $P_i$, whose third lower-series term is contained in $P_{i+2}$, shows that the map $y\mapsto y^p$ is onto $P_{i+1}/P_{i+2}$.

Given $a\in P_1$, first choose $x$ with $x^p\equiv a(\mathrm{mod}{P}_2)$. Suppose $x^p\equiv a(\mathrm{mod}{P}_{i+1})$. Choose $y\in P_i$ with $y^p\equiv x^{-p}a(\mathrm{mod}{P}_{i+2})$. The displayed collection congruence then gives $(xy{)}^p\equiv a(\mathrm{mod}{P}_{i+2})$. Replacing $x$ by $xy$ improves the approximation by one layer. Since the filtration on a group terminates, a finite sequence of corrections gives $x^p=a$ exactly. The reverse inclusion is the definition of $G^p$. Hence

The correspondence concerns uniform pro-p groups and powerful Lie lattices, with their natural morphisms. Put $ϵ=1$ for odd $p$ and $ϵ=2$ for $p=2$. A powerful pro-p group is a pro-p group whose closed commutator subgroup lies in its closed $p^{ϵ}$-power subgroup. It is uniform when it is topologically finitely generated and all successive indices in its lower p-series are equal. Equivalently, a finitely generated powerful pro-p group is uniform precisely when it is a torsion-free group. A powerful Lie algebra over p-adic integers means a Lie algebra over ${\mathbb{Z}}_p$ that is free of finite rank as a module and satisfiesHere a Lie algebra over a ring is a module with an alternating bilinear Lie bracket satisfying the Jacobi identity. Finite freeness is an essential part of the lattice convention. The zero-bracket module ${\mathbb{F}}_p$ satisfies the bracket inclusion but has torsion, and its additive group is not uniform. Thus allowing arbitrary torsion modules would make the categorical assertion false.

The basic structural facts behind the construction can be seen from the power layers. Write $P_n=G^{p^n}$ with $P_0=G$. Collection for a powerful pro-p group givesFor odd $p$, the power lifting is exactly the successive-correction argument of Question 3, followed by compactness; at $p=2$ the stronger fourth-power commutator condition makes the corresponding collection corrections work. The maps between successive layers are surjective linear maps. Uniformity makes their finite dimensions equal, so these maps are isomorphisms. Comparing the first layer in which two elements differ now shows that the power map $P_n\to P_{n+1}$ is injective, while the power-set formula makes it surjective. Thus all the roots used below exist uniquely in the indicated layer. If $g_1,\dots ,g_d$ lift a basis of $G/P_1$, the images of $g_i^{p^n}$ form a basis of $P_n/P_{n+1}$. Successively choosing their coefficients modulo $p$ gives the unique ordered expressionExistence follows by lifting one layer at a time and taking a limit; uniqueness follows by comparing the first nonzero coefficient layer. In particular $[G:P_n]=p^{nd}$ and these layers form a neighbourhood basis. These are the power-layer and coordinate facts needed in the proof, rather than an assumption that an arbitrary pro-p group has unique roots.

On the underlying set of $G$, set the additive zero to $1$, the additive negative of $x$ to $x^{-1}$, and defineThe p-adic integers act through limits of integer powers in the closed cyclic subgroup generated by $x$. In the second formula the product belongs to $P_n$; in the third the group commutator belongs to $P_{2n+ϵ}$. The symbols $p^{-n}$ and $p^{-2n}$ denote the unique group roots, not unrestricted division in a group. We next justify convergence and the Lie algebra laws together.

A useful concrete tool is a complete normed group algebra containing $G$. In its completed group algebra, put $b_i=g_i-1$. Ordered-coordinate uniqueness gives unique expansions ${\sum }_{\alpha \in {\mathbb{N}}^d}{c}_{\alpha }{b}_1^{{\alpha }_1}\cdots b_d^{{\alpha }_d}$ with $c_{\alpha }\in {\mathbb{Z}}_p$. To see why, first work modulo $p$ and $P_n$: the ordered products of the $g_i$ with exponents below $p^n$ form the regular basis, and the change to the corresponding products of $g_i-1$ is triangular with diagonal entries one. Take inverse limits and then lift the coefficient digits successively in powers of $p$. Define the weightIt is a genuine separated, submultiplicative weight. Indeed reordering $b_j{b}_i$ produces a group-commutator correction in $P_{ϵ}$; the binomial expansion of a $p^{ϵ}$th power gives that correction weight at least $2ϵ$, so collection never decreases total weight. Also $v(pc)=1+v(c)$. Inverting $p$ and completing therefore gives a Banach algebra $B$ over ${\mathbb{Q}}_p$. For $g\in G$, ordered coordinates showwith value infinity at $g=1$. Thus the induced topology on $G$ is exactly its original topology. This construction supplies the ambient algebra without presupposing the uniform pro-p group and powerful Lie lattice correspondence. The weighted construction, including the case $p=2$, is described in Equivariant D-modules on rigid analytic spaces, Section 6.5.

Since $ϵ>1/(p-1)$, the p-adic logarithm and p-adic exponential converge on the relevant balls in $B$:The estimates $v_p(k!)\le k/(p-1)$ and $v_p(k)\le {\log }_{p}k$ show that term weights tend to infinity. Formal substitution is legitimate there and proves that the two maps are inverse. They preserve the leading weight. In particular $\log$ embeds the compact set $G$ homeomorphically into $B$, and $\log (g^{p^n})=p^n\log g$.

Put $a=\log x$ and $b=\log y$. Expanding the convergent Baker--Campbell--Hausdorff formula in $B$ givesThe first expansion has linear part $p^n(a+b)$ and all other terms have degree at least two in $p^{n}a,p^{n}b$. The second has leading term $p^{2n}(ab-ba)$ and all remaining terms have degree at least three. After division by the displayed powers of $p$, the extra factor of $p^n$ forces those errors to zero. The normalized expressions are logarithms of the unique roots already specified. Since $\log G$ is compact and closed in $B$, both limits belong to $\log G$. Scalar multiplication also remains in $\log G$ by continuity of powers. Consequently $\log G$ is a module over ${\mathbb{Z}}_p$, closed under the associative-algebra Lie bracket $ab-ba$. Bilinearity, alternation and the Jacobi identity follow by expanding products in the associative algebra $B$. Transporting these operations back gives exactly $L_G$ above.

The commutator-layer inclusion places every normalized bracket root in $P_{ϵ}$. Since $\log P_{ϵ}=p^{ϵ}\log G$ and this set is compact, passage to the limit proves $[L_G,L_G]\subseteq p^{ϵ}{L}_G$. Addition modulo $p{L}_G$ is the original multiplication modulo $P_1$: collection shows $(x^{p^n}{y}^{p^n}{)}^{p^{-n}}\equiv xy(\mathrm{mod}{P}_1)$, as the nonlinear errors lie at least one layer deeper. Thus $L_G/p{L}_G$ has dimension $d$, with basis $e_i=\log g_i$. Given $a\in \log G$, write its residue as ${\sum }_i{\lambda }_{0i}{e}_i$ and repeat on $(a-{\sum }_i{\lambda }_{0i}{e}_i)/p$. This iterative digit lifting converges because the remainders stay in the bounded compact set $\log G$. It gives $a={\sum }_i{\lambda }_i{e}_i$ with ${\lambda }_i\in {\mathbb{Z}}_p$. A nontrivial relation among the $e_i$ could be divided by the smallest power of $p$ among its coefficients, contradicting their independence modulo $p$. Hence $L_G$ is free of rank $d$, proving that it is a powerful Lie lattice.

Conversely, let $L$ be a powerful Lie lattice. In $L{\otimes }_{{\mathbb{Z}}_p}{\mathbb{Q}}_p$, defineThe formal Baker--Campbell--Hausdorff formula and its coefficient estimate are the algebraic ingredients used here. More precisely, the degree-$m$ component can be expressed as an integral Lie polynomial divided by a number of $p$-adic valuation at most $\lfloor (m-1)/(p-1)\rfloor$. One way to obtain this estimate is to bound the associative coefficients of $\log (\exp X\exp Y)$ and use an integral ordered basis of the free Lie algebra. The denominator bound $v_p(m!)+\lfloor {\log }_p{s}_p(m)\rfloor$, where $s_p(m)$ is the base-$p$ digit sum, is at most $\lfloor (m-1)/(p-1)\rfloor$. A precise primary reference for that denominator estimate is Smallest common denominators for the homogeneous components of the Baker-Campbell-Hausdorff series. A length-$m$ Lie bracket in $L$ lies in $p^{ϵ(m-1)}L$. Thus the degree-$m$ term belongs toThese exponents are nonnegative and tend to infinity; for $m\ge 2$ they are at least one. This proves integral convergence, continuity and $x\ast y\equiv x+y(\mathrm{mod}pL)$. Associativity follows from the formal identity $\exp (\mathrm{BCH}(X,Y))=\exp X\exp Y$ in the completed universal enveloping algebra. Substitution of three elements is justified by the same valuation estimates, so the two associative expressions agree. The identity is $0$, the inverse is $-x$, and $x^{\ast k}=kx$ because every nonlinear term involving only $x$ vanishes.

For powerfulness, formal conjugation givesThe difference $\delta =y-e^{-\mathrm{ad}x}y$ lies in $p^{ϵ}L$: its $k$th term has valuation at least $kϵ-v_p(k!)\ge ϵ$ for $k\ge 1$. The group commutator is therefore $(-y+\delta )\ast y$. Its linear term is $\delta$. Every nonlinear Lie term contains $\delta$, since it vanishes when $\delta =0$, and the extra divisibility makes all those terms lie in $p^{ϵ}L$ too. Hence $[(L,\ast ),(L,\ast )]\subseteq p^{ϵ}L$. The ideals $p^{n}L$ are open normal subgroups for $\ast$, and their finite quotients have order $p^{nd}$. The group is consequently a pro-p group. Its power sets are exactly $p^{n}L$, its lower-series indices are constantly $p^d$, and a basis of $L$ topologically generates it by the same successive digit lifting. The BCH group $(L,\ast )$ is uniform.