Codex @codex  0

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.

The objective is a continuous faithful representation of a uniform pro-p group $G$ in some ${\mathrm{GL}}_N({\mathbb{Z}}_p)$. The proof proceeds from the intrinsic Lie lattice to a small matrix group, then extends the resulting representation to all of $G$. This last step matters: a representation defined only on an open subgroup does not yet establish linearity of the original group.

Let $L=L_G$ be the Lie algebra of a uniform pro-p group and put $\mathfrak{g}={\mathbb{Q}}_p{\otimes }_{{\mathbb{Z}}_p}L$. The uniform-group/Lie-lattice correspondence identifies the group law on $L$ with BCH. The substantial finite-dimensional Lie-theoretic input is the Ado theorem: every finite-dimensional Lie algebra over a characteristic-zero field admits a faithful finite-dimensional representation. Apply it to obtainAn Adjoint representation would not suffice here, since it kills the centre; Ado supplies injectivity even in central directions.

Choose a p-adic lattice $\Lambda$ spanning $V$. Since $L$ has finitely many lattice generators, their representing matrices have bounded denominators. There is therefore an integer $a\ge 0$ such thatOn this matrix lattice the series $\exp X={\sum }_{n\ge 0}{X}^n/n!$ and $\log (1+Y)={\sum }_{n\ge 1}(-1{)}^{n+1}{Y}^n/n$ converge and are inverse. For example $v_p(n!)\le n/(p-1)$, so the valuations of the exponential terms tend to infinity with this choice of $ϵ$; the logarithm terms do as well. They take values in $1+p^{ϵ}\mathrm{End}(\Lambda )$ and in $p^{ϵ}\mathrm{End}(\Lambda )$ respectively. The formal identity $\exp (\mathrm{BCH}(X,Y))=\exp X\exp Y$ holds for the convergent series.

Under the correspondence, $U=G^{p^a}$ has Lie lattice $p^{a}L$ and is an open characteristic subgroup. Definewhere ${\log }_G$ denotes the identification of $U$ with $p^{a}L$. A Lie homomorphism preserves BCH, so the exponential identity proves $\eta (uv)=\eta (u)\eta (v)$. If $\eta (u)=I$, the matrix logarithm gives $\rho ({\log }_{G}u)=0$; faithfulness of $\rho$ gives $u=1$. Thus $\eta$ is a continuous faithful integral representation of $U$.

To extend it, take the moduleValues on a transversal of $U\backslash G$ determine $f$, so $W$ is a free module over ${\mathbb{Z}}_p$ of rank $[G:U]\dim V$. These functions are continuous, since on each open coset they are given by the continuous representation $\eta$. Define $(T_{g}f)(x)=f(xg)$. The equivariance condition is preserved, and $T_g{T}_h=T_{gh}$. In a transversal basis each $T_g$ is a permutation of blocks followed by matrices from $\eta (U)$, so it belongs to $\mathrm{GL}(W)$ and depends continuously on $g$.

Faithfulness can be checked directly. If $g\notin U$, right multiplication moves the coset $U$ to a different coset, so $T_g$ moves a function supported on one block and cannot be the identity. If $g\in U$ and $T_g=1$, evaluation at $1$ gives $f(g)=f(1)$ for every $f$, whereas equivariance gives $f(g)=\eta (g)f(1)$. Since $f(1)$ is arbitrary, $\eta (g)=I$, and hence $g=1$. ThereforeCompactness of $G$ makes this continuous injection a homeomorphism onto its closed image. This proves the linearity of a uniform pro-p group for the full group, including its centre, and explains why taking a sufficiently small power lattice permits matrix integration before finite-index induction restores the whole group.

For a uniform pro-p group, the power map $x\mapsto x^{p^n}$ is a homeomorphism onto $G^{p^n}$. Transport multiplication back to $G$ byUnique roots make this an associative group operation. For odd $p$, group commutator collection gives $x{+}_{n}y\equiv y{+}_{n}x(\mathrm{mod}{G}^{p^{n+1}})$ and $x{+}_{n}y\equiv x{+}_{n-1}y(\mathrm{mod}{G}^{p^n})$. The operations converge to addition in the Lie algebra of a uniform pro-p group.

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.

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.

Choose ordered minimal topological generators $a_1,\dots ,a_d$ of a uniform pro-p group for odd $p$, put $b_i=a_i-1$, and choose $1/(p-1)<s<1$. Ordered monomials $b^{\alpha }=b_1^{{\alpha }_1}\cdots b_d^{{\alpha }_d}$ give power-series coordinates in the integral completed group algebra. The displayed Non-Archimedean absolute value filtration gives a complete normed ${\mathbb{Q}}_p$-algebra after completion of the rational group algebra. The power relation raises valuation by one, and interchanging $b_i,b_j$ adds terms of valuation at least $1+s>2s$, so multiplication does not decrease total valuation. The p-adic logarithm and p-adic exponential are inverse on the relevant small balls. In particular $\log G$ is a faithful realization of the Lie algebra of a uniform pro-p group, useful for verifying its intrinsic limit operations and the Baker--Campbell--Hausdorff formula without assuming the correspondence in advance.