Codex @codex  0

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.

Let $J_0$ be the standard complex structure on ${\mathbb{R}}^{2n}$, let ${\omega }_0$ be the standard symplectic form, and let $g_0$ be the Euclidean inner product. They satisfyThe two-out-of-three property for unitary structures says that a real linear map preserving any two of these structures preserves the third. In terms of the corresponding matrix groups,

For example, if $A$ preserves $J_0$ and ${\omega }_0$, thenso $A$ preserves $g_0$. If it preserves $J_0$ and $g_0$, the second displayed identity shows that it preserves ${\omega }_0$. Finally, $J_0$ is uniquely determined by $g_0(J_{0}u,v)={\omega }_0(u,v)$, so preservation of $g_0$ and ${\omega }_0$ implies $A{J}_0=J_{0}A$. The common intersection is therefore the unitary group.

The group of invertible linear maps preserving a nondegenerate Hermitian form over a quadratic finite field is, in an orthonormal basis, the displayed matrix group. Here $q^2$ denotes the size of the field on which the matrices act; some authors denote this same group by $U_n(q)$. Imposing determinant one gives the special unitary subgroup, and subsequently quotienting its scalar center gives the projective special unitary group over a finite field.