# Class 12 RD Sharma Solutions – Chapter 3 Binary Operations – Exercise 3.2

### Question 1. Let ‘*’ be a binary operation on N defined by a * b = 1.c.m. (a, b) for all a, b ∈ N

### (i) Find 2 * 4, 3 * 5, 1 * 6

**Solution:**

We are given that a * b = L.C.M. (a, b)

Attention reader! All those who say programming isn't for kids, just haven't met the right mentors yet. Join the

Demo Class for First Step to Coding Course,specificallydesigned for students of class 8 to 12.The students will get to learn more about the world of programming in these

free classeswhich will definitely help them in making a wise career choice in the future.⇒ 2 * 4 = L.C.M. (2, 4) = 4

and, 3 * 5 = L.C.M. (3, 5) = 15

now, 1 * 6 = L.C.M. (1, 6) = 6

Hence, 2 * 4 = 4, 3 * 5 = 15 and 1 * 6 = 6.

### (ii) Check the commutativity and associativity of ‘*’ on N.

**Solution:**

For Commutativity:

Let a, b ∈ N

a * b = L.C.M. (a, b) = L.C.M. (b, a) = b * a

Therefore, a * b = b * a ∀ a, b ∈ N

Thus * is commutative on N.

For Associativity:

Let a, b, c ∈ N

⇒ a * (b * c) = a * L.C.M. (b, c) = L.C.M. (a, (b, c)) = L.C.M. (a, b, c)

And, (a * b) * c = L.C.M. (a, b) * c = L.C.M. ((a, b), c) = L.C.M. (a, b, c)

Therefore, (a * (b * c) = (a * b) * c, ∀ a, b, c ∈ N

Thus, * is associative on N.

### Question 2. Determine which of the following binary operation is associative and which is commutative:

### (i) * on N defined by a * b = 1 for all a, b ∈ N

**Solution:**

For commutativity:

Let a, b ∈ N

a * b = 1 and b * a = 1

Therefore, a * b = b * a, for all a, b ∈ N

Thus * is commutative on N.

For associativity:

Let a, b, c ∈ N

Then a * (b * c) = a * (1) = 1

and, (a * b) *c = (1) * c = 1

Therefore, a * (b * c) = (a * b) * c for all a, b, c ∈ N

Thus, * is associative on N.

Hence, * is both commutative and associative on N.

### (ii) * on Q defined by a * b = (a + b)/2 for all a, b ∈ Q

**Solution:**

For Commutativity:

Let a, b ∈ N

a * b = (a + b)/2 = (b + a)/2 = b * a

Therefore, a * b = b * a, ∀ a, b ∈ N

Thus * is commutative on N.

For Associativity:

Let a, b, c ∈ N

⇒ a * (b * c) = a * (b + c)/2 = [a + (b + c)]/2 = (2a + b + c)/4

Now, (a * b) * c = (a + b)/2 * c = [(a + b)/2 + c] /2 = (a + b + 2c)/4

Thus, a * (b * c) ≠ (a * b) * c

If a = 1, b= 2, c = 3

1 * (2 * 3) = 1 * (2 + 3)/2 = 1 * (5/2) = [1 + (5/2)]/2 = 7/4

and, (1 * 2) * 3 = (1 + 2)/2 * 3 = 3/2 * 3 = [(3/2) + 3]/2 = 4/9

Therefore, there exist a = 1, b = 2, c = 3 ∈ N such that a * (b * c) ≠ (a * b) * c

Thus, * is not associative on N.

Hence * is commutative on N but not associative on N.

### Question 3. Let A be any set containing more than one element. Let ‘*’ be a binary operation on A defined by a * b = b for all a, b ∈ A Is ‘*’ commutative or associative on A?

**Solution:**

For Commutativity:

Let a, b ∈ A.

Then, a * b = b

⇒ b * a = a

Therefore, a * b ≠ b * a

Thus, * is not commutative on A.Now we have to check associativity:

Let a, b, c ∈ A

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

Therefore, a * (b * c) = (a * b) * c, ∀ a, b, c ∈ A

Thus, * is associative on A.

### Question 4. Check the commutativity and associativity of each of the following binary operations:

### (i) ‘*’ on Z defined by a * b = a + b + a b for all a, b ∈ Z

**Solution:**

For Commutativity:

Let a, b ∈ Z

Then a * b = a + b + ab = b + a + ba = b * a

Therefore, a * b = b * a, ∀ a, b ∈ Z

Hence, * is commutative on Z.For Associativity:

Let a, b, c ∈ Z, Then,

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

= a + (b + c + b c) + a (b + c + b c)

= a + b + c + b c + a b + a c + a b c

Now, (a * b) * c = (a + b + a b) * c

= a + b + a b + c + (a + b + a b) c

= a + b + a b + c + a c + b c + a b c

Clearly, a * (b * c) = (a * b) * c, ∀ a, b, c ∈ Z

Thus, * is associative on Z.

### (ii) ‘*’ on N defined by a * b = 2^{ab} for all a, b ∈ N

**Solution:**

For Commutativity:

Let a, b ∈ N

a * b = 2

^{ab}= 2^{ba}= b * aTherefore, a * b = b * a, ∀ a, b ∈ N

Thus, * is commutative on NFor Associativity:

Let a, b, c ∈ N

Then, a * (b * c) = a * (2

^{bc}) = 2a^{2bc}and, (a * b) * c = (2

^{ab}) * c = 2ab^{2c}Clearly, a * (b * c) ≠ (a * b) * c

Thus, * is not associative on N.

### (iii) ‘*’ on Q defined by a * b = a – b for all a, b ∈ Q

**Solution:**

For Commutativity:

Let a, b ∈ Q, then

a * b = a – b

b * a = b – a

Clearly, a * b ≠ b * a

Thus, * is not commutative on Q.For Associativity:

Let a, b, c ∈ Q, then

a * (b * c) = a * (b – c) = a – (b – c) = a – b + c

and, (a * b) * c = (a – b) * c = a – b – c

Clearly, a * (b * c) ≠ (a * b) * c

Thus, * is not associative on Q.

### (iv) ‘⊙’ on Q defined by a ⊙ b = a^{2} + b^{2} for all a, b ∈ Q

**Solution:**

For Commutativity:

Let a, b ∈ Q, then

a ⊙ b = a

^{2}+ b^{2}= b^{2}+ a^{2}= b ⊙ aClearly, a ⊙ b = b ⊙ a, ∀ a, b ∈ Q

Thus, ⊙ is commutative on Q.For Associativity:

Let a, b, c ∈ Q, then

a ⊙ (b ⊙ c) = a ⊙ (b

^{2}+ c^{2})= a

^{2}+ (b^{2}+ c^{2})2= a

^{2}+ b^{4}+ c^{4}+ 2b^{2}c^{2}(a ⊙ b) ⊙ c = (a

^{2}+ b^{2}) ⊙ c= (a

^{2}+ b^{2})^{2}+ c^{2}= a

^{4}+ b^{4}+ 2a^{2}b^{2}+ c^{2}Clearly, (a ⊙ b) ⊙ c ≠ a ⊙ (b ⊙ c)

Thus, ⊙ is not associative on Q.

**(v) ‘o’ on Q defined by a o b = (ab/2) for all a, b ∈ Q**

**Solution:**

For Commutativity:

Let a, b ∈ Q, then

a o b = (ab/2) = (b a/2) = b o a

Clearly, a o b = b o a, ∀ a, b ∈ Q

Thus, o is commutative on Q.For Associativity:

Let a, b, c ∈ Q, then

a o (b o c) = a o (b c/2) = [a (b c/2)]/2

= [a (b c/2)]/2 = (a b c)/4

and, (a o b) o c = (ab/2) o c = [(ab/2) c] /2 = (a b c)/4

Clearly, a o (b o c) = (a o b) o c, ∀ a, b, c ∈ Q

Thus, o is associative on Q.

### (vi) ‘*’ on Q defined by a * b = ab^{2} for all a, b ∈ Q

**Solution:**

For Commutativity:

Let a, b ∈ Q, then

a * b = ab

^{2}b * a = ba

^{2}Clearly, * b ≠ b * a

Thus, * is not commutative on Q.Now we have to check associativity of *

Let a, b, c ∈ Q, then

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

^{2})= a (bc

^{2})^{2}= ab

^{2}c^{4}(a * b) * c = (ab

^{2}) * c= ab

^{2}c^{2}Therefore, a * (b * c) ≠ (a * b) * c

Thus, * is not associative on Q.

### (vii) ‘*’ on Q defined by a * b = a + ab for all a, b ∈ Q

**Solution:**

For commutative:

Let a, b ∈ Q, then

a * b = a + ab

b * a = b + ba = b + ab

Clearly, a * b ≠ b * a

Thus, * is not commutative on Q.For Associativity:

Let a, b, c ∈ Q, then

a * (b * c) = a * (b + bc)

= a + a (b + bc)

= a + ab + abc

(a * b) * c = (a + ab) * c

= (a + ab) + (a + ab)c

= a + ab + ac + abc

Therefore, a * (b * c) ≠ (a * b) * c

Thus, * is not associative on Q.

### (viii) ‘*’ on R defined by a * b = a + b -7 for all a, b ∈ R

**Solution:**

For Commutativity:

Let a, b ∈ R, then

a * b = a + b – 7

= b + a – 7 = b * a

Clearly, a * b = b * a, for all a, b ∈ R

Thus, * is commutative on R.For Associativity:

Let a, b, c ∈ R, then

a * (b * c) = a * (b + c – 7)

= a + b + c -7 -7

= a + b + c – 14

and, (a * b) * c = (a + b – 7) * c

= a + b – 7 + c – 7

= a + b + c – 14

Clearly, a * (b * c ) = (a * b) * c, for all a, b, c ∈ R

Thus, * is associative on R.

### (ix) ‘*’ on Q defined by a * b = (a – b)^{2} for all a, b ∈ Q

**Solution:**

For Commutativity:

Let a, b ∈ Q, then

a * b = (a – b)

^{2}= (b – a)

^{2}= b * a

Clearly, a * b = b * a, for all a, b ∈ Q

Thus, * is commutative on Q.For Associativity:

Let a, b, c ∈ Q, then

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

^{2}= a * (b

^{2}+ c^{2}– 2bc)= (a – b

^{2}– c^{2}+ 2bc)^{2}(a * b) * c = (a – b)

^{2}* c= (a

^{2}+ b^{2}– 2ab) * c= (a

^{2}+ b^{2}– 2ab – c)^{2}Clearly, a * (b * c) ≠ (a * b) * c

Thus, * is not associative on Q.

### (x) ‘*’ on Q defined by a * b = ab + 1 for all a, b ∈ Q

**Solution:**

For Commutativity:

Let a, b ∈ Q, then

a * b = ab + 1

= ba + 1

= b * a

Clearly, a * b = b * a, for all a, b ∈ Q

Thus, * is commutative on Q.For Associativity:

Let a, b, c ∈ Q, then

a * (b * c) = a * (bc + 1)

= a (bc + 1) + 1

= abc + a + 1

(a * b) * c = (ab + 1) * c

= (ab + 1) c + 1

= abc + c + 1

Clearly, a * (b * c) ≠ (a * b) * c

Thus, * is not associative on Q.

### (xi) ‘*’ on N defined by a * b = a^{b }for all a, b ∈ N

**Solution:**

For Commutativity:

Let a, b ∈ N, then

a * b = a

^{b}b * a = b

^{a}Clearly, a * b ≠ b * a

Thus, * is not commutative on N.For Associativity:

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

and, (a * b) * c = (ab) * c = (a

^{b})^{c }= a^{bc}Clearly, a * (b * c) ≠ (a * b) * c

Thus, * is not associative on N.

### (xii) ‘*’ on Z defined by a * b = a – b for all a, b ∈ Z

**Solution:**

Let a, b ∈ Z, then

a * b = a – b

b * a = b – a

Clearly, a * b ≠ b * a

Thus, * is not commutative on Z.For Associativity:

Let a, b, c ∈ Z, then

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

= a – (b – c)

= a – (b + c)

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

= a – b – c

Clearly, a * (b * c) ≠ (a * b) * c

Thus, * is not associative on Z.

### (xiii) ‘*’ on Q defined by a * b = (ab/4) for all a, b ∈ Q

**Solution:**

For Commutativity:

Let a, b ∈ Q, then

a * b = (ab/4)

= (ba/4)

= b * a

Therefore, a * b = b * a, for all a, b ∈ Q

Thus, * is commutative on QFor Associativity:

Let a, b, c ∈ Q, then

a * (b * c) = a * (bc/4)

= [a (b c/4)]/4

= (a b c/16)

(a * b) * c = (ab/4) * c

= [(ab/4) c]/4

= abc/16

Clearly a * (b * c) = (a * b) * c for all a, b, c ∈ Q

Thus, * is associative on Q.

### (xiv) ‘*’ on Z defined by a * b = a + b – ab for all a, b ∈ Z

**Solution:**

For Commutativity:

Let a, b ∈ Z, then

a * b = a + b – ab

= b + a – ba

= b * a

Clearly, a * b = b * a, for all a, b ∈ Z

Thus, * is commutative on Z.For Associativity:

Let a, b, c ∈ Z

a * (b * c) = a * (b + c – bc)

= a + b + c- b c – ab – ac + abc

(a * b) * c = (a + b – ab) c

= a + b – ab + c – (a + b – ab)

= a + b + c – ab – ac – bc + a b c

Clearly, a * (b * c) = (a * b) * c, for all a, b, c ∈ Z

Thus, * is associative on Z.

### (xv) ‘*’ on Q defined by a * b = gcd (a, b) for all a, b ∈ Q

**Solution:**

For Commutativity:

Let a, b ∈ N, then

a * b = gcd (a, b)

= gcd (b, a)

= b * a

Therefore, a * b = b * a, for all a, b ∈ N

Thus, * is commutative on N.

Now we have to check associativity of *

Let a, b, c ∈ N

a * (b * c) = a * [gcd (a, b)]

= gcd (a, b, c)

(a * b) * c = [gcd (a, b)] * c

= gcd (a, b, c)

Clearly, a * (b * c) = (a * b) * c, for all a, b, c ∈ N

Thus, * is associative on N.

### Question 5. If the binary operation o is defined by a0b = a + b – ab on the set Q – {-1} of all rational numbers other than 1, show that o is commutative on Q – [ –1].

**Solution:**

Let a, b ∈ Q – {-1}.

Then aob = a + b – ab

= b+ a – b = boa

Therefore,

aob = boa for all a, b ∈ Q – {-1}

Thus, o is commutative on Q – {-1}.

### Question 6. Show that the binary operation * on Z defined by a * b = 3a + 7b is not commutative?

**Solution:**

Let a, b ∈ Z

a * b = 3a + 7b

and, b * a = 3b + 7a

Clearly, a * b ≠ b * a for all a, b ∈ Z.

Example, Let a = 1 and b = 2

1 * 2 = 3 × 1 + 7 × 2 = 3 + 14 = 17

2 * 1 = 3 × 2 + 7 × 1 = 6 + 7 = 13

Therefore, there exist a = 1, b = 2 ∈ Z such that a * b ≠ b * a

Thus, * is not commutative on Z.

### Question 7. On the set Z of integers a binary operation * is defined by a * b = ab + 1 for all a, b ∈ Z. Prove that * is not associative on Z.

**Solution:**

Let a, b, c ∈ Z

a * (b * c) = a * (bc + 1)

= a (bc + 1) + 1

= a b c + a + 1

(a * b) * c = (ab+ 1) * c

= (ab + 1) c + 1

= a b c + c + 1

Clearly, a * (b * c) ≠ (a * b) * c for all a, b, c ∈ Z

Thus, * is not associative on Z.

### Question 8. Let S be the sum of all real numbers except −1 and let * be an operation defined by a * b = a + b + ab for all a,b ∈ S. Determine whether * is a binary operation on S. If yes, check its commutativity and associativity.

**Solution:**

Given: a * b = a + b + ab, a, b ∈ S = R − {−1}

Let a, b ∈ S.

Thus, ab ∈ S and hence, a + b − ab ∈ S or a * b ∈ S

Hence, a * b S is a binary operation.For Commutativity:

a * b = a + b + ab = b +a + ba = b * a

Hence, * is commutative.For Associativity:

Let a, b, c ∈ Z, Then,

(a * b) * c = (a + b + ab) * c

= a + b + ab + c + (a + b + ab)c

= a + b + c + ab + ac + bc + abc …..(a)

Now, a * (b * c) = a * (b + c + bc)

= a + b + c + bc + ac +ab +abc …..(b)

From (a) and (b), it is clear that a * (b * c) = (a * b) * c for all a, b, c ∈ Q

Hence, * is associative on Q.

### Question 9. On Q, the set of rational numbers, * is defined by a * b = (a – b)/2, show that * is not associative.

**Solution:**

Let a, b, c ∈ Q. Then,

(a * b) * c = * c = = …….(a)

Now, a * (b * c) = a * = ……….(b)

From (a) and (b), it is clear that a * (b * c) ≠ (a * b) * c for all a, b, c ∈ Q

Hence, * is not associative on Q.

### Question 10. Let binary operation * : R×R⇥R is defined as a * b = 2a + b. Find (2 * 3) * 4

**Solution:**

Given, a * b = 2a + b

⇒ (2 * 3) * 4 = (2 × 2 + 3) * 4 = 7 * 4 = (2 × 7 + 4) = 18

Hence, (2 * 3) * 4 = 18.

### Question 11. On Z, the set of integers, a binary operation * is defined as a * b = a + 3b − 4. Prove that * is neither commutative nor associative on Z.

**Solution:**

For Commutativity:

a * b = a + 3b − 4 ≠ b + 3a − 4 = b * a

⇒ a * b ≠ b * a

Hence * is not commutative on Z.For Associativity:

Let a, b, c ∈ Z, Then,

(a * b) * c = (a + 3b − 4) * c

= a + 3b − 4 + 3c − 4

= a + 3b + 3c − 8 …….(a)

Now, a * (b * c) = a + 3(b + 3c − 4) − 4

= a + 3b + 9c − 16 ……(b)

From (a) and (b), we get a * (b * c) ≠ (a * b) * c for all a, b, c ∈ Q

Hence, * is not associative on Q.

### Question 12. On the set Q of all rational numbers if a binary operation * is defined as

### a * b = ab/5, prove that * is associative on Q.

**Solution:**

Let a, b, c ∈ Z, then,

(a * b) * c = ab/5 * c = abc/25 …..(a)

and, a * (b * c) = a * bc/5 = abc/25 ….(b)

From eq (a) and (b), we have

a * (b * c) = (a * b) * c for all a, b, c ∈ Q

Hence, * is associative on Q.

### Question 13. The binary operation * is defined as a * b = ab/7 on the set Q of rational numbers. Prove that * is associative on Q.

**Solution:**

Let a, b, c ∈ Z, then,

(a * b) * c = ab/7 * c = abc/49 …..(a)

and, a * (b * c) = a * bc/7 = abc/49 ….(b)

From eq(a) and (b), we have

a * (b * c) = (a * b) * c for all a, b, c ∈ Q

Hence, * is associative on Q.

### Question 14. On Q, the set of all rational numbers, a binary operation * is defined as (a + b)/2 . Show that * is not associative on Q.

**Solution:**

Let a, b, c ∈ Z, then,

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

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

From eq(a) and (b), we have,

a * (b * c) ≠ (a * b) * c for all a, b, c ∈ Q

Hence, * is not associative on Q.

### Question 15. Let S be the sum of all real numbers except 1 and let * be an operation defined by a * b = a + b − ab for all a, b ∈ S. Prove that:

### (i) * is a binary operation on S.

**Solution:**

Let a, b ∈ S

Thus, ab ∈ S and hence,

a + b − ab ∈ S or a * b ∈ S

Hence, a * b S is a binary operation.

### (ii) is commutative and associative.

**Solution:**

For Commutativity:

a * b = a + b − ab = b + a − ba = b * a

Hence, * is commutative.For Associativity:

Let a, b, c ∈ Z, Then,

(a * b) * c = (a + b − ab) * c

= a + b − ab + c + (a + b − ab)c

= a + b + c − ab − ac − bc + abc …..(a)

Now, a * (b * c) = a * (b + c − bc)

= a + b + c − bc − ac − ab +abc …..(b)

From eq(a) and (b), it is clear that

a * (b * c) = (a * b) * c for all a, b, c ∈ Q

Hence, * is associative on Q.