search

gap-packages / QuimpGrp

GAP database of quasiprimitive imprimitive permutation groups of degree at most 4095
Other
0 stars 0 forks source link

Add degrees 1 to 4 #13

Closed fingolfin closed 6 months ago

fingolfin commented 6 months ago

Currently:

gap> NrQuimpGroups(3);
Error, Quimp groups are only known for degree between 5 and 4095

But why? The primitive groups are available, surely there is no problem finding all quimps with degree $\leq 4$? (Presumably there are none?)

glukemorgan commented 6 months ago

@fingolfin There are no quimp groups of such degrees - every permutation group of degree ≤ 4 is soluble. Soluble quasiprimitive groups are of affine type, and the affine type quasiprimitive groups are primitive. Thus there are no "Quimp" groups of such degrees.

fingolfin commented 6 months ago

Yes exactly. So the relevant functions should accept these degrees and just treat them like other degrees with 0 quimps.