Math 2.0

Commutative algebra Definition

Minimal prime ideal

Builds on Commutative ringPrime idealIdeal

Definition

Let RR be a commutative ring. A minimal prime ideal of RR is a prime ideal PP of RR such that no prime ideal QQ of RR satisfies Q⊊PQ \subsetneq P. Let II be an ideal of RR. A minimal prime over II is a prime ideal P⊇IP \supseteq I such that no prime ideal QQ satisfies I⊆Q⊊PI \subseteq Q \subsetneq P.

Remarks

Example: in R=k[x,y]/(xy)R = k[x, y]/(xy) with kk a field, the ideal (x)(x) is a minimal prime. It is prime because R/(x)≅k[y]R/(x) \cong k[y] is a domain. A prime Q⊆(x)Q \subseteq (x) contains xy=0xy = 0, so it contains xx or yy, and y∉(x)y \notin (x) forces x∈Qx \in Q. Non-example: 2ℤ2\Z is prime in ℤ\Z, but it is not minimal, since the prime ideal (0)(0) is strictly smaller. By Zorn's lemma, every prime ideal containing II contains a minimal prime over II; the key point is that the intersection of a chain of prime ideals is prime. The minimal primes over II are the minimal primes of R/IR/I, pulled back to RR.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group concept
  2. Ring definition
  3. Commutative ring definition
  4. Ideal definition
  5. Prime ideal definition
  6. Minimal prime ideal definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Minimal_prime_ideal
About this page
TagN730JMCM7N
URIm2://N730JMCM7N
Kinddefinition
WritingW0 stub
MSC13A15
DefinesMinimal prime ideal
UsesCommutative ring, Prime ideal, Ideal
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.