Some Decision Problems for Inverse Monoid Presentations

Stuart W. Margolis, John C. Meakin and Joseph B. Stephen
Additional contact information
Stuart W. Margolis: University of Nebraska-Lincoln, Department of Computer Science Department of Mathematics and Statistics
John C. Meakin: University of Nebraska-Lincoln, Department of Computer Science Department of Mathematics and Statistics
Joseph B. Stephen: University of Nebraska-Lincoln, Department of Computer Science Department of Mathematics and Statistics

A chapter in Semigroups and Their Applications, 1987, pp 99-110 from Springer

Abstract: Abstract This paper surveys some of the authors’ recent and ongoing work aimed at developing a theory of presentations of inverse monoids analogous to the theory of generators and relations for groups. We regard inverse monoids as a class of algebras of type 〈2,1,0〉 and study presentations of inverse monoids from this point of view. The paper is concerned with two basic decision problems for inverse monoid presentations: the word problem and the E-unitary problem. We develop the general construction of a birooted word graph associated with an inverse monoid presentation and show how it can be used as a basic tool in the study of the word problem. We indicate several cases in which the word problem can be solved using these techniques. We study the E-unitary problem for inverse monoids of the form M=Inv〈X|w=1〉 where w is in the free inverse monoid on X. We show how the Lyndon diagrams of combinatorial group theory may be used to analyze the problem and we study several examples and special cases in detail.

Keywords: Word Problem; Inverse Semigroup; Trivial Group; Boundary Cycle; Natural Partial Order (search for similar items in EconPapers)
Date: 1987
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-94-009-3839-7_13

Ordering information: This item can be ordered from
http://www.springer.com/9789400938397

DOI: 10.1007/978-94-009-3839-7_13

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().