Skip to main content
1 of 2
Xiaolei Wu
  • 1.6k
  • 13
  • 24

Any method to detect subgroup generated by a subset of the generators from its presentation

I have met the following question. A group $G$ is given as follows

$G = \langle x,y,t| y^{-2}xy^2 = x,t^{-1}yt =y^2 ,t^{-1}xt = xy^{-1}xy\rangle$

Is the subgroup generated by $y$ and $t$ just the group $\langle y,t|t^{-1}yt =y^2 \rangle$? It seems not right, because the first relation and the third relations may be able to give more relation on $y$ and $t$. But I could not prove it.

And the general question would be given a group by a presentation, is there a method to determine the subgroup generated by a subset of the generators?

Sorry, I try to edit the question, but deleted it, so I have to post it again.

Xiaolei Wu
  • 1.6k
  • 13
  • 24