The study of ideal theory.
A branch of algebraic number theory that studies abelian extensions of number fields.