A prime idealP is said to be a minimal prime ideal over an ideal I if it is minimal among all prime ideals containing I. A prime ideal is said to be a minimal prime ideal if it is a minimal prime ideal over the zero ideal. A minimal prime ideal over an ideal I in a Noetherian ringR is precisely a minimal associated prime of ; this follows for instance from the primary decomposition of I.
In an integral domain, the only minimal prime ideal is the zero ideal.
In the ringZ of integers, the minimal prime ideals over a nonzero principal ideal are the principal ideals, 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.
If I is a p-primary ideal, then p is the unique minimal prime ideal over I.
The ideals and are the minimal prime ideals in since they are the extension of prime ideals for the morphism, contain the zero ideal and are not contained in any other prime ideal.
In the minimal primes over the ideal are the ideals and.
Let and the images of x, y in A. Then and are the minimal prime ideals of A. Let be the set of zero-divisors in A. Then is in D while neither in nor ; so.
Properties
All rings are assumed to be commutative and unital.
Every proper idealI in a ring has at least one minimal prime ideal above it. The proof of this fact uses Zorn's lemma. 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.
The radical of any proper ideal I coincides with the intersection of the minimal prime ideals over I.
The set of zero divisors of a given ring contains the union of the minimal prime ideals.
Krull's principal ideal theorem says that, in a Noetherian ring, each minimal prime over a principal ideal has height at most one.
Each proper ideal I of a Noetherian ring contains a product of the possibly repeated minimal prime ideals over it
A prime ideal in a ring R is a unique minimal prime over an ideal Iif and only if, and such an I is -primary if is maximal. This gives a local criterion for a minimal prime: a prime ideal is a minimal prime over I if and only if is a -primary ideal. When R is a Noetherian ring, is a minimal prime over I if and only if is an Artinian ring. The pre-image of under is a primary ideal of called the -primary component of I.
