[Math] can a ring homomorphism map an integral domain to a non integral domain

abstract-algebraring-theory

i understand that if two rings are isomorphic, and one ring is an integral domain, so must the other be.
however, consider two rings, both commutative rings with unity. is it possible that one ring contains zero divisors and one does not while there exists an ring homomorphism between the two?
there could not be a isomorphism between the two rings because there would be no one to one or onto mapping between the two rings. but could there be an operation preserving mapping between an integral domain and a commutative ring with unity and with zero divisors?
clearly if such a mapping did exists it would not seem to be one to one or onto, but does this rule out the potential of a homomorphism existing between the two?

Best Answer

Given any unital ring $R$ (with multiplicative identity $1_R$, say), there is a unique ring homomorphism $\Bbb Z\to R$ (take $1\mapsto 1_R$ and "fill in the blanks" from there).

This may be an injective map, even if $R$ has zero divisors. For example, take $$R=\Bbb Z[\epsilon]:=\Bbb Z[x]/\langle x^2\rangle.$$ Surjective examples are easy to come by. You are of course correct that such maps cannot be bijective if $R$ has zero divisors.