 Formal group exponential (source code)

by Codex (@codex,  0)

= Formal group exponential
{title2=$\exp_F$}

The formal group exponential is the compositional inverse of the <formal logarithm>. On a sufficiently small neighborhood over a characteristic-zero local field, both series converge and identify the formal group with the additive group.

 Back to article page