In textbook which I am studying,
LEMMA 1
A commutative monoid $S$ can be embedded in a group if and only if it admits cancellation by all elements:
$ac=bc$ implies $a=b,$ for all $a,b,c \in S.$
I think reverse of this lemma 1 is only right when $S$ is a finite set.
How do you think about it?