= Solution
A one-dimensional commutative <formal group law> over a ring $R$ is a power series $F(X,Y)\in R[[X,Y]]$ satisfying $F(X,0)=X$, commutativity, and associativity. A morphism $f:F\to G$ is a series $f(T)\in TR[[T]]$ satisfying
$$
f(F(X,Y))=G(f(X),f(Y)).
$$
Express the isogeny of part b in the formal coordinates of part d and set
$$
f(t)=-\frac{X(t,w(t))}{Y(t,w(t))}.
$$
Part c shows that points approaching $O$ map to points approaching $O'$, so $f(t)\in tk[[t]]$. Since $\phi$ is a group homomorphism, applying the parameter $t'$ to $\phi(P+Q)=\phi(P)+\phi(Q)$ gives
$$
f(F_E(t_1,t_2))=F_{E'}(f(t_1),f(t_2)).
$$
Thus $f$ is the <formal-group morphism induced by an isogeny> $\widehat E\to\widehat{E'}$.
Back to article page
