[GAP Forum] abelianized of transitive groups

[Bill Allombert]

Dear GAP forum,

I have a question which is indirectly related to GAP.

Let G a transitive subgroup of S_n. I need a bound for [G:G'](=#G/G')
in term of n. Is there theoretical and/or heuristic result in this direction ?

What is the best way to compute [G:G'] ? It seems AbelianInvariants is faster
than Size(G/DerivedSugroup(G)).

Cheers,
Bill.