On subsemigroups of finitely presented semigroups (Q1911631)

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.