The prime subfield of a field F is the subfield of F generated by the multiplicative identity 1_F of F. It is isomorphic to either Q (if the field characteristic is 0), or the finite field F_p = Z/p Z (if the field characteristic is p).