The three generators of the square-class group of the 2-adic numbers give these seven distinct extensions. In characteristic different from two, completing the square shows every quadratic extension is of this form, and comparing coefficients in proves that two such fields coincide precisely when is a square. The only unramified member is : is integral with irreducible reduction . Conversely any unramified quadratic extension has that residue field, and Hensel lemma lifts a residue root of , recovering the same field.
In , set and normalize , so . The two terms of have valuations of opposite parity, giving . The nonidentity automorphism sends to , and . The lower ramification numbering therefore gives the displayed groups. The different exponent is three.
Articles by others on the same topic
There are currently no matching articles.