Surgery for Rings

Theorem
Let $R$ and $S$ be rings, and $\phi : R \to S$ an injective Definition:Homomorphism.

Then there is a ring $T$ isomorphic to $S$ that contains $R$ as a subring.

Proof
Let $T$ be the disjoint union $T = R \cup (S \backslash \operatorname{im}\phi)$.

Define $\theta : T \to S$ as follows:


 * If $x \in R$, then $\theta(x) = \phi(x)$
 * If $x \in (S \backslash \operatorname{im}\phi)$ then $\theta(x) = x$

We claim that $\theta$ is an isomorphism.

Injectivity: Let $\theta(x) = \theta(y)$.

Since $\theta(R) = \phi(R)$, we have $\theta(R) \cap ( S \backslash \operatorname{im}\phi) = \varnothing$.

Therefore either $x,y \in R$ or $x,y \in (S \backslash \operatorname{im}\phi)$.

If $x,y \in R$ then $\phi(x) = \phi(y)$, so $\theta$ is injective because $\phi$ is.

If $x,y \in (S \backslash \operatorname{im}\phi)$ then $theta$ acts as the identity and $x = y$.

Surjectivity: Under $\theta$, $R$ surjects onto $\operatorname{im}\phi = \phi(R)$ by definition.

Moreover, $\theta(S \backslash \operatorname{im}\phi) = \operatorname{id}(S \backslash \operatorname{im}\phi) = (S \backslash \operatorname{im}\phi)$.

Therefore $\theta$ is surjective everywhere.

Now we endow $T$ with addition and multiplication: for $x,y \in T$, let


 * $x + y = \theta^{-1}(\theta(x) + \theta(y)),\quad xy = \theta^{-1}(\theta(x)\theta(y))$

so trivially we have


 * $\theta(x + y) = \theta(x) + \theta(y),\quad \theta(xy) = \theta(x)\theta(y)$

So we need only show that $T$ is a ring under these operations.