Finite p-group embedding in the Nottingham group
ID: finite-p-group-embedding-in-the-nottingham-group
Realize a finite p-group as the Galois group of a totally ramified extension , using Artin-Schreier embedding problems over a characteristic-p field. A uniformizer of gives : every element has a unique convergent Laurent expansion with coefficients in the residue field. An automorphism has , and defines a homomorphism . Its image is trivial because is a -power and . Thus the faithful Galois action lies in the Nottingham group, embedding .
New to topics? Read the docs here!