Height (ring theory)

Height (ring theory)

In commutative algebra, the "height" of an prime ideal " mathfrak{p} " in a ring "R" is the number of strict inclusions in the longest chain of prime ideals contained in " mathfrak{p} " [Matsumura,Hideyuki:"Commutative Ring Theory",page 30-31,1989 ] . Then 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(R) corresponding to I [Matsumura,Hideyuki:"Commutative Ring Theory",page 30-31,1989 ] .

It is not true that every maximal chain of prime ideals contained in I 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:

*A ring is catenary if and only if for every two prime ideals " mathfrak{p} " ⊆ " mathfrak{q} ", every saturated chain of strict inclusions mathfrak{p}= mathfrak{p}_{1} subsetneq mathfrak{p}_{2} cdots subsetneq mathfrak{p}_{h}=mathfrak{q} has the same length " h ".
*A ring is universally catenary if and only if any finitely generated algebra over it is catenary.
*A local ring is Cohen-Macaulay if and only if for any ideal Ithe height and depth of I with respect to I are equal.
*A Noetherian ring is a unique factorization domain if and only if it is an integral domain and every height 1 prime ideal is principal [ Hartshorne,Robin:"Algebraic Geometry", page 7,1977] .

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


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Height (disambiguation) — Height is the measurement of vertical distance.Height may also refer to:*Height (musician), a Baltimore hip hop artist *Height (ring theory), a measurement in commutative algebra *Height of a polynomial, the maximum of the magnitudes of a… …   Wikipedia

  • Noetherian ring — In mathematics, more specifically in the area of modern algebra known as ring theory, a Noetherian ring, named after Emmy Noether, is a ring in which every non empty set of ideals has a maximal element. Equivalently, a ring is Noetherian if it… …   Wikipedia

  • Krull ring — A Krull ring is a particular type of commutative ring studied in commutative algebra and related branches of mathematics and named after the German mathematician Wolfgang Krull.Formal definitionLet A be an integral domain and let P be the set of… …   Wikipedia

  • Morava K-theory — In stable homotopy theory, a branch of mathematics, Morava K theory is one of a collection of cohomology theories introduced in algebraic topology by Jack Morava in unpublished preprints in the early 1970s. For every prime number p (which is… …   Wikipedia

  • List of commutative algebra topics — Commutative algebra is the branch of abstract algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Principal ideal — In ring theory, a branch of abstract algebra, a principal ideal is an ideal I in a ring R that is generated by a single element a of R .More specifically: * a left principal ideal of R is a subset of R of the form R a := { r a : r in R }; * a… …   Wikipedia

  • Integrally closed domain — In commutative algebra, an integrally closed domain A is an integral domain whose integral closure in the field of fractions of A is A itself. Many well studied domains are integrally closed: Fields, the ring of integers Z, unique factorization… …   Wikipedia

  • List of mathematics articles (G) — NOTOC G G₂ G delta space G networks Gδ set G structure G test G127 G2 manifold G2 structure Gabor atom Gabor filter Gabor transform Gabor Wigner transform Gabow s algorithm Gabriel graph Gabriel s Horn Gain graph Gain group Galerkin method… …   Wikipedia

  • List of mathematics articles (O) — NOTOC O O minimal theory O Nan group O(n) Obelus Oberwolfach Prize Object of the mind Object theory Oblate spheroid Oblate spheroidal coordinates Oblique projection Oblique reflection Observability Observability Gramian Observable subgroup… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”