Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Irreducible Polynomial

  1. Apr 3, 2009 #1
    Here is my problem:

    Say if I have a irreducible polynomial for [tex]GF(2^2)[/tex] that is [tex]x^2 + Nx + 1[/tex] , (N = elements of [tex]GF(2)[/tex]) how do I determine the possible values of N ? Given the irreducible polynomial for [tex]GF(2)[/tex] is [tex]x^2 + x + 1[/tex]

    I think since the field is [tex]GF(4)[/tex] so we have choice of [tex]\{ 0,1, \alpha, \alpha + 1\}[/tex]

    thus to make the polynomial irreducible N could be either 1 or 3 which is [tex]\alpha[/tex] or [tex]\alpha + 1[/tex].

    so now i have polynomial of either [tex]x^2 + \alpha x + 1[/tex] or [tex]x^2 + (\alpha +1 )x + 1[/tex]

    then how do I use the polynomial to generate the 16 elements for the field of [tex]GF((2^2)^2)[/tex] ?? please guide me with some steps.

    thanks alot
     
  2. jcsd
  3. Apr 6, 2009 #2
    Remember that a polynomial of degree 2 or 3 is irreducible if and only if it has no root.

    And in general, if you have a field F and an irreducible polynomial p(x) of degree n, then F[x]/<p(x)> is a field with |F|n elements.
     
  4. Apr 6, 2009 #3
    Hmmm, Im quite confirmed that for the norm to be 1, N has to be either [tex]\alpha[/tex] or [tex]\alpha + 1[/tex] or in integer is either 1 or 3.

    Now Im very troubled, which is 1? [tex]\alpha[/tex] or [tex]\alpha +1[/tex] ? and how do I identify it??
     
  5. Apr 6, 2009 #4
    Neither is; the extra elements [itex]\alpha[/itex] and [itex]\alpha + 1[/itex] don't really correspond with the other numbers (there is no 3 anywhere!); they are separate elements on their own. It might help to describe the multiplication table of GF(22), with [itex]\alpha[/itex] being the element that is a root of x2 + x + 1. All you need to do that is to remember that since [itex]\alpha^2 + \alpha + 1 = 0[/itex], you have [itex]\alpha^2 = -(\alpha + 1) = \alpha + 1[/itex]. Then the multiplication table is
    [tex]
    \begin{tabular}{c|cccc}
    & 0 & 1 & $\alpha$ & $\alpha + 1$ \\ \hline
    0 & 0 & 0 & 0 & 0 \\
    1 & 0 & 1 & $\alpha$ & $\alpha + 1$ \\
    $\alpha$ & 0 & $\alpha$ & $\alpha + 1$ & 1 \\
    $\alpha + 1$ & 0 & $\alpha + 1$ & 1 & $\alpha$
    \end{tabular}
    [/tex]

    It seems like what you want to do is construct GF(24) by finding a monic irreducible polynomial of degree 2 over GF(22). So let's do that:

    Say we're trying to find a monic irreducible polynomial of the form p(x) = x2 + Nx + 1, and we need to find N. That means we need to pick N such that this polynomial has no root. This is not the same polynomial as x2 + x + 1, which was used to construct GF(22)! I think that might be where the confusion is coming from.

    Anyway, there are really only four possibilities for N, so check each of them. If N = 0, then p(1) = 0; if N = 1, then [itex]p(\alpha) = 0[/itex] by the definition of [itex]\alpha[/itex]. It seems like both [itex]N = \alpha[/itex] and [itex]N = \alpha + 1[/itex] work. Pick either one; then GF(22)[x]/<p(x)> will be the required field with 16 elements.
     
  6. Apr 6, 2009 #5
    Hi, Thanks for your reply!!

    I get what you mean. Im confused with the 1 and 3 in relation to [tex]\alpha[/tex] and [tex]\alpha + 1[/tex] because I have asked similar question to other person before and this is how he explain:

    [tex]x^2+x+ N[/tex] has degree 2. so it's irreducible iff it has no root in [tex]\text{GF}(4).[/tex] thus the polynomial is irreducible for all odd values of [tex]N[/tex] in [tex]\text{GF}(4)[/tex] because [tex]x^2+x[/tex] is always even. so the only possible values of [tex]N.[/tex] is 1 and 3. as the element in [tex]\text{GF}(4) = {0,1,2,3}[/tex]


    Hence I try the same way to check on [tex]x^2+ Nx + 1[/tex] when I try all the 4 possible numbers in the equation; I get only N=1 or 3 that will make the polynomial irreducible .

    and I agreed that when N is either [tex]\alpha[/tex] and [tex]\alpha + 1[/tex], the polynomial is irreducible.

    Therefore, I have no idea how to relate the number 1 and 3 to [tex]\alpha[/tex] and [tex]\alpha + 1[/tex]
     
  7. Apr 6, 2009 #6

    Is there any easier and faster way to check what are the possible coefficient that make the polynomial irreducible. The example we discussed earlier only hav 4 possible elements to choose on. Let say if now Im looking at [tex]x^2 + \nu x + 1[/tex] and that [tex]\nu[/tex] is of the field of GF(22) (the 16 elements generated from [tex]x^2 + N x + 1[/tex] ) . It will be very hard if I need to check each of the elements one by one.

    any advice on that?
     
    Last edited: Apr 6, 2009
  8. Apr 6, 2009 #7
    The elements of GF(4) are not 0, 1, 2, and 3, so don't think of them as such. GF(4) is still a field of characteristic 2 (i.e. 2 = 0). Likewise, don't think of x2 + x being even, since that only makes sense in the integers, and [itex]\alpha[/itex] is not an integer. As GF(2) is a subfield of GF(4), you can't write [itex]\alpha[/itex] in terms of the elements of GF(2) (which are 0 and 1); really what's going on is that GF(4) is a vector space over GF(2), and [itex]\{1, \alpha\}[/itex] is a basis of that vector space.

    When you're picking values of N, you have to pick elements of GF(4), and 2 and 3 are not considered elements of GF(4). (That is, unless you declare that 2 = 1 + 1 = 0, and 3 = 2 + 1 = 1.)


    Unfortunately, I don't know of any quicker way to find coefficients that make a polynomial irreducible.
     
  9. Apr 7, 2009 #8
    ok ok! really thanks alot for the info! all this while I have confused myself with the elements and integers.

    So I got to try all the 16 elements for [tex]\nu[/tex] and for each [tex]\nu[/tex] value I need to try out all 16 possible elements in the polynomial to check if it will result in 0. The [tex]\nu[/tex] that does not result in 0 is the potential coefficient that I can use?

    Am I on the right track?
     
  10. Apr 7, 2009 #9
    Well, if you're trying to construct GF(16) from GF(4), you need an irreducible polynomial p(x) of degree 2 in GF(4)[x]; that is, p(x) has coefficients in GF(4) and has no root in GF(4). Thus you only need to check 4 values. Once you construct GF(16), p(x) will necessarily have a root in GF(16).
     
  11. Apr 7, 2009 #10
    yah, but if I were to try to construct GF(256) from GF(16), I need an irreducible polynomial p(x) of degree 2 in GF(16)[x] . since the polynomial has coefficients in GF(16) and no root in GF(16), I need to check 16 values right??
     
  12. Apr 7, 2009 #11
    I guess so.

    I might be wrong; there might be easier ways of finding irreducible polynomials.
     
  13. Apr 7, 2009 #12
    anyway, thanks alot adriank !!! you have do me a great help!

    thank you very much! :D
     
  14. Apr 7, 2009 #13

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    A randomly chosen monic quadratic polynomial over GF(q) (with q a power of 2) has a 50% chance of being irreducible: there are q^2 such polynomials, and and q^2 / 2 different ways to choose a product of two monic linear polynomials.

    So if your goal is to simply find an irreducible polynomial, all you have to do is keep picking them at random until you find one that works.

    There is a faster way to tell if your quadratic factors, using the polynomial identity (valid in any finite field, not just in ones with characteristic 2)"
    [tex]x^q - x = \prod_{a \in GF(q)} (x - a)[/tex]

    From this, we see that f(x) is an irreducible quadratic if and only if
    [tex]GCD(f(x), x^q - x) = 1[/tex]

    The computational hook that makes this fast is to use square-and-multiply-type algorithsm to compute a modular exponentiation (which is especially fast in characteristic 2!)
    [tex]g(x) \equiv x^q \pmod{f(x)}[/tex]

    and thus
    [tex]GCD(f(x), x^q - x) = GCD(f(x), g(x) - x)[/tex]
     
  15. Apr 7, 2009 #14
    actually i need to determine all the possible value [tex]\nu[/tex] that is make the polynomial irreducible. you explanation seems so complicated. do you mind simplify it for me?
     
  16. Apr 7, 2009 #15

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Oh, so it's going to be a tedious problem no matter how you do it. :frown: Anyways, a direct translation of what you seek (or rather, its opposite) is:

    It's not irreducible, then
    [tex]x^2 + \nu x + 1 = (x + \rho) (x + 1 / \rho)[/tex]
    for some [itex]\alpha[/itex], and therefore [itex]\nu = \rho + 1 / \rho[/itex].​

    This gives a straightforward way to write down all of the [itex]\nu[/itex] which make the polynomial reducible.
     
  17. Apr 7, 2009 #16
    hmm why is it [tex]\nu = \rho + 1/\rho[/tex] ? what are the values of [tex]\rho[/tex] ?
     
  18. Apr 8, 2009 #17
    If (x + a)(x + b) = x2 + cx + 1, then ab = 1, so b = a-1.
     
  19. Apr 8, 2009 #18

    so now, what I need to do is find all [tex]\nu[/tex] = ([tex]\rho[/tex] + 1/[tex]\rho[/tex]) with [tex]\rho[/tex] all the elements in GF(16). And all the [tex]\nu[/tex] that I have, are the one make the polynomial reducible.

    Now my doubt is how do i do for 1/[tex]\rho[/tex] ? let say we try element [tex]\lambda x + \lambda[/tex] with [tex]\lambda[/tex] elements from GF(4)
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Irreducible Polynomial
  1. Irreducible polynomial (Replies: 4)

Loading...