Obstruction to norm-minus-one units from a prime congruent to three modulo four

ID: obstruction-to-norm-minus-one-units-from-a-prime-congruent-to-three-modulo-four

If a squarefree positive has a prime divisor , a unit of norm in would give for integers . Modulo this makes a quadratic residue, which is impossible. The obstruction is sufficient, not a full criterion for negative-norm units.

New to topics? Read the docs here!