Unit decomposition of the 2-adic Gaussian field
ID: unit-decomposition-of-the-2-adic-gaussian-field
The Eisenstein polynomial of is , so has residue field and ramification index two. The four roots have distinct cosets modulo , which has index four by the successive quotients of principal-unit groups. The logarithm isomorphism on deep principal units gives . Hence these four roots split the full unit group, and are all its torsion.
New to topics? Read the docs here!