Un grupo no trivial cuyos únicos subgrupos normales son el subgrupo trivial y el propio grupo. Equivalentemente, no tiene subgrupos normales propios no triviales; los grupos simples son los bloques indecomponibles en el sentido de series de composición.

Principio

La ausencia de subgrupos normales propios no triviales significa que el grupo no puede factorizarse de forma no trivial por cocientes normales; la simplicidad impone irreducibilidad bajo descomposición en series normales y convierte al grupo en un objeto mínimo no trivial para ciertos análisis estructurales.

Demostración

Los grupos cíclicos de orden primo son los ejemplos más sencillos de grupos simples (no tienen subgrupos propios no triviales). Un ejemplo no abeliano clásico es el grupo alternante A5, que carece de subgrupos normales propios no triviales y es un grupo simple finito fundamental.

Aplicación incorrecta

Confundir 'simple' con 'no tener subgrupos propios' (más fuerte) o con otras nociones de simplicidad (por ejemplo, anillos simples). Otro error es suponer que la simplicidad implica abelianidad; muchos grupos simples importantes son no abelianos.

Consecuencia

Los grupos simples actúan como átomos en series de composición y aparecen como factores de composición de grupos finitos; su estudio es central en programas de clasificación y en la teoría de representaciones, ya que los bloques irreducibles controlan la estructura a gran escala.

Inversión

Un grupo con muchos subgrupos normales propios está lejos de ser simple: admite cocientes no triviales y puede construirse a partir de piezas normales más pequeñas, conduciendo a capas (grupos resolubles o series de composición) en lugar de una indivisibilidad atómica.

Límite

Esta entrada se refiere a la noción de simplicidad relativa a subgrupos normales de un grupo. Excluye conceptos relacionados pero distintos en otros contextos algebraicos (módulos simples, anillos simples) y no aborda automáticamente la simplicidad topológica o de Lie salvo que la normalidad se entienda en la categoría correspondiente.

Tensión semántica

Existe tensión entre 'simple' en el sentido de teoría de grupos y 'simple' en otros marcos (anillos, álgebras de Lie): aunque todos comparten la idea de irreducibilidad, la definición concreta (subgrupos normales vs ideales vs submódulos) y sus consecuencias difieren y no deben confundirse.

Síntesis

Un grupo simple no tiene subgrupos normales propios no triviales y por tanto es una unidad indecomponible frente a descomposiciones por cocientes normales; los grupos simples, abelianos de orden primo o no abelianos como A5, son bloques fundamentales en la teoría de grupos.