6
$\begingroup$

Is the group $G$ with the presentation $\langle x,y \;|\; x^7=1, y^2 x y=x^4\rangle$ solvable? infinite? I have computed by GAP the following fators of the derived series of $G$: $G/G'\cong C_3 \times C_7$, $G'/G'' \cong C_2 \times C_2 \times C_2 \times C_7$, and $G''/G^{(3)}$ and $G^{(3)}/G^{(4)}$ are elementary abelian $2$-groups of rank $8$ and $16$, respectively. I couldn't go further, it apparently needs more time and .... Maybe a simple trick needs here.

$\endgroup$
1
  • 3
    $\begingroup$ I am confident that the group is infinite, but I don't have a formal proof. If you calculate the lower $2$-central series of the derived group of $G$ (which has index $21$ in $G$), then you will find that series (apparently) continues indefinitely with a periodic sequence of layers of sizes $3,2,3,3,2,3,3,2,3,3,2,\ldots$. I calculated it to class $50$, and the sequence continues with this pattern. I have seen this behaviour before and it typically indicates a representation of small degree over an infinite local field. I believe there are some techniques for calculating such representations. $\endgroup$
    – Derek Holt
    Jun 7, 2015 at 21:07

1 Answer 1

7
$\begingroup$

The group $G$ is not solvable, since its quotient $$ \tilde{G} := \langle x, y \ | \ x^7 = 1, y^2xy = x^4, y^{15} = 1\rangle $$ is a group of order $423360$ such that $\tilde{G}'' \cong {\rm PSL}(3,4)$.

$\endgroup$
3
  • 1
    $\begingroup$ Many Thanks. It remains to decide if it is infinite or not. $\endgroup$ Jun 7, 2015 at 15:49
  • $\begingroup$ @AlirezaAbdollahi you could try to compute with GAP a presentation of the kernel of $G\to\tilde{G}$ and see if its abelianization is infinite? I don't remember if the index $\sim 10^5$ is within reasonable computing time. $\endgroup$
    – YCor
    Jun 7, 2015 at 19:40
  • $\begingroup$ @YCor: I did not (couldn't maybe better to say) compute the kernel of $G\rightarrow \tilde{G}$. Instead as I mentioned in the question, I was unable to find the abelianization of $G^{(4)}$, where its index in $G$ is $19730006016$. $\endgroup$ Jun 7, 2015 at 20:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.