Define S to be the following relation on R[x]: S = {(f, g) = R[x]²: (x-3) divides (g-f) in R[x]}. You may assume that S is an equivalence relation. i. Prove that, if (f₁, f₂) € S and (9₁, 92) € S for some f₁, f2, 91, 92 € R[x], then also (f₁ + 91, f2 +9₂) € S. vivalenos simile

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.7: Relations
Problem 28E
icon
Related questions
Question
Define S to be the following relation on R[x]:
S = {(f, g) = R[x]²: (x-3) divides (g-f) in R[x] }.
You may assume that S is an equivalence relation.
i. Prove that, if (f1, f2) = S and (91, 92) ES for some f₁, f2, 91, 92 € R[x], then also (f₁ + 9₁, f₂ +9₂) € S.
ii. Suppose we wanted to prove that the set P of equivalence classes of S is a ring, similar to how we proved that Zm is a ring in the notes.
Explain how part (i) would come up within the proof that P is a ring.
Transcribed Image Text:Define S to be the following relation on R[x]: S = {(f, g) = R[x]²: (x-3) divides (g-f) in R[x] }. You may assume that S is an equivalence relation. i. Prove that, if (f1, f2) = S and (91, 92) ES for some f₁, f2, 91, 92 € R[x], then also (f₁ + 9₁, f₂ +9₂) € S. ii. Suppose we wanted to prove that the set P of equivalence classes of S is a ring, similar to how we proved that Zm is a ring in the notes. Explain how part (i) would come up within the proof that P is a ring.
Expert Solution
steps

Step by step

Solved in 2 steps with 3 images

Blurred answer
Similar questions
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,