Skip to main content
added 164 characters in body
Source Link
John Pardon
  • 18.7k
  • 3
  • 55
  • 131

PickPick some $\gamma_1\in L\setminus\mathbb Q$ which is not a square. Pick some $\gamma\in L\setminus\mathbb Q$$\gamma\in L^\times/(L^\times)^2$ which is not a squarefixed by $\operatorname{Gal}(L/\mathbb Q)$ and letfix a lift $\gamma_1\in L$. Let $\gamma_1,\ldots,\gamma_n$ be itsthe orbit of $\gamma_1$ under $\operatorname{Gal}(L/\mathbb Q)$. Then it is an easy exercise in Galois theory to show that:

  1. $L(\sqrt{\gamma_1},\ldots,\sqrt{\gamma_n})/L$ is Galois with abelian Galois group $\subseteq(\mathbb Z/2\mathbb Z)^n$.
  2. $L(\sqrt{\gamma_1},\ldots,\sqrt{\gamma_n})/\mathbb Q$ is Galois with nonabelian Galois group $\subseteq\operatorname{Gal}(L/\mathbb Q)\ltimes(\mathbb Z/2\mathbb Z)^n$.

Pick some $\gamma\in L\setminus\mathbb Q$ which is not a square and let $\gamma_1,\ldots,\gamma_n$ be its orbit under $\operatorname{Gal}(L/\mathbb Q)$. Then it is an easy exercise in Galois theory to show that:

  1. $L(\sqrt{\gamma_1},\ldots,\sqrt{\gamma_n})/L$ is Galois with abelian Galois group $\subseteq(\mathbb Z/2\mathbb Z)^n$.
  2. $L(\sqrt{\gamma_1},\ldots,\sqrt{\gamma_n})/\mathbb Q$ is Galois with nonabelian Galois group $\subseteq\operatorname{Gal}(L/\mathbb Q)\ltimes(\mathbb Z/2\mathbb Z)^n$.

Pick some $\gamma_1\in L\setminus\mathbb Q$ which is not a square. Pick some $\gamma\in L^\times/(L^\times)^2$ which is not fixed by $\operatorname{Gal}(L/\mathbb Q)$ and fix a lift $\gamma_1\in L$. Let $\gamma_1,\ldots,\gamma_n$ be the orbit of $\gamma_1$ under $\operatorname{Gal}(L/\mathbb Q)$. Then it is an easy exercise in Galois theory to show that:

  1. $L(\sqrt{\gamma_1},\ldots,\sqrt{\gamma_n})/L$ is Galois with abelian Galois group $\subseteq(\mathbb Z/2\mathbb Z)^n$.
  2. $L(\sqrt{\gamma_1},\ldots,\sqrt{\gamma_n})/\mathbb Q$ is Galois with nonabelian Galois group $\subseteq\operatorname{Gal}(L/\mathbb Q)\ltimes(\mathbb Z/2\mathbb Z)^n$.
Source Link
John Pardon
  • 18.7k
  • 3
  • 55
  • 131

Pick some $\gamma\in L\setminus\mathbb Q$ which is not a square and let $\gamma_1,\ldots,\gamma_n$ be its orbit under $\operatorname{Gal}(L/\mathbb Q)$. Then it is an easy exercise in Galois theory to show that:

  1. $L(\sqrt{\gamma_1},\ldots,\sqrt{\gamma_n})/L$ is Galois with abelian Galois group $\subseteq(\mathbb Z/2\mathbb Z)^n$.
  2. $L(\sqrt{\gamma_1},\ldots,\sqrt{\gamma_n})/\mathbb Q$ is Galois with nonabelian Galois group $\subseteq\operatorname{Gal}(L/\mathbb Q)\ltimes(\mathbb Z/2\mathbb Z)^n$.