Homotopy bases and finite derivation type for Schützenberger groups of monoids. (Q1930158): Difference between revisions

Let us consider Green's relations \(\mathcal L\), \(\mathcal R\) and \(\mathcal H=\mathcal L\cap\mathcal R\) on a semigroup \(S\). Also, for a given arbitrary \(\mathcal H\)-class \(H\) of \(S\), let \(\text{Stab}(H)=\{s\in S:Hs=H\}\) denote the (right) stabilizer of \(H\) in \(S\). Therefore we can define an equivalence \(\sigma=\sigma(H)\) on the stabilizer by \((x,y)\in\sigma\) if and only if \(hx=hy\) for all \(h\in H\). It is known that \(\sigma\) is a congruence and \(\mathcal G(H)=\text{Stab}(H)/\sigma\) is a group, namely the (right) Schützenberger group of \(H\). The authors in this paper give the following as the main result. Let \(S\) be a monoid, \(H\) be an \(\mathcal H\)-class of \(S\) with Schützenberger group \(\mathcal G\), and let \(R\) be the \(\mathcal R\)-class that contains \(H\). Then the following hold: (i) If \(S\) is finitely presented, then \(\mathcal G\) is finitely presented. (ii) If \(S\) has finite derivation type (FDT), then \(\mathcal G\) has FDT. In order to prove the above theorem, the authors separate their paper into five sections included Introduction. In Section 2, the authors present some basic definitions about Schützenberger group and state their main result. In Section 3, the authors give some basic definitions about rewriting systems, homotopy bases, and finite derivation type and recall some fundamental ideas from the structure theory of semigroups. In Section 4, the authors define a presentation for an arbitrary Schützenberger group and they prove the condition (i) of the above theorem. In Section 5, the authors define a homotopy base for an arbitrary Schützenberger group, and they prove the condition (ii) of the above theorem.