Remark

Note that the addition and multiplication of t/n and t'/n', with n and n' nonzero, is well defined because R is a domain. For, in the product

t/n * t'/n' = tt'/nn'

we have a nonzero denominator since both n and n' are nonzero. Similarly for addition.