An elegant description of the Mathieu group $M_{23}$ is the following: Let $C$ be the multiplicative subgroup of order $23$ in the field $F=\mathbb F_{2^{11}}$ with $2^{11}$ elements. Then $M_{23}$ is the group of additive maps of $F$ to itself which permute the set $C$. The restriction to $C$ then is the natural action of $M_{23}$ of degree $23$.

Any additive map of $F$ to itself has the form $x\mapsto\sum_{i=0}^{10}a_ix^{2^i}$ for $a_i\in F$. The condition that such maps preserve $C$ can be expressed easily as an equivalent set of polynomial conditions on the coefficients $a_0,\dots,a_{10}$. For instance, for a variable $t$, compare coefficients of $$\prod_{c\in C}(t-\sum_{i=0}^{10}a_ic^{2^i})=t^{23}-1.$$ In addition, we need the equations $a_i^{2^{11}}=a_i$ to ensure that the $a_i$ are in $F$.

However, the polynomials we obtain this way (or some other way, there are somewhat smarter possibilities) are extremely complicated.

Of course, any finite subgroup of a linear group is an algebraic set, that is a solution of a system of polynomial equations. And in general such a system will be messy.

Here, I somehow expect that there should be a simple system of polynomials discribing $M_{23}$ as an algebraic set. The obvious attempt would be to first take a system as above, and then hope that a Groebner basis looks better. After some naive attempts it seems that the systems are too complex for Magma or Singular to compute the Groebner bases.

Before trying to refine the approach, here is my question: Has anyone seen this version to describe $M_{23}$?

7more comments