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.
Inside an algebraic closure, choose compatible roots . The fields exhaust all finite extensions by finite extensions of the complex Laurent series field. Restriction from a degree- field to a degree- field for sends an exponent modulo to its reduction modulo . The absolute Galois group is their inverse limit, namely the profinite completion of . This is a procyclic group, rather than the direct-limit torsion group of all complex roots of unity.
Articles by others on the same topic
There are currently no matching articles.