On subsemigroups of finitely presented semigroups
Let \(S\) be a finitely presented semigroup. The authors study when subsemigroups, ideals and one-sided ideals of \(S\) are finitely generated or finitely presented. The Reidemeister-Schreier type rewriting system for semigroups developed in their previous article [Semigroup Forum 51, No. 1, 47-62 (1995; Zbl 0833.20069)] is applied to exhibit a finite presentation in some cases. The answers to the questions of being finitely generated or finitely presented is given in two tables. For ideals and one-sided ideals, finitely generated and finitely presented will be meant as subsemigroups. The index of \(T\) in \(S\) is the cardinality of \(1+|S-T|\). We quote here some of their results. Theorem 1: If \(T\) is a finitely generated ideal in a free semigroup \(S\), then \(T\) is of finite index in \(S\). Theorem 2: If \(S\) is a finitely generated free semigroup and \(T\) is a subsemigroup of finite index in \(S\), then \(T\) is finitely presented. Theorem 3: If \(R\) is a finitely generated right ideal of a free semigroup \(S\), then \(R\) is finitely presented. Theorem 4: If \(S\) is a finitely presented semigroup and \(R\) is a right ideal of finite index in \(S\), then \(R\) is finitely presented. The case of subsemigroups is open.
- Reidemeister-Schreier type rewriting for semigroups
- Presentations for subsemigroups -- applications to ideals of semigroups
- ON SUBSEMIGROUPS AND IDEALS IN FREE PRODUCTS OF SEMIGROUPS
- Finite complete rewriting systems for regular semigroups.
- Structure Results for Transitive, Untwisted, Superlinked Finite Covers
- REWRITING A SEMIGROUP PRESENTATION
- Generators and relations for subsemigroups via boundaries in Cayley graphs.
- A note on decidability questions on presentations of word semigroups
- On disjoint unions of finitely many copies of the free monogenic semigroup.
- On generators and relations for unions of semigroups
- Two classes of finite semigroups and monoids involving Lucas numbers.
- Syntactic and Rees indices of subsemigroups
- Finite complete rewriting systems and finite derivation type for small extensions of monoids
- Presentations for subsemigroups -- applications to ideals of semigroups
- Presentations for subgroups of monoids
- Reidemeister-Schreier type rewriting for semigroups
- Semigroups related to certain group presentations.
- Green index in semigroups: generators, presentations, and automatic structures.
- Presentations for subsemigroups of finitely generated commutative semigroups
- Finite derivation type for large ideals.
- On Finite Complete Presentations and Exact Decompositions of Semigroups
- Generators and relations of direct products of semigroups
- Structure Results for Transitive, Untwisted, Superlinked Finite Covers
- Generators and relations of Rees matrix semigroups
- ON SEMIGROUPS WITH PSPACE-COMPLETE SUBPOWER MEMBERSHIP PROBLEM
- FINITE PRESENTABILITY OF SEMIGROUP CONSTRUCTIONS
- scientific article; zbMATH DE number 1910391 (Why is no real title available?)
- The \(n^{th}\) commutativity degree of semigroups
- scientific article; zbMATH DE number 7235380 (Why is no real title available?)
- Right Noetherian semigroups
- Finitely presentable algebras for finitary monads
- The subpower membership problem for semigroups
- PRESENTATIONS FOR SEMIGROUPS AND SEMIGROUPOIDS
- Generators and relations for subsemigroups via boundaries in Cayley graphs.
- Deciding dependence in logic and algebra
- On groups of units of special and one-relator inverse monoids
- A symmetrical presentation for the singular part of the symmetric inverse monoid.
This page was built for publication: On subsemigroups of finitely presented semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1911631)
