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