(b) Define R* = R \ {0} and Q* = Q\ {0} Let E be the binary relation on R* defined by TES ← qQ* such that qr = s. Prove that E is an equivalence relation. (c) For each rЄ R*, let [r] be the E-equivalence class which contains r; and let R*/E = {[r] | r = R*} be the set of E-equivalence classes. Prove that the multiplication operation on R*/E given by [x] · [y] = [xy] is well-defined. (d) Determine whether R*/E is a countable or uncountable set.

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.7: Relations
Problem 3E: a. Let R be the equivalence relation defined on Z in Example 2, and write out the elements of the...
icon
Related questions
Question

You only need to do D please. Thanks

(b) Define R* = R \ {0} and Q* = Q\ {0} Let E be the binary relation on R*
defined by
TES
←
qQ* such that qr = s.
Prove that E is an equivalence relation.
(c) For each rЄ R*, let [r] be the E-equivalence class which contains r; and
let R*/E = {[r] | r = R*} be the set of E-equivalence classes. Prove that
the multiplication operation on R*/E given by
[x] · [y] = [xy]
is well-defined.
(d) Determine whether R*/E is a countable or uncountable set.
Transcribed Image Text:(b) Define R* = R \ {0} and Q* = Q\ {0} Let E be the binary relation on R* defined by TES ← qQ* such that qr = s. Prove that E is an equivalence relation. (c) For each rЄ R*, let [r] be the E-equivalence class which contains r; and let R*/E = {[r] | r = R*} be the set of E-equivalence classes. Prove that the multiplication operation on R*/E given by [x] · [y] = [xy] is well-defined. (d) Determine whether R*/E is a countable or uncountable set.
Expert Solution
steps

Step by step

Solved in 2 steps

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,