Diferencia entre revisiones de «Grupo simple»
Contenido eliminado Contenido añadido
m r2.7.1) (robot Añadido: ja:単純群 |
Sin resumen de edición |
||
Línea 7:
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]] <math>1 = H_0\triangleleft H_1\triangleleft \cdots \triangleleft H_n = G,</math> siendo n la longitud de la serie y donde cada factor de composición ''H''<sub>''i''+1</sub> / ''H''<sub>''i''</sub> 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 [[Teorema de clasificación de grupos simples|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 ''[[Grupo esporádico|grupos esporádicos]]''. El mayor de ellos es conocido como [[grupo monstruo]]. Así, todo grupo finito simple puede ser:
* Un [[grupo cíclico]] de [[orden]] [[número primo|primo]]. Se tratan de los únicos grupos finitos simples [[grupo abeliano|abeliano]]s. El famoso [[teorema de Feit-Thompson|teorema]] de [[Walter Feit]] y [[John G. Thompson]] establece que todo grupo finito de orden impar es [[grupo resoluble|resoluble]]. Por tanto, todo grupo finito simple tiene orden par excepto si es un grupo cíclico de orden primo.
| |||