Notemos que cuando suponemos al anillo conmutativo, las condiciones (ii) y (iii) son equivalentes.