Prime field (source code)

= Prime field

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$.