All Questions
1 question
18
votes
1
answer
752
views
Is solvability semi-decidable?
Let $G = \langle A \mid R \rangle$ be a finitely presented group, given by a finite presentation. If $G$ is abelian, then we can verify this fact: simply verify the fact that $[a, b] = 1$ for all ...