a*b is defined from NxN to N .

As u have rightly pointed out ..there is a problem with the way it has been defined . This is because an even and odd combination will not result in the answer belonging to N.

So the only way to proceed wud be to restate the question itself.(This need not be actually done ..but this seems to be the way out). It could be said ..that in domain we substitute those N for which the result would also belong to N...i.e

both even or both odd. Then we show that it is commutative.

hey neeraj !

the binary function is defined from N to N.Hence, the example u r giving is not included in this opertion.

and since a+b/2 = b+a/2

therefore, the operation is commutative !

i hope u hav understood !

@neeraj,
what u have checked is whether it is a binary operation or not.of course ,as u say 11/2 is not in N.
so it is not a binary operation.

if it was from N to Q then it is a binary operation.

i saw a similar sum somewhere.
!!!!!!!!!!!!!!