Idempotents and product decompositions

Central idempotents split a ring as a product of two quotient-like pieces.
Idempotents and product decompositions

Idempotents and product decompositions: Let RR be a ring and let eRe\in R be a central idempotent (so e2=ee^2=e and er=reer=re for all rRr\in R). Then eReR and (1e)R(1-e)R are two-sided ideals, and the map

ReR×(1e)R,r(er,(1e)r) R\longrightarrow eR\times (1-e)R,\qquad r\longmapsto (er,(1-e)r)

is a ring isomorphism with inverse (a,b)a+b(a,b)\mapsto a+b. Conversely, any product decomposition RA×BR\cong A\times B determines a central idempotent corresponding to (1,0)(1,0).

A in the splits a ring into a of rings via complementary . This mechanism is closely related to and is often used to build explicit splittings from orthogonal idempotents.