Automatic structures for subsemigroups of Baumslag-Solitar semigroups.

DOI10.1007/s00233-013-9490-yzbMath1326.20057arXiv1303.1112MaRDI QIDQ2447245

Alan J. Cain

Publication date: 25 April 2014

Published in: Semigroup Forum (Search for Journal in Brave)

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

zbMATH Keywords

fellow traveller property; Malcev presentations; automatic semigroups; finitely generated subsemigroups; Baumslag-Solitar semigroups; group-embeddable semigroups

Mathematics Subject Classification ID

68Q45: Formal languages and automata

20F05: Generators, relations, and presentations of groups

20M05: Free semigroups, generators and relations, word problems

20M35: Semigroups in automata theory, linguistics, etc.

68Q42: Grammars and rewriting systems

Related Items

A correspondence between a class of monoids and self-similar group actions II, Malcev presentations for subsemigroups of direct products of coherent groups., A note on automatic semigroups., Cyclic amalgams, HNN extensions, and Garside one-relator groups

Cites Work

• A geometric characterization of automatic semigroups
• Malcev presentations for subsemigroups of direct products of coherent groups.
• Presentations et presentations simplifiables d'un monoide simplifiable
• Baumslag-Solitar groups and some other groups of cohomological dimension two
• Notions of automaticity in semigroups.
• Automatic semigroups
• Coherence, local quasiconvexity, and the perimeter of 2-complexes.
• Some two-generator one-relator non-Hopfian groups
• A Geometric Characterization of Automatic Monoids
• DECISION AND SEPARABILITY PROBLEMS FOR BAUMSLAG–SOLITAR SEMIGROUPS
• Automatic monoids and change of generators
• Subsemigroups of groups: presentations, Malcev presentations, and automatic structures
• Subsemigroups of virtually free groups: finite Malcev presentations and testing for freeness
• A GROUP-EMBEDDABLE NON-AUTOMATIC SEMIGROUP WHOSE UNIVERSAL GROUP IS AUTOMATIC
• The Subgroups of a Free Product of Two Groups with an Amalgamated Subgroup
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item