Sean formula_44 y formula_159 anillos conmutativos con identidad, y formula_230 un homomorfismo de anillos con identidad.