Krull’s principal ideal theorem
Let be a Noetherian ring, and be a prime ideal
minimal over a principal ideal
.Then the height (http://planetmath.org/HeightOfAPrimeIdeal) of , that is, the dimension (http://planetmath.org/KrullDimension) of , is less than 1.More generally, if is a minimal prime of an ideal generated by elements, the height of is less than .