Típicos ejercicios de un curso en teoría de grupos incluyen: probar que hay tantos grupos simples de orden tal, o que no hay grupos simples de orden cual.
Rara vez uno trata con grupos simples infinitos, y yo de hecho caí en cosas relacionadas recién ahora. Los ejemplos no son tan naturales en una primera instancia.
Pero tenemos una fábrica de grupos simples infinitos. Si es un cuerpo y , entonces el grupo especial lineal proyectivo , que es el cociente de por su centro, es simple. Referencia: teorema 9.3, página 542, del libro Algebra de Lang. O este pdf que acabo de encontrar online.
Observemos que el centro de consiste en las matrices escalares que en la diagonal llevan una raíz -ésima de la unidad. Esto resulta muy creíble, recordando que el centro de son las matrices escalares no nulas, y que en exigimos que el determinante sea 1.
De esta manera, si es un cuerpo infinito, entonces tiene el cardinal de .
Para cumplir el objetivo del post (que es conseguir grupos como en el título :P), basta entonces encontrar cuerpos de cardinal infinito arbitrario.
Esto es una consecuencia directa del teorema de Löwenheim-Skolem de teoría de modelos. Como existe un cuerpo de cardinal infinito, entonces existen cuerpos de cualquier cardinal infinito.
Así que voilà, existen grupos simples de cardinal infinito arbitrario, y para ello tuvimos que pasar por un poco de teoría de modelos 😀