Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Carl-Fredrik Nyberg Brodda's user avatar