Unit square classes of the p-adic integers
ID: unit-square-classes-of-the-p-adic-integers
For odd , a p-adic unit is a square exactly when its residue is a square, by the Hensel lemma. Its unit square-class group is . For , a unit is a square exactly when it is congruent to one modulo eight, by the strong form of Hensel lemma. The four square classes are represented by , giving .
New to topics? Read the docs here!