Finite complete rewriting systems and finite derivation type for small extensions of monoids
type: Item
instance of: scholarly article
title: Finite complete rewriting systems and finite derivation type for small extensions of monoids
zbMATH Open document ID: 0944.20040
author: Jing Wang
published in: Journal of Algebra
publication date: 2000-09-18T00:00:00Z
review text: \textit{N. Ruškuc} [Proc. Lond. Math. Soc., III. Ser. 76, No. 2, 383-405 (1998; Zbl 0891.20036)] studied finiteness conditions on semigroups. In the present paper, the author proves several results that solve part of an open problem posed by Ruškuc: if a semigroup can be presented by a finite complete rewriting system, then so can any small extension of that semigroup; and if a semigroup has finite derivation type, then so does any small extension of that semigroup.
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 1218671
zbMATH Keywords: word problem
zbMATH Keywords: finiteness conditions on semigroups
zbMATH Keywords: finite complete rewriting systems
zbMATH Keywords: small extensions
zbMATH Keywords: semigroups of finite derivation type
reviewed by: Graham T. Clarke
MaRDI profile type: Publication
OpenAlex ID: W1999622242
cites work: Reidemeister-Schreier type rewriting for semigroups
cites work: On subsemigroups of finitely presented semigroups
cites work: ON SUBSEMIGROUPS AND IDEALS IN FREE PRODUCTS OF SEMIGROUPS
cites work: Finite derivation type implies the homological finiteness condition \(FP_ 3\)
cites work: Artin groups, rewriting systems and three-manifolds
cites work: A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
cites work: LOW-DIMENSIONAL HOMOTOPY THEORY FOR MONOIDS
cites work: Q3123637
cites work: Structure Results for Transitive, Untwisted, Superlinked Finite Covers
cites work: A finiteness condition for rewriting systems
cites work: Word problems and a homological finiteness condition for monoids
DOI: 10.1006/JABR.1997.7388
description: scientific article; zbMATH DE number 1218671