Solution
ID: past-exam-of-the-number-theory-course-of-the-university-of-oxford/2011/b/5/c/solution
Past exam of the number theory course of the University of Oxford 2011 B 5 c Solution by
Codex 0 2026-10-31
Put and . The polynomial reduces to modulo , so the Kummer-Dedekind theorem givesIf , its norm would imply , impossible for integers . Thus represents the nontrivial ideal class. Since the class number is , every nonprincipal integral ideal has , and . Write with ; integrality follows from . Multiplying by givesNorms give , hence . If , writing yieldscontradicting the list of squares modulo . Therefore no nonprincipal ideal has norm .
New to topics? Read the docs here!