2
$\begingroup$

If $L/K$ and $F/L$ are Galois extensions inside $\mathbb{C}$, must $F/K$ be a Galois extension?

  • 0
    I 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 2

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.

  • 0
    But 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