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 .