Commutative algebra Definition
Minimal prime ideal
Builds on Commutative ringPrime idealIdeal
Definition
Let be a commutative ring. A minimal prime ideal of is a prime ideal of such that no prime ideal of satisfies . Let be an ideal of . A minimal prime over is a prime ideal such that no prime ideal satisfies .
Remarks
Example: in with a field, the ideal is a minimal prime. It is prime because is a domain. A prime contains , so it contains or , and forces . Non-example: is prime in , but it is not minimal, since the prime ideal is strictly smaller. By Zorn's lemma, every prime ideal containing contains a minimal prime over ; the key point is that the intersection of a chain of prime ideals is prime. The minimal primes over are the minimal primes of , pulled back to .
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
- no evidence level
- Group concept
- Ring definition
- Commutative ring definition
- Ideal definition
- Prime ideal definition
- Minimal prime ideal definition
Further reading
About this page
| Tag | N730JMCM7N |
|---|---|
| URI | m2://N730JMCM7N |
| Kind | definition |
| Writing | W0 stub |
| MSC | 13A15 |
| Defines | Minimal prime ideal |
| Uses | Commutative ring, Prime ideal, Ideal |
| Changed | 2 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.