2
$\begingroup$

This is my self-study exercise:

Let $G=\langle a,b\mid aba=b^2,bab=a^2\rangle$. Show that $G$ is not metabelian.


I know; I have to show that $G'$ is not an abelian subgroup. The index of $G'$ in $G$ is 3 and doing Todd-Coxeter Algorithm for finding any presentation of $G'$ is a long and tedious technique (honestly, I did it but not to end). Moreover GAP tells me that $|G|=24$. May I ask you if there is an emergency exit for this problem. Thanks for any hint. :)

  • 1
    You can (and should) use `\mid` as a separator rather than `|` and a space.2012-11-18
  • 0
    I don't see right now how to correct the mistake you were well to point out in my answer, so I have deleted it for now.2012-11-18
  • 0
    I can undelete. I just didn't want people to not-think about this because they see an upvoted solution.2012-11-18
  • 0
    You're welcome. Please post a solution when you finish.2012-11-18
  • 0
    I don't see any particularly intelligent way to do this. The group G is isomorphic to SL(2,3) via $$a \mapsto \left(\begin{smallmatrix}-1&0\\-1&-1\end{smallmatrix}\right), b \mapsto \left(\begin{smallmatrix}-1&-1\\0&-1\end{smallmatrix}\right)$$ and SL(2,3) is clearly not metabelian. The subgroup generated by {ab,ba} is a quaternion Sylow 2-subgroup of order 8, contained in the derived subgroup of G, so that also works, but it seemed tedious to prove any basic relations amongst a and b from the presentation given.2012-11-18
  • 0
    @JackSchmidt: I have not achieved the insight you have yet. :-) . Honestly, by the way I noted above I found the presentation of $G'$ at last. It is $G'=\langle x,z\mid z^4=1, x^2=z^2, xzx=z, zxz=x$ which I think it is $Q_8$. I should take more time to find analysis your approach. Anyway thanks Jack for the time.2012-11-18

2 Answers 2

3

$abab=a^3=b^3$, so $Z := \langle a^3 \rangle$ is central. Modulo $Z$, we get the standard presentation $\langle a,b \mid a^3, b^3, (ab)^3 \rangle$ of $A_4$. Also, module $G'$, we have $a^2=b$, $b^2=a$, so $a^3=1$, and hence $Z \le G'$. Also, $ab,ba \in G'$ and $abba = a^2ba^2=bab^3ab=baabb^3$, so $G'$ is not abelian provided that $Z$ is nontrivial.

So to prove the group is not metabelian we need to prove that $Z$ is nontrivial, and the only sensible way of doing that, other than by coset enumeration, which is very tedious to do by hand, is to find an explicit homomorphic image of the group in which $Z$ is nontrivial. Knowing that $G$ is a nonsplit central extension of $Z$ by $A_4$, we might suspect at this stage that $G \cong {\rm SL}_2(3)$, which might help us find an explicit map, like the one described by Jack Schmidt in his comment.

1

We have a homomorphism $a\rightarrow (1,2)(3,4,8,5,6,7)$, $b\rightarrow (1,3,6,2,5,4)(7,8)$. The image has order 24 so it is an isomorphism by your T-C result.

The kernel $G'$ of the map to $Z_3$ is generated by $ab, ba$ which is quaternion of order 8; so the group is not metabelian.