Number Field has Rational Numbers as Subfield

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $F$ be a number field.


The field of rational numbers $\struct {\Q, +, \times}$ is a subfield of $F$.


Proof

Let $F$ be a number field.

By definition, $F$ is a subfield of the field of complex numbers $\struct {\C, +, \times}$

We have that Rational Numbers form Subfield of Complex Numbers.

Let $G = \Q \cap F$ be the intersection of $\Q$ with $F$.

By Intersection of Subfields is Subfield, $G$ is a subfield of $\C$ and so also a number field.

From Intersection is Subset we have that $G \subseteq \Q$.

So $G$ is a field which is also a subset of $\Q$.

Hence by definition $G$ is a subfield of $\Q$.


But from Rational Numbers form Prime Field, $\struct {\Q, +, \times}$ is a prime field.

That is, the only subfield of $\Q$ is $\Q$ itself.

Hence:

$G = \Q$

and from Intersection with Subset is Subset‎:

$\Q \subseteq F$


Hence $\Q$ is a subset of $F$ which is also a field.

That is, $\Q$ is a subfield of $F$.

$\blacksquare$


Sources