Suppose I have a finitely presented group $G,$ and a subgroup $H$ of $G$ given by its finite generating set (given as words in the generators of $G.$ I want to know whether $H/[H, H]$ is finite. Is this question tractable (for your favorite definition of "tractable" -- decidable would be a good start...)
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
6
2
|
|
||
|
|
|
10
|
It is undecidable even when $G$ is a direct product of two free groups. Look at Corollary C on page 2 in this paper. |
||
|
|
