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.