Die Folge von Untergruppen (oder Unterstrukturen), rekursiv definiert durch G^{(0)} = G und G^{(n+1)} = [G^{(n)}, G^{(n)}], wobei jeder Term die von allen Kommutatoren des vorherigen Terms erzeugte Untergruppe ist; sie misst die Lösbarkeit durch iteratives Entfernen kommutatorischer Anteile.

Prinzip

Wiederholtes Bilden der von Kommutatoren erzeugten Unterstrukturen entfernt nichtabelsche Teile; erreicht die Reihe nach endlich vielen Schritten die triviale Untergruppe, so ist die Ausgangsstruktur lösbar, was eine Klassifikation durch endliche Hindernisse liefert.

Demonstration

Für eine endliche lösbare Gruppe wie die Gruppe der oberen Dreiecksmatrizen über einem endlichen Körper sinkt die abgeleitete Reihe schließlich bis zur trivialen Gruppe: G > G' > G'' > ... = {1}. Für eine abelsche Gruppe gilt G' = {1} bereits beim ersten abgeleiteten Subgruppen.

Fehlanwendung

Die abgeleitete Reihe mit der unteren zentralen Reihe zu verwechseln oder die Kriterien der abgeleiteten Reihe in Nicht-Gruppen-Kontexten ohne Anpassung der Kommutatordefinition anzuwenden, ist Fehlgebrauch. Auch das unüberprüfte Annehmen einer endlichen Länge kann bei unendlichen Gruppen zu falschen Schlüssen führen.

Konsequenz

Richtig berechnet liefert die abgeleitete Reihe ein endliches Kriterium für Lösbarkeit, leitet Induktionsbeweise (durch Übergehen zu abelschen Quotienten) und identifiziert sukzessive Annäherungen an die maximale lösbare normale Untergruppe.

Umkehrung

Die Umkehr steht im Kontrast zum Aufbau durch Zentren (obere zentrale Reihe): statt Kommutatoren abzuschälen, um abzusteigen, kann man aufsteigen, indem man zentrale Schichten hinzufügt, um die Gruppe aus zentralen Stücken zu konstruieren.

Abgrenzung

Definiert in Kontexten mit einem wohlbestimmten Kommutator und der Möglichkeit, von Kommutatoren erzeugte Unterstrukturen zu bilden (Gruppen, Lie-Algebren, assoziative Algebren mit Klammer). Ohne Klammerbegriff oder wenn Kommutatorabschlüsse keine Unterstrukturen in der betrachteten Kategorie liefern, verliert die Definition an Sinn.

Semantische Spannung

Es besteht Spannung zwischen der abgeleiteten Reihe und der unteren zentralen Reihe: Beide messen Nichtabelschaft, aber unterschiedlich (die abgeleitete Reihe misst Lösbarkeit via Kommutatorabschlüsse, die untere zentrale Reihe fokussiert auf sukzessive Zentralität und Nilpotenz) und können unterschiedliche Abbruchverhalten zeigen.

Synthese

Die abgeleitete Reihe ist die iterative, kommutatorisch erzeugte Filtration G ≥ G' ≥ G'' ≥ ..., die sukzessive kommutatorische Teile entfernt; ihr endlicher Abbruch kennzeichnet Lösbarkeit und liefert eine hierarchische Zerlegung in abelsche Quotienten.