Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
266 views

Are (group theoretic) Markov properties on groups with decidable word problems, decidable?

(Link to SE duplicate: https://math.stackexchange.com/questions/4959071/are-group-theoretic-markov-properties-on-groups-with-decidable-word-problems) The Adian-Rabin theorem says that if a property of ...
Perry Bleiberg's user avatar
6 votes
3 answers
872 views

An element $g$ in a group such that neither $g=1$ nor $g\ne 1$ can be proved.

Edited (this question contains two versions of a similar question) Is there some finitely presented group $G$ generated by $g_1,...,g_n$ such that there is an element $g\in G$ expressed as a finite ...
aglearner's user avatar
  • 14.3k
17 votes
0 answers
969 views

Groups generated by 3 involutions

Let $r(m)$ denote the residue class $r+m\mathbb{Z}$, where $0 \leq r < m$. Given disjoint residue classes $r_1(m_1)$ and $r_2(m_2)$, let the class transposition $\tau_{r_1(m_1),r_2(m_2)}$ be the ...
Stefan Kohl's user avatar
  • 19.6k
8 votes
1 answer
338 views

How bad can the recursive properties of finitely presented groups be?

Any finitely presented group naturally gives rise to an edge-labeled graph (the Cayley graph) and I am considering paths through this graph. Paths correspond to infinite sequences of generators, so ...
Aubrey da Cunha's user avatar