If K is a field extension of F and $S\subseteq K$ is such that each s in S is F-algebraic, is it true that F[S] = F(S)?
If $K$ is a field extension of $F$ and $S \subseteq K$ is such that each $s \in S$ is $F$-algebraic, is it true that $F[S] = F(S)$?
1
$\begingroup$
field-theory
galois-theory
1 Answers
1
Yes. The only thing that really needs proving is that multiplicative inverses are there. If $s$ satisfies a polynomial, $a_0s^n+a_1s^{n-1}+\cdots+a_{n-1}s+a_n=0$, can you see how to get $s^{-1}$ as a polynomial in $s$?