Mathlib
Number theory

Pathway XXII

KNumber fields and algebraic number theory

Finite extensions of ℚ. Rings of integers, and the class group that measures unique factorization.

  1. 01Gaussian integersℤ[i] is a square lattice in the plane. Norm N(a+bi) = a²+b² is Euclidean.
  2. 02The class groupUnique factorization can fail. The class group of ideals measures how badly.