The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
+12 votes

Let $\left(Z, *\right)$ be an algebraic structure where $Z$ is the set of integers and the operation $*$ is defined by $n*m = \max(n.m)$. Which of the following statements is true for $\left(Z, *\right)$?

  1. $\left(Z, *\right)$ is a monoid
  2. $\left(Z, *\right)$ is an Abelian group
  3. $\left(Z, *\right)$ is a group
  4. None of the above
asked in Set Theory & Algebra by Veteran (59.8k points)
retagged by | 1.6k views
what about a*a = max(a, a)?How it can be an algebric structure if max value of the same elements does not exists. Please correct me if i am wrong
If the set was for Natural numbers we could have had 1 as identity element as it is less than any other natural number and we would have got a monoid.

what about max(1,1)=??
Hello sushmita

What is restraining you from considering $max(n,n)=n$ ?
If set would have been of +ve integers then we've 1 as identity right...?

5 Answers

+21 votes
Best answer

Lets follow our checklist one by one to see what property this algebraic structure follows.

Closure -yes ($m*n=\max(m,n)$) Output is either $m$ or $n$ whichever is maximum and since $m,n$ belongs to $Z$, the result of the binary operation also belongs to $Z$. So closure property is satisfied.

Associative-Yes the output is max among the elements and it is associative

Now for identity, we don't have a single unique element for all the elements which is less than all the elements. ie, $m*e=m \implies \max(m,e) = m$. We can't find a single unique $e$ which is less than all possible integer $m$, such that comparison between the two would always give $m$ itself.

If the set was for Natural numbers we could have had 1 as identity element as it is less than any other natural number and we would have got a monoid.

  • Semi-group - Closed and associative
  • Monoid - Closed, associative and has an identity
  • Group - Monoid with inverse
  • Abelian group- Group with commutative property.

Hence this is just a semigroup- D option.

Ans D)

answered by Active (3.6k points)
selected by
@Gabbar, The smallest element in the group can act as identity element right?

because, Max(smallest element, anything) = anything isn't? Herea smallest integer will act as identity element doesn't?
now tell me which is the smallest integer?? can u tell?? can anyone??
It is like - infinity is answer if - infinity-1 taken in to consideration for max(n,m). On number line go from 0 to left(negative side) you can't give a fix value which can serve the purpose. :)
+4 votes

Given (Z,*) is an algebraic structure. Hence it is closed.

Now, to become SEMI-GROUP: It should be associative

(x*y)*z = max(max(x,y),z) = max(x,y,z)

x*(y*z) = max(x,max(y,z)) = max(x,y,z)

eg. (1*2)*3 = max((max(1,2),3) = max(2,3) = 3

1*(2*3) = max(1,max(2,3)) = max(1,3) = 3

Hence (x*y)*z = x*(y*z), so ASSOCIATIVE i.e SEMI-GROUP

Now, to become MONOID: It should have an identity element

Let there be such an element and let the identity element be e.

So, as per definition: (a*e) = max(a,e) = a

Nice. But the question is: What if we take e=(a+1) ∀ a ∈ Z

Then, (a*(a+1)) = max(a,(a+1)) = (a+1) and NOT a

So, there can be no such identity(e) element possible.

Hence, its not a MONOID.

So correct choice is: (D) None

answered by (245 points)
edited by
+4 votes
Closure Property => This is satisifed .Maximum of two integer is one of the integers. So we satisfy closure property.

Associativity => This property also satisfied.

2,3,4 =Max(2(max(3,4)) = 4 = Max(Max(2,3),4) .

Identity => We do not have identity.

Suppose some i is identity.

Then Max(i,anything) should be that anything !

But if I  take i-1. (As we have Z , If i is integer so is i-1)

Max(i,i-1) = i. So i is not identity.

So This is not monoid. & SO not group or abelian group . Ans is D
answered by Boss (43.5k points)
+3 votes
Hi , in this question does identity element always exist ? because , if I take a set A = {-2,-1,0,1,2}

( 0 can be included as it is integer set ).

so , -2 * e = -2 ( where e is the identity element ) , but if here we can not have any such unique identity element .

So , this is not going to be Monoid .

Please correct me , if I am wrong.
answered by Active (4.2k points)
+1 vote

A- For Monoid, semigroup should have identity property

B-For Abelian group, group should have commutative property

C-For Group Monoid should have a inverse property

But there is no property n*m=max(n,m) so 

Option D must be True

answered by Loyal (7.9k points)

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

47,241 questions
51,469 answers
66,755 users