Ring Isomorphisms
Table of Contents

Ring Isomorphisms

We have already defined Group Isomorphisms. We now extend the concept to rings.

Definition: Let $(R, +_1, *_1)$ and $(S, +_2, *_2)$ be rings with multiplicative identities $1_R$ and $1_S$ respectively. A function $\phi : R \to S$ is a Ring Isomorphism if:
1) $\phi(a +_1 b) = \phi(a) +_2 \phi(b)$ for all $a, b \in R$.
2) $\phi(a *_1 b) = \phi(a) *_2 \phi(b)$ for all $a, b \in R$.
3) $\phi(1_R) = 1_S$.
4) $\phi$ is bijective.
If such a ring isomorphism exists then $(R, +_1, *_1)$ and $(S, +_2, *_2)$ are said to be Isomorphic denoted $R \cong S$. In other words, a ring isomorphism from $(R, +_1, *_1)$ to $(S, +_2, *_2)$ is a bijective ring homomorphism.

Let's look at an example. Consider the rings $(R, +, *)$ and $(\mathbb{C}, +, *)$ of real and complex numbers respectively. We will show that $\mathbb{R}$ and $\mathbb{C}$ are NOT isomorphic.

To show this, suppose the opposite, i.e., suppose that $\mathbb{R}$ is isomorphic to $\mathbb{C}$. Then there exists an isomorphism, $\phi : \mathbb{C} \to \mathbb{R}$. Consider the element $i \in \mathbb{C}$. Then:

(1)
\begin{align} \quad \phi^2 (i) = \phi(i) * \phi (i) = \phi (i * i) = \phi (i^2) = \phi (-1) = -\phi (1) = -1 \end{align}

But $\phi (i) \in \mathbb{R}$. The equation above saids that a real number squared is equal to $-1$. This is a contradiction. So the assumption that $\mathbb{R}$ was isomorphic to $\mathbb{C}$ is false! Hence:

(2)
\begin{align} \quad \mathbb{R} \not \cong \mathbb{C} \end{align}
Theorem 1: Let $(R, +_1, *_1)$, $(S, +_2, *_2)$ and $(T, +_3, *_3)$ be rings.
a) If $R \cong S$ then $S \cong R$.
b) If $R \cong S$ and $S \cong T$ then $R \cong T$.
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License