Height of an ideal
The minimum of the heights of the prime ideals containing the ideal. The height of a prime ideal in a ring is the largest number (or if such a number does not exist) such that there exists a chain of different prime ideals
The co-height of a prime ideal is defined as the largest for which there exists a chain of prime ideals
In other words,
where dim denotes the dimension of the corresponding Krull ring. The height of a prime ideal is equal to the codimension of the variety defined by the ideal, while the co-height equals the dimension of this variety. The height and the co-height of a prime ideal are connected by the inequality
which becomes an equality if, for example, is a local Cohen–Macaulay ring.
The prime ideals of height zero are the minimal prime ideals. The existence of prime ideals of height one in Noetherian integral domains is established by the principal ideal theorem: The height of a non-zero principal ideal is one (cf. Krull ring). A more general result — Krull's theorem — interconnects the height with the number of generators of the ideal: In a Noetherian ring the height of an ideal generated by elements is not larger than , and conversely: A prime ideal of height is the smallest of all prime ideals containing some elements. In particular, any ideal in a Noetherian ring has finite height; this is not true of the co-height .
|||W. Krull, "Primidealketten in allgemeinen Ringbereichen" , Berlin-Leipzig (1928)|
|||M. Nagata, "Local rings" , Interscience (1962)|
|||O. Zariski, P. Samuel, "Commutative algebra" , 1 , Springer (1975)|
|||J.-P. Serre, "Algèbre locale. Multiplicités" , Lect. notes in math. , 11 , Springer (1965)|
Height of an ideal. V.I. Danilov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Height_of_an_ideal&oldid=14422