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

R⟶eR×(1−e)R,r⟼(er,(1−e)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 R≅A×BR\cong A\times B determines a central idempotent corresponding to (1,0)(1,0).

Remarks

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.