Ein idempotentes Element ${\displaystyle {}e}$ besitzt die Eigenschaft

${\displaystyle {}e(1-e)=e-e^{2}=e-e=0\,.}$

Im nullteilerfreien Fall folgt daraus

${\displaystyle {}e=1}$

${\displaystyle {}e=0}$