Embedding Normed Division Ring into Ring of Cauchy Sequences

Theorem
Let $\struct {R, \norm {\, \cdot \,} }$ be a normed division ring.

Let $\mathcal {C} \paren {R}$ be the ring of Cauchy sequences over $R$

Let $\phi:R \to \mathcal {C} \paren {R}$ be the mapping from $R$ to the ring of Cauchy sequences $\mathcal {C} \paren {R}$ defined by:
 * $\quad \quad \quad \forall \lambda \in R: \phi \paren {\lambda} = \tuple {\lambda,\lambda,\lambda,\dots}$

where $\tuple {\lambda,\lambda,\lambda,\dots}$ is the constant sequence.

Then:
 * $\phi$ is a ring monomorphism.

Proof
By Cauchy Sequences form Ring with Unity the ring of Cauchy sequences is a subring of the ring of sequences over $R$.

Let $i: \mathcal {C} \paren {R} \to R^{\N}$ be the inclusion mapping of the ring of Cauchy sequences into the ring of sequences.

By Embedding Ring into Ring Structure Induced by Ring Operations the composition $i \circ \phi:R \to R^{\N}$ is a ring monomorphism.

Since for all $r \in R$, $\paren {i \circ \phi} \paren {r} = \phi \paren {r}$

The result follows.