- #1
mnb96
- 715
- 5
I have a monoid (M,+), and I assume that for any two elements a,b in M it is always possible to find a third element k such that:
a + k = b + k
Is it possible to prove that M must be a cancellative monoid?
In other words, can I prove that a+k=b+k [itex]\Rightarrow[/itex] a=b ?
a + k = b + k
Is it possible to prove that M must be a cancellative monoid?
In other words, can I prove that a+k=b+k [itex]\Rightarrow[/itex] a=b ?