Finite extensions of the complex Laurent series field

ID: finite-extensions-of-the-complex-laurent-series-field

A finite extension of the complete discretely valued field has residue field , hence is totally ramified. If is its uniformizer, write . A root of the residue of lifts by Hensel lemma to an th root of , since the residue characteristic is zero. Then satisfies . Distinct valuations modulo make linearly independent over the base, so . Expanding in with constant coefficients identifies it with . Its automorphisms are , giving a cyclic Galois group.

New to topics? Read the docs here!