We've done degree 3 and 4, but not 5.

Find Galois groups of the following polynomials over :

Please help me out, again. :(

Printable View

- May 25th 2009, 03:40 PMmariannegalois group of a polynomial of degree 5
We've done degree 3 and 4, but not 5.

Find Galois groups of the following polynomials over :

Please help me out, again. :( - May 25th 2009, 06:49 PMThePerfectHacker
This polynomial factors as .

Over the complex numbers this factors as .

Where, .

Thus, the splitting field is given by .

Now, since .

The polynomial is irreducible over so it must be irreducible over because and . This means that .

And of course, .

Thus, .

The Galois group therefore must have order and that already gives us a few ideas of this group might be.

There are five possibilites: .

I will let you think about which one out of the five it must be. But before you do that it would be helpful to make the following realizations. First, if is an automorphism then it is completely determined by the values . Now, must permute the roots of the minimal polynomial of each element, so, . Thus, there are a total of at most such permutations but because the Galois group has order twelve it means for each one of these possibilities we have a permuation. Let be the permutation: i.e. is complex conjugation. Let be the permutation: . Let be the permutation: . Notice that are non-trivial automorphisms with .

Remember that , so, . While . We see that so the Galois group is not abelian. This eliminates the first two abelian cases and leaves us with only . Can you argue from here? - May 26th 2009, 02:36 AMgeorgel
- May 26th 2009, 09:05 AMThePerfectHacker
It is not true in general that the Galois group of a product of two polynomials is the direct product of the Galois groups of each of the polynomials. Thus, you do not know if this is one of those cases if it works or does not without further argument.

----

There is something further we can do to determine the Galois group. Notice that are two distinct subfields of . Now and are normal extensions of degree 2. Therefore, by the fundamental theorem of Galois theory it means and are two normal subgroups of index two in . However has no subgroup of order while has only one normal subgroup of order . Thus, it must be the remaining possibility and that is .