Let ({π‘Ž,𝑏},βˆ—) be a semigroup, where π‘Žβˆ—π‘Ž=𝑏. (A) π‘Žβˆ—π‘=π‘βˆ—π‘Ž (B) π‘βˆ—π‘=𝑏…

2022

LetΒ ({π‘Ž,𝑏},βˆ—)Β be a semigroup, whereΒ π‘Žβˆ—π‘Ž=𝑏.

(A)Β π‘Žβˆ—π‘=π‘βˆ—π‘Ž
(B)Β π‘βˆ—π‘=𝑏

Choose the most appropriate answer from the options given below :

  1. A.

    (A)Β only true

  2. B.

    (B)Β only true

  3. C.

    BothΒ (A)Β andΒ (B)Β true

  4. D.

    NeitherΒ (A)Β norΒ (B)Β true

Attempted by 138 students.

Show answer & explanation

Correct answer: C

Given: a semigroup with elements a and b and the relation a*a = b.

  • Apply associativity to (a*a)*a = a*(a*a). Since a*a = b, this becomes b*a = a*b. Therefore a*b = b*a, so the statement a*b = b*a is true.

  • Let p = a*b (so b*a = p as well). Use associativity on (a*a)*b = a*(a*b). The left side is b*b and the right side is a*p.

  • If p = a then a*p = a*a = b. If p = b then a*p = a*b = p = b. In either case a*p = b, so b*b = b. Therefore the statement b*b = b is true.

Conclusion: Both a*b = b*a and b*b = b are true.

Detailed Solution:

Explore the full course: Mppsc Assistant Professor