1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Galois group of x^4+1 over Q

  1. May 19, 2009 #1
    This thing splits if we adjoin e^ipi/4.
    Let [tex]\zeta[/tex]=e^ipi/4 =[tex]\frac{\sqrt{2}}{2}[/tex]+[tex]\frac{i\sqrt{2}}{2}[/tex]
    so x4+1=

    (x-[tex]\zeta[/tex])(x-[tex]\zeta[/tex]2)(x-[tex]\zeta[/tex]3)(x-[tex]\zeta[/tex]4).

    Then I want to permute these roots so the Galois group is just S4.

    But, Q([tex]\zeta[/tex])=Q(i,[tex]\sqrt{2}[/tex]) and [Q(i,[tex]\sqrt{2}[/tex]):Q]=4 (degree)

    I have the theorem that Galois group [tex]\leq[/tex] degree of splitting field over base field.

    Since |S4|=24 something is wrong, but what I can not find what is wrong with the logic.
     
  2. jcsd
  3. May 19, 2009 #2

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    This isn't really in my field of expertise, but zeta, zeta^2, zeta^3 and zeta^4 aren't algebraically independent over the rationals, now are they? If you choose for example to map zeta->zeta^2, you really don't have any choices about how to map the other roots. The symmetry group of the automorphisms is not S4. I think that's the answer. Do you agree?
     
    Last edited: May 19, 2009
  4. May 21, 2009 #3
    The Galois group is actually [tex] \mathbf{V} [/tex], the Klein four-group. You know that the Galois group has to have order 4, since the extension [tex] \mathbb{Q}(\zeta) [/tex] is Galois over [tex] \mathbb{Q} [/tex]. There are only two isomorphism types for groups of order four, i.e., the Klein four-group and the cyclic group of order four. You can distinguish between them by the fact that [tex] \mathbf{V} [/tex] has two elements of order 2, while [tex] C_4 [/tex] only has one. Thus, all you need to do is construct two elements of the Galois group having order 2. In any extension involving complex numbers, you know that complex conjugation is an automorphism of order two. To get another one, invoke the theorem that says that the Galois group acts transitively on the roots of any irreducible polynomial.

    Edit: [tex] \mathbf{V} [/tex] actually has three elements of order 2. Constructing two of them still suffices, however, since [tex] C_4 [/tex] only has one.
     
    Last edited: May 21, 2009
  5. May 21, 2009 #4
    Nice, conjugate, that makes sense. I ruled out Klein group to quickly!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Galois group of x^4+1 over Q
Loading...