semigroup_cancellative (316B)
1 # Semigroup cancellative 2 3 https://en.wikipedia.org/wiki/Cancellative_semigroup 4 5 Only cancellative semigroups can embed into [groups], cf: 6 https://en.wikipedia.org/wiki/Cancellative_semigroup#Embeddability_in_groups 7 8 Up: [semigroup] 9 10 Aliases: cancellative semigroup, cancellative semigroups 11 12 See also: [cancellation]