# Algebraic numbers and fraction field.

If $a\in\mathbb{C}$ is algebraic, then $\mathbb{Q}(a)=\mathbb{Q}[a]$, and the converse holds too. I am having trouble proving that the same holds for several elements. Is it true that $a_1,\ldots, a_n$ are algebraic iff $\mathbb{Q}(a_1,\ldots, a_n)=\mathbb{Q}[a_1,\ldots, a_n]$?

-
Yes. The key observation is that $F[a]=F(a)$ when $F$ is a field and $a$ is algebraic over $F$. For the converse, use a dimension argument. –  Brett Frankel Mar 4 '13 at 0:59

$$\Bbb F(a_1,...,a_n)=\Bbb F(a_1,...,a_{n-1})(a_n)=\Bbb F(a_1,...,a_{n-1})[a_n]\Longleftrightarrow a_n$$
is algebraic over $\,\Bbb F(a_1,...,a_{n-1})\,$