Finite derivation type for large ideals. (Q2391156)

Let \((A,R)\) be a finite presentation of a semigroup \(S\). \textit{C. C. Squier, F. Otto} and \textit{Y. Kobayashi} [Theor. Comput. Sci. 131, No. 2, 271-294 (1994; Zbl 0863.68082)] introduced some finiteness property called finite derivation type (FDT) in terms of the derivation graph (Squier complex) of \((A,R)\). It is an intrinsic property of \(S\) not depending on the presentation \((A,R)\). A subsemigroup (ideal) \(T\) of \(S\) is large if \(S\setminus T\) is finite. The author shows that \(S\) has FDT if and only if a small ideal \(T\) of \(S\) has FDT.