Central idempotent (source code)

= Central idempotent
{title2=$e^2=e,\quad ea=ae$}

A central idempotent is an <idempotent> in the <center of an associative algebra>. It gives a decomposition $A=Ae\oplus A(1-e)$ into two-sided <ideals>, with products between the summands zero. The identities of these summands are $e$ and $1-e$.