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!