Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-20T06:34:26.998Z Has data issue: false hasContentIssue false

Inverse automata andmonoids and the undecidability of the cayley subgraph problem for groups

Published online by Cambridge University Press:  08 November 2000

Ana Oliveira
Affiliation:
Centro de Matemática, Faculdade de Ciências, Universidade do Porto, 4099-002 Porto, Portugal website: http://www.fc.up.pt/cmup
Pedro V. Silva
Affiliation:
Centro de Matemática, Faculdade de Ciências, Universidade do Porto, 4099-002 Porto, Portugal website: http://www.fc.up.pt/cmup
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The structure of an inverse monoid can be determined by the complete set of Schützenberger graphs of a presentation. Necessary and sufficient conditions for a collection of inverse X-graphs to be the complete set of Schützenberger graphs of some inverse monoid presentation are established and decidability results are obtained. Conditions for a single inverse X-graph to be a Schu¨tzenberger graph for some presentation are also obtained, and both problems are restricted to the case of Clifford monoids and E-unitary inverse monoids. Decidability and undecidability results are obtained for the case of finite graphs. It is also proved that the problem of embedding a finite inverse X-graph in the Cayley graph of a group is undecidable.

Type
Research Article
Copyright
2000 Glasgow Mathematical Journal Trust