 Invariant differential of a formal group law

For a one-dimensional formal group law, write $f(T)={\partial }_{Y}F(T,0)$. Its invariant differential is $dT/f(T)$. Differentiating associativity gives ${\partial }_{Y}F(X,Y)f(Y)=f(F(X,Y))$, which expresses invariance under translation. In characteristic zero, integrating this differential constructs the formal logarithm.