Let R commutative ring with unity, and S a sub monoid of the multiplicative monoid of R. In RxS define (a,b) ~ (b,t) if Эu є S э u(at-bs)= 0. Show that ~ is an equivalence relation in RxS. Denote the equivalence class of (a,s) as a/s and the quotient set consisting of these classes as RS-¹. Show that RS-¹ becomes a ring with unity relative to
a/b +b/t = (at +bs)/st
(a/s)(b/t) = (ab)(st)
Additive unity = 0/e
Multiplicative unity = e/e
Show that a --> a/e is homomorphism of R into RSˉ¹ and this is a monomorphism if and only if no element of S is a zero divisor in R.
Show that the elements s/e, s Є S, are units (set of invertible elements) in RS-¹.
Rings of Unity, Monoid, Momomorphism and Invertible Elements are investigated. The solution is detailed and well presented. The response received a rating of "5" from the student who originally posted the question.