Page "Krull's principal ideal theorem" Paragraph 0

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 Noetherian ring.

The theorem is sometimes referred to by its German name, Krulls Hauptidealsatz ( Satz meaning " theorem ").