Minimal prime (commutative algebra)

In mathematics, especially in the area of algebra known as commutative algebra, certain prime ideals called minimal prime ideals play an important role in understanding rings and modules. The notion of height and Krull's Hauptidealsatz use minimal primes.

Definition

A prime ideal P is said to be a minimal prime ideal over an ideal I if there are no prime ideals strictly contained in P that contain I. A prime ideal is said to be a minimal prime ideal if it is a minimal prime ideal over the zero ideal.

Examples

• In a commutative artinian ring, every maximal ideal is a minimal prime ideal.
• In an integral domain, the only minimal prime ideal is the zero ideal.
• In the ring Z of integers, the minimal prime ideals over a nonzero principal ideal (n) are the principal ideals (p), where p is a prime divisor of n. The only minimal prime ideal over the zero ideal is the zero ideal itself. Similar statements hold for any principal ideal domain.

Properties

All rings are assumed to be unital.

• Every proper ideal I in a commutative ring has at least one minimal prime ideal above it. The proof of this fact uses Zorn's lemma (Kaplansky 1974, p. 6). Any maximal ideal containing I is prime, and such ideals exist, so the set of prime ideals containing I is non-empty. The intersection of a decreasing chain of prime ideals is prime. Therefore, the set of prime ideals containing I has a minimal element, which is a minimal prime over I.
• Emmy Noether showed that in a commutative Noetherian ring, there are only finitely many minimal prime ideals over any given ideal. (Kaplansky 1974, p. 59), (Eisenbud 1995, p. 47).
• The radical $\sqrt{I}$ of any proper ideal I coincides with the intersection of the minimal prime ideals over I. (Kaplansky 1974, p. 16).
• The set of zero divisors of a given commutative ring contains the union of the minimal prime ideals (Kaplansky 1974, p. 57).
• Krull's Hauptidealsatz describes important properties of minimal prime ideals.

References

• Eisenbud, David (1995), Commutative algebra, Graduate Texts in Mathematics, 150, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94268-1; 978-0-387-94269-8, MR1322960 
• Kaplansky, Irving (1974), Commutative rings, University of Chicago Press, MR0345945 

This algebra-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Commutative algebra Prime ideals Algebra stubs Wikimedia Foundation. 2010. Игры ⚽ Нужен реферат? Candelaria, Nevada FlyNap Look at other dictionaries: Minimal prime (recreational mathematics) — For the term in commutative algebra, see Minimal prime (commutative algebra). In recreational number theory, a minimal prime is a prime number for which there is no shorter subsequence of its digits in a given base that form a prime. In base 10… …   Wikipedia Minimal prime — In mathematics, the term minimal prime is used in distinct ways: Minimal prime (commutative algebra) describes the usage in commutative algebra Minimal prime (recreational mathematics) describes the usage in recreational number theory This… …   Wikipedia Homological conjectures in commutative algebra — In mathematics, the homological conjectures have been a focus of research activity in commutative algebra since the early 1960s. They concern a number of interrelated (sometimes surprisingly so) conjectures relating various homological properties …   Wikipedia algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… …   Wikipedia List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia Characteristic (algebra) — In mathematics, the characteristic of a ring R, often denoted char(R), is defined to be the smallest number of times one must use the ring s multiplicative identity element (1) in a sum to get the additive identity element (0); the ring is said… …   Wikipedia Band (algebra) — In mathematics, a band is a semigroup in which every element is idempotent (in other words equal to its own square). The lattice of varieties of bands was described independently by Birjukov, Fennemore and Gerhard. Semilattices, left zero bands,… …   Wikipedia Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia Integral domain — In abstract algebra, an integral domain is a commutative ring that has no zero divisors,[1] and which is not the trivial ring {0}. It is usually assumed that commutative rings and integral domains have a multiplicative identity even though this… …   Wikipedia 18+ © Academic, 2000-2025 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”