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!