Are the fields $\mathbb{Q}(\sqrt[7]{16}+3 \sqrt[7]{8})$ and $\mathbb{Q}(\sqrt[7]{16})$ equal? I have trouble with these field extensions. Is field  $\mathbb{Q}(\sqrt[7]{16}+3 \sqrt[7]{8})$ equal to field $\mathbb{Q}(\sqrt[7]{16})$?
We can $\sqrt[7]{16}+3 \sqrt[7]{8}$ express as $(\sqrt[7]{2}+3)(\sqrt[7]2)^3$.

$$(\sqrt[7]{16})^6=8\sqrt[7]8$$
This shows that $\Bbb Q[\sqrt[7]{16}]\supseteq\Bbb Q[\sqrt[7]{16}+3\sqrt[7]8]$.
Now, consider the polynomials $x^4+3x^3$ and $9x^6+2x+6$. They are coprime, so we can apply the Bezout's identity (note that $\Bbb Q[x]$ is an Euclidean domain) to guarantee that there exist some polynomials $P$ and $Q$ such that
$$P(x)(x^4+2x^3)+Q(x)(9x^6+2x+6)=x^4$$
Let $a=\sqrt[7]2$. Then we find that
$$(\sqrt[7]{16}+3\sqrt[7]8)^2=(a^4+3a^3)^2=9a^6+2a+6$$
Therefore,
$$P(a)(a^4+3a^3)+Q(a)(a^4+3a^3)^2=a^4$$
This shows that $\Bbb Q[\sqrt[7]{16}]\subseteq\Bbb Q[\sqrt[7]{16}+3\sqrt[7]8]$
