For each operation defined below, determine whether is binary, commutative or associative.

On Q, define a b =

It is given that On Q, define a b =

Now, ϵ Q, so the operation * is binary.


We know that ab = ba for a,b ϵ Q


= for a, b ϵ Q


a * b = a * b for a,b ϵ Q


The operation * is commutative.


Also for all a,b,c ϵ Q, we get,


(a * b) * c = () * c =


a * (b * c) = a * () =


(a * b) * c = a * (b * c)


the operation * is associative.


2