Characteristic of Field is Zero or Prime

From ProofWiki
Jump to navigation Jump to search

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$


Sources