A morphism of one-dimensional formal group laws over a ring is an isomorphism when is a unit. Recursive coefficient comparison constructs its compositional inverse, and the morphism identity shows that this inverse is also a formal-group morphism.
Articles by others on the same topic
There are currently no matching articles.