Re: Algebra with root and Z_2[x].



On 23-11-2007 7:06, mina_world wrote:

Prove that every polynomial of degree 1, 2, or 4 in Z_2[x]
has a root in Z_2[x] / <x^4 + x + 1>.

---------------------------------------------
x^4 + x + 1 is irreducible over Z_2.
By Kronecker, x^4 + x + 1 has a root in Z_2[x] / <x^4 + x + 1>.
Anyway, this is not useful in my problem.

Let f(x) = x + a in Z_2[x].
a is 0 or 1.
so, f(x) has a root in Z_2.

Let f(x) = x^2 + a.x + b in Z_2[x].
Sorry. I can't progress any more.
so, I need your advice.

You have four possibilities: f(x) = x^2, f(x) = x^2 + x, f(x) = x^2 + 1,
and f(x) = x^2 + x + 1. The first three have a root in Z_2 already. Now,
take a = [x] in Z_2[x]/<x^4 + x + 1>. Then

a^2 + a + 1 = [x^2 + x + 1]

and therefore

(a^2 + a + 1)^2 = [x^4 + x^2 + 1] = [x^2 + x] = (a^2 + a + 1) + 1.

So, a^2 + a + 1 is a root of x^2 + x + 1 in Z_2[x]/<x^4 + x + 1>.

Now, try the same approach with fourth degree polynomials.

Best regards,

Jose Carlos Santos
.



Relevant Pages

  • Re: Algebra with finite field..
    ... Indeed, if it where true, every element of F would be a root of the ... Best regards, ... Jose Carlos Santos ... In any case, the original statement, that ...
    (sci.math)
  • Re: Algebra with finite field..
    ... Indeed, if it where true, every element of F would be a root of the polynomial X^p-X, thus the cardinality of F should be p: this is not the case if n>1. ... Best regards, ... Jose Carlos Santos ...
    (sci.math)
  • Re: Algebra with root and Z_2[x].
    ... fhas a root in Z_2. ... I can't progress any more. ... Best regards, ... Jose Carlos Santos ...
    (sci.math)
  • Re: redhat-list Digest, Vol 2, Issue 46
    ... >> Regards, Mike Klinke ... > Is there a way to Prevent anyone from logging in as root. ... > What I see here is a machine that hasn't run out of RAM yet and ... > the OS doesn't have to go back to the disc for it. ...
    (RedHat)
  • Re: Configure E-mail and Connect to Internet Connection Wizard Pro
    ... Error 0x80005006 returned from call to Fixing the inheritance for root dir. ... Regards, ... > Hi Emmet, ... >> Error 0x8007041d returned from call to EnableSMTPConnector(). ...
    (microsoft.public.windows.server.sbs)