Definition Let k be a field. The prime subfield of k is the subfield generated by 1∈k Examples Q⊂C k⊂k(x)