Krull's principal ideal theorem

In commutative algebra, Krull's principal ideal theorem, named after Wolfgang Krull (1899–1971), gives a bound on the height of a principal ideal in a commutative Noetherian ring. The theorem is sometimes referred to by its German name, Krulls Hauptidealsatz (from Haupt- ("Principal") + ideal + Satz ("theorem")).

Source: Wikipedia — Krull's principal ideal theorem (CC BY-SA 4.0)