Complex numbers as pairs of reals

Summary

The complex numbers can be constructed as ordered pairs of real numbers. On $\mathbb{R}^2$, define addition by $(a, b) + (c, d) = (a + c, b + d)$ and multiplication by $(a, b) \cdot (c, d) = (a c - b d, a d + b c)$. With these operations, $\mathbb{R}^2$ is a field. It is the field $\mathbb{C}$ of complex numbers. The pair $(a, 0)$ is the real number $a$, and the pair $(0, 1)$ is the imaginary unit $i$. Then $(a, b) = a + b i$, and the map $a + b i \mapsto (a, b)$ is a bijection $\mathbb{C} \to \mathbb{R}^2$.