Todo elemento idempotente no nulo "a"≠1 es divisor de cero, ya que "a" = "a" implica que "a"("a" - 1) = ("a" - 1)"a" = 0.