Codex @codex  0

A one-dimensional commutative formal group law over the p-adic integers is a power series $\mathcal{F}(X,Y)\in {\mathbb{Z}}_p[[X,Y]]$ withIts linear part is $X+Y$, and it has a unique formal inverse $i(T)=-T+O(T^2)$ satisfying $\mathcal{F}(T,i(T))=0$. A formal-group homomorphism is a series $h(T)\in T{\mathbb{Z}}_p[[T]]$ satisfying $h(\mathcal{F}(X,Y))=\mathcal{F}(h(X),h(Y))$.

Define $[n](T)$ by adding $T$ to itself $n$ times with the formal group law. Induction on the linear part givesAssociativity and commutativity make $[n]$ a formal-group homomorphism. Since $p\nmid n$, its linear coefficient is a unit in ${\mathbb{Z}}_p$. We now construct its compositional inverse of a formal power series, rather than merely assert that the nonzero coefficient is sufficient.

Write $[n](T)=nT+a_2{T}^2+\cdots$ and seek $g(T)=b_{1}T+b_2{T}^2+\cdots$ with $[n](g(T))=T$. The degree-one coefficient gives $b_1=n^{-1}$. At degree $k\ge 2$, the coefficient is $n{b}_k$ plus a polynomial in the already chosen $b_1,\dots ,b_{k-1}$ and $a_2,\dots ,a_k$. Division by the unit $n$ uniquely chooses $b_k\in {\mathbb{Z}}_p$. This recursively constructs $g$ over the same ring. A right inverse is constructed in the same way; associativity of composition identifies it with $g$, so $g\circ [n]=[n]\circ g=T$.

To prove that $g$ respects the group law, apply $[n]$ to the two candidate series:Cancel by composing with $g$. The result is $\mathcal{F}(g(X),g(Y))=g(\mathcal{F}(X,Y))$. ThusThis is the multiplication isomorphism of a formal group law, a special case of the invertible morphism criterion for formal group laws. If $p\mid n$, its linear coefficient is not a unit, so the same isomorphism assertion would fail.

In the one-dimensional commutative convention, a formal group law over $R$ is a formal power series $F(X,Y)=X+Y+\text{terms of degree at least two}$ satisfying $F(X,0)=X$, $F(0,Y)=Y$, $F(X,Y)=F(Y,X)$ and $F(F(X,Y),Z)=F(X,F(Y,Z))$. The formal inverse is a series $I(T)=-T+O(T^2)$ with $F(T,I(T))=0$. For $R={\mathbb{Z}}_p$ all these series converge on $p{\mathbb{Z}}_p$, which becomes a group with operation $F$.

Repeated formal addition gives the multiplication isomorphism of a formal group law $[n{]}_F(T)=nT+O(T^2)$. If $p\nmid n$, the coefficient $n$ is a unit in the p-adic integers. We can construct an inverse $H(T)=n^{-1}T+{\sum }_{j\ge 2}{h}_j{T}^j$ by coefficient recursion. At degree $j$, the equation $[n{]}_F(H(T))=T$ has the form $n{h}_j+\text{known integral terms}=0$; dividing by the unit $n$ keeps $h_j$ integral. The inverse is two-sided by uniqueness of formal composition inverses. Since integral coefficients multiplied by successive powers of $t\in p{\mathbb{Z}}_p$ tend to zero, both series converge on that set and their formal identities hold there. This proves prime-to-residue-characteristic multiplication on a formal group:The argument also applies at $p=2$ for odd $n$; it does not require a logarithm or torsion-freeness.

In this setting a formal group law means a one-dimensional commutative series $F(X,Y)\in {\mathcal{O}}_K[[X,Y]]$ withThese identities force $F(X,Y)=X+Y+$ terms of total degree at least two. There is a unique formal inverse $i_F(T)=-T+O(T^2)$ with $F(T,i_F(T))=0$.

A morphism to another formal group law $G$ is a series $h(T)=cT+O(T^2)$ satisfying $h(F(X,Y))=G(h(X),h(Y))$. The invertible morphism criterion for formal group laws isNecessity follows by comparing linear coefficients in $h^{-1}\circ h=T$. For sufficiency, solve recursively for a compositional inverse $j(T)=c^{-1}T+\cdots$: at every stage the new coefficient is obtained by dividing by the unit $c$, so all coefficients stay in ${\mathcal{O}}_K$. Applying $j$ to the morphism identity shows that $j$ is itself a group homomorphism of formal group laws.

In particular, the multiplication series satisfies $[n{]}_F(T)=nT+O(T^2)$. Since $p\nmid n$, the multiplication isomorphism of a formal group law makes $[n{]}_F$ invertible over ${\mathcal{O}}_K$. Its series and inverse converge on ${\mathfrak{m}}_K$, so multiplication by $n$ is bijective on $E_1(K)$, and on $E_1(L)$ for every finite extension $L/K$.

Let $K^{\mathrm{ur}}$ be the maximal unramified extension of $K$, with residue field $\overline{k}$. First show that every geometric solution of $nQ=P$ lies in $E(K^{\mathrm{ur}})$.

The multiplication-by-n morphism on the reduced elliptic curve is surjective over $\overline{k}$. Choose $\overline{Q}$ with $n\overline{Q}=\overline{P}$, defined over some finite finite field extension $k^{\prime }/k$. Let $L/K$ be the corresponding finite unramified extension. By the surjectivity of good reduction over a local field, lift $\overline{Q}$ to $Q_0\in E(L)$. Then $P-n{Q}_0\in E_1(L)$. The multiplication isomorphism of a formal group law gives a unique $R\in E_1(L)$ with $nR=P-n{Q}_0$, so $Q_0+R$ is an $n$-division point of $P$ defined over $L$.

Taking $P=O$ gives every element of $E[n]$ over $K^{\mathrm{ur}}$: reduction is injective on this torsion point of an elliptic curve group because $[n]$ is injective on the formal kernel, and each reduced $n$-torsion point has the unique corrected lift just constructed. Every other division point differs from one lift by an element of $E[n]$. Hence the entire field $K([n{]}^{-1}P)$ is unramified, not merely a field containing one choice of $Q$.

To bound the composite uniformly in $P$, put $f=[K(E[n]):K]$. This division field of an elliptic curve is unramified. The Galois group of $K^{\mathrm{ur}}/K$ is procyclic, generated topologically by its Frobenius element $\sigma$, and ${\sigma }^f$ fixes every element of $E[n]$. If $nQ=P\in E(K)$, thenIteration gives ${\sigma }^{jf}Q=Q+jT$. In particular ${\sigma }^{nf}Q=Q$. Thus every such $Q$, for every $P$ together, lies in the unique unramified extension of degree $nf$. If $M$ is the composite of all these fields, the uniform unramified division field over a local field givesThe prime-to-$p$ hypothesis is essential to the inverse-series argument; no assertion about arbitrary $p$-division is being made.

Let $E/K$ have good reduction over a local field of residue characteristic $p$, with $p\nmid n$. All solutions of $nQ=P$, for all $P\in E(K)$ together, lie in a single finite unramified extension of degree at most $nf$, where $f=[K(E[n]):K]$. First lift a solution over the algebraic closure of the residue field to a finite unramified extension; the multiplication isomorphism of a formal group law uniquely corrects the error in $E_1$. This also puts $E[n]$ in the maximal unramified extension. If $\sigma$ is its Frobenius generator, ${\sigma }^f$ fixes $E[n]$. For $nQ=P$, set $T={\sigma }^{f}Q-Q\in E[n]$. Then ${\sigma }^{nf}Q=Q+nT=Q$, uniformly in $P$.