k-transitive group

TODO why do we care about this?

Note that if a group is k-transitive, then it is also k-1-transitive.

TODO this would give a better motivation for the Mathieu group

Higher transitivity: mathoverflow.net/questions/5993/highly-transitive-groups-without-assuming-the-classification-of-finite-simple-g

Might be a bit complex: math.stackexchange.com/questions/698327/classification-of-triply-transitive-finite-groups

en.wikipedia.org/w/index.php?title=Mathieu_group&oldid=1034060469#Multiply_transitive_groups is a nice characterization of 4 of the Mathieu groups.

Apparently only Mathieu group $M_{1}2$ and Mathieu group $M_{2}4$.

www.maths.qmul.ac.uk/~pjc/pps/pps9.pdf mentions:

The automorphism group of the extended Golay code is the 54-transitive Mathieu group $M_{24}$. This is one of only two finite 5-transitive groups other than symmetric and alternating groups

Hmm, is that 54, or more likely 5 and 4?

scite.ai/reports/4-homogeneous-groups-EAKY21 quotes link.springer.com/article/10.1007%2FBF01111290 which suggests that is is also another one of the Mathieu groups, math.stackexchange.com/questions/698327/classification-of-triply-transitive-finite-groups#comment7650505_3721840 and en.wikipedia.org/wiki/Mathieu_group_M12 mentions M_12.

math.stackexchange.com/questions/700235/is-there-an-easy-proof-for-the-classification-of-6-transitive-finite-groups says there aren't any non-boring ones.