e/Krull's principal ideal theorem

Information
has gloss	eng: 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.
lexicalization	eng: Krull's principal ideal theorem
instance of	e/Ideal (ring)