An Elementary Approach to the Monster Jos Luis Hernndez Barradas name 2 name 3 e a ]

Cada grupo nito simple pertenece a una de las siguientes 5 familias: (1) Los grupos c clicos Cp , para p primo (2) Los grupos alternantes An para n 5 (A, es el grupo de todas las permutaciones pares de n letras; A5 , de orden 60, es el grupo de menor orden de este tipo)
(3) Los grupos de matrices Ln (q), On (q), Un (q) y Spn , (q) (Estos son grupos simples derivados de los n-dimensional lineales, ortogonales,unitarios y simplcticos grupos de matrices sobre el campo de orden q) e

(4) Los grupos excepcionales de tipo Lie (5) 26 grupos expordicos (incluyendo el monstruo) a

El grupo monstruo, tambin conocido como el grupo monstruo de Fischere Griess, es un grupo nito simple de orden: 808017424794512875886459904961710757005754368000000000 246 320 59 76 112 133 17 19 23 29 31 41 47 59 71 El grupo monstruo es un tema importante para las matemticas, ya que a une 3 ramas distintas, que se crea que no tenan relacin: Teor de grupos, o a algebra de operadores de vrtices y teor de nmeros. Entre teor de grupos e a u a y nmeros se tiene que el grupo monstruo tiene el efecto llamado Moonshine. u Dado el acomodo cuadricular de conjugaciones irreducibles (194x194) del grupo monstruo , se observa que en la primera columna son 1, 196883, 212968 Y se tiene que J(z) = 1 + 196884q + 21493760q 2 + q

Con q = e2iz . Se observa que 196884=1+196884, y que 21493760=1+196884+212968, y asi se sigue con el resto de los coecientes, y cada columna genera una funcin el o ptica modular bajo este mismo algoritmo. A esto se le llama el efecto Moonshine. Richard Borcherds recibi la medalla Fields por la prueba o de la conjetura del Moonshine. Existe una construccin del grupo nito no abeliano simple de menor oro den (A5 ) que se asemeja a la forma de construir el grupo M x M.

Construccin de A5 o

Empezaremos nuestra construccin considerando el grafo de 4 nodos y o valencia 3 al que llamaremos K4 El grupo Coxeter de un grafo es el grupo generado por elementos ri correspondientes a los nodos del grafo sujetos solo a las siguientes relaciones:
2 (1) ri = 1 para cada nodo i (2) (ri , rj )2 = 1 siempre que los nodos i y j no estn unidos por una arista e 3 (3) (ri , rj ) = 1 siempre que los nodos i y j estn unidos por una arista e

Para un grafo denimos un n-gono libre en como un ciclo de lona gitud n tal que cada nodo en el ciclo aparece solo una vez y es adyacente exactamente a otros 2 nodos en el ciclo. Un n-gono libre maximal en es a un n-gono tal que no contiene un m-gono libre con m > n a a Ahora consideremos el grupo coxeter H sobre alguno de los n-gono lia bres maximales (tringulos). Por teor de coxeter los grupos de coxeter son a a isomorfos a grupos generados por reexiones geomtricas. e Ahora encontraremos un nuevo elemento de H conjugando la reexiones a por b, este elemento bab1 =bab dado que b = b1 Ahora denotamos como el elemento obtenido por reejar sobre bab y despus sobre c. Es decir = c(bab). e Examinando su accin en el plano observamos que es una traslacin y o o traslaciones en el plano tienen orden innito.

Para lidiar con este problema introducimos la relacin = 1 a lo que o llamamos deating Denimos G1 como el grupo generado por los generadores del grupo coxeter en K4 , sujetos a las relaciones del grupo coxeter y a la relacin deating o G1 tiene orden 2 ( ya que c=bab y d=bab y entonces c=d, de forma anloga tenemos a=b=c=d) a En vez de imponer la relacin = 1 podemos tratar con 2 = 1, a esto o se le llama biating Denimos G2 como el grupo generado por los generadores del grupo coxeter en K4 , sujetos a las relaciones del grupo coxeter y a la relacin biating o 3

Esta vez podemos observar que G2 tiene orden 120 y es isomorfo a S5 bajo el mapeo a = (15), b = (25), c = (35), d = (45)

El monstruo En vez de empezar con el diagrama tetradrico de 4 nodos, lo hacemos con e un diagrama de 26 nodos y valencia 4 al que denotaremos I3 Este diagrama de 26 nodos es el grafo de incidencia Inc(P3 ) del plano proyectivo P3 de orden 3. Este plano puede verse como 13 lineas y 13 puntos tales que cada linea tiene 4 puntos y cada punto est contenido en 4 lineas. a El grafo de incidencia de P3 tiene 26 nodos(correspondientes a las 13 lineas y 13 puntos) donde 2 nodos estn unidos cuando uno corresponde a una linea a y el otro corresponde a un punto contenido en esa linea.

IMAGEN Aplicando el proceso que ya conocemos a I3 observamos que los n-gonos a libres maximales son de longitud 12 Sea G el grupo de coxeter asociado con I3 . Denimos G1 como el grupo generado por los generadores de G, sujetos a las relaciones del grupo coxeter y a la relacin deating o Con esto obtenemos un grupo de orden aproximado 10108 el cual tiene la caracter stica de que 1 G1 es isomorfo a M x M obteniendo nalmente una 2 forma de ver al grupo monstruo.