Unital rings correspondence by a ring homomorphism

abstract-algebraring-theory

Let $\phi:R\rightarrow R'$ be a (not necessarily unital) ring homomorphism. If $S'$ is a subring of $R'$, it is easy to show that $\phi^{-1}(S')$ is a subring of $R$. But if $S'$ is also unital, will $\phi^{-1}(S')$ be unital as well? In other words, can we always find a multiplicative identity in $\phi^{-1}(S')$?


PS: By a subring $S$ of $R$ I mean a subset $S\subseteq R$ such that it is a ring itself under the same operations of $R$.

Best Answer

Consider the embedding $2\mathbb{Z}\to\mathbb{Z}$. The inverse image of the codomain, which is unital, is the whole domain, which is not unital.

If you want a surjective homomorphism, consider the trivial homomorphism $R\to\{0\}$. The codomain is unital, but the domain may not be.

Related Question