If every non-zero ring homomorphism $\phi: K\rightarrow S$ is injective, $K$ is field

field-theoryring-homomorphismring-theory

If every ring homomorphism $\phi: K\rightarrow S$ is injective, $K$ is field.

PS: $K$ is a commutative ring with unity, and my definition of homomorphism includes $\phi(1_{K})=1_{S}$.

My idea is to fix an arbitrary $k\in K$ and construct a homomorphism $\phi$ such that, by $\phi,$ I can find the inverse $k^{-1}$… But I don't got it.

Best Answer

Let $I$ be a nonzero ideal in $K$, consider the quotient map $K \rightarrow K/I$.