25
$\begingroup$

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}$?

$\endgroup$
  • $\begingroup$ This looks like a reasonable (though maybe quite difficult) question. But I wonder what consequences such a description would have? $\endgroup$ – Jim Humphreys Mar 13 '17 at 14:18
  • $\begingroup$ the natural object preserved by the group here is dual of the perfect binary Golay code en.wikipedia.org/wiki/Binary_Golay_code One might ask for similar descriptions of smaller codes to begin with. $\endgroup$ – Dima Pasechnik Mar 13 '17 at 15:16
  • $\begingroup$ E.g. one may ask for such a description for PSL(3,2): I suppose you have to replace 11 by 3 and 23 by 7, i.e. $|C|=7$ and $F=\mathbb{F}_{2^3}$, and consider PSL(3,2) as the group of additive maps of $F$ preserving $C$. (Disclaimer---I didn't check all the details here :-)). $\endgroup$ – Dima Pasechnik Mar 13 '17 at 15:29
  • $\begingroup$ @JimHumphreys I hope to use it for certain combinatorial questions about $M_{23}$, for instance in the study of sharply transitive sets of permutations. Such question have a polynomial formulation, so if the $M_{23}$ has a nice polynomial formulation too, I have some hope. $\endgroup$ – Peter Mueller Mar 13 '17 at 16:38
  • $\begingroup$ @DimaPasechnik Right, one could try some smaller toy examples. The group $PSL(3,2)$ maybe is not that interesting though, because it equals $GL(3,2)$. So all that we polynomially encode would be bijectivity of the linear maps. $\endgroup$ – Peter Mueller Mar 13 '17 at 16:40

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.