Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Minimal prime ideal
Résumé
In mathematics, especially in 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 principal ideal theorem use minimal primes.
A prime ideal P is said to be a minimal prime ideal over an ideal I if it is minimal among all prime ideals containing I. (Note: if I is a prime ideal, then I is the only minimal prime over it.) 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 ring R is precisely a minimal associated prime (also called isolated prime) of ; this follows for instance from the primary decomposition of I.
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.
If I is a p-primary ideal (for example, a symbolic power of p), 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 (which is not prime since , but, neither nor are contained in 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 (and there are no others). Let be the set of zero-divisors in A. Then is in D (since it kills nonzero ) while neither in nor ; so .
All rings are assumed to be commutative and unital.
Every proper ideal I 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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique