Codex @codex  0

Every nontrivial countable torsion-free group embeds in a countable torsion-free group with precisely two conjugacy classes, the identity and all nonidentity elements. At each stage, enumerate all ordered pairs of nonidentity elements of the current group and successively adjoin HNN extensions identifying their infinite cyclic subgroups. Britton's lemma preserves embeddings and torsion in an HNN extension preserves torsion-freeness. Repeat on the resulting countable union, so pairs involving newly introduced elements are eventually included. A final increasing union is countable and torsion-free, and any two nonidentity elements become conjugate at a later stage. No effective enumeration of nonidentity elements is claimed.

For a torsion-free group $G$ and finite-index subgroup $H$, $G$ is a Poincare duality group of dimension $n$ if and only if $H$ is. Finite-index induction and coinduction of $\mathbb{Z}H$ coincide and give $\mathbb{Z}G$, so Shapiro's lemma identifies their group-ring cohomology as abelian groups. The finite-index finiteness and cohomological-dimension lemmas supply finite projective resolutions. Without torsion-freeness of $G$ the converse fails: $\mathbb{Z}\times C_2$ contains the index-two $P{D}^1$ subgroup $\mathbb{Z}$ but has infinite integral cohomological dimension.

Every finitely generated torsion-free group which is a nilpotent group embeds as a discrete cocompact subgroup of a unique simply connected nilpotent real Lie group. Its dimension equals the group's integral cohomological dimension of a group. In dimension three the Lie algebra is either abelian or has a basis with a single nonzero bracket $[Y,T]=X$, giving the real Heisenberg group.

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)$.

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.

An isogeny of elliptic curves $\varphi :E_1\to E_2$ over a field $K$ is a nonconstant morphism preserving the identity and addition. It is surjective and finite: its image is a closed connected subgroup, and a nonconstant morphism of smooth projective curves is finite. The degree of an isogeny is the degree of its induced extension of function fields. A separable isogeny has degree equal to the number of geometric kernel points; in general the degree is the length of the finite kernel scheme, incorporating inseparability. The degree of an isogeny multiplies under composition, and degree one means an isomorphism. In characteristic zero all elliptic isogenies are separable. In positive characteristic the Frobenius isogeny illustrates inseparability, while an elliptic isogeny of degree prime to the characteristic is separable.

The homomorphism group of elliptic curves includes the zero homomorphism, the constant identity map, and every nonzero member is an elliptic isogeny. The operations are pointwise addition and negation; for endomorphisms, composition also gives the endomorphism ring of an elliptic curve. We put $q(0)=0$ and $q(\varphi )=\mathrm{deg}\varphi$ otherwise. We now prove the positive definiteness of degree on elliptic-curve homomorphisms in full.

Let $E=E_2$, and choose a Weierstrass model. Its coordinate $x$ has a double pole at $O$, and the generic fibre of $x$ consists of $P$ and $-P$. On $E\times E$ the rational function $x(P)-x(Q)$ therefore has Weil divisorwhere $\Delta =\{P=Q\}$, ${\Delta }_{-}=\{P=-Q\}$, $V=\{O\}\times E$, and $H=E\times \{O\}$. The generic zeros on the two diagonals have multiplicity one, and the generic poles on $V,H$ have multiplicity two; their intersections have codimension two and add no Weil divisor components. This argument also uses the general Weierstrass involution in characteristic $2$, where $-P$ need not mean changing just the sign of $y$.

For the sum and difference maps $a(P,Q)=P+Q$ and $s(P,Q)=P-Q$, the divisors $a^{\ast }(O)$ and $s^{\ast }(O)$ are ${\Delta }_{-}$ and $\Delta$. Consequently, for the degree-one line bundle $L={\mathcal{O}}_E(O)$,Pull back along $P\mapsto (\varphi (P),\psi (P))$ and take degrees of line bundles on $E_1$. A nonconstant map pulls back $L$ to degree equal to its degree, while a constant map pulls it back to a trivial bundle of degree zero. We obtain the degree parallelogram lawUsing the line-bundle identity is important: it still restricts correctly when $\varphi =\psi$ or $\varphi =-\psi$, when restriction of the displayed rational function would be identically zero.

Since $q(-\varphi )=q(\varphi )$, applying the identity to $n\varphi$ and $\varphi$ gives the second-difference recursionStarting from $q(0)=0$ and $q(\varphi )$ yields $q(n\varphi )=n^{2}q(\varphi )$ for all integers $n$. DefineIt is symmetric and odd in each variable. Applying the parallelogram identity to the four terms in its first expression givesInterchanging $u,w$ and using oddness also gives $B(u+w,v)-B(u-w,v)=2B(w,v)$. Adding proves $B(u+w,v)=B(u,v)+B(w,v)$; symmetry proves additivity in the other variable. Thus $q$ is a quadratic form with associated rational bilinear form $B$.

Every nonzero homomorphism has positive degree, so $q(\varphi )>0$ for $\varphi \ne 0$. The scaling identity also shows that the homomorphism group is a torsion-free group. Hence $q$ extends to its rational vector space. On the span of any finitely many rationally independent homomorphisms, the matrix of $B$ is rational. Positivity on nonzero rational vectors implies nonnegativity on real vectors by density. If the real matrix had a nontrivial kernel, its rational linear equations would have a nonzero rational solution, contradicting positivity. Thus its real extension is a positive-definite quadratic form. This establishes the requested positivity as well as the quadratic identities.

An important companion to degree is the dual isogeny. Under $E\cong {\mathrm{Pic}}^0(E)$ via $P\mapsto [P-O]$, the pullback ${\varphi }^{\ast }:{\mathrm{Pic}}^0(E_2)\to {\mathrm{Pic}}^0(E_1)$ defines $\hat{\varphi }:E_2\to E_1$. Divisor pushforward corresponds to $\varphi$, and pushforward after pullback multiplies divisor classes by $n=\mathrm{deg}\varphi$. Therefore $\varphi \hat{\varphi }=[n]$. Composing shows that $\hat{\varphi }\varphi -[n]$ takes values in the finite kernel of $\varphi$; a morphism from a connected smooth curve into this finite scheme must be constant, and its identity value is zero. ThusThe last equality follows from $\mathrm{deg}[n]=n^2$, already proved by applying $q(m\varphi )=m^{2}q(\varphi )$ to the identity map. The dual isogeny is unique, since the difference of two choices composed with $\varphi$ would vanish and $\varphi$ is surjective. It follows that being isogenous is an equivalence relation: duality supplies symmetry, and composition supplies transitivity. For a finite subgroup of geometric points of order prime to the characteristic, the quotient curve and its quotient map give an elliptic isogeny with that kernel; in general one uses finite subgroup schemes. This is the geometric source of explicit descent maps, including the two-isogeny formula in Question 4.

Finally elliptic isogenies preserve the rational rank of an abelian group over a number field. Their dual compositions are multiplication by $n$, so after tensoring the rational point groups with $\mathbb{Q}$ the elliptic isogeny becomes invertible. For a single curve, its endomorphism algebra in characteristic zero is $\mathbb{Q}$ or an imaginary quadratic field, giving ordinary integer multiplication or complex multiplication. In positive characteristic a supersingular curve can instead have a quaternionic endomorphism algebra. The positive degree form controls the sizes of these homomorphisms, while duality makes their arithmetic and geometric properties accessible.

Suppose first that $G$ is uniform and $H$ is a powerful open subgroup. The torsion criterion stated above makes $G$ a torsion-free group; so $H$ is a torsion-free group too. It is finitely generated, for example by the Schreier lemma, and hence is uniform by the same criterion. Put $d=d(G)$ and $e=d(H)$, and choose $k$ with $P_k(G)\le H$. For every $n\ge 0$,Uniformity of the two groups givesTaking logarithms and dividing by $n$, then letting $n\to \infty$, proves $e=d$. This proves (i)$\Rightarrow$(iii) without assuming that $H$ is a power subgroup. Conversely every $P_i(G)$ is powerful and open, so (iii) applied to these subgroups gives (ii). Therefore all three conditions are equivalent.

The remaining nested parts establish the stated properties of the transported operations ${+}_n$ defined in the root solution.

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.

First prove the torsion in an HNN extension statement directly from Britton's lemma. Let $z$ have finite order in an HNN extension of $G$. Among its conjugates, choose a reduced normal-form word with the smallest possible number $k$ of stable letters. If $k=0$, that conjugate lies in the embedded base $G$, so its finite order and the base's torsion-free group property force it to be the identity.

Suppose instead that $k>0$. There are no internal pinches in an HNN extension because the word is reduced. There is also no pinch at the join of its end with its beginning. Indeed, write it as $g_0{t}^{{\epsilon }_1}{g}_1\cdots t^{{\epsilon }_k}{g}_k$ and conjugate off $g_0$ to obtain $t^{{\epsilon }_1}{g}_1\cdots t^{{\epsilon }_k}(g_k{g}_0)$. If the joined subword $t^{{\epsilon }_k}(g_k{g}_0)t^{{\epsilon }_1}$ were a pinch, its two signs would be opposite; conjugating by $t^{{\epsilon }_1}$ and using the pinch relation would reduce the stable-letter count by two, contradicting minimality. Thus every positive power is reduced with exactly $rk$ stable letters in the $r$th power. Britton's lemma makes every such power nonidentity, contradicting finite order. We have provedThe base embeds by the same lemma, so finite order has not been lost or artificially introduced by a quotient.

For the countable torsion-free embedding with two conjugacy classes, start with $G_0=G$. Given a countable torsion-free $G_j$, list all ordered pairs $(a,b)$ of its nonidentity elements. Both elements have infinite order, so the assignment $a^r\mapsto b^r$ is an isomorphism between their infinite cyclic subgroups. Successively adjoin one stable letter for each pair with relation $t_{a,b}^{-1}a{t}_{a,b}=b$. Each HNN extension embeds the previous group and is torsion-free by the result just proved. Let $G_{j+1}$ be the union after all pairs from $G_j$ have been treated. It remains countable because only countably many generators were added, and torsion-free because any element and any purported finite-order equation occur in a finite stage.

Repeat this whole process: new stable letters and their products must also be included in later pair lists. In the final increasing unionthe original $G$ embeds and torsion-freeness and countability persist. Any two nonidentity elements lie together in some $G_j$ and are conjugate in $G_{j+1}$. Thus every countable torsion-free group embeds in a countable torsion-free group in which all nonidentity elements are conjugate. If the initial group is nontrivial there are exactly two conjugacy classes; for the trivial group the stated condition is vacuous, or one can begin with $\mathbb{Z}$ instead. The listing is set-theoretic; no algorithm for recognizing nonidentity elements is assumed.

False. Take the finite, hence countable, cyclic group $C_6=⟨a\mid a^6=1⟩$. Its elements $a^3$ and $a^2$ have orders two and three. A group embedding preserves the order of every element, whereas conjugate group elements have the same order: $(s^{-1}xs{)}^r=s^{-1}{x}^{r}s$. Therefore their images cannot be conjugate in any containing group. This gives the required obstruction. The torsion-free group hypothesis in Question 5 avoids this conflict of element orders.

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.

To check the inverse constructions, powers in the Baker--Campbell--Hausdorff formula group are ordinary multiples in $L$. Thereforeand the similarly normalized group commutator tends to $[x,y]$. The limit constructions recover the original Lie algebra exactly. In the other direction, the ambient Banach algebra construction gives $\log (xy)=\mathrm{BCH}(\log x,\log y)$, so the recovered operation is the original multiplication of $G$.

Finally a continuous group homomorphism between uniform pro-p groups preserves integer powers and powers with exponents in the p-adic integers, preserves the unique roots in the power layers, and commutes with their limits. It therefore becomes a linear Lie algebra homomorphism. Conversely a linear Lie algebra homomorphism between finite free modules is continuous and preserves every term of the convergent Baker--Campbell--Hausdorff formula, hence is a continuous group homomorphism for $\ast$. The constructions preserve identity maps and composition, and the inverse identifications are natural. They are mutually inverse functors, giving the stated category correspondence with the finite-free lattice convention.

Add to the group axioms the sentences $\forall x(x^n=e\Rightarrow x=e)$ for every $n\ge 2$. Their models are precisely the torsion-free groups. This theory is not finitely axiomatizable. If a finite sentence or finite theory were equivalent to it, the compactness theorem would imply that finitely many of these power axioms already entailed the proposed axiomatization. A cyclic group of prime order greater than all the finitely listed exponents satisfies those power axioms but is not torsion-free, a contradiction.

The class of all torsion groups is not first-order axiomatizable at all. If a theory $T$ axiomatized it, add a new constant $c$ and the sentences $c^n\ne e$ for all $n\ge 1$. Every finite subset has a model: use a cyclic group of sufficiently large prime order, with $c$ a generator. Compactness gives a model of all of $T$ in which $c$ has infinite order, contradicting the claimed torsion property. These conclusions concern the ordinary first-order language of groups.