Skip to main content
2 of 3
Slightly improved formulation.
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137

There are no such groups. The GAP (cf. http://www.gap-system.org/) calculation is as follows:

Construct the group $G := {\rm AGL}(4,3)$:

gap> G := SemidirectProduct(GL(4,3),GF(3)^4);
<matrix group of size 1965150720 with 3 generators>

Move to the natural permutation representation of $G$ on $3^4 = 81$ points:

gap> phi := IsomorphismPermGroup(G);;
gap> H := Image(phi);
<permutation group of size 1965150720 with 3 generators>
gap> DegreeAction(H);
81

Find all conjugacy classes of $H$ of elements whose order is divisible by 9:

gap> ccl9 := Filtered(ConjugacyClasses(H),
>                     cl->Order(Representative(cl)) mod 9 = 0);;
gap> List(ccl9,Size);
[ 4043520, 36391680, 12130560, 24261120, 36391680 ]
gap> reps := List(ccl9,Representative);;
gap> List(reps,Order);
[ 9, 18, 9, 9, 18 ]

Compute normalizers of conjugacy class representatives in $H$:

gap> normalizers := List(reps,g->Normalizer(H,Group(g)));
[ <permutation group with 7 generators>, <permutation group with 6 generators>,
  <permutation group with 7 generators>, <permutation group with 4 generators>,
  <permutation group with 6 generators> ]
gap> List(normalizers,Size); # the normalizers are nicely small
[ 2916, 324, 972, 486, 324 ]

Search for transitive metacyclic subgroups of $H$:

gap> List([1..5],i->Filtered(AsList(normalizers[i]),
>                            g -> Order(g) mod 9 = 0 and
>                                 IsTransitive(Group(g,reps[i]),[1..81])));
[ [  ], [  ], [  ], [  ], [  ] ]

-- There are none!

However if we allow for two orbits instead of one, there are solutions:

gap> List([1..5],i->ForAny(AsList(normalizers[i]),
>                          g -> Order(g) mod 9 = 0 and
>                               Length(Orbits(Group(g,reps[i]),[1..81])) <= 2));
[ true, true, false, false, false ]
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137