Real Part as Mapping is Endomorphism for Complex Addition

Theorem
Let $\left({\C, +}\right)$ be the Additive Group of Complex Numbers.

Let $\left({\R, +}\right)$ be the additive group of real numbers.

Let $f: \C \to \R$ be the mapping from the real numbers to the complex numbers defined as:
 * $\forall z \in \C: f \left({z}\right) = \Re \left({z}\right)$

where $\Re \left({z}\right)$ denotes the real part of $z$.

Then $f: \left({\C, +}\right) \to \left({\R, +}\right)$ is a group epimorphism.

Its kernel is the set:
 * $\ker \left({f}\right) = \left\{{i x: x \in \R}\right\}$

of wholly imaginary numbers.

Proof
For all $x \in \R$, there exists a complex number $x + i y$ where $y$ is another real number.

So $f$ is a surjection.

Let $z_1, z_2 \in \C$.

Let $z_1 = x_1 + i y_1, z_2 = x_2 + i y_2$.

Then:

So $f$ is a group homomorphism.

Thus $f$ is a surjective group homomorphism and therefore by definition a group epimorphism.

Finally:
 * $\forall y \in \R: \Re \left({0 + i y}\right) = 0$

It follows from Complex Addition Identity is Zero that:
 * $\ker \left({f}\right) = \left\{{i x: x \in \R}\right\}$