Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Minimal prime ideal
Summary
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.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (5)
MATH-482: Number theory I.a - Algebraic number theory
Algebraic number theory is the study of the properties of solutions of polynomial equations with integral coefficients; Starting with concrete problems, we then introduce more general notions like alg
MATH-317: Algebra V - Galois theory
Galois theory aims at describing the algebraic symmetries of fields. After reviewing the basic material (from the 2nd year course "Ring and Fields") and in particular the Galois correspondence, we wi
MATH-311: Algebra IV - rings and modules
Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.
Related lectures (32)
Rings and Modules
Covers rings, modules, fields, minimal ideals, and the Nullstellensatz theorem.
Primary Decomposition: Noetherian Ideal
Covers primary decomposition in Noetherian ideals and unique primary ideals.
Dedekind Function: Analytic Continuation and Euler Product Formula
Covers the Dedekind function, Euler product formula, series convergence, and analytic continuation of logarithmic functions.
Related publications (7)
Related concepts (14)
Associated prime
In abstract algebra, an associated prime of a module M over a ring R is a type of prime ideal of R that arises as an annihilator of a (prime) submodule of M. The set of associated primes is usually denoted by and sometimes called the assassin or assassinator of M (word play between the notation and the fact that an associated prime is an annihilator). In commutative algebra, associated primes are linked to the Lasker–Noether primary decomposition of ideals in commutative Noetherian rings.
Reduced ring
In ring theory, a branch of mathematics, a ring is called a reduced ring if it has no non-zero nilpotent elements. Equivalently, a ring is reduced if it has no non-zero elements with square zero, that is, x2 = 0 implies x = 0. A commutative algebra over a commutative ring is called a reduced algebra if its underlying ring is reduced. The nilpotent elements of a commutative ring R form an ideal of R, called the nilradical of R; therefore a commutative ring is reduced if and only if its nilradical is zero.
Primary decomposition
In mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be decomposed as an intersection, called primary decomposition, of finitely many primary ideals (which are related to, but not quite the same as, powers of prime ideals). The theorem was first proven by for the special case of polynomial rings and convergent power series rings, and was proven in its full generality by .