Determine whether or not the definition of * given below gives a binary operation. In the event that * is not a binary operation give justification of this.(iii) On R, define * by a*b = ab2 (iv) On Z+ define * by a * b = |a − b|
Determine whether or not the definition of * given below gives a binary operation. In the event that * is not a binary operation give justification of this.(iii) On R, define * by a*b = ab2 (iv) On Z+ define * by a * b = |a − b|

(iii) Since, on R, define by a*b = ab2

Let

    \[\begin{array}{*{35}{l}} a,\text{ }b\text{ }\in \text{ }R  \\ \Rightarrow \text{ }a,\text{ }{{b}^{2}}~\in \text{ }R  \\ \Rightarrow \text{ }a{{b}^{2}}~\in \text{ }R  \\ \Rightarrow \text{ }a\text{ }*\text{ }b\text{ }\in \text{ }R  \\ \end{array}\]

Thus, * is a binary operation on R.

(iv) Given on Z+ define * by a * b = |a − b|

Let

    \[\begin{array}{*{35}{l}} a,\text{ }b\text{ }\in \text{ }{{Z}^{+}}  \\ \Rightarrow \text{ }\left| \text{ }a\text{ }-\text{ }b\text{ } \right|\text{ }\in \text{ }{{Z}^{+}}  \\ \Rightarrow \text{ }a\text{ }*\text{ }b\text{ }\in \text{ }{{Z}^{+}}  \\ \end{array}\]

Therefore,

a * b ∈ Z+, ∀ a, b ∈ Z+

Thus, * is a binary operation on Z+.