pith. sign in

arxiv: 1710.10109 · v4 · pith:ORYLVN65new · submitted 2017-10-27 · 🧮 math.GR · cs.LO

The word and order problems for self-similar and automata groups

Laurent Bartholdi , Ivan Mitrofanov This is my paper
classification 🧮 math.GR cs.LO
keywords groupsautomataorderproblemundecidablewordassumptioncontracting
0
0 comments X
read the original abstract

We prove that the word problem is undecidable in functionally recursive groups, and that the order problem is undecidable in automata groups, even under the assumption that they are contracting.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Automatic actions I. Bounded automata and orbits

    math.GR 2026-06 unverdicted novelty 7.0

    For bounded automatic actions of inverse semigroups the orbit relation is ω-regular, making first-order statements about orbits and actions decidable, including computability of Fatou component encodings for post-crit...