Finding inverse in polynomial factor ring

Click For Summary
SUMMARY

The discussion focuses on finding the inverse of the polynomial \( r = 1 + t - t^2 \) in the polynomial factor ring \( R = F[x]/ \), where \( F = Z_7 \) and \( h = x^3 + x^2 - 1 \). The user attempted to solve the problem by expanding the product \( (a + bt + ct^2)(1 + t - t^2) = 1 \) and substituting for \( t^3 \) but encountered issues with the coefficients. The solution involves using the Extended Euclidean Algorithm to express Bezout's identity, which is essential for finding the inverse in this context.

PREREQUISITES
  • Understanding of polynomial rings and factor rings
  • Familiarity with \( Z_7 \) (integers modulo 7)
  • Knowledge of the Extended Euclidean Algorithm
  • Ability to manipulate polynomial expressions and coefficients
NEXT STEPS
  • Study the Extended Euclidean Algorithm for polynomials
  • Learn about Bezout's identity in the context of polynomial rings
  • Explore polynomial factor rings and their properties
  • Practice solving polynomial equations in modular arithmetic
USEFUL FOR

Students and educators in abstract algebra, particularly those studying polynomial rings and modular arithmetic, as well as mathematicians looking to deepen their understanding of inverses in polynomial factor rings.

PsychonautQQ
Messages
781
Reaction score
10

Homework Statement


find the inverse of r in R = F[x]/<h>.
r = 1 + t - t^2
F = Z_7 (integers modulo 7), h = x^3 + x^2 -1

Homework Equations


None

The Attempt at a Solution


The polynomial on bottom is of degree 3, so R will look like:
R = {a + bt + ct^2 | a,b,c are elements of z_7 and x^3 = 1 - ^2}

To solve this problem I realized that the inverse must obviously have the form of some element in R, so I set up:
(a + bt + ct^2)(1 + t - t^2) = 1

then I multiplied it all out whilst continuously substituting for t^3 and then solving for coefficients where the constant coefficient should equal 1 and the other two should equal 0.

I did all of this and got the constant coefficient to be zero and nonzero answers for the other two >.<. I checked my calculations and can't find an error (doesn't necessarily mean there isn't one...), is something wrong with the way I set up the problem? is my substitution for x^3 correct?
 
Physics news on Phys.org
PsychonautQQ said:

Homework Statement


find the inverse of r in R = F[x]/<h>.
r = 1 + t - t^2
F = Z_7 (integers modulo 7), h = x^3 + x^2 -1

Homework Equations


None

The Attempt at a Solution


The polynomial on bottom is of degree 3, so R will look like:
R = {a + bt + ct^2 | a,b,c are elements of z_7 and x^3 = 1 - ^2}

To solve this problem I realized that the inverse must obviously have the form of some element in R, so I set up:
(a + bt + ct^2)(1 + t - t^2) = 1

then I multiplied it all out whilst continuously substituting for t^3 and then solving for coefficients where the constant coefficient should equal 1 and the other two should equal 0.

I did all of this and got the constant coefficient to be zero and nonzero answers for the other two >.<. I checked my calculations and can't find an error (doesn't necessarily mean there isn't one...), is something wrong with the way I set up the problem? is my substitution for x^3 correct?

The usual way to do this is to use the Extended Euclidean Algorithm to explicitly write Bezout's identity. gcd(h,r)=a*h+b*r. Then mod both sides by h. Does that sound familiar? It is kind of a tedious calculation and it's easy to make a mistake. What did you do with t^4?
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
Replies
9
Views
3K
  • · Replies 18 ·
Replies
18
Views
6K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K