An elegant 3-basis for inverse semigroups - Mathematics > Group TheoryReport as inadecuate




An elegant 3-basis for inverse semigroups - Mathematics > Group Theory - Download this document for free, or read online. Document in PDF available to download.

Abstract: It is well known that in every inverse semigroup the binary operation and theunary operation of inversion satisfy the following three identities: \quadx=xx-x \qquad \quad xx-y-y=y-yxx- \qquad \quad xyz=xyz-. Thegoal of this note is to prove the converse, that is, we prove that an algebraof type $<2,1>$ satisfying these three identities is an inverse semigroup andthe unary operation coincides with the usual inversion on such semigroups.



Author: Joao Araujo, Michael Kinyon

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents