idempotent element

An idempotent is an element that is unchanged when multiplied by itself — squaring it does nothing. Think of a projection that, once applied, leaves anything already in its image alone: doing it twice is the same as doing it once. Idempotents are the algebraic fingerprints of how a ring splits into independent pieces.

Formally, an element e of a ring R is idempotent if e^2 = e. The elements 0 and 1 are always idempotent and are called trivial; an idempotent different from these is nontrivial. Two idempotents e and f are orthogonal if e·f = f·e = 0, and an idempotent is central if it commutes with every element of R.

The structural meaning is decomposition. A nontrivial central idempotent e induces a direct product decomposition R ≅ eR × (1 − e)R, splitting the ring into two smaller rings. A ring with no nontrivial idempotents is called connected (in the geometric picture its spectrum is connected). Idempotents also classify direct summands of modules — a module decomposition M = A ⊕ B corresponds to an idempotent endomorphism projecting onto A — which is why they are central to the theory of projective modules and the Grothendieck group K_0.