Isomorphism Of Ring

Return to Glossary.

Formal Definition

An isomorphism $\phi :R\rightarrow R'$ from a ring $R$ to a ring $R'$ is a homomorphism that is one to one and onto $R'$. The rings $R$ and $R'$ are then isomorphic.

Informal Definition

Replace this text with an informal definition.


Let $gcd(r,s)=1$, then the rings $Z_r \times Z_s$ and $Z_{rs}$ are isomorphic.


As abelian groups, $\langle \mathbb{Z}, +\rangle$ and $\langle \mathbb{2Z}, +\rangle$ are isomorphic under the map $\phi :\mathbb{Z}\rightarrow\mathbb{Z}$, with $\phi (x) =2x$ for $x\in \mathbb{Z}$. Here $\phi$ is not a ring isomorphism, for $\phi(xy)=2xy$,while $\phi (x)\phi(y)=2x2y=4xy$.

Additional Comments

Add any other comments you have about the term here

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License