Question

A binary operation ⊕\oplus on a set of integers is defined as x⊕y=x2+y2x \oplus y = x^2 + y^2. Which one of the following statements is TRUE about ⊕\oplus?

Choose one option
Official answer and solution
Official answer
A
From
Official GATE 2013 answer key

Solution

Test the algebraic properties of commutativity and associativity directly on the binary operation definition.

The binary operation is defined as x⊕y=x2+y2x \oplus y = x^2 + y^2.

  1. Commutativity:

    y⊕x=y2+x2=x2+y2=x⊕yy \oplus x = y^2 + x^2 = x^2 + y^2 = x \oplus y

    Since addition on integers is commutative, x⊕y=y⊕xx \oplus y = y \oplus x for all integers x,yx, y. Thus, ⊕\oplus is commutative.

  2. Associativity:

    (x⊕y)⊕z=(x2+y2)⊕z=(x2+y2)2+z2(x \oplus y) \oplus z = (x^2 + y^2) \oplus z = (x^2 + y^2)^2 + z^2
    x⊕(y⊕z)=x⊕(y2+z2)=x2+(y2+z2)2x \oplus (y \oplus z) = x \oplus (y^2 + z^2) = x^2 + (y^2 + z^2)^2

    Testing with concrete values, say x=1,y=2,z=3x = 1, y = 2, z = 3:

    (1⊕2)⊕3=(12+22)2+32=52+9=25+9=34(1 \oplus 2) \oplus 3 = (1^2 + 2^2)^2 + 3^2 = 5^2 + 9 = 25 + 9 = 34
    1⊕(2⊕3)=12+(22+32)2=1+132=1+169=1701 \oplus (2 \oplus 3) = 1^2 + (2^2 + 3^2)^2 = 1 + 13^2 = 1 + 169 = 170

    Since 34≠17034 \neq 170, (x⊕y)⊕z≠x⊕(y⊕z)(x \oplus y) \oplus z \neq x \oplus (y \oplus z) in general.

Therefore, ⊕\oplus is commutative but not associative.

Final answer

Option (A)

Common trap

Assuming that symmetric definitions automatically guarantee associativity.

The answer is the one in the official GATE answer key. The solution is this site's own explanation.

Source

Paper
GATE 2013 Computer Science and Information Technology (CS)
Question
1 of 65, printed as CS Q.1
Section
Computer Science and Information Technology

Report an error in this question

GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.