Contractive presentations: A family of inverse monoids and semigroups with finite R-classes
Some decidability results are obtained for inverse monoids presented by generators and a special class of relations, contractive and strictly contractive relations. These relations are defined using graphical constructions (Munn trees). A fundamental characteristic of the monoids investigated is: if \(F\) is a free inverse monoid and \(M=F/\theta\) then for \(m\in F\), the \(\mathcal R\)-class of \(m\theta\) has no more elements than the \(\mathcal R\)-class of \(m\). The word problem for a finitely based contractive variety of inverse semigroups is decidable and the free objects in such a variety have finite \(\mathcal D\)-classes and are residually finite.
- Presentations of inverse semigroups: progress, problems and applications
- Presentations of inverse monoids
- On finite presentability of monoids and their Schützenberger groups
- scientific article; zbMATH DE number 3875565
- scientific article; zbMATH DE number 4036081
- Presentations for monoids of finite partial isometries
- Fundamental groups,inverse schützenberger automata,and monoid presentations
- scientific article; zbMATH DE number 691430
- Finite idempotent inverse monoid presentations.
- Presentations of factorizable inverse monoids.
- Free Combinatorial Strict Inverse Semigroups
- Free Inverse Semigroups
- Free Inverse Semigroups
- Free Objects in Certain Varieties of Inverse Semigroups
- scientific article; zbMATH DE number 3869616 (Why is no real title available?)
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 3358760 (Why is no real title available?)
- Presentations of inverse monoids
- Topology of finite graphs
- Formal languages defined by uniform substitutions
- On free spectra of a class of finite inverse monoids.
- MULTILINEAR EQUATIONS IN AMALGAMS OF FINITE INVERSE SEMIGROUPS
- Injective hulls of monars over inverse semigroups.
- On one-relator groups and units of special one-relation inverse monoids
- Amalgamated free products of inverse semigroups
- A remark on contracting inverse semigroups
This page was built for publication: Contractive presentations: A family of inverse monoids and semigroups with finite \({\mathcal R}\)-classes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1185779)
