Added to Favorites

Related Searches

Nearby Words

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\}$. 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.

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.

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

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday May 07, 2008 at 08:33:33 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday May 07, 2008 at 08:33:33 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.