Real Part as Mapping is Endomorphism for Complex Addition

Theorem
Let $\struct {\C, +}$ be the additive group of complex numbers.

Let $\struct {\R, +}$ be the additive group of real numbers.

Let $f: \C \to \R$ be the mapping from the complex numbers to the real numbers defined as:
 * $\forall z \in \C: \map f z = \map \Re z$

where $\map \Re z$ denotes the real part of $z$.

Then $f: \struct {\C, +} \to \struct {\R, +}$ is a group epimorphism.

Its kernel is the set:
 * $\map \ker f = \set {i x: x \in \R}$

of wholly imaginary numbers.

Proof
From Real Part as Mapping is Surjection, $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: \map \Re {0 + i y} = 0$

It follows from Complex Addition Identity is Zero that:
 * $\map \ker f = \set {i x: x \in \R}$

Also see

 * Imaginary Part as Mapping is Endomorphism for Complex Addition