What would you like to understand?

The naive condition $r_1s_2 = s_1r_2$ is insufficient because in a general commutative ring, elements can be annihilated by nonzero elements of $S$. The refined condition requires the existence of some $t \in S$ such that $t(r_1s_2 - s_1r_2) = 0$, which accounts for zero-divisor phenomena and ensures the equivalence relation is well-defined.

Conditions: $R$ is a general commutative ring (not necessarily an integral domain).; $S \subset R$ is multiplicatively closed.

The naive condition $r_1s_2 = s_1r_2$ is insufficient because in a general commutative ring, elements can be annihilated by nonzero elements of $S$. The refined condition requires the existence of some $t \in S$ such that $t(r_1s_2 - s_1r_2) = 0$, which accounts for zero-divisor phenomena and ensures the equivalence relation is well-defined.

Conditions: $R$ is a general commutative ring (not necessarily an integral domain).; $S \subset R$ is multiplicatively closed.