Si es un homomorfismo de anillos de característica , entonces