Publication
An elegant 3-basis for inverse semigroups
| dc.contributor.author | Araújo, João | |
| dc.contributor.author | Kinyon, Michael | |
| dc.date.accessioned | 2011-12-19T11:35:17Z | |
| dc.date.available | 2011-12-19T11:35:17Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | Abstract It is well known that in every inverse semigroup the binary operation and the unary operation of inversion satisfy the following three identities: x = (xx′)x, (xx′)(y′y) = (y′y)(xx′), (xy)z = x(yz′′). The goal of this note is to prove the converse, that is, we prove that an algebra of type ⟨2, 1⟩ satisfying these three identities is an inverse semigroup and the unary operation coincides with the usual inversion on such semigroups. | por |
| dc.identifier.citation | Araújo, João; Kinyon, Michael - An elegant 3-basis for inverse semigroups. "Semigroup Forum" [Em linha]. ISSN 0037-1912 (Print) 1432-2137 (Online). Vol. 82, nº 2 (Apr. 20111), p. 319-323 | por |
| dc.identifier.doi | 10.1007/s00233-010-9280-8 | |
| dc.identifier.uri | http://hdl.handle.net/10400.2/2000 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | Springer Verlag | por |
| dc.relation.publisherversion | http://www.springerlink.com/content/53465r88157q5790/ | por |
| dc.subject | Inverse semigroups | por |
| dc.subject | Equational logic | por |
| dc.subject | Equational logic | |
| dc.title | An elegant 3-basis for inverse semigroups | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 323 | por |
| oaire.citation.startPage | 319 | por |
| oaire.citation.title | Semigroup Forum | por |
| person.familyName | Ribeiro Soares Gonçalves de Araújo | |
| person.familyName | Kinyon | |
| person.givenName | João Jorge | |
| person.givenName | Michael Kinyon | |
| person.identifier.ciencia-id | EC1F-273A-9F24 | |
| person.identifier.ciencia-id | 2A10-E0DD-5A23 | |
| person.identifier.orcid | 0000-0001-6655-2172 | |
| person.identifier.orcid | 0000-0002-5227-8632 | |
| rcaap.rights | restrictedAccess | por |
| rcaap.type | article | por |
| relation.isAuthorOfPublication | 1f7b349c-3251-480d-a3ac-e3cb4ef44f22 | |
| relation.isAuthorOfPublication | 0379041c-7e5e-4875-9f98-801efefa6330 | |
| relation.isAuthorOfPublication.latestForDiscovery | 1f7b349c-3251-480d-a3ac-e3cb4ef44f22 |