Question
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?

Answer

Commutativity: Let $\text{a, b}\in\text{A.}$ Then,

$\text{a}\ ^*\ \text{b}=\text{b}$

$\text{b}\ ^*\ \text{a}=\text{a}$

Therefore,

$\text{a}\ ^*\ \text{b}\neq\text{b}\ ^*\ \text{a}$

Thus, * is not commutative on A.

Associativity: Let $\text{a, b, c}\in\text{A.}$ Then,

$\text{a}\ ^*\ (\text{b}\ ^*\ \text{c})=\text{a}\ ^*\ \text{c}$

$=\text{c}$

$(\text{a}\ ^*\ \text{b})\ ^*\ \text{c}=\text{b}\ ^*\ \text{c}$

$=\text{c}$

Therefore,

$\text{a}\ ^*\ (\text{b}\ ^*\ \text{c})=(\text{a}\ ^*\ \text{b})\ ^*\ \text{c},\ \forall\ \text{a, b, c}\in\text{A}$

Thus, * is associative on A.

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free