Commutative algebra Definition
Embedded prime
Builds on Noetherian ringIdealAssociated prime
Definition
Let be a commutative Noetherian ring and let be an ideal of . An associated prime of is an embedded prime of if there is another associated prime of with . An associated prime that is not embedded is called a minimal or isolated prime of .
Remarks
Example: for in over a field , the associated primes are and , and , so is embedded. Non-example: is not embedded for the same , because no associated prime is strictly smaller. The minimal primes of in this sense are exactly the minimal prime ideals over . In a primary decomposition, the components at embedded primes are not unique, while those at minimal primes are. The same terms apply to the associated primes of a module.
Reading path
To understand this page from the ground up, read these 12 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Annihilator concept
- Ascending chain condition definition
- Group concept
- Module over a ring definition
- Ring definition
- Commutative ring definition
- Ideal definition
- Ideal generated by a subset definition
- Prime ideal definition
- Noetherian ring definition
- Associated prime definition
- Embedded prime definition
Further reading
About this page
| Tag | KTBBV459TV |
|---|---|
| URI | m2://KTBBV459TV |
| Kind | definition |
| Writing | W0 stub |
| MSC | 13A15, 13C05 |
| Defines | Embedded prime |
| Uses | Noetherian ring, Ideal, Associated prime |
| 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.