How is the prime field "generated"?

$\begingroup$

so I was studying about field extensions and I came up with this innocent question. Let $F$ be a field and $1$ its identity, then the prime field $G$ of $F$ is the field generated by $1$, i.e., $G=\langle 1\rangle$. Now, I know that $G$ is the smallest field in $F$ containing $1$ so $G=\mathbb{Q}$ or $\mathbb{Z}_p$ with $p$ prime depending on the characteristic of $F$, so I'm ok with that in that perspective. My problem is that, when I read "generated", I get stuck about how does this happen, like I understand that when you have a ring it's just taking sums and products in some order, but in the case of when you have a field I'm not quite sure how to "generate" $G$ properly when seen in this fashion. Thanks a lot

$\endgroup$ 1

1 Answer

$\begingroup$

If I understand your question correctly, you are looking for a sequence of "steps" that ensure you have obtained all elements in the prime subfield.

If the characteristic is positive, then you only need to take all finite sums of $1$'s.

If the characteristic is zero, you could do this: first include all finite sums of $1$'s (get $\mathbb{Z}$), then include all quotients of one element by another nonzero element (get $\mathbb{Q}$).

In general, if $X$ is a subset of a field $F$, then you can get the subfield generated by $X$ in these steps:

• if $X$ does not contain $1$, include it;
• include all finite sums of finite products of elements of $X\cup \{1\}$ (get the subring generated by $X$);
• then include all quotients of one element by another nonzero element (here the elements are taken amongst the ones obtained in the previous step).

$\endgroup$ 2

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy