Abstract
We prove that any small cancellative category admits a faithful functor to a cancellative monoid. We use our result to show that any primitive ample semigroup is a full subsemigroup of a Rees matrix semigroup where M is a cancellative monoid and P is the identity matrix. On the other hand a consequence of a recent result of Steinberg is that it is undecidable whether a finite ample semigroup embeds as a full subsemigroup of an inverse semigroup.
Original language | English |
---|---|
Pages (from-to) | 683-698 |
Number of pages | 16 |
Journal | International Journal of Algebra and Computation |
Volume | 15 |
DOIs | |
Publication status | Published - 2005 |
Keywords
- Algebra