Formal additive group (source code)

= Formal additive group
{title2=$\widehat{\mathbb G}_a$}

The formal additive group has law $F_a(X,Y)=X+Y$. Its multiplication-by-$n$ series is $[n]_a(X)=nX$.