Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-15T13:32:56.069Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  08 November 2000

Ana Oliveira  and
Pedro V. Silva
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
Information
Glasgow Mathematical Journal , Volume 42 , Issue 3 , September 2000 , pp. 421 - 437
Copyright
2000 Glasgow Mathematical Journal Trust