Publicação
On Finite Semigroup Cross-Sections and Complete Rewriting Systems
| dc.contributor.author | Malheiro, António José Mesquita da Cunha Machado | |
| dc.contributor.institution | DM - Departamento de Matemática | |
| dc.date.accessioned | 2019-04-08T22:03:06Z | |
| dc.date.available | 2019-04-08T22:03:06Z | |
| dc.date.issued | 2008-01-01 | |
| dc.description.abstract | In this paper we obtain a [finite] complete rewriting system defining a semigroup/monoid S, from a given finite right cross-section of a subsemigroup/submonoid defined by a [finite] complete presentation. In the semigroup case the subsemigroup must have a right identity element which must also be part of the cross-section. In the monoid case the submonoid and the cross-section must include the identity of the semigroup. The result on semigroups allow us to show that if G is a group defined by a [finite] complete rewriting system then the completely simple semigroup M[G;I,J;P] is also defined by a [finite] complete rewriting system. | en |
| dc.description.version | published | |
| dc.format.extent | 5 | |
| dc.format.extent | 105501 | |
| dc.identifier.isbn | 978-1-60651-006-3 | |
| dc.identifier.other | PURE: 407911 | |
| dc.identifier.other | PURE UUID: 8373022c-77a3-4b44-a361-dc87ccfd1db3 | |
| dc.identifier.other | researchoutputwizard: 21815 | |
| dc.identifier.other | Scopus: 84878137901 | |
| dc.identifier.other | ORCID: /0000-0003-1186-6216/work/63724731 | |
| dc.identifier.uri | http://www.scopus.com/record/display.uri?eid=2-s2.0-84878137901&origin=resultslist&sort=plf-f&src=s&st1 | |
| dc.identifier.url | https://www.scopus.com/pages/publications/84878137901 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.subject | Rewriting systems | |
| dc.subject | Semigroups | |
| dc.subject | Identity elements | |
| dc.subject | Semi-group | |
| dc.title | On Finite Semigroup Cross-Sections and Complete Rewriting Systems | en |
| dc.type | conference object | |
| degois.publication.firstPage | 59 | |
| degois.publication.lastPage | 63 | |
| degois.publication.title | TMFCS | |
| degois.publication.title | International Conference on Theoretical and Mathematical Foundations of Computer Science | |
| dspace.entity.type | Publication | |
| rcaap.rights | restrictedAccess |
Ficheiros
Principais
1 - 1 de 1