Results 1 to 4 of 4

Math Help - automorphism of field

  1. #1
    Member
    Joined
    Oct 2008
    Posts
    83

    automorphism of field

    I have been given this question:

    Find Aut (F_2[x]/(x^3+x+1)) ?

    I can do this question easily if the question asked: Find Aut (F_2[x]/(x^3+x+1))* where (F_2[x]/(x^3+x+1))* denotes the group

    This is my work:
    F_2 = {0,1}

    Set x^3 + x + 1 = 0 then x^3 = -x -1 = x + 1

    There are 8 elements in F_2[x]/(x^3+x+1): 0, 1, x, x+1, x^2, x^2 +x, x^2 +1, x^2 +x +1

    Since x^3 + x + 1 is irreducible over F_2 , so (F_2[x]/(x^3+x+1)) is a field

    If we exclude 0 then (F_2[x]/(x^3+x+1)) becomes a group, and denote this by (F_2[x]/(x^3+x+1))* = G

    Since org (G) = |(F_2[x]/(x^3+x+1))*| = 7 then we conclude that
    (F_2[x]/(x^3+x+1))* =~ C_7 where x is the generator of G

    So: Aut (F_2[x]/(x^3+x+1))* =~ Aut(C_7) = C_6 (since 7 is prime)

    BUT in this case the question is different. So I am wondering if Aut(R) and Aut(G) is the same? ( R = ring and G =group)

    If I am wrong then, how do you solve this question.

    Thank you for reading my thread.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by knguyen2005 View Post
    I have been given this question:

    Find Aut (F_2[x]/(x^3+x+1)) ?

    I can do this question easily if the question asked: Find Aut (F_2[x]/(x^3+x+1))* where (F_2[x]/(x^3+x+1))* denotes the group

    This is my work:
    F_2 = {0,1}

    Set x^3 + x + 1 = 0 then x^3 = -x -1 = x + 1

    There are 8 elements in F_2[x]/(x^3+x+1): 0, 1, x, x+1, x^2, x^2 +x, x^2 +1, x^2 +x +1

    Since x^3 + x + 1 is irreducible over F_2 , so (F_2[x]/(x^3+x+1)) is a field

    If we exclude 0 then (F_2[x]/(x^3+x+1)) becomes a group, and denote this by (F_2[x]/(x^3+x+1))* = G

    Since org (G) = |(F_2[x]/(x^3+x+1))*| = 7 then we conclude that
    (F_2[x]/(x^3+x+1))* =~ C_7 where x is the generator of G

    So: Aut (F_2[x]/(x^3+x+1))* =~ Aut(C_7) = C_6 (since 7 is prime)

    BUT in this case the question is different. So I am wondering if Aut(R) and Aut(G) is the same? ( R = ring and G =group)

    If I am wrong then, how do you solve this question.

    Thank you for reading my thread.
    x^3 + x + 1 is irreducible over \mathbb{F}_2. thus \frac{\mathbb{F}_2[x]}{<x^3 + x + 1>} \cong \mathbb{F}_8. so the automorphism group is C_3, the cyclic group of order 3. the generator of this group is the Frobenius map.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Oct 2008
    Posts
    83
    Thanks alot 4 quick reply , but i dont understand why so the automorphism group is How do you get that?

    Sorry, I haven't learnt about Frobenius map yet. Can you explain to me please?

    Thanks so much, I am really appreciated
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by knguyen2005 View Post
    Thanks alot 4 quick reply , but i dont understand why so the automorphism group is How do you get that?

    Sorry, I haven't learnt about Frobenius map yet. Can you explain to me please?

    Thanks so much, I am really appreciated
    The polynomial x^3+x+1 is irreducible over \mathbb{F}_2 therefore, \mathbb{F}_2[x]/(x^3+x+1) is a field with 2^3 = 8 elements, that is why it is \mathbb{F}_8. Now, \text{Aut}(\mathbb{F}_8) = \text{Gal}(\mathbb{F}_8/\mathbb{F}_2) where \mathbb{F}_2 is its prime subfield. However, this Galois group is cyclic of degree 3 and generated by \sigma where \sigma: \mathbb{F}_8 \to \mathbb{F}_8 is defined by \sigma(x) = x^2.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Automorphism
    Posted in the Advanced Algebra Forum
    Replies: 7
    Last Post: August 22nd 2010, 11:39 PM
  2. automorphism
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: May 18th 2009, 08:51 PM
  3. Automorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 21st 2009, 11:48 AM
  4. AutoMorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: July 31st 2008, 05:28 AM
  5. automorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 1st 2008, 07:11 PM

Search Tags


/mathhelpforum @mathhelpforum