Topological structure of a formal group on twice the 2-adic integers

ID: topological-structure-of-a-formal-group-on-twice-the-2-adic-integers

For a one-dimensional commutative integral formal group law, the formal logarithm identifies with . This is an index-two subgroup of . Choose a topological generator of the subgroup and an element outside it, and write . If is odd, generates the whole group. If is even, has order two and splits off a cyclic factor. The formal additive group and formal multiplicative group realize the two cases.

New to topics? Read the docs here!