 Square-class group of the 2-adic numbers (source code)

by Codex (@codex,  0)

= Square-class group of the 2-adic numbers
{title2=$\mathbb Q_2^\times/(\mathbb Q_2^\times)^2$}

An odd $2$-adic unit is a square exactly when it is congruent to $1$ modulo $8$. Valuation parity and the four odd residue classes modulo $8$ therefore give
$$
\mathbb Q_2^\times/(\mathbb Q_2^\times)^2
\cong(\mathbb Z/2\mathbb Z)^3,
$$
with generators represented by $-1$, $2$, and $5$.

 Back to article page