(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

i) Find the order and structure of the Galois Group [itex]K:Q[/itex] where

[itex] K = Q(\alpha) [/itex] and

[itex] \alpha = \sqrt{2 + \sqrt{2}}[/itex].

ii)Then for each subgroup of [itex]Gal (K:Q)[/itex], find the corresponding subfield through the Galois correspondence.

2. Relevant equations

I get the minimal polynomial to be [itex] f(x): x^4 -4x^2 + 2[/itex] and the four roots of [itex] f(x)[/itex] are [itex] \sqrt{2 + \sqrt{2}} , -\sqrt{2 + \sqrt{2}}, \sqrt{2 - \sqrt{2}}, -\sqrt{2 - \sqrt{2}} [/itex]

I'm told [itex]K:Q[/itex] is normal

3. The attempt at a solution

I get the order of [itex]Gal (K:Q)[/itex] to be 4 with

[itex] Gal (K:Q) = \{ Id, \sigma, \tau, \sigma \tau \} [/itex] where

[itex] \sigma(\sqrt{2 + \sqrt{2}} ) \rightarrow -\sqrt{2 + \sqrt{2}} [/itex]

[itex] \tau(\sqrt{2 + \sqrt{2}} ) \rightarrow \sqrt{2 - \sqrt{2}} [/itex]

and

[itex]\sigma \tau (\sqrt{2 + \sqrt{2}} ) \rightarrow -\sqrt{2 - \sqrt{2}} [/itex]

I get stuck with the 2nd part though. I get the proper subgroups [itex] \{Id, \sigma \} \{Id, \tau\} \{ Id, \sigma \tau \} [/itex] but I don't see how to find the corresponding subfields.

Through the Galois correspondence, there's a bijective map between the subfields of K and the subgroups of [itex] Gal(K:Q)[/itex]. So there'd have to be 3 different subfields. I know these fields have to be generated by the fixed points for each map.

I'd appreciate any help on what the subfields are.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Galois correspondence

**Physics Forums | Science Articles, Homework Help, Discussion**