Si establecemos un homomorfismo de anillos formula_18 entre un anillo unitario formula_3 y un anillo formula_20, entonces ha de ocurrir que formula_21, con lo cual la imagen del elemento unidad ha de ser un idempotente.