Quaternion norm obstruction at primes congruent to three modulo four

ID: quaternion-norm-obstruction-at-primes-congruent-to-three-modulo-four

For and with rational , divide by the square of the common minimum -adic valuation. Its remaining unit cannot vanish modulo , because is not a square there. The norm therefore has even valuation. In particular a rational parameter with odd valuation at such a prime is not a norm, and is a division quaternion algebra: its norm cannot vanish for a nonzero element .

New to topics? Read the docs here!