On finite complete rewriting systems and large subsemigroups.

DOI10.1016/J.JALGEBRA.2011.08.022zbMATH Open1241.20067OpenAlexW2963297896MaRDI QIDQ408518FDOQ408518

Authors K. B. Wong, P. C. Wong 

Publication date 10 April 2012

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1005.0882

zbMATH Keywords

finiteness conditionsrewriting systemslarge subsemigroupspresentations of semigroupssmall extensions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)

Abstract: Let $S$ be a semigroup and $T$ be a subsemigroup of finite index in $S$ (that is, the set $SsetminusT$ is finite). The subsemigroup $T$ is also called a large subsemigroup of $S$. It is well known that if $T$ has a finite complete rewriting system then so does $S$. In this paper, we will prove the converse, that is, if $S$ has a finite complete rewriting system then so does $T$. Our proof is purely combinatorial and also constructive.

Recommendations

• Subgroups of finite index in groups with finite complete rewriting systems
• Finite complete rewriting systems for regular semigroups.
• Structure Results for Transitive, Untwisted, Superlinked Finite Covers
• scientific article; zbMATH DE number 2074997
• Finite complete rewriting systems and finite derivation type for small extensions of monoids

Cites work

• scientific article; zbMATH DE number 789389 (Why is no real title available?)
• Artin groups, rewriting systems and three-manifolds
• Finite complete rewriting systems and finite derivation type for small extensions of monoids
• String rewriting systems and finiteness conditions for monoids
• Structure Results for Transitive, Untwisted, Superlinked Finite Covers

Cited in

(5)

• Subgroups of finite index in groups with finite complete rewriting systems
• On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids
• On certain pairs of non-Engel elements in finite groups.
• IDEALS AND FINITENESS CONDITIONS FOR SUBSEMIGROUPS
• Finite complete rewriting systems for regular semigroups.

This page was built for publication: On finite complete rewriting systems and large subsemigroups.

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