Cancellative commutative monoid
= Cancellative commutative monoid
{title2=$a+c=b+c\implies a=b$}
A <commutative monoid> is cancellative when $a+c=b+c$ implies $a=b$. Cancellation makes the natural map into its <Grothendieck group> injective.
= Cancellative commutative monoid
{title2=$a+c=b+c\implies a=b$}
A <commutative monoid> is cancellative when $a+c=b+c$ implies $a=b$. Cancellation makes the natural map into its <Grothendieck group> injective.