Grupo simple

En el álgebra moderna, y concretamente, en teoría de grupos, un grupo simple es un grupo no trivial con exactamente dos subgrupos normales: el subgrupo trivial y él mismo.

La importancia de los grupos finitos simples se debe a que en cierto sentido son los "bloques" que forman todos los grupos finitos, de igual forma que los números primos forman los enteros. Así, todo grupo finito admite una serie de composición ${displaystyle 1=H_{0} riangleleft H_{1} riangleleft cdots riangleleft H_{n}=G,}$ siendo n la longitud de la serie y donde cada factor de composición H_i+1 / H_i es un grupo simple. Por el teorema de Jordan-Hölder todas las series de composición del grupo son equivalentes, teniendo la misma longitud y factores de composición salvo permutaciones e isomorfismos.

En 1982 se consiguió terminar una clasificación de los grupos finitos simples estableciéndose que todo grupo finito simple pertenece a una de 18 familias infinitas de tales grupos, con la excepción de 26 grupos, llamados grupos esporádicos. El mayor de ellos es conocido como grupo monstruo. Así, todo grupo finito simple puede ser: