9
$\begingroup$

I have a group of order 96, and I am wondering which combination of familiar groups it might be. I have tried and failed to identify it with a semidirect product of cyclic groups.

$$G_1 = \langle a, b \mid a^8 = b^3 = (ab) ^2 = (a^2b^2)^3 = (a^4b^2)^3 = 1 \rangle$$

Thank you for your help.

$\endgroup$
8
  • $\begingroup$ Is there a particular reason you expect this group to be a nice combination of commonly considered groups? After all, there are 231 groups of order 96. $\endgroup$
    – Mike Pierce
    Jun 30, 2018 at 3:12
  • 1
    $\begingroup$ Not a precise reason. It arises as an automorphism group of a Riemann surface and I would like to know which of the 231 groups it is in order to compare it to some automorphism groups of related Riemann surfaces. I was unable to figure out how to specify enough information for GAP to identify the group. $\endgroup$
    – Catherine Ray
    Jun 30, 2018 at 3:14
  • $\begingroup$ GAP id's it as small group [96,64], and the structure description calls it ((C4 x C4) : C3) : C2 $\endgroup$
    – Josh B.
    Jun 30, 2018 at 3:24
  • $\begingroup$ people.maths.bris.ac.uk/~matyd/GroupNames/73/Dic6sC4.html $\endgroup$
    – the_fox
    Jun 30, 2018 at 3:37
  • 1
    $\begingroup$ Which Riemann surface? How do you know it is the automorphism group of that surface? Possibly a knowledge of the properties of the surface could help answer the question. $\endgroup$
    – Michael Hardy
    Jun 30, 2018 at 3:51

1 Answer 1

Reset to default
9
$\begingroup$

Here are the GAP commands I used:

f:=FreeGroup("a","b");
a:=f.1;b:=f.2;
g:=f/[a^8,b^3,(a*b)^2,(a*a*b*b)^3,(a^4*b^2)^3];
IdGroup(g);
StructureDescription(g);

GAP reports this is small group [96,64] with structure description $((C_4\times C_4):C_3):C_2)$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .