Finite derivation type for semi-direct products of monoids

DOI10.1016/S0304-3975(97)00164-3zbMath0898.20038MaRDI QIDQ1127330

Jing Wang

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

rewriting systemssemi-direct productsmonoids of finite derivation type

Mathematics Subject Classification ID

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

Related Items (13)

SECOND ORDER DEHN FUNCTIONS OF GROUPS AND MONOIDS ⋮ Finite derivation type for Rees matrix semigroups ⋮ Unnamed Item ⋮ A new graph based on the semi-direct product of some monoids ⋮ Finite derivation type for large ideals. ⋮ Unnamed Item ⋮ Analysis approach to finite monoids ⋮ Finite derivation type for semilattices of semigroups. ⋮ A new approach to connect algebra with analysis: relationships and applications between presentations and generating functions ⋮ THE p-COCKCROFT PROPERTY OF THE SEMI-DIRECT PRODUCTS OF MONOIDS ⋮ A NEW EXAMPLE FOR MINIMALITY OF MONOIDS ⋮ On Finite Complete Presentations and Exact Decompositions of Semigroups ⋮ Efficiency for self semi-direct products of the free Abelian monoid on two generators.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\)
• A finite Thue system with decidable word problem and without equivalent finite canonical system
• Word problems and a homological finiteness condition for monoids
• Orthodox semidirect products and wreath products of monoids
• A finiteness condition for rewriting systems
• Finite derivation type implies the homological finiteness condition \(FP_ 3\)
• On the regularity of semidirect products
• A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
• Low dimensional homotopy for monoids II: groups
• LOW-DIMENSIONAL HOMOTOPY THEORY FOR MONOIDS

This page was built for publication: Finite derivation type for semi-direct products of monoids