Yo escribí un programa para "descubrir", por medio de la construcción de tablas de Cayley, grupos finitos.
Debido a que el método utilizado (el que se describe en el artículo de la wikipedia para tablas de Cayley, a partir de una identidad esqueleto) el tiempo de ejecución es del orden de $O(n!)$
Esto me permite encontrar grupos pequeños con el fin de en la mayoría de los 12 antes de que el tiempo necesario para generar las tablas se vuelve impráctico.
Hay un método más rápido para encontrar finitos simples grupos? Esto claramente las normas de componer como un producto de grupos más pequeños. Hay un procedimiento que podría descubrir el Monstruo de grupo, por ejemplo?
