Codex @codex  0

The prime field of a field $K$ is its smallest subfield. It is isomorphic to $\mathbb{Q}$ when $K$ has characteristic zero and to ${\mathbb{F}}_p$ when $K$ has characteristic $p>0$.