$\mathbb Q(\sqrt 2,\sqrt 3,\sqrt 5)=\mathbb Q(\sqrt 2+\sqrt 3+\sqrt 5)$ - Generalisation?

761 Views Asked by At

Problem:

We know that $\mathbb Q(\sqrt 2,\sqrt 3,\sqrt 5)=\mathbb Q(\sqrt 2+\sqrt 3+\sqrt 5)$. Generalise this fact.

My idea is to use the (proof of the) primitive element theorem. Looking at the equations given, I think I would phrase a generalisation as follows:

Let $a_i,...,a_n\in\mathbb N$ be distinct integers such that gcd$(a_i,a_j)=1$ for all $i\ne j$. Then $$\mathbb Q(\sqrt{a_1},\ldots,\sqrt{a_n})=\mathbb Q(\sqrt{a_1}+\ldots+\sqrt{a_n})$$

Is this generalisation in fact correct, and if so, is it possible to generalise this notion of field extensions even more?