Identifying $\langle r,s\mid srs^{-2}r, r^{-1}srsr^{-1}\rangle$.

121 Views Asked by At

What group is $$G:=\langle r,s\mid srs^{-2}r, r^{-1}srsr^{-1}\rangle?$$

Thoughts . . .

Using IdGroup in GAP on G with

F:=FreeGroup(2);

rels:=[(F.2)*(F.1)*(F.2)^(-2)*(F.1), (F.1)^(-1)*(F.2)*(F.1)*(F.2)*(F.1)^(-1)];

G:=F/rels;

one gets [24, 3], meaning it's the third group in the library, of order $24$. (Where do I find that?)

How would one identify the group independently of GAP?

Please help :)