Let $^*$ be the binary operation on $N$ defined by $a \,^*\, b = \text{H.C.F. of } a \text{ and } b$. Is $^*$ commutative? Is $^*$ associative? Does there exist an identity for this binary operation on $N$?

Vedclass pdf generator app on play store
Vedclass iOS app on app store
(N/A) The binary operation $^*$ on $N$ is defined as: $a \,^*\, b = \text{H.C.F. of } a \text{ and } b$.
$1$. Commutativity:
We know that the $\text{H.C.F.}$ of $a$ and $b$ is the same as the $\text{H.C.F.}$ of $b$ and $a$ for all $a, b \in N$.
Therefore,$a \,^*\, b = b \,^*\, a$.
Thus,the operation $^*$ is commutative.
$2$. Associativity:
For $a, b, c \in N$,we have:
$(a \,^*\, b) \,^*\, c = (\text{H.C.F. of } a \text{ and } b) \,^*\, c = \text{H.C.F. of } a, b, \text{ and } c$.
$a \,^*\, (b \,^*\, c) = a \,^*\, (\text{H.C.F. of } b \text{ and } c) = \text{H.C.F. of } a, b, \text{ and } c$.
Since $(a \,^*\, b) \,^*\, c = a \,^*\, (b \,^*\, c)$,the operation $^*$ is associative.
$3$. Identity Element:
An element $e \in N$ is the identity for $^*$ if $a \,^*\, e = a = e \,^*\, a$ for all $a \in N$.
This implies $\text{H.C.F.}(a, e) = a$,which means $a$ must be a divisor of $e$ for all $a \in N$. Since there is no such fixed element $e \in N$ that is a multiple of every natural number,there is no identity element for this operation.

Explore More

Similar Questions

In the set of integers $(Z, *)$,if $a * b = a + b - n, \forall a, b \in Z$,where $n$ is a fixed integer,then the inverse of $(-n)$ is:

Let $*$ be a binary operation defined on the set of rational numbers $Q$. Determine whether the binary operation defined by $a * b = a + ab$ for all $a, b \in Q$ is commutative.

The inverse of $2010$ in the group $Q^{+}$ of all positive rational numbers under the binary operation $*$ defined by $a * b = \frac{ab}{2010}, \forall a, b \in Q^{+}$,is

On the set of all non-zero reals,an operation $*$ is defined as $a * b = \frac{3ab}{2}$. In this group,a solution of $(2 * x) * 3^{-1} = 4^{-1}$ is

Show that $*: \mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R}$ defined by $a * b = a + 2b$ is not commutative.

Vedclass Products

For Students

Vedclass Test Series

Mock tests in real JEE/NEET style with performance analysis. 5-day free trial.

Start Free Trial
For Teachers

Exam Paper Generator

Generate Set A/B/C/D exam papers from 7.5L+ questions in 2 minutes. 3 chapters free.

Try Free
For Institutes

Online Exam Module

Live online exams with unlimited students, 360° analytics & white-label branding.

See Demo