En matemáticas , un isomorfismo excepcional , también llamado isomorfismo accidental , es un isomorfismo entre miembros ai y bj de dos familias, generalmente infinitas, de objetos matemáticos, que es incidental, en el sentido de que no es un ejemplo de un patrón general de tales isomorfismos. [nota 1] Estas coincidencias a veces se consideran una cuestión de trivialidad, [1] pero en otros aspectos pueden dar lugar a fenómenos consecuentes, como objetos excepcionales . [1] A continuación, las coincidencias se organizan según las estructuras donde ocurren.
Los isomorfismos excepcionales entre las series de grupos simples finitos involucran principalmente grupos lineales especiales proyectivos y grupos alternos , y son: [2]
Hay coincidencias entre grupos simétricos/alternantes y pequeños grupos de tipo Lie / grupos poliédricos : [3]
Todos estos pueden explicarse de forma sistemática utilizando álgebra lineal (y la acción de S n en el espacio afín n ) para definir el isomorfismo que va del lado derecho al lado izquierdo. (Los isomorfismos anteriores para A 8 y S 8 están vinculados mediante el isomorfismo excepcional SL 4 / μ 2 ≅ SO 6 ).
También hay algunas coincidencias con simetrías de poliedros regulares : el grupo alterno A 5 concuerda con el grupo icosaédrico quiral (en sí mismo un objeto excepcional), y la doble cubierta del grupo alterno A 5 es el grupo icosaédrico binario .
El grupo trivial surge de numerosas maneras. El grupo trivial suele omitirse al principio de una familia clásica. Por ejemplo:
Las esferas S 0 , S 1 y S 3 admiten estructuras de grupo, que pueden describirse de muchas maneras:
Además de Spin(1), Spin(2) y Spin(3) anteriores, existen isomorfismos para grupos de spin de dimensiones superiores :
Además, Spin(8) tiene un automorfismo de prueba de orden 3 excepcional .
Hay algunos isomorfismos excepcionales de los diagramas de Dynkin , que producen isomorfismos de los correspondientes grupos de Coxeter y de politopos que realizan las simetrías, así como isomorfismos de álgebras de Lie cuyos sistemas de raíces se describen mediante los mismos diagramas. Estos son:
{{citation}}: Mantenimiento CS1: posdata ( enlace )