Finite derivation type for large ideals.

DOI10.1007/S00233-008-9109-XMaRDI QIDQ2391156zbMATH OpenOpenAlexFDO

Authors A. Malheiro

Publication date 24 July 2009

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-008-9109-x

zbMATH Keywords

finite derivation typefinite presentationslarge idealslarge subsemigroupssemigroups

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Connections of semigroups with homological algebra and category theory (20M50)

Review text

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.

Recommendations

• Finite derivation type for semigroups and congruences.
• Finite derivation type for semilattices of semigroups.
• Finite derivation type implies the homological finiteness condition \(FP_ 3\)
• Finite derivation type for Rees matrix semigroups
• Structure Results for Transitive, Untwisted, Superlinked Finite Covers

Cites work

• A finiteness condition for rewriting systems
• Finite complete rewriting systems and finite derivation type for small extensions of monoids
• Finite derivation type for Rees matrix semigroups
• Finite derivation type for semi-direct products of monoids
• Generators and relations of Rees matrix semigroups
• scientific article; zbMATH DE number 988811 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 1008515 (Why is no real title available?)
• scientific article; zbMATH DE number 789389 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• scientific article; zbMATH DE number 5218140 (Why is no real title available?)
• LOW-DIMENSIONAL HOMOTOPY THEORY FOR MONOIDS
• On generators and relations for unions of semigroups
• On subsemigroups of finitely presented semigroups
• Presentations for subgroups of monoids
• Presentations for subsemigroups -- applications to ideals of semigroups
• Reidemeister-Schreier type rewriting for semigroups
• SECOND ORDER DEHN FUNCTIONS OF GROUPS AND MONOIDS

Cited in

(6)

• On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids
• Finite derivation type for semigroups and congruences.
• On Finite Complete Presentations and Exact Decompositions of Semigroups
• Homotopy bases and finite derivation type for subgroups of monoids.
• Structure Results for Transitive, Untwisted, Superlinked Finite Covers
• Finite derivation type for semilattices of semigroups.

This page was built for publication: Finite derivation type for large ideals.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391156)