Let S be the set of all rational numbers of the form m/n, where mZ and n = 1,2,3. Prove that * on S defined by a*b = ab is not a binary operation.

Given that * is an operation that is valid on the set S which consists of all rational numbers of the form , here mZ and n = 1,2,3 and is defined by a*b = ab.


According to the problem it is given that on applying the operation * for two given numbers in the set ‘S’ it gives a number in the set ‘S’ as a result of the operation.


a*bS ...... (1)


Since aS and bS,


Let us take the values of then,



as 9n.


The operation ‘*’ does not define a binary operation on ‘S’.


8