Purchase Solution

Commutative ring proofs

Not what you're looking for?

Ask Custom Question

See the attached file.
Let R be any commutative ring and S a subset of R n f0g containing no zero divisors.
Let X be the Cartesian product R  S and denote a relation  on X where (a; b)  (c; d).
(a) Show that  is an equivalence relation on X.
(b) Denote the equivalence class of (a; b) by a=b and the set of equivalence classes by RS (called the
localization of R at S). Show that RS is a commutative ring with 1.
(c) If a 2 S show that fra=a: r 2 Rg is a subring of RS and that r 7! ra=a is a monomorphism, so that
R can be identified with a subring with RS.
(d) Show that every s 2 S is a unit in RS.
(e) Give a universal" definition for the ring RS and show that RS is unique up to isomorphism.

Please see attached pdf.

I need a detailed, rigorous proof of this with explanation of the steps so I can learn.

Attachments
Purchase this Solution

Solution Summary

This provides examples of proofs regarding commutative rings and equivalence relations and classes, subrings and monomorphisms, units, and isomorphism.

Solution Preview

See attached

The extension F is unique; that is, if G : Q --> T ...

Purchase this Solution


Free BrainMass Quizzes
Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.