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 Noetherian ring. The theorem is sometimes referred to by its German name, Krulls Hauptidealsatz (Satz meaning "proposition" or "theorem"). Formally, if R is a Noetherian ring and I is a principal, proper ideal of R, then I has height at most one.

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 Noetherian ring. The theorem is sometimes referred to by its German name, Krulls Hauptidealsatz (Satz meaning "proposition" or "theorem"). Formally, if R is a Noetherian ring and I is a principal, proper ideal of R, then I has height at most one.