Presentations of inverse monoids
From MaRDI portal
Publication:582399
DOI10.1016/0022-4049(90)90057-OzbMath0691.20044MaRDI QIDQ582399
Publication date: 1990
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
presentationfree productsfree inverse semigroupsfree inverse monoidinverse semigroup congruenceSchützenberger graphsolvability of the word problem
Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)
Related Items
Fundamental groups,inverse schützenberger automata,and monoid presentations ⋮ A structural property of Adian inverse semigroups ⋮ EMBEDDING THEOREMS FOR GROUPS PRESENTED VIA PARTIAL AUTOMORPHISMS: A GENERALIZATION OF SEMIDIRECT PRODUCTS AND HNN EXTENSIONS ⋮ Decidability Versus Undecidability of the Word Problem in Amalgams of Inverse Semigroups ⋮ PRESENTATIONS OF INVERSE SEMIGROUPS, THEIR KERNELS AND EXTENSIONS ⋮ Undecidability of the word problem for Yamamura's HNN-extension under nice conditions. ⋮ Free products of inverse semigroups II ⋮ Amalgams of inverse semigroups and reversible two-counter machines. ⋮ Characterizations of Schützenberger graphs in terms of their automorphism groups and fundamental groups ⋮ The word problem for nilpotent inverse monoids ⋮ Inverse monoids: decidability and complexity of algebraic questions. ⋮ Formations of inverse semigroups ⋮ Finitely presented groups and completely regular semigroups ⋮ The uniform Roe algebra of an inverse semigroup ⋮ A Munn tree type representation for the elements of the bifree locally inverse semigroup ⋮ HNN extensions with lower bounded inverse monoids ⋮ The word problem for some classes of Adian inverse semigroups ⋮ Embedding theorems for HNN extensions of inverse semigroups. ⋮ On the structure of lower bounded HNN extensions ⋮ Bideterministic weighted automata ⋮ The lifting and classification problems for subspaces of covering spaces ⋮ The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups ⋮ Bideterministic weighted automata ⋮ A syntactic congruence for languages of birooted trees ⋮ The algebra of rewriting for presentations of inverse monoids ⋮ Eraser morphisms and membership problem in groups and monoids ⋮ A tribute to John Meakin on the occasion of his 75th birthday ⋮ Inverse monoids and rational Schreier subsets of the free group ⋮ Contractive presentations: A family of inverse monoids and semigroups with finite \({\mathcal R}\)-classes ⋮ The word problem for one-relation monoids: a survey ⋮ A combinatorial approach to the structure of locally inverse semigroups ⋮ Amalgams of free inverse semigroups. ⋮ On some presentations of completely regular semigroups ⋮ Decidability of the word problem in Yamamura's HNN extensions of finite inverse semigroups. ⋮ Partially commutative inverse monoids. ⋮ On a conjecture concerning dot-depth two languages ⋮ An associative operator on the lattice of varieties of inverse semigroups ⋮ Amalgams of finite inverse semigroups and deterministic context-free languages. ⋮ On the decidability of the word problem for amalgamated free products of inverse semigroups. ⋮ Inverse monoids and rational subsets of related groups ⋮ On one-relator monoids and one-relator groups ⋮ Amalgamated free products of inverse semigroups ⋮ Amalgamated free products of inverse semigroups ⋮ A class of inverse monoids acting on ordered forests. ⋮ Amalgams of finite inverse semigroups. ⋮ Presentations of inverse monoids ⋮ McAlister'sP-Theorem via Schützenberger Graphs ⋮ Schützenberger automata for HNN-extensions of inverse monoids and their use in algorithmic questions ⋮ Trees associated to inverse monoid presentations ⋮ Inverse automata and profinite topologies on a free group ⋮ The work of Douglas Munn and its legacy ⋮ Decision problems for inverse monoids presented by a single sparse relator. ⋮ The geometry of profinite graphs with applications to free groups and finite monoids ⋮ Inverse monoids and immersions of Δ-complexes ⋮ An amalgam of inverse semigroups is embedded into an amalgam with a lower bounded core ⋮ Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups ⋮ Presentations for subgroups of monoids ⋮ Some completely semisimple HNN-extensions of inverse semigroups ⋮ New results on the prefix membership problem for one-relator groups ⋮ The automorphism group of the graph of an \({\mathcal R}\) class ⋮ Inverse Subsemigroups of the Monogenic Free Inverse Semigroup ⋮ Expansions of inverse semigroups ⋮ FINITE IDEMPOTENT INVERSE MONOID PRESENTATIONS ⋮ THE IDEMPOTENT PROBLEM FOR AN INVERSE MONOID ⋮ Algorithmic properties of inverse monoids with hyperbolic and tree-like Schützenberger graphs ⋮ Inverse monoids and immersions of 2-Complexes ⋮ On free inverse monoid languages ⋮ GRAPH IMMERSIONS, INVERSE MONOIDS AND DECK TRANSFORMATIONS ⋮ The word problem of inverse monoids presented by one idempotent relator ⋮ On labeled birooted tree languages: algebras, automata and logic ⋮ A class of varieties of inverse semigroups ⋮ Maximal subgroups of amalgams of finite inverse semigroups. ⋮ HNN EXTENSIONS OF SEMILATTICES ⋮ On one-relator groups and units of special one-relation inverse monoids ⋮ Normal forms for semigroup amalgams
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Presentations of inverse monoids
- E-unitary inverse monoids and the Cayley graph of a group presentation
- Une topologie du monoide libre
- A graphical representation for the free product of E-unitary inverse semigroups
- The free inverse semigroup on two commuting generators
- On the structure of inverse semigroups
- On theories with a combinatorial definition of 'equivalence'
- Free Inverse Semigroups
- Free Inverse Semigroups
