Quadratic Hilbert symbol ($(a,b{)}_v\in \{1,-1\}$)

The symbol is one exactly when $b$ is a norm from $K_v(\sqrt{a})$, and is always one if $a$ is square. Equivalently the conic $z^2=a{x}^2+b{y}^2$ is isotropic. This proves symmetry. The cyclic local norm index makes the norm subgroup have index two for nonsquare $a$, proving bilinearity and nondegeneracy on local square classes. Also $(a,-a{)}_v=1$ and $(a,a{)}_v=(a,-1{)}_v$.

For nonzero $a,b$ in a number field, the product of their quadratic Hilbert symbols over all places is one. All but finitely many symbols are one. Over $\mathbb{Q}$, this is equivalent to quadratic reciprocity with its supplementary laws. It supplies the compatibility relation between the local invariants of a global quadratic form.