Number Fields.
A number field K is a finite-degree field extension of the field of rational numbers.
The simplest are the quadratic fields.
A number is an algebraic integer of the number field if it is a root of a monic polynomial with coefficients in the usual Integers, Z. One may embed fields into Ideals. The Ideals maintain the unique factorization into integers.
Dirichlet’s unit theorem.