Ein idempotentes Element e {\displaystyle {}e} besitzt die Eigenschaft
Im nullteilerfreien Fall folgt daraus