Associative rings and algebras Definition
Prime radical
Builds on RingTwo-sided idealPrime ideal in a noncommutative ring
Definition
Let be a ring. The prime radical of is the intersection of all prime ideals of : It is a two-sided ideal of .
Remarks
Example: let be the ring of upper triangular matrices over a field and its strictly upper triangular matrices. Then , the prime ideals of are the kernels of the two maps that take a diagonal entry, and their intersection is . Non-example: the matrix unit is not in the prime radical of , since it is a nonzero idempotent, while every element of the prime radical is nilpotent. Equivalent forms: is the smallest semiprime ideal of , and it is the set of strongly nilpotent elements of . It is also called the lower nilradical or the Baer radical, and it is contained in the upper nilradical. For a commutative ring it equals the nilradical.
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
- Prime ideal in a noncommutative ring concept
- Ring definition
- Ideal definition
- Two-sided ideal definition
- Prime radical definition
Further reading
About this page
| Tag | 9AVE43G8RT |
|---|---|
| URI | m2://9AVE43G8RT |
| Kind | definition |
| Writing | W0 stub |
| MSC | 16N40, 16N60 |
| Defines | Prime radical |
| Uses | Ring, Two-sided ideal, Prime ideal in a noncommutative ring |
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.