# Characteristic of Subfield of Complex Numbers is Zero

From ProofWiki

## Theorem

The characteristic of any subfield of the field of complex numbers is $0$.

## Proof

Suppose to the contrary.

Let $K$ be a subfield of $\C$ such that $\operatorname{Char} \left({K}\right) = n$ where $n \in \N, n > 0$.

Then:

- $\exists a \in K: n \cdot a = 0$

But as $K$ is a subfield of $\C$ it follows that $K \subseteq \C$ which means:

- $\exists a \in \C: n \cdot a = 0$

Thus, by definition of characteristic:

- $0 < \operatorname{Char} \left({\C}\right) \le n$

But $\C$ is infinite and so $\operatorname{Char} \left({\C}\right) = 0$.

From that contradiction follows the result.

$\blacksquare$

## Sources

- C.R.J. Clapham:
*Introduction to Abstract Algebra*(1969)... (previous)... (next): $\S 4.17$: Example $24$