Un groupe non trivial dont les seuls sous‑groupes normaux sont le sous‑groupe trivial et le groupe lui‑même. Autrement dit il n'admet pas de sous‑sous‑groupes normaux propres non triviaux ; les groupes simples sont les briques indécomposables au sens des séries de composition.

Principe

L'absence de sous‑groupes normaux propres non triviaux signifie que le groupe ne se factorise pas non trivialement par des quotients normaux ; la simplicité impose une irréductibilité vis‑à‑vis de la décomposition en séries normales et fait du groupe un objet minimal non trivial pour certaines analyses structurelles.

Démonstration

Les groupes cycliques d'ordre premier sont les exemples les plus simples de groupes simples (ils n'ont pas de sous‑groupes propres non triviaux). Un exemple non abélien classique est le groupe alterné A5, qui n'admet pas de sous‑groupe normal propre non trivial et constitue un groupe simple fini fondamental.

Mauvaise application

Confondre « simple » avec « n'avoir aucun sous‑groupe propre » (ce qui est plus fort) ou avec d'autres notions de simplicité (par exemple anneaux simples). Une autre erreur est de supposer que la simplicité implique l'abélianité ; de nombreux groupes simples importants sont non abéliens.

Conséquence

Les groupes simples servent d'atomes dans les séries de composition et apparaissent comme facteurs de composition des groupes finis ; leur étude est centrale pour les programmes de classification et pour la théorie des représentations, puisque ces éléments irréductibles contrôlent la structure à grande échelle.

Inversion

Un groupe ayant de nombreux sous‑groupes normaux propres est loin d'être simple : il admet des quotients non triviaux et peut se construire à partir de pièces normales plus petites, conduisant à des couches (groupes résolubles ou séries de composition) plutôt qu'à une indivisibilité atomique.

Limite

Cette entrée porte sur la notion de simplicité relative aux sous‑groupes normaux d'un groupe. Elle exclut les concepts voisins mais distincts dans d'autres contextes algébriques (modules simples, anneaux simples) et n'aborde pas automatiquement la simplicité topologique ou de Lie sauf si la normalité est prise dans la catégorie correspondante.

Tension sémantique

Il existe une tension entre « simple » au sens de la théorie des groupes et « simple » dans d'autres cadres (anneaux, algèbres de Lie) : bien que tous partagent une idée d'irréductibilité, la définition précise (sous‑groupes normaux vs idéaux vs sous‑modules) et les conséquences diffèrent et ne doivent pas être confondues.

Synthèse

Un groupe simple n'a pas de sous‑groupes normaux propres non triviaux et constitue donc une unité indécomposable pour les décompositions par quotients normaux ; les groupes simples, abéliens d'ordre premier ou non abéliens comme A5, sont des briques fondamentales de la théorie des groupes.