Results 1 to 3 of 3

Math Help - Galois Group of Polynomial

  1. #1
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9

    Galois Group of Polynomial

    I had this homework problem, I think I got it correct, just want a check from somebody.

    Find the Galois group of x^5 - 11 over \mathbb{Q}.
    I get that the splitting field is K = \mathbb{Q}(\sqrt[5]{11},\zeta) where \zeta = e^{2\pi i/5}.

    The next step is to calculate the dimension of this field. Here I used: let f(x) be irreducible over F with degree n and [K:F]=m, then f(x) is irreducible over K if \gcd(n,m)=1. Since x^4+x^3+x^2+x+1 is minimal polynomial for \zeta it follows from above that this polynomial is irreducible over \mathbb{Q}(\sqrt[5]{11}). Thus, [K:\mathbb{Q}(\sqrt[5]{11})] = 4. And thus, [K:\mathbb{Q}] = 5\cdot 4 = 20.

    Now let \tau: \sqrt[5]{11}\mapsto \zeta \sqrt[5]{11} \mbox{ and }\zeta \mapsto \zeta, \sigma: \sqrt[5]{11}\mapsto \sqrt[5]{11} \mbox{ and }\zeta \mapsto \zeta^2.
    Thus, \tau^5 = 1 and \sigma^4 = 1, also \sigma \tau = \tau^2 \sigma.
    Finally, \{ \tau^{i}\sigma^j | 0\leq i \leq 4 \mbox{ and }0\leq j \leq 3\} is a set of distinct \mathbb{Q}-automorphism.
    There are 20 all together. Thus we have found all elements of \mbox{Gal}(K/\mathbb{Q}).

    My remaining question is what type of group is this?
    I think this is the Frobenius group.
    And what is the subgroup diamgram of this group?
    (Wikipedia did not have it).
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by ThePerfectHacker View Post
    I had this homework problem, I think I got it correct, just want a check from somebody.

    Find the Galois group of x^5 - 11 over \mathbb{Q}.
    I get that the splitting field is K = \mathbb{Q}(\sqrt[5]{11},\zeta) where \zeta = e^{2\pi i/5}.

    The next step is to calculate the dimension of this field. Here I used: let f(x) be irreducible over F with degree n and [K:F]=m, then f(x) is irreducible over K if \gcd(n,m)=1. Since x^4+x^3+x^2+x+1 is minimal polynomial for \zeta it follows from above that this polynomial is irreducible over \mathbb{Q}(\sqrt[5]{11}). Thus, [K:\mathbb{Q}(\sqrt[5]{11})] = 4. And thus, [K:\mathbb{Q}] = 5\cdot 4 = 20.
    or even easier: if \gcd([F(a):F],[F(b):F])=1, then [F(a,b):F]=[F(a):F][F(b):F].

    My remaining question is what type of group is this?
    I think this is the Frobenius group.
    that's right.

    And what is the subgroup diagram of this group?
    (Wikipedia did not have it).
    answering this question will take some time and effort! you may find the answer (at least partially) in a decent group theory book.
    Last edited by NonCommAlg; June 7th 2008 at 08:42 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by NonCommAlg View Post
    answering this question will take some time and effort! you may find the answer (at least partially) in a decent group theory book.
    I guess it seems I have to the hard work. The subgroups must have orders: 1,2,4,5,10,20. The ones with 1,2,5 are easy to find because they are cyclic. The one with 4 is a little harder but still easy, either cyclic, or generated by two order two elements. That I can do. The one that is harder is 10. The cyclic one simply does not exist. This means if it has one then it must have D_5 subgroup. Or possibly a few of these. Can you provide me with the # of D_5 subgroups.

    This is Mine 99th Post!!!
    Last edited by ThePerfectHacker; June 8th 2008 at 06:56 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. How to work out a Galois Group of a polynomial
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: October 29th 2010, 06:09 AM
  2. Galois group of a polynomial
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: January 3rd 2010, 06:10 AM
  3. galois group of a polynomial of degree 5
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: May 26th 2009, 09:05 AM
  4. Galois group of a polynomial
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: April 19th 2009, 05:26 AM
  5. Galois group of a cubic polynomial
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: April 13th 2009, 10:51 AM

Search Tags


/mathhelpforum @mathhelpforum