Square-class group of the 2-adic numbers

ID: square-class-group-of-the-2-adic-numbers

An odd -adic unit is a square exactly when it is congruent to modulo . Valuation parity and the four odd residue classes modulo therefore give
with generators represented by , , and .

New to topics? Read the docs here!