Let $F$ be a field of characteristic not $2$, and let $K$ be a Galois extension with $[K:F] = 4$. Prove that if $\operatorname{Gal}(K/F) \simeq \mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$, then $K = F(\sqrt{a},\sqrt{b})$ for some $a,b \in F$

I showed that

If $F$ is a field of characteristic not $2$, and $K$ is an extension of $F$ with $[K: F] = 2$, then $K = F (\sqrt{a})$ for some $a \in F$.

Using an idea like this.

But I couldn't use that same idea to prove this case. Can someone help me?

EDIT. Since $\operatorname{Gal}(K/F)$ is Klein group, there is subgroup $H$ of order $2$ and by the Fundamental Theorem of Galois Theory, there is a subfield $L$ of $K/F$ with $L \leftrightarrow H$ such that $[L:F] = [G:H] = 2$ and so, $[K:F] = [K:L][L:F] = [K:F(\sqrt{b})][F(\sqrt{b}):F]$. Can I to apply this result to $[K:F(\sqrt{b})]$ too?

  • 1
    $\begingroup$ @AlexNolte read the question $\endgroup$ – Kenny Lau Jun 27 '18 at 17:24
  • 1
    $\begingroup$ @AlexNolte, Is not. By hypothesis, the characteristic is not equal to $2$. $\endgroup$ – Corrêa Jun 27 '18 at 17:24

This is Kummer theory, but we can do this in a more naive way.

The Galois group is $\left<\alpha,\beta\right>$ where $\alpha$ and $ \beta$ have order $2$. The fixed field of $\alpha$ has degree $2$ over $F$, so is $F(\sqrt a)$ for some $a$. Similarly the fixed field of $\beta$ is $F(\sqrt b)$ for some $b$. If follows that $K$ must be $F(\sqrt a,\sqrt b)$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.