cancellative semigroup


Let S be a semigroup.

S is left cancellative if, for all a,b,cS, ab=acb=c
S is right cancellative if, for all a,b,cS, ba=cab=c

S is cancellative if it is both left and right cancellative.

1 Relationship to some other types of semigroup

This is a generalisation of groups, and in fact being cancellative is a necessary condition for a semigroup to be embeddable in a group.

Note that a non-empty semigroup is a group if and only if it is cancellative and regularPlanetmathPlanetmath.

S is weakly cancellative if, for all a,b,cS, (ab=ac&ba=ca)b=c

A semigroup is completely simple if and only if it is weakly cancellative and regular.

2 Individual elements

An element xS is called left cancellative if, for all b,cS, xb=xcb=c
An element xS is called right cancellative if, for all b,cS, bx=cxb=c

Title cancellative semigroup
Canonical name CancellativeSemigroup
Date of creation 2013-03-22 14:25:09
Last modified on 2013-03-22 14:25:09
Owner yark (2760)
Last modified by yark (2760)
Numerical id 9
Author yark (2760)
Entry type Definition
Classification msc 20M10
Synonym cancellation semigroup
Related topic CancellationIdeal
Defines cancellative
Defines weakly cancellative
Defines left cancellative
Defines right cancellative
Defines weakly cancellative semigroup
Defines left cancellative semigroup
Defines right cancellative semigroup