We have to distinguish between two algebraic structures with appropriate homomorphisms between them (in fact, they constitute categories)
$\bullet$ Rings (which I always assume to be unital) with homomorphisms of rings.
As always, a homomorphism of blupp preserves the whole structure of blupp, so in particular for blupp=Ring the unit is preserved by definition. This definition is (or should be ...) universally accepted.
$\bullet$ Rngs or non-unital rings with homomorphisms of rngs
Following the general principle, a homomorphism of rngs preserves the addition and the multiplication (and then also additive inverses and the zero), but not the unit because there is none.
There is a so-called forgetful functor from Rings to Rngs which forgets the unit. Notice that if $R$ is a ring, the underlying rng $|R|$ is a different object (and similarly for homomorphisms). This is usually ignored in textbooks and lectures, leading to utter confusions. Similar problems arise with other forgetful functors. These problems will end immediately when we take forgetful functors seriously. Unfortunately, some authors consider rings with unit but consider also non-unital homomorphisms between them, which doesn't make sense at all because this actually ignores the general principles of universal algebra, secretly applies the forgetful functor all the time, and doesn't take rings seriously. And some authors even don't consider $0$ as a ring because "it has no unit", sic! Of course the zero ring is a ring. It's quite cold these days, so books following this approach would make a warm fire ...
Anyway, now the question is easily answered:
Let $f : R \to R'$ be a homomorphism of rings (thus preserving the unit by definition). Then $f=0$ iff $R'=0$. It doesn't matter if $R$ is a field or not, the condition doesn't depend on $R$ at all.
On the other hand, there is always a zero homomorphism of the underlying rngs $0 : |R| \to |R'|$. Notice, again, that these are different objects than the rings themselves!
A quotient of rings is a structure where you add a new equation in the previous ring.
For example, $$\mathbb R[T]/(T^2 + 1)$$ is the ring of polynomials, with the new equation $$T^2 + 1 = 0$$so this is $\mathbb C$. So, making a quotient by an ideal generated by 2 elements gives you two new equations. That's all.
- For the first example, the ring is $\mathbb Z[x]$ with additional equations:
$$2 = 0 \ \ \& \ \ x^3 = 1$$
so this is $\mathbb Z_2[x]/(x^3 + 1)$ indeed.
- For the second, consider an isomorphism $f$ from $R_1$ to $R_2$;
$f(1) = 1$ so $f$ leaves $F$ invariant; it remains to find images of $x,y$ so take the relationship
$$x^2 = y^2 \ \ \ (R_1)$$
it implies that $(x+y)(x-y) = 0$, so it should be the case for the images of $x,y$ in $R_2$.
Let $f(x) = P(x,y) = P(y^2,y)$ and $f(y) = Q(x,y) = Q(y^2,y)$.
We have $$(P(y^2,y)+Q(y^2,y))(P(y^2,y)-Q(y^2,y))=0$$ but this is impossible, because it should be true in $\mathbb Z[y]$ which has no $0$ divisors.
Best Answer
Hint: If $\phi$ is a homomorphism then $\phi(\sqrt 2)^2=\phi(2)$. If $\phi$ is non-trivial then $\phi(2)=2$...
Oops. It's been pointed we need to show that $\phi(1)=1$ if $\phi$ is nontrivial. In any case, if $x=\phi(1)$ then $x^2=x$; since there are no zero divisors in $\Bbb Q[\sqrt3]$ this shows that $\phi(1)$ is $0$ or $1$, and if $\phi(1)=0$ then $\phi$ is trivial.