Image is a subring

Thus the image of a ring homomorphism naturally inherits the structure of a subring of the codomain, and in the unital setting it is a unital subring. Combined with the kernel–ideal property, this yields the First Isomorphism Theorem identifying $R/\ker\varphi$ with $\operatorname{im}\varphi$.