We next want to construct a much larger ring in which infinite sums of multiples of elements of S are allowed. In order to insure that multiplication is well-defined, from now on we assume that S has the following additional property: (#) For all s ∈ S, {(s1, s2) ∈ S × S : s1s2 = s} is finite. Thus, each element of S has only finitely many factorizations as a product of two elements. For exampl...