Resulta que\(\phi\) es un homomorfismo de anillo, donde\(\ker(\phi)\) está el conjunto de polinomios con 0 término constante. Supongamos que\(\phi:R\to S\) es un homomorfismo de anillo tal que\(R\) es...Resulta que\(\phi\) es un homomorfismo de anillo, donde\(\ker(\phi)\) está el conjunto de polinomios con 0 término constante. Supongamos que\(\phi:R\to S\) es un homomorfismo de anillo tal que\(R\) es un anillo con 1, llámela\(1_R\). Demostrar que\(\phi(1_R)\) es la identidad multiplicativa en\(\phi(R)\) (que es un subring de\(S\)). ¿Se te ocurre un ejemplo de un homomorfismo de anillo donde\(S\) tiene una identidad multiplicativa que no es igual a\(\phi(1_R)\)?
