Results 1 to 2 of 2

Math Help - finite field homework

  1. #1
    Junior Member
    Joined
    Sep 2008
    From
    Edmonton
    Posts
    67

    Exclamation finite field homework

    It's just about halfway through the term and I've been able to do the first 5 homeworks without any help, however my class notes seem to be lacking substance at this point.
    So I come to you for help.

    2. Show that X^3-X+1 is irreducible in \mathbb{F}_3[X]
    if  L=\mathbb{F}_3[X]/(X^3-X+1)

    my solution so far: (x), (x+1), (x+2), (x2), (2x+1), (2x+2) aren't roots so it's irreducible
    then from an example we did in class I need to find the number of elements in this field, then the number of elements in the cyclic group of nonzero elements? then what we did next in the example is find an element of this group of degree equal to the size of the group?

    what I'd like to improve on this, I don't particularly like my proof of irreducibility since I have another question which is of degree 4 so I don't want to have to list all examples again, but it is \mathbb{F}_2 so it's still not hard to do it exhaustively


    3. Let K be a finite field of characteristic p, F a subfield of K, and m a positive integer.
    set L= \{ a \in K:a^{p^{m}} \in F \}

    a) show that L is a subfield of K that contains F
    b) show that L=F

    5. Let p be a prime and f(x) an irreducible polynomial of degree 2 in \mathbb{F}_p[X]. if K is an extension field of \mathbb{F}_p of order p^3, prove that f(x) is irreducible in K[X]


    This is due in about 12 hours from now, thanks for the help. I'm sorry I left it to the last minute, I tried hard to do it on my own
    Even if you only get to this after the deadline I'd still appreciate someone guiding me through this as I want to know this stuff for my midterm next week too
    Last edited by jbpellerin; October 15th 2009 at 10:21 PM. Reason: hang on
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Quote Originally Posted by jbpellerin View Post
    It's just about halfway through the term and I've been able to do the first 5 homeworks without any help, however my class notes seem to be lacking substance at this point.
    So I come to you for help.

    2. Show that X^3-X+1 is irreducible in \mathbb{F}_3[X]
    if  L=\mathbb{F}_3[X]/(X^3-X+1)


    == This question's odd: the pol. f(x) = x^3 - x + 1 is irreducible over Z_3 no matter what. I don't understand what the meaning of the line beginning with "if" in your question can possibly be.

    Anyway, since the pol. f(x) is irreduc. the ideal generated by it is prime and thus maximal (since the pol's ring is a PID) and thus the quotient ring is a a field.


    my solution so far: (x), (x+1), (x+2), (x2), (2x+1), (2x+2) aren't roots so it's irreducible

    == This again is weird: x, x+ 1 and etc. are NOT candidates to be roots of
    f(x) since these are pol's, NOT elements of the field F_3.
    In fact, f(x) is irred. because its degree is <= 3 and it has no roots in the definition field, namely F_3


    then from an example we did in class I need to find the number of elements in this field, then the number of elements in the cyclic group of nonzero elements?


    What's then question here? The number of elements in F_3[x]/<f(x)> is 3^deg(f(x)) ==> 3^3 = 27.
    As L is a field, L* is a multiplicative group, and since it is a finite one then it is cyclic.


    then what we did next in the example is find an element of this group of degree equal to the size of the group?


    Are you asking people what YOU did in class? Anyway, perhaps you mean to find an element w in L s.t. L* = <w>. Obviously it must be an element of order 26.


    what I'd like to improve on this, I don't particularly like my proof of irreducibility since I have another question which is of degree 4 so I don't want to have to list all examples again, but it is \mathbb{F}_2 so it's still not hard to do it exhaustively


    To show irreducibility for pol's of degree > 3 can be way harder since one cannot use the simple test of non-existence of root as with pol's of degree <= 3.


    3. Let K be a finite field of characteristic p, F a subfield of K, and m a positive integer.
    set L= \{ a \in K:a^{p^{m}} \in F \}

    a) show that L is a subfield of K that contains F
    b) show that L=F


    === Do you already know that any finite field K of order p^n, with p a prime and n a natural number, is in fact the splitting field of the pol. x^(p^n) - x over the prime field F_p? This means that K is in fact the set of all the roots of the above pol. (in some algebraci closure of F_p) and it in fact is a field wrt the standard addtion and multiplication operations.

    5. Let p be a prime and f(x) an irreducible polynomial of degree 2 in \mathbb{F}_p[X]. if K is an extension field of \mathbb{F}_p of order p^3, prove that f(x) is irreducible in K[X]


    === Supose f(x) is reducible over K ==> K contains a root w (in fact, both) of f(x) (see discussion above), so then F_p(w) <= K. Now use multiplicativity of degrees: [K:F_p] = [K:F_p(w)][F_p(w):F_p]
    Note: I think we must add here the assumption that p is an odd prime.

    Tonio



    This is due in about 12 hours from now, thanks for the help. I'm sorry I left it to the last minute, I tried hard to do it on my own
    Even if you only get to this after the deadline I'd still appreciate someone guiding me through this as I want to know this stuff for my midterm next week too
    ..
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Splitting Field of a Polynomial over a Finite Field
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 1st 2011, 03:45 PM
  2. Finite Field
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 23rd 2010, 02:19 AM
  3. Finite Field
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: January 15th 2010, 02:25 AM
  4. Replies: 2
    Last Post: October 7th 2009, 01:16 PM
  5. Finite field
    Posted in the Advanced Algebra Forum
    Replies: 18
    Last Post: August 28th 2009, 07:26 PM

Search Tags


/mathhelpforum @mathhelpforum