Skip to main content
Corrected the error kindly pointed out by Nick Gill.
Source Link
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137

Clearly every generously transitive permutation group $G < {\rm S}_n$ acts primitively transitively on $\{1,\dots,n\}$. Therefore we can find all generously transitive permutation groups of degree $n$ by searching through the primitivetransitive groups of degree $n$. The latter are available in the Primitive Permutation Groups LibraryTransitive Permutation Groups Library of GAP, for all $n \leq 2500$$n \leq 30$. The following GAP function tests whether a given group is generously transitive:

IsGenerouslyTransitive := function ( G )

  local  n, i, j;

  n := LargestMovedPoint(G);
  if   not IsTransitive(G,[1..n]) or not IsPrimitive(G,[1..n])
  then return false; fi;
  if Transitivity(G,[1..n]) >= 2 then return true; fi;
  for i in [1..n] do
    for j in [i+1..n] do
      if   RepresentativeAction(G,[i,j],[j,i],OnTuples) = fail
      then return false; fi;
    od;
  od;
  return true;
end;

Now let's check how many of the primitivetransitive groups of degree $\leq 100$$\leq 20$ are even generously transitive:

gap> List([1[2..100]20],NrPrimitiveGroupsNrTransitiveGroups); 
[ 0, 1, 2, 2, 5, 4, 7, 7, 11, 9, 8, 6, 9, 4, 6, 22, 10, 4, 8, 4, 9, 4, 
   7, 5, 28, 7, 15, 14, 8, 4, 12, 7, 4, 2, 6, 22, 11, 4, 2, 8, 10, 4, 10, 
  4, 9, 2, 6, 4, 40,[ 91, 2, 3, 8, 4, 8, 9, 5, 2, 6, 9, 14, 4, 8, 74, 13, 
  7, 10, 7, 2, 2, 10, 45, 16, 4, 2, 2, 4, 6, 10, 4, 1557, 1050, 634, 645, 68, 2301, 
  29, 263, 10104, 41954, 10, 2, 2, 2, 2, 2, 14, 4983, 28, 381117 ]
gap> Sum(last); # total number of primitive groups of degree <= 100
9464722
gap> List([1[2..100]20],n->Number(AllPrimitiveGroupsAllTransitiveGroups(DegreeAction,n),
>                            IsGenerouslyTransitive));
[ 0, 1, 1, 2, 4, 4, 5, 7, 11, 9, 6, 6, 7, 4, 6, 22, 9, 4, 5, 4, 9, 4, 5, 
  5, 26, 7, 11, 14, 6, 4, 8, 7, 4, 2, 6, 21, 8, 4, 2, 8, 8, 4, 6, 4, 9, 
  2, 4, 4, 38, 937, 222, 339, 6, 4191, 7, 9, 547, 263, 41239, 9, 10, 4, 7, 74, 13, 7, 6, 
  7, 2, 2, 6, 4, 13, 4, 2, 2, 4605, 5, 6, 4, 150, 10, 4, 6, 6, 2, 2, 2, 8, 
  4, 8, 2, 2, 2, 2, 2, 12, 4, 2, 38870 ]
gap> Sum(last); # number of generously transitive groups among them
8673166

Hence over $90$ percentabout two thirds of the primitivetransitive groups of degree $\leq 100$$\leq 20$ are even generously transitive. -- Therefore, perhaps rather than asking for a classification of generously transitive groups, one might ask for a classification of those primitivetransitive permutation groups which are not generously transitive.

Clearly every generously transitive permutation group $G < {\rm S}_n$ acts primitively on $\{1,\dots,n\}$. Therefore we can find all generously transitive permutation groups of degree $n$ by searching through the primitive groups of degree $n$. The latter are available in the Primitive Permutation Groups Library of GAP, for all $n \leq 2500$. The following GAP function tests whether a given group is generously transitive:

IsGenerouslyTransitive := function ( G )

  local  n, i, j;

  n := LargestMovedPoint(G);
  if   not IsTransitive(G,[1..n]) or not IsPrimitive(G,[1..n])
  then return false; fi;
  if Transitivity(G,[1..n]) >= 2 then return true; fi;
  for i in [1..n] do
    for j in [i+1..n] do
      if   RepresentativeAction(G,[i,j],[j,i],OnTuples) = fail
      then return false; fi;
    od;
  od;
  return true;
end;

Now let's check how many of the primitive groups of degree $\leq 100$ are even generously transitive:

gap> List([1..100],NrPrimitiveGroups); 
[ 0, 1, 2, 2, 5, 4, 7, 7, 11, 9, 8, 6, 9, 4, 6, 22, 10, 4, 8, 4, 9, 4, 
   7, 5, 28, 7, 15, 14, 8, 4, 12, 7, 4, 2, 6, 22, 11, 4, 2, 8, 10, 4, 10, 
  4, 9, 2, 6, 4, 40, 9, 2, 3, 8, 4, 8, 9, 5, 2, 6, 9, 14, 4, 8, 74, 13, 
  7, 10, 7, 2, 2, 10, 4, 16, 4, 2, 2, 4, 6, 10, 4, 155, 10, 6, 6, 6, 2, 
  2, 2, 10, 4, 10, 2, 2, 2, 2, 2, 14, 4, 2, 38 ]
gap> Sum(last); # total number of primitive groups of degree <= 100
946
gap> List([1..100],n->Number(AllPrimitiveGroups(DegreeAction,n),
>                            IsGenerouslyTransitive));
[ 0, 1, 1, 2, 4, 4, 5, 7, 11, 9, 6, 6, 7, 4, 6, 22, 9, 4, 5, 4, 9, 4, 5, 
  5, 26, 7, 11, 14, 6, 4, 8, 7, 4, 2, 6, 21, 8, 4, 2, 8, 8, 4, 6, 4, 9, 
  2, 4, 4, 38, 9, 2, 3, 6, 4, 7, 9, 5, 2, 4, 9, 10, 4, 7, 74, 13, 7, 6, 
  7, 2, 2, 6, 4, 13, 4, 2, 2, 4, 5, 6, 4, 150, 10, 4, 6, 6, 2, 2, 2, 8, 
  4, 8, 2, 2, 2, 2, 2, 12, 4, 2, 38 ]
gap> Sum(last); # number of generously transitive groups among them
867

Hence over $90$ percent of the primitive groups of degree $\leq 100$ are even generously transitive. -- Therefore, perhaps rather than asking for a classification of generously transitive groups, one might ask for a classification of those primitive permutation groups which are not generously transitive.

Clearly every generously transitive permutation group $G < {\rm S}_n$ acts transitively on $\{1,\dots,n\}$. Therefore we can find all generously transitive permutation groups of degree $n$ by searching through the transitive groups of degree $n$. The latter are available in the Transitive Permutation Groups Library of GAP, for all $n \leq 30$. The following GAP function tests whether a given group is generously transitive:

IsGenerouslyTransitive := function ( G )

  local  n, i, j;

  n := LargestMovedPoint(G);
  if not IsTransitive(G,[1..n]) then return false; fi;
  if Transitivity(G,[1..n]) >= 2 then return true; fi;
  for i in [1..n] do
    for j in [i+1..n] do
      if   RepresentativeAction(G,[i,j],[j,i],OnTuples) = fail
      then return false; fi;
    od;
  od;
  return true;
end;

Now let's check how many of the transitive groups of degree $\leq 20$ are even generously transitive:

gap> List([2..20],NrTransitiveGroups);                                         
[ 1, 2, 5, 5, 16, 7, 50, 34, 45, 8, 301, 9, 63, 104, 1954, 10, 983, 8, 1117 ]
gap> Sum(last);
4722
gap> List([2..20],n->Number(AllTransitiveGroups(DegreeAction,n),
>                           IsGenerouslyTransitive));
[ 1, 1, 4, 4, 11, 5, 37, 22, 39, 6, 191, 7, 47, 63, 1239, 9, 605, 5, 870 ]
gap> Sum(last);
3166

Hence about two thirds of the transitive groups of degree $\leq 20$ are even generously transitive. -- Therefore, perhaps rather than asking for a classification of generously transitive groups, one might ask for a classification of those transitive permutation groups which are not generously transitive.

Post Undeleted by Stefan Kohl
Revised this answer from 2013.
Source Link
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137

Clearly every generously transitive permutation group $G < {\rm S}_n$ acts primitively on the set $\{1,\dots,n\}$. Therefore we can find all generously transitive permutation groups of degree $n$ by searching through the primitive groupsprimitive groups of degree $n$. The The latter are available in the Primitive Groups Library of the computer algebra system GAP (cf. http://www.gap-system.org/Datalib/prim.htmlPrimitive Permutation Groups Library) of GAP, for all    $n \leq 2500$. First we write a GAP The following GAP function which tests whether a given group is is generously transitive transitive:

Then we apply this function to the groups inNow let's check how many of the Primitive Groups Library. Since it turns out that most primitive groups of small degree are even generously transitive, in order to avoid the output getting too long, we list those which are$\leq 100$ notare even generously transitive:

gap> NotGenerouslyTransitivePrimitiveGroupsOfDegree :=
>      n -> Filtered( AllPrimitiveGroups( DegreeAction, n ),
>                     G -> not IsGenerouslyTransitiveList( G ) );;
gap> for n in [1..150] do
>      grps := NotGenerouslyTransitivePrimitiveGroupsOfDegree(n100],NrPrimitiveGroups);
>      if grps <> [] then
>        Print("    The following primitive groups of degree[ ",n0,
>              " are not generously transitive:\n",grps1,"\n\n");
>  2, 2, 5, 4, fi;
>7, 7, 11, 9, od;
The8, following6, primitive9, groups4, of6, degree22, 310, are4, not8, generously4, transitive:
[9, A(3)4, ]

The following primitive groups of degree 5 are not generously transitive:
[7, C(5) ]

The following primitive groups of, degree28, 7, are15, not14, generously8, transitive:
[4, C(7)12, 7:3 ]

The following primitive groups of degree 11 are, not4, generously2, transitive:
[6, C(11)22, 11:5 ]

The following primitive groups of degree 13 are not generously transitive:
[ C(13), 13:3 ]

The following primitive groups of degree 174, are2, not8, generously10, transitive:
[4, C(17)10, ]

The following primitive groups of degree 19 are4, not9, generously2, transitive:
[6, C(19)4, 19:340, 19:9 ]

The following primitive groups of degree 23 are not generously transitive:
[ C(23), 23:11 ]

The following primitive groups of degree 25 are not generously transitive:
[ 5^2:32, 5^2:S(3) ]

The following, primitive8, groups4, of8, degree9, 275, are2, not6, generously9, transitive:
[14, 3^3.A(4), 3^3:138, 3^3.S(4)74, 3^3.13.3, ]

The following primitive groups of degree 29 are not generously transitive:
[7, C(29)10, 29:7 ]

The following primitive groups of degree 31 are not generously transitive:
[ C(31), 31:32, 31:52, 31:15 ]

The following primitive groups of degree 36 are not generously transitive:
[ PSU(310, 3)4, ]

The16, following4, primitive2, groups2, of4, degree6, 3710, are4, not155, generously10, transitive:
[6, C(37)6, 37:36, 37:92, ]

The following primitive groups of degree 41 are not generously transitive:
[ C(41)2, 41:5 ]

The following primitive2, groups10, of4, degree10, 432, are2, not2, generously2, transitive:
[2, C(43)14, 43:34, 43:72, 43:2138 ]

The following primitive groups of degree 47 are not generously transitive:
[gap> CSum(47last),; 47:23# ]

Thetotal followingnumber of primitive groups of degree 49 are not generously<= transitive:100
[946
gap> 7^2:SList(3)[1..100], 7^2:3 x Dn->Number(2*3) ]

The following primitive groups of degree 53 are not generously transitive:
[ CAllPrimitiveGroups(53DegreeAction,n), 53:13 ]

The> following primitive groups of degree 55 are not generously transitive:
[ PSL(2, 11) ]

The following primitive groups of degree 59 are not generously transitive:
[ C(59), 59:29 ]

The following primitive groups of degree 61 are not generously transitive:IsGenerouslyTransitive));
[ C(61)0, 61:31, 61:51, 61:15 ]

The following primitive groups of degree 63 are not generously transitive:
[ PSU(32, 3) ]

The following primitive groups of degree 67 are not generously4, transitive:
[4, C(67)5, 67:37, 67:11, 67:33 ]

The following primitive groups of degree 71 are not generously transitive:
[9, C(71)6, 71:56, 71:7, 71:35 ]

The following primitive groups of degree 73 are not generously transitive:
[ C(73)4, 73:36, 73:9 ]

The following primitive groups of degree 78 are not generously transitive:
[ PSL(222, 13) ]

The following primitive groups of degree 79 are not generously transitive:
[ C(79)9, 79:34, 79:135, 79:39 ]

The following primitive groups of degree 81 are not generously transitive:
[ 3^4:54, 3^4:D_109, 3^4:5:4, 3^4:Alt(5), 3^4:Sym(5) ]

The following primitive groups of degree 83 are not generously transitive:
[ C(83)5, 83:41 ]

The following primitive groups of degree 89 are not generously transitive:
[26, C(89)7, 89:11 ]

The following primitive groups of degree 91, are14, not6, generously4, transitive:
[8, PSL(27, 13)4, PSL(2, 13) ]

The following primitive groups of degree 97 are not generously transitive:
[ C(97)6, 97:3 ]

The following primitive groups of degree 101 are not generously transitive:
[ C(101)21, 101:58, 101:25 ]

The following primitive groups of degree 103 are not generously transitive:
[ C(103)4, 103:32, 103:178, 103:51 ]

The following primitive groups of degree 107 are not generously transitive:
[ C(107)8, 107:53 ]

The following primitive groups of degree 109 are not generously transitive:
[4, C(109)6, 109:34, 109:9, 109:27 ]

The following primitive groups of degree 113 are not generously transitive:
[ C(113)2, 113:7 ]

The following primitive groups of degree 1214, are4, not38, generously9, transitive:
[2, 11^2:3, 11^2:D_66, 11^2:D_104, 11^2:157, 11^2:(5 x D_6)9, 11^2:(5 x D_10) ]

The following primitive groups of degree 125 are not generously transitive:
[, 5^3:Alt(4)2, 5^3:Sym(4), 5^3:319, 5^3:4^2:310, 5^3:31:34, 5^3:4^2:Sym(3) ]

The following primitive groups of degree 127 are not generously transitive:
[ C(127)7, 127:374, 127:713, 127:97, 127:216, 127:63 ]

The following primitive groups of degree 131 are not7, generously2, transitive:
[2, C(131)6, 131:54, 131:13, 131:65 ]

The following primitive groups of degree 136 are not generously transitive:
[4, PSL(2, 17) ]

The following primitive groups of degree 137 are not generously transitive:
[ C(137)2, 137:17 ]

The following primitive4, groups5, of6, degree4, 139150, are10, not4, generously6, transitive:
[6, C(139)2, 139:32, 139:232, 139:698, ]

The following primitive groups4, of8, degree2, 1442, are2, not2, generously2, transitive:
[12, PSL(34, 3)2, M_1238 ]
 
Thegap> followingSum(last); primitive# groupsnumber of degree 149 are not generously transitive:
[ C(149),groups 149:37among ]them
867

Hence 1230over $90$ percent of the 1357 primitive groups of degree $\leq 150$ are$\leq 100$ evenare even generously transitive, and only 127 of them are not.

Just as it is probably not reasonable to ask -- Therefore, perhaps rather than asking for a classification of generously all finite primitivetransitive groups up to conjugacy, this coincidence suggests that the same is the case for the questionone might ask for a classification of all finite generously transitive groups. If one is lucky, maybe one can classify of those primitive permutation groups which are    not generously transitive. -- This would give a classification of generously transitive groups in the sense that one accepts the primitive groups as known, and classifies the generously transitive groups as a subclass of them.

Clearly every generously transitive permutation group $G < {\rm S}_n$ acts primitively on the set $\{1,\dots,n\}$. Therefore we can find all generously transitive permutation groups of degree $n$ by searching through the primitive groups of degree $n$. The latter are available in the Primitive Groups Library of the computer algebra system GAP (cf. http://www.gap-system.org/Datalib/prim.html), for all  $n \leq 2500$. First we write a GAP function which tests whether a given group is generously transitive:

Then we apply this function to the groups in the Primitive Groups Library. Since it turns out that most primitive groups of small degree are even generously transitive, in order to avoid the output getting too long, we list those which are not generously transitive:

gap> NotGenerouslyTransitivePrimitiveGroupsOfDegree :=
>      n -> Filtered( AllPrimitiveGroups( DegreeAction, n ),
>                     G -> not IsGenerouslyTransitive( G ) );;
gap> for n in [1..150] do
>      grps := NotGenerouslyTransitivePrimitiveGroupsOfDegree(n);
>      if grps <> [] then
>        Print("    The following primitive groups of degree ",n,
>              " are not generously transitive:\n",grps,"\n\n");
>      fi;
>    od;
The following primitive groups of degree 3 are not generously transitive:
[ A(3) ]

The following primitive groups of degree 5 are not generously transitive:
[ C(5) ]

The following primitive groups of degree 7 are not generously transitive:
[ C(7), 7:3 ]

The following primitive groups of degree 11 are not generously transitive:
[ C(11), 11:5 ]

The following primitive groups of degree 13 are not generously transitive:
[ C(13), 13:3 ]

The following primitive groups of degree 17 are not generously transitive:
[ C(17) ]

The following primitive groups of degree 19 are not generously transitive:
[ C(19), 19:3, 19:9 ]

The following primitive groups of degree 23 are not generously transitive:
[ C(23), 23:11 ]

The following primitive groups of degree 25 are not generously transitive:
[ 5^2:3, 5^2:S(3) ]

The following primitive groups of degree 27 are not generously transitive:
[ 3^3.A(4), 3^3:13, 3^3.S(4), 3^3.13.3 ]

The following primitive groups of degree 29 are not generously transitive:
[ C(29), 29:7 ]

The following primitive groups of degree 31 are not generously transitive:
[ C(31), 31:3, 31:5, 31:15 ]

The following primitive groups of degree 36 are not generously transitive:
[ PSU(3, 3) ]

The following primitive groups of degree 37 are not generously transitive:
[ C(37), 37:3, 37:9 ]

The following primitive groups of degree 41 are not generously transitive:
[ C(41), 41:5 ]

The following primitive groups of degree 43 are not generously transitive:
[ C(43), 43:3, 43:7, 43:21 ]

The following primitive groups of degree 47 are not generously transitive:
[ C(47), 47:23 ]

The following primitive groups of degree 49 are not generously transitive:
[ 7^2:S(3), 7^2:3 x D(2*3) ]

The following primitive groups of degree 53 are not generously transitive:
[ C(53), 53:13 ]

The following primitive groups of degree 55 are not generously transitive:
[ PSL(2, 11) ]

The following primitive groups of degree 59 are not generously transitive:
[ C(59), 59:29 ]

The following primitive groups of degree 61 are not generously transitive:
[ C(61), 61:3, 61:5, 61:15 ]

The following primitive groups of degree 63 are not generously transitive:
[ PSU(3, 3) ]

The following primitive groups of degree 67 are not generously transitive:
[ C(67), 67:3, 67:11, 67:33 ]

The following primitive groups of degree 71 are not generously transitive:
[ C(71), 71:5, 71:7, 71:35 ]

The following primitive groups of degree 73 are not generously transitive:
[ C(73), 73:3, 73:9 ]

The following primitive groups of degree 78 are not generously transitive:
[ PSL(2, 13) ]

The following primitive groups of degree 79 are not generously transitive:
[ C(79), 79:3, 79:13, 79:39 ]

The following primitive groups of degree 81 are not generously transitive:
[ 3^4:5, 3^4:D_10, 3^4:5:4, 3^4:Alt(5), 3^4:Sym(5) ]

The following primitive groups of degree 83 are not generously transitive:
[ C(83), 83:41 ]

The following primitive groups of degree 89 are not generously transitive:
[ C(89), 89:11 ]

The following primitive groups of degree 91 are not generously transitive:
[ PSL(2, 13), PSL(2, 13) ]

The following primitive groups of degree 97 are not generously transitive:
[ C(97), 97:3 ]

The following primitive groups of degree 101 are not generously transitive:
[ C(101), 101:5, 101:25 ]

The following primitive groups of degree 103 are not generously transitive:
[ C(103), 103:3, 103:17, 103:51 ]

The following primitive groups of degree 107 are not generously transitive:
[ C(107), 107:53 ]

The following primitive groups of degree 109 are not generously transitive:
[ C(109), 109:3, 109:9, 109:27 ]

The following primitive groups of degree 113 are not generously transitive:
[ C(113), 113:7 ]

The following primitive groups of degree 121 are not generously transitive:
[ 11^2:3, 11^2:D_6, 11^2:D_10, 11^2:15, 11^2:(5 x D_6), 11^2:(5 x D_10) ]

The following primitive groups of degree 125 are not generously transitive:
[ 5^3:Alt(4), 5^3:Sym(4), 5^3:31, 5^3:4^2:3, 5^3:31:3, 5^3:4^2:Sym(3) ]

The following primitive groups of degree 127 are not generously transitive:
[ C(127), 127:3, 127:7, 127:9, 127:21, 127:63 ]

The following primitive groups of degree 131 are not generously transitive:
[ C(131), 131:5, 131:13, 131:65 ]

The following primitive groups of degree 136 are not generously transitive:
[ PSL(2, 17) ]

The following primitive groups of degree 137 are not generously transitive:
[ C(137), 137:17 ]

The following primitive groups of degree 139 are not generously transitive:
[ C(139), 139:3, 139:23, 139:69 ]

The following primitive groups of degree 144 are not generously transitive:
[ PSL(3, 3), M_12 ]
 
The following primitive groups of degree 149 are not generously transitive:
[ C(149), 149:37 ]

Hence 1230 of the 1357 primitive groups of degree $\leq 150$ are even generously transitive, and only 127 of them are not.

Just as it is probably not reasonable to ask for a classification of all finite primitive groups up to conjugacy, this coincidence suggests that the same is the case for the question for a classification of all finite generously transitive groups. If one is lucky, maybe one can classify primitive groups which are  not generously transitive. -- This would give a classification of generously transitive groups in the sense that one accepts the primitive groups as known, and classifies the generously transitive groups as a subclass of them.

Clearly every generously transitive permutation group $G < {\rm S}_n$ acts primitively on $\{1,\dots,n\}$. Therefore we can find all generously transitive permutation groups of degree $n$ by searching through the primitive groups of degree $n$. The latter are available in the Primitive Permutation Groups Library of GAP, for all  $n \leq 2500$. The following GAP function tests whether a given group is generously transitive:

Now let's check how many of the primitive groups of degree $\leq 100$ are even generously transitive:

gap> List([1..100],NrPrimitiveGroups); 
[ 0, 1, 2, 2, 5, 4, 7, 7, 11, 9, 8, 6, 9, 4, 6, 22, 10, 4, 8, 4, 9, 4, 
  7, 5, 28, 7, 15, 14, 8, 4, 12, 7, 4, 2, 6, 22, 11, 4, 2, 8, 10, 4, 10, 
  4, 9, 2, 6, 4, 40, 9, 2, 3, 8, 4, 8, 9, 5, 2, 6, 9, 14, 4, 8, 74, 13, 
  7, 10, 7, 2, 2, 10, 4, 16, 4, 2, 2, 4, 6, 10, 4, 155, 10, 6, 6, 6, 2, 
  2, 2, 10, 4, 10, 2, 2, 2, 2, 2, 14, 4, 2, 38 ]
gap> Sum(last); # total number of primitive groups of degree <= 100
946
gap> List([1..100],n->Number(AllPrimitiveGroups(DegreeAction,n),
>                            IsGenerouslyTransitive));
[ 0, 1, 1, 2, 4, 4, 5, 7, 11, 9, 6, 6, 7, 4, 6, 22, 9, 4, 5, 4, 9, 4, 5, 
  5, 26, 7, 11, 14, 6, 4, 8, 7, 4, 2, 6, 21, 8, 4, 2, 8, 8, 4, 6, 4, 9, 
  2, 4, 4, 38, 9, 2, 3, 6, 4, 7, 9, 5, 2, 4, 9, 10, 4, 7, 74, 13, 7, 6, 
  7, 2, 2, 6, 4, 13, 4, 2, 2, 4, 5, 6, 4, 150, 10, 4, 6, 6, 2, 2, 2, 8, 
  4, 8, 2, 2, 2, 2, 2, 12, 4, 2, 38 ]
gap> Sum(last); # number of generously transitive groups among them
867

Hence over $90$ percent of the primitive groups of degree $\leq 100$ are even generously transitive. -- Therefore, perhaps rather than asking for a classification of generously transitive groups, one might ask for a classification of those primitive permutation groups which are  not generously transitive.

Post Deleted by Stefan Kohl
Source Link
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137

Clearly every generously transitive permutation group $G < {\rm S}_n$ acts primitively on the set $\{1,\dots,n\}$. Therefore we can find all generously transitive permutation groups of degree $n$ by searching through the primitive groups of degree $n$. The latter are available in the Primitive Groups Library of the computer algebra system GAP (cf. http://www.gap-system.org/Datalib/prim.html), for all $n \leq 2500$. First we write a GAP function which tests whether a given group is generously transitive:

IsGenerouslyTransitive := function ( G )

  local  n, i, j;

  n := LargestMovedPoint(G);
  if   not IsTransitive(G,[1..n]) or not IsPrimitive(G,[1..n])
  then return false; fi;
  if Transitivity(G,[1..n]) >= 2 then return true; fi;
  for i in [1..n] do
    for j in [i+1..n] do
      if   RepresentativeAction(G,[i,j],[j,i],OnTuples) = fail
      then return false; fi;
    od;
  od;
  return true;
end;

Then we apply this function to the groups in the Primitive Groups Library. Since it turns out that most primitive groups of small degree are even generously transitive, in order to avoid the output getting too long, we list those which are not generously transitive:

gap> NotGenerouslyTransitivePrimitiveGroupsOfDegree :=
>      n -> Filtered( AllPrimitiveGroups( DegreeAction, n ),
>                     G -> not IsGenerouslyTransitive( G ) );;
gap> for n in [1..150] do
>      grps := NotGenerouslyTransitivePrimitiveGroupsOfDegree(n);
>      if grps <> [] then
>        Print("    The following primitive groups of degree ",n,
>              " are not generously transitive:\n",grps,"\n\n");
>      fi;
>    od;
The following primitive groups of degree 3 are not generously transitive:
[ A(3) ]

The following primitive groups of degree 5 are not generously transitive:
[ C(5) ]

The following primitive groups of degree 7 are not generously transitive:
[ C(7), 7:3 ]

The following primitive groups of degree 11 are not generously transitive:
[ C(11), 11:5 ]

The following primitive groups of degree 13 are not generously transitive:
[ C(13), 13:3 ]

The following primitive groups of degree 17 are not generously transitive:
[ C(17) ]

The following primitive groups of degree 19 are not generously transitive:
[ C(19), 19:3, 19:9 ]

The following primitive groups of degree 23 are not generously transitive:
[ C(23), 23:11 ]

The following primitive groups of degree 25 are not generously transitive:
[ 5^2:3, 5^2:S(3) ]

The following primitive groups of degree 27 are not generously transitive:
[ 3^3.A(4), 3^3:13, 3^3.S(4), 3^3.13.3 ]

The following primitive groups of degree 29 are not generously transitive:
[ C(29), 29:7 ]

The following primitive groups of degree 31 are not generously transitive:
[ C(31), 31:3, 31:5, 31:15 ]

The following primitive groups of degree 36 are not generously transitive:
[ PSU(3, 3) ]

The following primitive groups of degree 37 are not generously transitive:
[ C(37), 37:3, 37:9 ]

The following primitive groups of degree 41 are not generously transitive:
[ C(41), 41:5 ]

The following primitive groups of degree 43 are not generously transitive:
[ C(43), 43:3, 43:7, 43:21 ]

The following primitive groups of degree 47 are not generously transitive:
[ C(47), 47:23 ]

The following primitive groups of degree 49 are not generously transitive:
[ 7^2:S(3), 7^2:3 x D(2*3) ]

The following primitive groups of degree 53 are not generously transitive:
[ C(53), 53:13 ]

The following primitive groups of degree 55 are not generously transitive:
[ PSL(2, 11) ]

The following primitive groups of degree 59 are not generously transitive:
[ C(59), 59:29 ]

The following primitive groups of degree 61 are not generously transitive:
[ C(61), 61:3, 61:5, 61:15 ]

The following primitive groups of degree 63 are not generously transitive:
[ PSU(3, 3) ]

The following primitive groups of degree 67 are not generously transitive:
[ C(67), 67:3, 67:11, 67:33 ]

The following primitive groups of degree 71 are not generously transitive:
[ C(71), 71:5, 71:7, 71:35 ]

The following primitive groups of degree 73 are not generously transitive:
[ C(73), 73:3, 73:9 ]

The following primitive groups of degree 78 are not generously transitive:
[ PSL(2, 13) ]

The following primitive groups of degree 79 are not generously transitive:
[ C(79), 79:3, 79:13, 79:39 ]

The following primitive groups of degree 81 are not generously transitive:
[ 3^4:5, 3^4:D_10, 3^4:5:4, 3^4:Alt(5), 3^4:Sym(5) ]

The following primitive groups of degree 83 are not generously transitive:
[ C(83), 83:41 ]

The following primitive groups of degree 89 are not generously transitive:
[ C(89), 89:11 ]

The following primitive groups of degree 91 are not generously transitive:
[ PSL(2, 13), PSL(2, 13) ]

The following primitive groups of degree 97 are not generously transitive:
[ C(97), 97:3 ]

The following primitive groups of degree 101 are not generously transitive:
[ C(101), 101:5, 101:25 ]

The following primitive groups of degree 103 are not generously transitive:
[ C(103), 103:3, 103:17, 103:51 ]

The following primitive groups of degree 107 are not generously transitive:
[ C(107), 107:53 ]

The following primitive groups of degree 109 are not generously transitive:
[ C(109), 109:3, 109:9, 109:27 ]

The following primitive groups of degree 113 are not generously transitive:
[ C(113), 113:7 ]

The following primitive groups of degree 121 are not generously transitive:
[ 11^2:3, 11^2:D_6, 11^2:D_10, 11^2:15, 11^2:(5 x D_6), 11^2:(5 x D_10) ]

The following primitive groups of degree 125 are not generously transitive:
[ 5^3:Alt(4), 5^3:Sym(4), 5^3:31, 5^3:4^2:3, 5^3:31:3, 5^3:4^2:Sym(3) ]

The following primitive groups of degree 127 are not generously transitive:
[ C(127), 127:3, 127:7, 127:9, 127:21, 127:63 ]

The following primitive groups of degree 131 are not generously transitive:
[ C(131), 131:5, 131:13, 131:65 ]

The following primitive groups of degree 136 are not generously transitive:
[ PSL(2, 17) ]

The following primitive groups of degree 137 are not generously transitive:
[ C(137), 137:17 ]

The following primitive groups of degree 139 are not generously transitive:
[ C(139), 139:3, 139:23, 139:69 ]

The following primitive groups of degree 144 are not generously transitive:
[ PSL(3, 3), M_12 ]

The following primitive groups of degree 149 are not generously transitive:
[ C(149), 149:37 ]

Hence 1230 of the 1357 primitive groups of degree $\leq 150$ are even generously transitive, and only 127 of them are not.

Just as it is probably not reasonable to ask for a classification of all finite primitive groups up to conjugacy, this coincidence suggests that the same is the case for the question for a classification of all finite generously transitive groups. If one is lucky, maybe one can classify primitive groups which are not generously transitive. -- This would give a classification of generously transitive groups in the sense that one accepts the primitive groups as known, and classifies the generously transitive groups as a subclass of them.