TOPICS
Search

Mathieu Group M23


The Mathieu group M_(23) is a sporadic group of group order 10200960=2^7·3^2·5·7·11·23. It is a simple group and a subgroup of the symmetric group S_(23). Its group action on 23 points is transitive on ordered 4-tuples of distinct points. It is the sixth-smallest sporadic group and the automorphism group of the Steiner system S(4,7,23).

The group is also the automorphism group of the truncated Witt graph and of the strongly regular graph with parameters (253,112,36,60) (DistanceRegular.org).

The following three permutations form a representative triple of elements in conjugacy classes of types 2, 23A, and 23B used by Huang et al. (2026). Using the authors' convention that S_(23) acts on the left, they satisfy g_1g_2g_3=1 and generate M_(23).

g_1=(1,11)(2,23)(3,8)(4,16)(5,21)(7,20)(15,19)(18,22)
(1)
g_2=(1,2,11,10,16,9,6,3,23,19,20,14,21,17,4,8,22,5,18,15,13,7,12)
(2)
g_3=(1,2,3,4,10,11,12,7,19,18,8,6,9,16,17,21,22,5,14,20,13,15,23).
(3)

The Mathieu group M_(23) was the last sporadic group not known to occur as a Galois group over Q. Huang et al. (2026) proved the stronger result that there is a regular Galois extension of Q(t) with Galois group M_(23). The splitting field of the following degree-23 polynomial is an explicit M_(23)-extension of Q whose ramification occurs only at the primes 2, 3, and 23.

 f(x)=x^(23)-184x^(21)-1150x^(20)+26151x^(19)+18400x^(18)-1808490x^(17)+1545462x^(16)+67672923x^(15)-42732528x^(14)-1333395744x^(13)+290615166x^(12)+10550424369x^(11)+3700476348x^(10)+35123826654x^9-194398310718x^8-1023887308293x^7+3961650395556x^6+1949980486716x^5-28142323927002x^4+53599151839311x^3-46185312415788x^2+19169943578802x-3150159884154.
(4)

The group is implemented in the Wolfram Language as MathieuGroupM23[]. Pegg (2016) gives an interactive visualization of words in two group generators for M_(23) represented by matrices over a finite field, rather than by the degree-23 permutations above.


See also

Galois Group, Inverse Galois Problem, Mathieu Groups, Regular Galois Extension, Sporadic Group, Steiner System, Strongly Regular Graph, Truncated Witt Graph

Explore with Wolfram|Alpha

References

Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; and Wilson, R. A. Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups. Oxford, England: Clarendon Press, 1985.DistanceRegular.org. "M_(23) Graph." https://www.math.mun.ca/distanceregular/graphs/m23graph.html.DistanceRegular.org. "Truncated Witt Graph." https://www.math.mun.ca/distanceregular/graphs/truncated-witt.html.Huang, X.; Jackson, B.; Lee, K.-H.; Poonen, B.; Pries, R.; and Zhang, S. "The Mathieu Group M_(23) Is a Galois Group over Q." Aug. 8, 2026. https://arxiv.org/abs/2608.08538. Pegg, E. Jr. "Sporadic Groups." Wolfram Demonstrations Project. 2016. https://demonstrations.wolfram.com/SporadicGroups/.

Referenced on Wolfram|Alpha

Mathieu Group M23

Cite this as:

Weisstein, Eric W. "Mathieu Group M23." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/MathieuGroupM23.html

Subject classifications