Associative rings and algebras Definition
Lifting idempotents
Builds on RingTwo-sided idealIdempotent element
Definition
Let be a ring and a two-sided ideal of . An idempotent of lifts to if there is with and . Idempotents lift modulo if every idempotent of lifts, that is, for every with there is with and .
Remarks
Example: idempotents lift modulo in . The idempotents of are and , and they lift to the idempotents and of . Non-example: idempotents do not lift modulo in . The class of is idempotent in , since , but the idempotents of are and , and neither nor lies in . Idempotents lift modulo every nil ideal, and modulo every ideal of a ring that is complete with respect to the -adic topology. A semilocal ring in which idempotents lift modulo the Jacobson radical is called semiperfect.
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
- Ideal definition
- Idempotent element definition
- Two-sided ideal definition
- Lifting idempotents definition
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | PJA5H9ZW4S |
|---|---|
| URI | m2://PJA5H9ZW4S |
| Kind | definition |
| Writing | W0 stub |
| MSC | 16U40, 16L30 |
| Defines | Lifting idempotents |
| Uses | Ring, Two-sided ideal, Idempotent element |
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.