Eine nichttriviale Gruppe, deren einzige normalen Untergruppen die triviale Untergruppe und die Gruppe selbst sind. Anders ausgedrückt: Sie besitzt keine nichttrivialen, echten normalen Untergruppen; einfache Gruppen sind die unzerlegbaren Bausteine im Sinn von Kompositionsreihen.

Prinzip

Das Fehlen echter nichttrivialer normaler Untergruppen bedeutet, dass die Gruppe sich nicht nichttrivial durch normale Faktoren zerlegen lässt; Einfachheit erzwingt Irreduzibilität gegenüber Normalreihen und macht die Gruppe zu einem minimalen nichttrivialen Objekt für bestimmte Strukturanalysen.

Demonstration

Zyklische Gruppen primärer Ordnung sind die einfachsten Beispiele einfacher Gruppen (sie haben überhaupt keine nichttrivialen echten Untergruppen). Ein klassisches nichtabelsches Beispiel ist die alternierende Gruppe A5, die keine nichttrivialen echten normalen Untergruppen besitzt und ein fundamentales endliches einfaches Beispiel darstellt.

Fehlanwendung

‚Einfach‘ mit ‚keinen echten Untergruppen‘ zu verwechseln (was stärker ist) oder mit anderen Einfachheitsbegriffen (z. B. einfache Ringe). Ein weiterer Fehler ist die Annahme, Einfachheit impliziere Abelschät; viele wichtige einfache Gruppen sind nichtabelsch.

Konsequenz

Einfache Gruppen dienen als Atome in Kompositionsreihen und treten als Kompositionsfaktoren endlicher Gruppen auf; ihre Untersuchung ist zentral für Klassifikationsprogramme und die Darstellungstheorie, da irreduzible Bausteine die großräumige Struktur bestimmen.

Umkehrung

Eine Gruppe mit vielen echten normalen Untergruppen ist nicht einfach: Sie besitzt nichttriviale Faktormöglichkeiten und lässt sich aus kleineren normalen Stücken zusammensetzen, was zu Schichtungen (auflösbare Gruppen, Kompositionsreihen) anstelle atomarer Unzerlegbarkeit führt.

Abgrenzung

Dieser Eintrag bezieht sich auf die Normaluntergruppen‑Definition von Einfachheit für Gruppen. Verwandte, aber unterschiedliche Begriffe in anderen algebraischen Kontexten (einfache Moduln, einfache Ringe) sind ausgeschlossen; topologische oder Lie‑Einfachheit sind nur dann inkludiert, wenn Normalität in der jeweiligen Kategorie verstanden wird.

Semantische Spannung

Es besteht Spannung zwischen ‚einfach‘ im gruppentheoretischen Sinn und ‚einfach‘ in anderen Bereichen (Ringe, Lie‑Algebren): Obwohl alle eine Irreduzibilitätsidee teilen, unterscheiden sich die konkrete Definition (normale Untergruppen vs Ideale vs Untermodule) und die Folgerungen und dürfen nicht vermengt werden.

Synthese

Eine einfache Gruppe hat keine nichttrivialen echten normalen Untergruppen und ist damit ein unzerlegbares Element unter Normalquotienten; einfache Gruppen, sowohl abelsche (primzahl‑ordentliche zyklische) als auch nichtabelsche, sind fundamentale Bausteine der Gruppentheorie.