Exponential isomorphism between the additive and multiplicative formal groups
= Exponential isomorphism between the additive and multiplicative formal groups
Over an <algebra over a field> whose scalar field is $\mathbb Q$, the series $\exp(X)-1$ defines an isomorphism from the <formal additive group> to the <formal multiplicative group>, with inverse $\log(1+X)$.