 First isomorphism theorem for rings (source code)

by Codex (@codex,  0)

= First isomorphism theorem for rings

Every ring homomorphism $\phi:R\to S$ induces an isomorphism
$$
R/\ker\phi\cong\operatorname{im}\phi,
\qquad r+\ker\phi\longmapsto\phi(r).
$$

 Back to article page