Results 1 to 5 of 5
Like Tree1Thanks
  • 1 Post By Gusbob

Thread: Polynomial Rings - Z5[X]/<p(x)>

  1. #1
    Super Member Bernhard's Avatar
    Joined
    Jan 2010
    From
    Hobart, Tasmania, Australia
    Posts
    594
    Thanks
    2

    Polynomial Rings - Z5[X]/<p(x)>

    Compute the multiplicative inverse of $\displaystyle a(x) = \overline{x^2 + x + 1} $ in $\displaystyle \mathbb{Z}_5/<p(x)> $

    where $\displaystyle p(x) = x^3 + x^2 + x + 1 = (x^2 + 1)(x +1) $.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Jan 2008
    Posts
    588
    Thanks
    87

    Re: Polynomial Rings - Z5[X]/<p(x)>

    Quote Originally Posted by Bernhard View Post
    Compute the multiplicative inverse of $\displaystyle a(x) = \overline{x^2 + x + 1} $ in $\displaystyle \mathbb{Z}_5/<p(x)> $

    where $\displaystyle p(x) = x^3 + x^2 + x + 1 = (x^2 + 1)(x +1) $.
    Because $\displaystyle x^3+x^2+x+1=0$, we have $\displaystyle 1=-x^3-x^2-x$. It is easy to see that $\displaystyle (-x)(x^2+x+1)=-x^3-x^2-x$, so $\displaystyle -x$ is the inverse.



    However, it is not always so easy to solve for inverses by inspection. The surefire way to do this is to use linear algebra, as I will demonstrate.

    You want $\displaystyle (a+bx+cx^2)(x^2+x+1)=1$ (we only go up to the second degree since $\displaystyle x^3=-x^2-x-1$)

    Expanding the left hand side gives

    $\displaystyle \bigg(ax^2+ax+a\bigg)+\bigg(bx^3+bx^2+bx\bigg)+ \bigg(cx^4+cx^3+cx^2\bigg)$

    $\displaystyle =\bigg(a(x^3+x^2+x+1) - ax^3\bigg)$
    $\displaystyle +\bigg(b(x^3+x^2+x+1)-b\bigg)$
    $\displaystyle + \bigg(cx(x^3+x^2+x+1)-cx\bigg)$

    $\displaystyle =-ax^3-cx-b$

    $\displaystyle =a(x^2+x+1)-cx-b$

    $\displaystyle =ax^2+(a-c)x+(a-b)$



    So we want to find $\displaystyle a,b,c\in \mathbb{Z}_5$ such that $\displaystyle ax^2+(a-c)x+(a-b)=1$. Although it is obvious what the solution is in this case, I'll write down the general way to do it:

    With respect to the basis $\displaystyle {1,x,x^2}$, this is equivalent to solving the linear system

    $\displaystyle \begin{bmatrix} 1&-1&0 \\ 1&0&-1 \\1&0&0 \end{bmatrix}\begin{bmatrix} a \\ b \\c \end{bmatrix}=\begin{bmatrix} 1 \\ 0 \\0 \end{bmatrix}$

    Which has solutions $\displaystyle a=c=0;b=-1$. Hence the inverse is $\displaystyle ax^2+bx+c=-x$, which is the same answer as we got from inspection.
    Thanks from Bernhard
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Apr 2013
    From
    Canada
    Posts
    42
    Thanks
    2

    Re: Polynomial Rings - Z5[X]/<p(x)>

    How do you guys post equations so neatly?
    By copying and pasting the original post, this is what I get:

    "Compute the multiplicative inverse of a(x) = \overline{x^2 + x + 1} in \mathbb{Z}_5/<p(x)>

    where p(x) = x^3 + x^2 + x + 1 = (x^2 + 1)(x +1) . "
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member Bernhard's Avatar
    Joined
    Jan 2010
    From
    Hobart, Tasmania, Australia
    Posts
    594
    Thanks
    2

    Re: Polynomial Rings - Z5[X]/<p(x)>

    Hi HowDoIMath,

    You need to use the Latex language for Maths expressions - see Latex Help and download the very helpful tutorials or help sheets.

    Note that you need [TEX] and then the same with a / before the T around the math expressions to get Latex to work

    Peter
    Last edited by Bernhard; Apr 6th 2013 at 11:40 PM.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Apr 2013
    From
    Canada
    Posts
    42
    Thanks
    2

    Re: Polynomial Rings - Z5[X]/<p(x)>

    Ok thanks
    $\displaystyle a(x) = \overline{x^2 + x + 1} $
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: Dec 28th 2012, 10:27 PM
  2. Polynomial rings -- F2[x]
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Dec 27th 2012, 09:52 PM
  3. Polynomial Rings -- Z/4Z
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: Dec 26th 2012, 05:11 PM
  4. Polynomial rings
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Oct 29th 2009, 09:13 AM
  5. polynomial rings
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: Feb 28th 2009, 09:42 PM

Search Tags


/mathhelpforum @mathhelpforum