Determining Possible Values of N for Irreducible Polynomial in GF(2^2)

  • Thread starter classic_phone
  • Start date
  • Tags
    Polynomial
In summary: Pick either one; then GF(22)[x]/<p(x)> will be the required field with 16 elements.In summary, the conversation is about finding the possible values of N in an irreducible polynomial for GF(2^2), which is x^2 + Nx + 1, and determining the 16 elements for the field of GF((2^2)^2). The participants discuss the definition of an irreducible polynomial and how to construct a field with 16 elements using a monic irreducible polynomial of degree 2. They also clarify the confusion between N and \alpha, which is an element in GF(2^2) and has a different value than N. Ultimately, it is concluded that the
  • #1
classic_phone
10
0
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
 
Physics news on Phys.org
  • #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.
 
  • #3
adriank said:
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.

Hmmm, I am 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 I am very troubled, which is 1? [tex]\alpha[/tex] or [tex]\alpha +1[/tex] ? and how do I identify it??
 
  • #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.
 
  • #5
Hi, Thanks for your reply!

I get what you mean. I am 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]
 
  • #6
adriank said:
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.
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 I am 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:
  • #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.
 
  • #8
adriank said:
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.

ok ok! really thanks a lot 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?
 
  • #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).
 
  • #10
adriank said:
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).

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??
 
  • #11
I guess so.

I might be wrong; there might be easier ways of finding irreducible polynomials.
 
  • #12
anyway, thanks a lot adriank ! you have do me a great help!

thank you very much! :D
 
  • #13
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]
 
  • #14
Hurkyl said:
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]

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?
 
  • #15
classic_phone said:
actually i need to determine all the possible value [tex]\nu[/tex] that is make the polynomial irreducible.
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.
 
  • #16
hmm why is it [tex]\nu = \rho + 1/\rho[/tex] ? what are the values of [tex]\rho[/tex] ?
 
  • #17
If (x + a)(x + b) = x2 + cx + 1, then ab = 1, so b = a-1.
 
  • #18
adriank said:
If (x + a)(x + b) = x2 + cx + 1, then ab = 1, so b = a-1.


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)
 

1. What is an irreducible polynomial in GF(2^2)?

An irreducible polynomial in GF(2^2) is a polynomial with coefficients in the finite field with 2^2 elements, also known as the Galois field GF(4), that cannot be factored into smaller polynomials with coefficients in the same field.

2. How do you determine possible values of N for an irreducible polynomial in GF(2^2)?

To determine possible values of N for an irreducible polynomial in GF(2^2), you can use the following formula: N = (2^(2^m) - 1)/(2^m - 1), where m is the degree of the polynomial. This will give you all possible values of N for an irreducible polynomial in GF(2^2).

3. Why is it important to determine possible values of N for an irreducible polynomial in GF(2^2)?

Determining possible values of N for an irreducible polynomial in GF(2^2) is important because it allows us to find the number of elements in the finite field GF(2^2), which is necessary for many applications in coding theory, cryptography, and computer science.

4. Can an irreducible polynomial in GF(2^2) have more than one possible value of N?

No, an irreducible polynomial in GF(2^2) can only have one possible value of N. This is because the formula for determining N is based on the degree of the polynomial, and the degree of a polynomial is unique.

5. Are there any other methods for determining possible values of N for an irreducible polynomial in GF(2^2)?

Yes, there are other methods for determining possible values of N for an irreducible polynomial in GF(2^2), such as using the Berlekamp algorithm or the Cantor-Zassenhaus algorithm. These methods are more efficient for larger degree polynomials, but the formula mentioned in question 2 is the most straightforward and commonly used method.

Similar threads

  • Linear and Abstract Algebra
Replies
3
Views
754
  • Linear and Abstract Algebra
Replies
5
Views
928
Replies
6
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
16
Views
2K
  • Linear and Abstract Algebra
Replies
8
Views
1K
  • Linear and Abstract Algebra
Replies
14
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Programming and Computer Science
Replies
3
Views
769
  • Linear and Abstract Algebra
Replies
4
Views
1K
Back
Top