Algebraic Number Theory
A standard graduate course with proofs. A natural bridge from fields and Galois theory to arithmetic of number fields.
Unique factorization of elements can fail in number fields, while ideals retain a more stable factorization theory. Milne's introductory notes connect rings of integers, discriminants and Dedekind domains to this change of viewpoint. His class-field notes pursue a later question about abelian extensions. Treat that second work as an advanced continuation requiring local and global foundations, with a substantial distance between the two starting points.
Algebraic Number Theory — James S. Milne. Read chapter 2, Rings of Integers, especially norms, traces, discriminants and finding the ring of integers; chapter 3, Dedekind Domains; Factorization, especially ideal factorization, the class group and finding factorizations; then chapter 4, The Finiteness of the Class Number, for lattices and bounds.
Find an integral basis in a quadratic field and compute its discriminant, comparing it with the basis you might first guess. Factor a small rational prime into ideals and check the ramification and residue degrees. Distinguish an ideal being principal from an element factoring uniquely. Use a lattice bound to make a class-group calculation finite. Keep localization and valuation examples nearby before beginning a local or global reciprocity argument.
Compute discriminants and ideal factorizations before advanced arithmetic.
Read chapter 2, Rings of Integers, especially norms, traces, discriminants and finding the ring of integers; chapter 3, Dedekind Domains; Factorization, especially ideal factorization, the class group and finding factorizations; then chapter 4, The Finiteness of the Class Number, for lattices and bounds.
Source · Checked 2026-10-16
Pursue abelian extensions after number-field and local arithmetic foundations.
Use the notes' prerequisite discussion to choose a local or global route; no fresh chapter range is asserted.
Source · Checked 2026-10-17
Number-field exercises with author solution sketches. Chapter 2 exercises, printed page 44, and chapter 3 exercises, page 67. Appendix A begins on printed page 153; entries use chapter-exercise labels such as 2-1.. Public chapter exercises and Appendix A Solutions to the Exercises are present. Sampled entries include hints and sketches; complete worked coverage of every exercise was not audited.
Try a proof or calculation before opening the hint. These solutions address the checks below, not the exercises in the linked textbooks.
In Z[i], factor the ideals (5) and (2), identify ramification and residue degrees, and justify the factorizations with norms.
Factor the rational integers as Gaussian integers. Show the quotients by the proposed prime generators are fields, rather than inferring primality solely from a drawing.
In , , so as a product of principal ideals. The quotient maps and to have kernels and respectively. For example, modulo , so reducing any Gaussian integer gives its stated residue; the same argument applies to . Hence both ideals are prime of norm , with residue degree . They are distinct: the second quotient map sends to , so . Both exponents are , so neither is ramified over . Their norms multiply to .
Since and is a unit, . The map to has kernel , so this is a prime ideal of norm , residue degree and ramification index . Its squared norm is . The equalities of elements up to units establish the ideal factorizations; norms provide independent size checks.
If this was the sticking point:
Already comfortable with this? Skip quadratic-field review if you can determine the full ring of integers rather than just an order. Skip ideal-factorization review if you can do the Gaussian example and state the role of Dedekind domains; class-group and local-field study remain separate gaps to assess.
Review the prerequisites · Compare the full subject collection
A standard graduate course with proofs. A natural bridge from fields and Galois theory to arithmetic of number fields.
A detailed advanced continuation of algebraic number theory. Read after local and global number-field foundations, not immediately after elementary congruences.
Develops lattices and quadratic-form arithmetic. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Studies analysis over nonarchimedean fields. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Applies cohomological methods to classical algebraic groups. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.
Graduate course notes on number fields, local fields and class-field-theoretic methods. The linked collection provides individual lecture PDFs.
Studies local fields, ramification and local class field theory through cohomological methods. Start after number fields and discrete valuations.
An algebra-first approach to rings of integers and ideal theory with many exercises. Suitable before a more local or adelic treatment.
A classical arithmetic reference connecting algebraic and local methods. Compare terminology with modern introductory number-field courses.
Develops reciprocity from abelian extensions of the rationals through cohomology, local fields and adeles.
Interweaves rings of integers and ideals with Dirichlet series and prime distribution; the author identifies this as a developing draft.
A long course on Dedekind domains, number fields, ramification and local/global arithmetic.
Connects p-adic numbers and quadratic forms with curves, divisors, Riemann–Roch and the Mordell–Weil theorem.
Develops arithmetic over finite-field polynomial rings and function fields, then valuations, divisors, Riemann–Roch and the Weil conjectures for curves.
Studies associative and quaternion algebras, quadratic forms, integral structures and local/global classification. Chapter 6 is incomplete; announced chapters 7–8 have no text links.
Develops nonarchimedean differential modules and their analytic structure.
Develops local and global duality in Galois, étale and flat cohomology.
A specialized arithmetic course on higher-degree forms and related local questions. Study field and valuation foundations before its arithmetic constructions.
Develops units, class groups, completed group rings and arithmetic in infinite p-adic towers.
Explains p-adic integration for rational points on higher-genus curves, with examples and a bad-reduction appendix.