# Characteristic of Field is Zero or Prime

## Theorem

Let $F$ be a field.

Then the characteristic of $F$ is either zero or a prime number.

## Proof

From the definition, a field is a ring with no zero divisors.

So by Characteristic of Finite Ring with No Zero Divisors, if $\Char F \ne 0$ then it is prime.

$\blacksquare$