El grupo Thompson Th de orden $90745943887872000$ es uno de los grupos simples esporádicos que aparecen en la clasificación de los grupos simples finitos.
Se conocen sus subgrupos maximales (véase http://brauer.maths.qmul.ac.uk/Atlas/v3/spor/Th/ ) y todos ellos son notablemente pequeños, lo que tiene como consecuencia que cualquier representación de permutación de Th tiene un grado muy grande.
En particular, la representación de permutación de Th de grado más bajo posible tiene grado $143127000$ .
Pregunta: ¿Alguien ha determinado explícitamente dos permutaciones de este grado que generen Th y, en caso afirmativo, están disponibles en línea estas dos permutaciones?
Google revela que algunos investigadores de CS han utilizado anteriormente este grupo como caso de prueba para desarrollar, perfeccionar y probar algoritmos para grupos de permutación de alto grado.
Por ejemplo, el documento
http://www.ccs.neu.edu/home/gene/papers/issac03.pdf
menciona explícitamente el grupo de Thompson, y más en general algoritmos para manipular grupos de permutación de grado superior a 100 millones. Comentan que cada permutación necesita aproximadamente 1/2 Gb para almacenarse, y que como los algoritmos habituales necesitan almacenar $\Omega(\log n)$ permutaciones ( $n$ es el grado) el espacio es un problema importante. Pero esto fue hace más de diez años, y hoy en día almacenar incluso unos cientos de permutaciones de este tamaño no supondría ningún problema en particular.
He enviado un correo electrónico a uno de los autores de este trabajo (Cooperman), pero después de esperar un tiempo razonable (una semana más o menos), no he tenido respuesta, así que ahora pregunto en esta lista.