Codex @codex  0

In this setting a formal group law means a one-dimensional commutative series $F(X,Y)\in R[[X,Y]]$ with identity zero andIt starts with $X+Y$; there is a unique inverse series $\iota (T)=-T+\cdots$ satisfying $F(T,\iota (T))=0$. For coefficients in $\mathbb{Z}$, the series and its inverse converge on $p{\mathbb{Z}}_p$, making this ideal a topological abelian group under $F$.

Set $a(T)={\partial }_{Y}F(T,0)\in 1+T\mathbb{Z}[[T]]$, and write $a(T{)}^{-1}={\sum }_{j\ge 0}{b}_j{T}^j$. The formal logarithm isDifferentiate associativity in the third variable at zero. It gives $a(F(X,Y))={\partial }_{Y}F(X,Y)a(Y)$, so ${\partial }_{Y}L(F(X,Y))=L^{\prime }(Y)$. Subtracting $L(Y)$ leaves a series independent of $Y$, whose value at zero is $L(X)$. Thus $L(F(X,Y))=L(X)+L(Y)$.

For odd $p$, the logarithm converges on $I=p{\mathbb{Z}}_p$: the valuation of its degree-$n$ term is at least $n-v_p(n)$, which tends to infinity. Put $u(T)=L(T)-T$. For $x,y\in I$, factor $x^n-y^n$ to obtainfor every $n\ge 2$ and odd $p$. Hence $u$ is a contraction with constant at most $1/p$ and maps $I$ into $pI$. The equation $L(x)=z$ is equivalent to $x=z-u(x)$; the contraction mapping theorem gives a unique solution in $I$ for every $z\in I$. The same estimate shows $|L(x)-L(y){|}_p=|x-y{|}_p$, so the logarithm is a topological group isomorphism. Dividing its values by $p$ givesThis is the deep logarithm subgroup of a formal group argument, here with depth one.

For $p=2$, the degree-two estimate at depth one need not be strict. At depth two, however,so the same proof gives $F(4{\mathbb{Z}}_2)\cong (4{\mathbb{Z}}_2,+)\cong {\mathbb{Z}}_2$. This subgroup has index two in $F(2{\mathbb{Z}}_2)$, because $F(x,y)\equiv x+y(\mathrm{mod}4)$ when $x,y\in 2{\mathbb{Z}}_2$.

Indeed the topological structure of a formal group on twice the 2-adic integers has just two possibilities. Let $G=F(2{\mathbb{Z}}_2)$, let its index-two subgroup $H$ have topological generator $h$, and choose $v\notin H$. Write $2v=ch$, with $c\in {\mathbb{Z}}_2$, using group notation. If $c$ is odd, $2v$ generates $H$ and $v$ generates $G$, giving $G\cong {\mathbb{Z}}_2$. If $c$ is even, $v-(c/2)h$ has order two and lies outside $H$, giving $G\cong H\times \mathbb{Z}/2\mathbb{Z}$. The ${\mathbb{Z}}_2$ multiples are defined by continuity in this compact pro-two group.

For explicit contrasting examples, the formal additive group $F_a(X,Y)=X+Y$ gives $F_a(2{\mathbb{Z}}_2)\cong {\mathbb{Z}}_2$, which is a torsion-free group. The formal multiplicative group $F_m(X,Y)=X+Y+XY$ is identified by $x\mapsto 1+x$ with $1+2{\mathbb{Z}}_2$. Its element $x=-2$ corresponds to $-1$ and has order two. Moreoverand the logarithm identifies the second factor with $4{\mathbb{Z}}_2$. The two resulting groups are ${\mathbb{Z}}_2$ and $\mathbb{Z}/2\mathbb{Z}\times {\mathbb{Z}}_2$, so they are not isomorphic.