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 .
Articles by others on the same topic
There are currently no matching articles.