Let \(R\) be a commutative ring with unit element. A nonempty subset \(S\) of \(R\)
is called a multiplicative system if:
(1) \(0 \in S\).
(2) \(s_{1}, s_{2} \in S\) implies that \(8_{1} s_{2} \in S\). Let \(9 \pi\) be the
set of all ordered pairs \((r, s)\) where \(r \in R, s \in S .\) In \(9 \pi\) define
\((r, s) \sim\left(r^{\prime}, s^{\prime}\right)\) if there exists an element
\(s^{\prime \prime} \in S\) such that
$$g^{\prime \prime}\left(r 8^{\prime}-8 r^{\prime}\right)=0 .$$
(a) Prove that this defines an equivalence relation on \(9 \pi\). Let the
equivalence class of \((r, s)\) be denoted by \([r, 8]\), and let \(R_{S}\) be the
set of all the equivalence classes. In \(R_{S}\) define \(\left[r_{1},
s_{1}\right]+\) \(\left[r_{2}, s_{2}\right]=\left[r_{1} s_{2}+r_{2} s_{1}, 8_{1}
s_{2}\right]\) and \(\left[r_{1}, s_{1}\right]\left[r_{2},
s_{2}\right]=\left[r_{1} r_{2}, s_{1} s_{2}\right]\)
(b) Prove that the addition and multiplication described above are well-
defined and that \(R_{S}\) forms a ring under these operations.
(c) Can \(R\) be imbedded in \(R_{S}\) ?
(d) Prove that the mapping \(\phi: R \rightarrow R_{z}\) defined by \(\phi(a)=[a
s, s]\) is a homomorphism of \(R\) into \(R_{S}\) and find the kernel of \(\phi\).
(e) Prove that this kernel has no element of \(S\) in it.
(f) Prove that every element of the form \(\left[s_{1}, s_{2}\right]\) (where
\(s_{1}, s_{2} \in S\) ) in \(R_{S}\) has an inverse in \(R_{S}\).