0
$\begingroup$

For a field $F$ such that $char(F)\ne 2$. Consider the tower of extension $E/L/F$ where $L = F(√c)$ and $E = L(\sqrt{a + b\sqrt{c}})$, for some $a,b,c ∈ F$.

When the degree-$4$ extension is Galois, it is said that there are only two possibilities for its Galois group, up to isomorphism. May I please ask for what is the $2$ possiblities? And under what condition on $a,b,c$?

And also, for the case which I am considering, may I please ask for an explicit explaination that what elements generate the subextensions of $E/F$? Could someone please give me a picture of the extensions so that would be made clear.

I know that it seems to be quite a general stuff... I think I do need some explaination. Thanks for help or reference!

$\endgroup$
  • $\begingroup$ Using Galois correspondence, the Galois group of the degree $4$ extension has order $4$. There are only two groups of order $4$ (up to isomorphism): cyclic group of order $4$ and Klein-$4$. $\endgroup$ – Alex Vong May 23 '17 at 14:12
  • $\begingroup$ @AlexVong Yes I did notice that as the degree of extension is $4$ we must have a Galois group of order 4. So may I please ask how to base on the situition of $a,b,c$, classify what condition lead to which of these 2 groups? $\endgroup$ – PropositionX May 23 '17 at 14:19
  • 2
    $\begingroup$ Have a look at this post math.stackexchange.com/q/649466/254075 $\endgroup$ – sharding4 May 23 '17 at 14:24
  • $\begingroup$ He says that a sufficient condition for the splitting field of $P(x) = (x^2-\alpha^2)(x^2-\beta^2)$ irreducible having Galois group $\mathbb{Z}_4$ is $\alpha\beta(\alpha-\beta) \in F$ $\endgroup$ – reuns May 23 '17 at 14:51
  • $\begingroup$ @sharding4 Thanks for the reference! I'll have a look. $\endgroup$ – PropositionX May 23 '17 at 14:54

Your Answer

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

Browse other questions tagged or ask your own question.