## [Abgeleitete Reihe](/de/node/63332) Definition 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 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 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 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 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 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 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 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 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.