All mock tests are FREE till 31 December — register to save your progress

Let (X, *) be a semigroup in which, for every a, b in X, a ≠ b implies a * b ≠ b * a. Which equalities hold? A. a * a = a for every a. B. a * b * a = a for all a, b. C. a * b * c = a * c for all a, b, c.

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: D. A, B and C

Explanation

x = a * a commutes with a, so a * a = a (A). (aba)·a = a·(aba), so aba = a (B). Using A and B, abc and ac commute with each other and so are equal (C). All three hold (a rectangular band).

More Discrete Structures and Optimization questions