Finite derivation type for large ideals. (Q2391156): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 20:25, 2 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite derivation type for large ideals. |
scientific article |
Statements
Finite derivation type for large ideals. (English)
0 references
24 July 2009
0 references
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.
0 references
semigroups
0 references
finite derivation type
0 references
finite presentations
0 references
large subsemigroups
0 references
large ideals
0 references