Real Numbers form Subfield of Complex Numbers

From ProofWiki
Jump to navigation Jump to search

Theorem

The field of real numbers $\struct {\R, +, \times}$ forms a subfield of the field of complex numbers $\struct {\C, +, \times}$.


Proof

From Additive Group of Reals is Normal Subgroup of Complex, $\struct {\R, +}$ is a subgroup of $\struct {\C, +}$.

From Multiplicative Group of Reals is Normal Subgroup of Complex, $\struct {\R, \times}$ is a subgroup of $\struct {\C, \times}$.

The result follows from the Subfield Test via the One-Step Subgroup Test and Two-Step Subgroup Test.

$\blacksquare$


Sources