 Kernel of a ring homomorphism

The kernel of a ring homomorphism $\phi :R\to S$ is the ideal $\{r\in R:\phi (r)=0\}$. The ring homomorphism is injective exactly when this ideal is zero.