$\Theta \rho ϵ\eta \Pi \alpha \tau \pi$

It should be clear that $p\left(x\right)$ has one real root, this can be noted that it has power $3$ and that $p^{\prime }\left(x\right)=3x^2+3>0$, thus it can only pass through the x-axis at most once, leading to exactly one real root.

---

In order to prove that $\mathbb{Q}\left(\alpha \right)$ is a field extension of $\mathbb{Q}$ of degree 3, all we have to do is shot ath $p\left(x\right)$ is irreducible over $\mathbb{Q}$. Recall that the following: given two polynomials $m\left(x\right),k\left(x\right)$ such that $m\left(x\right)=k(x+a)$, then $m\left(x\right)$ is irreducible iff $k\left(x\right)$ is irreducible.

With that said define $m\left(x\right)=p(x+1)$ where we note that $$p(x+1)=x^3+3x^2+3x+1+3x+3-1=x^3+3x^2+6x+3$$ which allows us to use Eisenstien's with $p=3$ to deduce that $p(x+1)$ is irreducible in $\mathbb{Q}\left[x\right]$ , but then $p\left(x\right)$ is also irreducible by our previous paragraph. Therefore since $p\left(x\right)$ has degree 3, then we know that the extension $\mathbb{Q}\left(\alpha \right)$ has degree 3.

---

Note that $p\left(x\right)=x^3+3x-1$ is sparable because $\mathbb{Q}$ has characteristic 0. Therefore since $E$ is its splitting field, then we have that $|\mathrm{Gal}\left(E/\mathbb{Q}\right)|=[E:\mathbb{Q}]=[E:\mathbb{Q}\left(\alpha \right)][\mathbb{Q}\left(\alpha \right):\mathbb{Q}]$.

Note that since there is exactly one root in $\mathbb{Q}\left(\alpha \right)$ then we know that $[E:\mathbb{Q}\left(\alpha \right)]>1$ because if it was equal to one, then $\mathbb{Q}\left(\alpha \right)$ would be the splitting field, which it cannot be because it contains exactly one root, we require that $||\mathrm{Gal}(E/\mathbb{Q}|<|S_3|=6)$ because the splitting field contains $3$ distinct roots, all of this forces that $[E:\mathbb{Q}\left(\alpha \right)]=2$ so that $\mathrm{Gal}\left(E/\mathbb{Q}\right)|=[E:\mathbb{Q}]=6$ which means that $\mathrm{Gal}\left(E/\mathbb{Q}\right)\cong S_3$.

---

Each of the permutations in the Galois group is equivalent to one of the permutations in the symmetry group. Let $a_1,a_2,a_3$ (where $a_2=\alpha$ be the roots, but instead let's denote them by $1,2,3$ so that we can use cycle notation to easily describe what each does to $\alpha$ $$\begin{array}{cccc}& a_1()& amp;=a_1& \text{<span class="tml-eqn"></span>}\\ & a_1(1,2)& amp;=a_2& \text{<span class="tml-eqn"></span>}\\ & a_1(2,3)& amp;=a_1& \text{<span class="tml-eqn"></span>}\\ & a_1(1,3)& amp;=a_3& \text{<span class="tml-eqn"></span>}\\ & a_1(1,2,3)& amp;=a_2& \text{<span class="tml-eqn"></span>}\\ & a_1(1,3,2)& amp;=a_3& \text{<span class="tml-eqn"></span>}\end{array}$$

Recall that the irreducible polynomial of $1+i$ is a monic irreducible polynomial having $1+i$ as a root. Note that we main employ the following idea, start with $x=1+i$ and then attempt to re-arrange this into a polynomial which is easy to verify if it is irreducible and is monic. Observe that $$\begin{array}{ccc}& x=1+i& \text{<span class="tml-eqn"></span>}\\ & \Updownarrow & \text{<span class="tml-eqn"></span>}\\ & x-1=i& \text{<span class="tml-eqn"></span>}\\ & \Downarrow & \text{<span class="tml-eqn"></span>}\\ & x^2-2x+1=-1& \text{<span class="tml-eqn"></span>}\\ & \Updownarrow & \text{<span class="tml-eqn"></span>}\\ & x^2-2x+2=0& \text{<span class="tml-eqn"></span>}\end{array}$$ Observe that this is monic, which is good using the rational roots theorem, let's observe that the only possible solutions would be given by $\pm 2$ by verifying both we observe that this polynomial is irreducible over $\mathbb{Q}\left[x\right]$ as it has degree 2 and no roots.

Finally note that $1+i$ is a root of this polynomial: $${(1+i)}^2-2(1+i)+2=1+2i-1-2-2i+2=0$$

We'll do this by first noticing something which is not immediately obvious: $$\sqrt{3+2\sqrt{2}}=1+\sqrt{2}$$ To see this let's show that $3+2\sqrt{2}={(1+\sqrt{2})}^2$. Well ${(1+\sqrt{2})}^2=(1+2\sqrt{2}+2)=3+2\sqrt{2}$ as needed, thus it's true, from this we can note that $$\mathbb{Q}\left(\sqrt{3+2\sqrt{2}}\right)=\mathbb{Q}(1+\sqrt{2})$$ Now observe that $\mathbb{Q}\left(\sqrt{2}\right)=\mathbb{Q}(1+\sqrt{2})$ so we conclude that $$\mathbb{Q}\left(\sqrt{3+2\sqrt{2}}\right)=\mathbb{Q}\left(\sqrt{2}\right)$$ We've seen that $[\mathbb{Q}\left(\sqrt{2}\right):\mathbb{Q}]=2$ so we conclude that the answer to the original question is $2$.

Let $\alpha =\sqrt[4]{2}$, let $\varphi \in \mathrm{Gal}\left(\mathbb{Q}(\sqrt[4]{2},i)/\mathbb{Q}\left(\sqrt{2}\right)\right)$, note that $\varphi \left({\alpha }^2\right)={\alpha }^2$, so that $$\varphi {\left(\alpha \right)}^2=\varphi \left({\alpha }^2\right)={\alpha }^2$$ thus $\varphi \left(\alpha \right)$ is an element who's sequre is ${\alpha }^2$ since we are in an intergral domain then an element can have at most two square roots and since those would be $\alpha ,-\alpha$ then we know that $\varphi \left(\alpha \right)=\pm \alpha$.

On a similar note, we see that $\varphi {\left(i\right)}^2=-1$ so that the only possibilities are $phi\left(i\right)=\pm i$. Summing up, we've deduced that given any element in the galois group it must map $\alpha$ to $\pm \alpha$ and $i$ to $\pm i$, since knowing what the map does to $\alpha$ and $i$ fully determines it, this means that there are at most 4 automorphisms in the galois group.

We note that $\mathbb{Q}(\alpha ,i)$ is the splitting field for $x^4-2$ as $\alpha ,\alpha i,-\alpha ,-\alpha i$ are contained in it, and there is nothing smaller containg all of them so that $|\mathrm{Gal}(\alpha ,i)/\mathbb{Q}\left({\alpha }^2\right)|=[\mathbb{Q}(\alpha ,i):\mathbb{Q}\left({\alpha }^2\right)]=[\mathbb{Q}(\alpha ,i):\mathbb{Q}\left(\alpha \right)]\cdot [\mathbb{Q}\left(\alpha \right):\mathbb{Q}\left({\alpha }^2\right)]=2\cdot 2=4$. Note that $[\mathbb{Q}\left(\alpha \right):\mathbb{Q}\left({\alpha }^2\right)]=2$ because we may use the basis $(1,\alpha )$.

Going back to our original paragraphs, we deduce that the four automorphisms are indeed uniquely determined by ${\varphi }_1\left(b\right)=b,{\varphi }_1\left(i\right)=i$ , ${\varphi }_2\left(b\right)=-b,{\varphi }_2=i$ , ${\varphi }_3\left(b\right)=b,{\varphi }_3\left(i\right)=-i$ and ${\varphi }_4\left(b\right)=-b,{\varphi }_4\left(i\right)=-i$

Since it is of degree $3$ we may verify that it is irreducible by checking all possible input values and confirming none are roots, so let $a+b\sqrt{2}\in \mathbb{Q}\left(\sqrt{2}\right)$ then $$\begin{array}{ccc}& {(a+b\sqrt{2})}^3-\sqrt{2}=0& \text{<span class="tml-eqn"></span>}\\ & \Updownarrow & \text{<span class="tml-eqn"></span>}\\ & a^3+3a^{2}b\sqrt{2}+3a{b}^2{\left(\sqrt{2}\right)}^2+b^3{\left(\sqrt{2}\right)}^3-\sqrt{2}=0& \text{<span class="tml-eqn"></span>}\\ & \Updownarrow & \text{<span class="tml-eqn"></span>}\\ & (a^3+6a{b}^2)+\sqrt{2}(3a^{2}b+2b^3-1)=0& \text{<span class="tml-eqn"></span>}\end{array}$$ so that we must have $$a^3+6a{b}^2=0\text{ and }3a^{2}b+2b^3-1=0$$ If so, then $a^3+6a{b}^2=0⟺a(a^2+6b^2)=0$. If it's the case that $a=0$, then we have $$\begin{array}{ccc}& 3a^{2}b+2b^3-1=0& \text{<span class="tml-eqn"></span>}\\ & \Updownarrow & \text{<span class="tml-eqn"></span>}\\ & b=\frac{1}{\sqrt[3]{2}}& \text{<span class="tml-eqn"></span>}\end{array}$$ but by plugging that into $f$ we obtain a non-zero value, on the other hand if $a^2+6b^2=0$ then this forces $a,b=0$ which also leads to a non-zero value when plugged into $f$ therefore we know that $f$ is irreducible over $\mathbb{Q}\left(\sqrt{2}\right)$

---

Let's observe that $f\left(x\right)$ is separable, this is simply because it is a non-zero polynomial within a field of characteristic zero, so we have that $$|\mathrm{Gal}\left(E/\mathbb{Q}\left(\sqrt{2}\right)\right)|=[E:\mathbb{Q}\left(\sqrt{2}\right)]$$ We also know that $|\mathrm{Gal}\left(E/\mathbb{Q}\left(\sqrt{2}\right)\right)|||S_3|=6$. We also know that $f$ has one real root, given by $r=\sqrt[6]{2}$ and the other two are distinct complex numbers.

Let $F=\mathbb{Q}\left(\sqrt{2}\right)$ We now deduce that $[E:F\left(r\right)]\ge 1$ because $F\left(r\right)$ is not the splitting field as just discussed, by iv in theorem 47, we have that $[F\left(r\right):F]=\mathrm{deg}\left(f\right)=3$ therefore with all this information we are forced to have that $[E:F\left(r\right)]=2$ so that $|\mathrm{Gal}\left(E/\mathbb{Q}\left(\sqrt{2}\right)\right)|=6$ and thus $\mathrm{Gal}\left(E/\mathbb{Q}\left(\sqrt{2}\right)\right)\cong S_3$ so that each the galois's groups elements are one of the permutations.

Consider $M_{n\times n}\left(F\right)$ as a vector space over $F$, in this case it's easy to see that the "one-hot" matricies at each $i,j$ form a basis for this vector space, and the dimension is precisely $n^2$.

On the other hand, supposing we had the matrices A ^ 0, \ldots A ^ \left( n ^ 2 \right) ParseError: Got function '\left' with no arguments as superscript at position 19: … 0, \ldots A ^ \̲l̲e̲f̲t̲( n ^ 2 \right), then as there are $n^2+1$ of these matrices then we know that they are linearly depedent, so we get coefficients a _ 0, \ldots a _ \left( n ^ 2 \right) \in F ParseError: Got function '\left' with no arguments as subscript at position 19: … 0, \ldots a _ \̲l̲e̲f̲t̲( n ^ 2 \right)… not all zero such that a _ 0 A ^ 0 + \ldots + a _ { n ^ 2 } A ^ \left( n ^ 2 \right) = 0 ParseError: Got function '\left' with no arguments as superscript at position 42: … { n ^ 2 } A ^ \̲l̲e̲f̲t̲( n ^ 2 \right)…, semantically replace every $A$ with an $x$ to obtain a polynomial such that $A$ is a root.

---

let $j\left(x\right),k\left(x\right)\in I$, note that $(j-k)\left(x\right)=j\left(x\right)-k\left(x\right)$ so that $(j-k)\left(A\right)=0-0=0$ so that $(j-k)\left(x\right)\in I$, also let $r\left(x\right)\in F\left[x\right]$ then $r\left(x\right)j\left(x\right)\in I$ because $r\left(A\right)j\left(A\right)=r\left(A\right)\cdot 0=0$, so that $I$ is an ideal.

---

We want to show that $I={\left(m\left(x\right)\right)}_{\diamond }$, one way of proving this is to show that $m\left(x\right)$ divides every element in $I$. So let $f\left(x\right)\in I$ by the quotient remainder theorem we obtain $q\left(x\right),r\left(x\right)$ such that $f\left(x\right)=q\left(x\right)m\left(x\right)+r\left(x\right)$ where either $r\left(x\right)=0$ or $\mathrm{deg}\left(r\right)<\mathrm{deg}\left(m\right)$, but note the latter is impossible because $m\left(x\right)$ was the monic polynomial with the smallest degree in $I$ (which is also the smallest degree of any polynomial in $I$) so that we must have $r\left(x\right)=0$ which implies that $m\left(x\right)$ divides $f\left(x\right)$ as needed.

---

Suppose that there was another monic polynomial $c\left(x\right)\in I$ with the same degree as $m\left(x\right)$, we know that $m\left(x\right)$ divides $c\left(x\right)$, but then we must have that the quotient is a non-zero constant polynomial, so that $c\left(x\right)=\alpha m\left(x\right)$, but then $\alpha m\left(x\right)$ is no longer monic unless $\alpha =1$ therefore $c\left(x\right)=m\left(x\right)$ as needed.

Observe that each ${\alpha }_i$ is a root of $x^2-{\alpha }^2\in \mathbb{Q}\left[x\right]$, in other words the minimal polynomial is at most 2, and so we know that $$[\mathbb{Q}({\alpha }_1,{\alpha }_2,\dots {\alpha }_i):\mathbb{Q}({\alpha }_1,\dots {\alpha }_{i-1})]\in \{1,2\}$$ therefore by repeatedly breaking this into a product the entire sum will be $2^k$ for some $k\in {\mathbb{N}}_0$. Now if it so happens that $\sqrt[3]{2}\in E$ then we have $$[E:\mathbb{Q}]=[E:\mathbb{Q}\left(\sqrt[3]{2}\right)]\cdot [\mathbb{Q}\left(\sqrt[3]{2}\right):\mathbb{Q}]$$ Note that $[E:\mathbb{Q}\left(\sqrt[3]{2}\right)]=3$ which implies that $3|2^k$ which is clearly impossible, so we deduce that $\sqrt[3]{2}\notin E$ as needed.

Given any $\sigma \in \mathrm{Gal}\left(E/\mathbb{Q}\right)$ we can see that $\sigma \left(\sqrt{2}\right)=\pm \sqrt{2}$, $\sigma \left(\sqrt{3}\right)=\pm \sqrt{3}$ and $\sigma \left(\sqrt{5}\right)=\pm \sqrt{5}$, and we also know that it is uniquely determined by these equations. Therefore we deduce that the only possible automorphisms are $$\sigma (a+b\sqrt{2}+c\sqrt{3}+d\sqrt{5})=a\pm b\sqrt{2}\pm c\sqrt{3}\pm d\sqrt{5}$$ that of which there are $2^3=8$.

Alternately we may observe that given the maps ${\sigma }_1:(\sqrt{2},\sqrt{3},\sqrt{5})\mapsto (-\sqrt{2},\sqrt{3},\sqrt{5}),{\sigma }_2:(\sqrt{2},\sqrt{3},\sqrt{5})\mapsto (\sqrt{2},-\sqrt{3},\sqrt{5}),{\sigma }_3:(\sqrt{2},\sqrt{3},\sqrt{5})\mapsto (\sqrt{2},\sqrt{3},-\sqrt{5})$, it's easy to see that $\mathrm{Gal}\left(E/\mathbb{Q}\right)=⟨{\sigma }_1,{\sigma }_2,{\sigma }_3⟩\cong C_2\times C_2\times C_2$.

Also we may explictly construct a $Q$ basis for $\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$ to do this we recall that if we have a field extension $E/F$ and an $E$-vector space $V$ . If $\{v_1,\dots ,v_m\}$ is a $E$-basis of $V$ , and $\{e_1,\dots ,e_n\}$ is an $F$-basis of $E$ , then $\{e_i\cdot v_j:i\in [1\dots n],j\in [1\dots m]\}$ is an $F$-basis of $V$. Using this we observe that since $\{1,\sqrt{2}\}$ is a basis for $Q\left(\sqrt{2}\right)/\mathbb{Q}$ and $1,\sqrt{3}$ is a basis for $\mathbb{Q}(\sqrt{2},\sqrt{3})/\mathbb{Q}\left(\sqrt{2}\right)$ then we conclude that $1,\sqrt{2},\sqrt{3},\sqrt{6}$ is a basis for $\mathbb{Q}(\sqrt{2},\sqrt{3})$, repeating this process again for $\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$ yields the basis $(1,\sqrt{2},\sqrt{3},\sqrt{5},\sqrt{6},\sqrt{10},\sqrt{15},\sqrt{30})$, so that $|\mathrm{Gal}\left(\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})/\mathbb{Q}\right)|=[\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5}):\mathbb{Q}]=8$ which confirms our earlier remark on the number of automorphisms.

Let's first notice that $x^4-5=(x-\sqrt[4]{5})(x+\sqrt[4]{5})(x-i\sqrt[4]{5})(x+i\sqrt[4]{5})$ and thus it is separable so the first part of the equation is confirmed. We now verify that $[E:\mathbb{Q}]=8$.

Since $x^4-5\in \mathbb{Q}\left[x\right]$ and we observe that $5$ divides all coefficients besides the leading terms coefficient but $5^2$ doesn't divide the constant term, then by Eisensteins Criterion this polynomial is irreducible over $\mathbb{Q}$ note that since $p\left(x\right)$ has degree four, then we can conclude that $[\mathbb{Q}\left(\sqrt[4]{5}\right):\mathbb{Q}]=4$. Therefore we have $$[E:\mathbb{Q}]=[\mathbb{Q}(\sqrt[4]{5},i):\mathbb{Q}\left(\sqrt[4]{5}\right)]\cdot [\mathbb{Q}\left(\sqrt[4]{5}\right):\mathbb{Q}]=2\cdot 4=8$$

---

Note that given any $\sigma \in \mathrm{Gal}\left(E/\mathbb{Q}\right)$ we must have that $\sigma {\left(i\right)}^2=\sigma \left(i^2\right)=\sigma (-1)=-1$ and that $\sigma {\left(\sqrt[4]{5}\right)}^4=5$ under such constraints we can see that $\sigma \left(i\right)\in \{-i,i\}$ and that $\sigma \left(\sqrt[4]{5}\right)\in \{\sqrt[4]{5},-\sqrt[4]{5},i\sqrt[4]{5},-i\sqrt[4]{5}\}$ therefore since we've observed taht there are 8 of them each such choice leads to a valid automorphism. If we denote $\tau :(i,\sqrt[4]{5})\mapsto (-i,\sqrt[4]{5})$ and $\sigma :(i,\sqrt[4]{5})\mapsto (i,i\sqrt[4]{5})$, we can see that using composition we can generate all of the possible automorphisms.

Therefore we know that $\mathrm{Gal}\left(E/\mathbb{Q}\right)=⟨\tau ,\sigma ⟩$ where we have that the order of $\tau ,\sigma$ is 2 and 4 respectively and that $\sigma \tau =\tau {\sigma }^{-1}$, with that said we can construct it's multiplication table

$$\begin{array}{ccccccccc}& e& \sigma & {\sigma }^2& {\sigma }^3& \tau & \sigma \tau & {\sigma }^2\tau & {\sigma }^3\tau \\ e& e& \sigma & {\sigma }^2& {\sigma }^3& \tau & \sigma \tau & {\sigma }^2\tau & {\sigma }^3\tau \\ \sigma & \sigma & {\sigma }^2& {\sigma }^3& e& \sigma \tau & {\sigma }^2\tau & {\sigma }^3\tau & \tau \\ {\sigma }^2& {\sigma }^2& {\sigma }^3& e& \sigma & {\sigma }^2\tau & {\sigma }^3\tau & \tau & \sigma \tau \\ {\sigma }^3& {\sigma }^3& e& \sigma & {\sigma }^2& {\sigma }^3\tau & \tau & \sigma \tau & {\sigma }^2\tau \\ \tau & \tau & {\sigma }^3\tau & {\sigma }^2\tau & \sigma \tau & e& {\sigma }^3& {\sigma }^2& \sigma \\ \sigma \tau & \sigma \tau & \tau & {\sigma }^3\tau & {\sigma }^2\tau & \sigma & e& {\sigma }^3& {\sigma }^2\\ {\sigma }^2\tau & {\sigma }^2\tau & \sigma \tau & \tau & {\sigma }^3\tau & {\sigma }^2& \sigma & e& {\sigma }^3\\ {\sigma }^3\tau & {\sigma }^3\tau & {\sigma }^2\tau & \sigma \tau & \tau & {\sigma }^3& {\sigma }^2& \sigma & e\end{array}$$

---

We can see that through this table that $D_8$ and $\mathrm{Gal}\left(E/\mathbb{Q}\right)$ are in clear bijection through the map $f\left(\tau \right)=f$ and $f\left(\sigma \right)=r$, using this map we see that the two multiplications map into eachother and therefore they are isomorphic. Note that you can also do this by showing that the only two non-abelian groups of order $8$ are $D_{2\cdot 4}$ and the quaternion group, but in the quaternion group each non-trivial element has order $4$ but in this group we note that ${\tau }_2=e$ then it can only be $D_8$.

Since $\mathbb{Q}\subseteq B$ then $\mathrm{Gal}\left(E/B\right)\subseteq \mathrm{Gal}\left(E/\mathbb{Q}\right)$, so therefore we can look back at all of $\mathrm{Gal}\left(E/\mathbb{Q}\right)$'s automorphisms and determines which ones actually fix $B$. To do this we simply see which ones fix $i\sqrt[4]{5}$, observe that by exhaustion we can observe that only the identity and the automorphism $\sigma \left(i\right)=-i$ and $\sigma \left(\sqrt[4]{5}\right)=-\sqrt[4]{5}$ will work. Therefore $|\mathrm{Gal}\left(E/B\right)|=2$, note that this solves both parts of the question at once.

---

We start by showing that $E=\mathbb{Q}(\sqrt{2},\sqrt[3]{5},\omega )$. The harder direction is that $\mathbb{Q}(\sqrt{2},\sqrt[3]{5},\omega )\subseteq E$, an arbitrary element of $\mathbb{Q}(\sqrt{2},\sqrt[3]{5},\omega )$ is $a+b\sqrt{2}+c\sqrt[3]{5}+d\omega$, so if we can show that each of $\sqrt{2},\sqrt[3]{5},\omega \in E$ then this sum will also be in $E$ so we'll focus on this problem instead, but to that end note the following $$\begin{array}{ccc}& \frac{{\alpha }_1+{\alpha }_4}{2}=\sqrt[3]{5}& \text{<span class="tml-eqn"></span>}\\ & \frac{{\alpha }_2+{\alpha }_5}{2\cdot \sqrt[3]{5}}=\omega & \text{<span class="tml-eqn"></span>}\\ & \frac{{\alpha }_2+{\alpha }_3+\sqrt[3]{5}}{2}=\sqrt{2}& \text{<span class="tml-eqn"></span>}\end{array}$$ therefore we have one direction of the inclusion. As for $E\subseteq \mathbb{Q}(\sqrt{2},\sqrt[3]{5},\omega )$ since each ${\alpha }_i$ is already a linear combination of those things this direction is immediate.

---

We show it's equal to 12 by factoring it.

---

We'll describe all the automorphisms by explicitly finding them, initially we would have to verify many things but we first notice that $\mathbb{Q}\left(b\right)/\mathbb{Q}$ and $\mathbb{Q}(c,\omega )/\mathbb{Q}$ are Galois as they are splitting fields of $x^2-2$ and $x^3-5$ respectively, therefore as $\mathbb{Q}(b,c,\omega )=\mathbb{Q}\left(b\right)\mathbb{Q}(c,\omega )$ as a composite then we know that $$\mathrm{Gal}\left(\mathbb{Q}(b,c,\omega )\right)\cong \{(\sigma ,\tau ):\sigma {\upharpoonright }_{\mathbb{Q}\left(b\right)\cap \mathbb{Q}(c,\omega )}=\tau {\upharpoonright }_{\mathbb{Q}\left(b\right)\cap \mathbb{Q}(c,\omega )}\}$$ where the RHS is a subgroup of $\mathrm{Gal}\left(\mathbb{Q}\left(b\right)/\mathbb{Q}\right)\times \mathrm{Gal}\left(\mathbb{Q}(c,\omega )/\mathbb{Q}\right)$. Note that $\mathbb{Q}\left(b\right)\cap \mathbb{Q}(c,\omega )=\varnothing$ therefore the RHS actually equals $\mathrm{Gal}\left(\mathbb{Q}\left(b\right)/\mathbb{Q}\right)\times \mathrm{Gal}\left(\mathbb{Q}(c,\omega )/\mathbb{Q}\right)\cong C_2\times C_3$

Note that given some $\sigma \in \mathrm{Gal}\left(\mathbb{Q}\left(b\right)/\mathbb{Q}\right)$ we have that $\sigma \left(b\right)=\pm b$ this is because $b=\sqrt{2}$ so that ${\left(\sigma \left(b\right)\right)}^2=\sigma \left(b^2\right)=\sigma \left(2\right)=2$ so that $\sigma \left(b\right)=\pm b$.

On the other hand if we had some $\tau \in \mathrm{Gal}\left(\mathbb{Q}(c,\omega )/\mathbb{Q}\right)$ then since the roots of $f\left(x\right)=x^3-5$ are $\sqrt[3]{5},\omega \sqrt[3]{5},{\omega }^2\sqrt[3]{5}\in \mathbb{Q}(c,\omega )$ then $\tau$ must permute these roots that of which there are $6$ different permutations. Note that such a permutation may be specified by what it does to $\omega$ and $\sqrt[3]{5}$ separately, also note that $\tau {\left(\omega \right)}^3=1$ so we know that $\tau \left(\omega \right)$ must be a 3rd root of unity, which allows for an even more compact representation of the permutations.

Note that at this point we may list out all 12 permutations each of which is generated by selecting $\sigma \left(b\right)\in \{b,-b\}$ and a permutation as specfied above, which may be given as $\sigma \left(\sqrt[3]{5}\right)=...$ and $\sigma \left(\omega \right)=...$, which uniquely restricts each root to get sent to a root.

We start by proving that $S$ is a field let $x\in F\left(\sqrt{r_m}\right)$ and $y\in F\left(\sqrt{s_n}\right)$ then $x$ and $y$ are both in the tower of fields $ℱ$ which can be generated by adjoining $r_1,\dots r_m$ and then $s_1,\dots s_n$ to $F_0=\mathbb{Q}$. Since $ℱ$ is a field than by combining $x,y$ in any way with the operations at hand always still produces an element of $ℱ$, since $S$ was defined as the union of all towers than we know that $ℱ\subseteq S$ and so that this combination of $x,y$ is also in $S$ showing that $S$ is a field.

---

For this question lets first observe that $\overline{r}=r$ for any $r\in \mathbb{Q}$, let $p(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_1{x}_1+a_0$, with $a_i\in \mathbb{Q}$ and note that conjugation moves through summations and products, so that: $$\begin{array}{cc}p(a+b\sqrt{r})=0& \Rightarrow a_n{(a+b\sqrt{r})}^n+\cdots +a_1(a+b\sqrt{r})+a_0=0\\ & \Rightarrow \overline{a_n{(a+b\sqrt{r})}^n+\cdots +a_1(a+b\sqrt{r})+a_0}=\overline{0}\\ & \Rightarrow a_n{(\overline{a+b\sqrt{r}})}^n+\cdots +a_1(\overline{a+b\sqrt{r}})+a_0=0\\ & \Rightarrow p(\overline{a+b\sqrt{r}})=0\\ & \Rightarrow p(a-b\sqrt{r})=0\end{array}$$

---

Given the polynomial $x^3+b{x}^2+cx+d=0$ and the roots to this equation ${\alpha }_1,{\alpha }_2,{\alpha }_3$ then we know that $$\begin{array}{cccc}& x^3+b{x}^2+cx+d& amp;=(x-{\alpha }_1)\cdot (x-{\alpha }_2)\cdot (x-{\alpha }_3)& \text{<span class="tml-eqn"></span>}\\ & & amp;=(x^2-({\alpha }_1+{\alpha }_2)x+{\alpha }_1{\alpha }_2)\cdot (x-{\alpha }_3)& \text{<span class="tml-eqn"></span>}\\ & & amp;=x^3-{\alpha }_3{x}^2-({\alpha }_1+{\alpha }_2)x^2+({\alpha }_1+{\alpha }_2){\alpha }_{3}x+{\alpha }_1{\alpha }_{2}x-{\alpha }_1{\alpha }_2{\alpha }_3& \text{<span class="tml-eqn"></span>}\\ & & amp;=x^3-({\alpha }_1+{\alpha }_2+{\alpha }_3)x^2+({\alpha }_1{\alpha }_2+{\alpha }_1{\alpha }_3+{\alpha }_2{\alpha }_3)x-{\alpha }_1{\alpha }_2{\alpha }_3& \text{<span class="tml-eqn"></span>}\end{array}$$ therefore $b=-({\alpha }_1+{\alpha }_2+{\alpha }_3)$ since $b\in \mathbb{Q}$ then the sum of the roots are rational.

---

If $a+b\sqrt{r}\in B\left(\sqrt{r}\right)$ is a root of $p\left(x\right)$ then we know that $a-b\sqrt{r}\in B\left(\sqrt{r}\right)$ is a root of $p\left(x\right)$ but then as just shown the sum of all the roots is rational so if $\alpha$ is the last root of $p\left(x\right)$ we have that $$a+b\sqrt{r}+a-b\sqrt{r}+\alpha =s$$ Isolating $\alpha$ we have that $\alpha =s-2a$ since $a\in B$ and $s\in \mathbb{Q}\subseteq B$ then $\alpha \in B$

---

Suppose that $p\left(x\right)$ has a surd root in the field extension $B\left(\sqrt{r}\right)$ where we have the tower $$\mathbb{Q}=B_0\subseteq B_1\subseteq \cdots \subseteq B_n$$ Suppose that $B_i$ where $i>1$ is the smallest field in the tower which contains a root of $p\left(x\right)$ but then as just noted, there would then be a root in $B_{i-1}$ which is a contradiction to $B_i$ being the smallest field that contained a root of $p\left(x\right)$ therefore $i=0$ so that $\mathbb{Q}=B_0$ contains a root of $p\left(x\right)$, in other words we've just proven that $p\left(x\right)$ has a rational root. Note that this proof is equivalent to induction.

---

Let $x=2\cos \left(20\right)$, let's prove that $x^3-3x-1=0$. We recall that $\cos \left(3\theta \right)=4{\cos }^3\left(\theta \right)-3\cos \left(\theta \right)$, therefore plugging in $\theta =20$ we obtain that $$\frac{1}{2}=4{\cos }^3\left(20\right)-3\cos \left(20\right)⟺8{\cos }^3\left(20\right)-6\cos \left(20\right)-1=0⟺x^3-3x-1=0$$

---

We've shown that if a polynomial $p\left(x\right)$ has a surd root then it has a rational root, therefore by the converse we know that if it has no rational roots, then it has no surd roots. Therefore if we were able to show that $x^3-3x-1$ has no rational roots then it would have no surd roots, and since $2cos\left(20\right)$ is a root, then it could not be a surd. Note that by the rational roots theorem the only possible roots are $\pm 1$ note that by plugging either in it is the sum of three odd numbers and thus cannot be 0, thus it has no rational roots, and therefore $2cos\left(20\right)$ is not a surd