If $L/K$ and $F/L$ are Galois extensions inside $\mathbb{C}$, must $F/K$ be a Galois extension?
Does a tower of Galois extensions in $\mathbb{C}$ give an overall Galois extension?
2
$\begingroup$
galois-theory
-
0I gave an example for if $L/F$ and $F/K$ are Galois then $L/K$ need not be Galois, but that is not what you are asking? – 2012-10-29
2 Answers
7
Take the extension $\mathbb{Q}\subset\mathbb{Q}(\sqrt{2}))\subset\mathbb{Q}(\sqrt[4]{2})$ Then each of the intermediate steps are Galois as they are of degree two, but the total degree 4 extension $\mathbb{Q}\subset\mathbb{Q}(\sqrt[4]{2})$ is not Galois as some of the roots of the minimal polynomial of $\sqrt[4]{2}$ over $\mathbb{Q}$ is not in $\mathbb{Q}(\sqrt[4]{2})$.
0
Consider the extension $\mathbb Q\subset\mathbb Q(\sqrt[4]{2})\subset \mathbb Q(\sqrt[4]{2},i) $. You have that $\mathbb Q(\sqrt[4]{2})/\mathbb Q$ is not Galois since it is not normal. Yu have to enlarge $\mathbb Q(\sqrt[4]{2})$ over $\mathbb Q$ in order to get Galois extension.
-
0But the question is: If $L/K$ and $F/L$ are Galois extensions inside $\mathbb{C}$, must $F/K$ be a Galois extension? Rather than whether a Galois extension can live inside a bigger Galois extension. – 2012-10-29