Height (ring theory)

From formulasearchengine
Jump to navigation Jump to search

{{ safesubst:#invoke:Unsubst||$N=Merge to |date=__DATE__ |$B= Template:MboxTemplate:DMCTemplate:Merge partner }} In commutative algebra, the height (also called codimension or rank) of a prime ideal in a ring is the number of strict inclusions in the longest chain of prime ideals contained in .[1] In other words, it is the Krull dimension of the localization of R at . More generally, the height of an ideal I is the infimum of the heights of all prime ideals containing I. In the language of algebraic geometry, this is the codimension of the subvariety of Spec() corresponding to I.[2]

It is not true that every maximal chain of prime ideals with common endpoints has the same length; the first counterexample was found by Masayoshi Nagata. The existence of such an ideal is usually considered pathological and is ruled out by an assumption that the ring is catenary.

Many conditions on rings impose conditions on the heights of certain ideals or on all ideals of certain heights. Some notable conditions are:

In a Noetherian ring, Krull's height theorem says that the height of an ideal generated by n elements is no greater than n.


  1. Matsumura, Hideyuki: "Commutative Ring Theory", page 30–31, 1989
  2. Matsumura, Hideyuki: "Commutative Ring Theory", page 30–31, 1989
  3. Hartshorne,Robin:"Algebraic Geometry", page 7,1977


|CitationClass=citation }}