Die Anzahl nichttrivialer aufeinanderfolgender abgeleiteter Untergruppen (bzw. Kommutatorunteralgebren) in der abgeleiteten Reihe, die benötigt werden, um die triviale Untergruppe (oder Nullunteralgebra) zu erreichen; sie quantifiziert die Solvabilitätsstufe.

Prinzip

Die Kommutatoroperation wiederholt anwenden, um eine fallende Kette zu erhalten; die abgeleitete Länge ist die Stufe, in der diese Kette erstmals trivial wird. Endliche abgeleitete Länge entspricht Lösbarkeit.

Demonstration

Bei S3 ist die abgeleitete Untergruppe A3 (zyklisch der Ordnung 3) und der Ableitungskommutator von A3 ist trivial, daher hat S3 abgeleitete Länge 2. Eine abelsche Gruppe hat abgeleitete Länge 1.

Fehlanwendung

Die abgeleitete Länge auf nichtlösbare Gruppen als endlich anzugeben (statt als unendlich/undefiniert) oder sie mit Kompositionslänge oder Nilpotenzklasse zu verwechseln, führt zu falschen Schlüssen.

Konsequenz

Endliche abgeleitete Länge bedeutet, dass die Gruppe oder Lie-Algebra lösbar ist und schränkt die möglichen Kompositionsfaktoren ein; viele Induktionsargumente nutzen eine bekannte abgeleitete Länge zur Komplexitätskontrolle.

Umkehrung

Umgekehrt betrachtet steht die untere zentrale Reihe und die Nilpotenzklasse: Nilpotenz misst Kommutatoren gegen die gesamte Struktur, während die abgeleitete Länge auf iterierte Ableitungen abzielt.

Abgrenzung

Definiert für Gruppen oder Lie-Algebren, bei denen abgeleitete Unterobjekte sinnvoll sind; bei nichtlösbaren Objekten kann die abgeleitete Reihe nie trivial werden (häufig als unendlich bezeichnet). Sie ist von Kompositions- und zentralreihenbezogenen Invarianten zu unterscheiden.

Semantische Spannung

Abgeleitete Länge steht im Wettbewerb mit Nilpotenzklasse und Kompositionslänge: Alle sind Maße für ‚Nicht-Einfache‘ Strukturen, aber sie basieren auf unterschiedlichen Iterationsregeln und liefern unterschiedliche Beschränkungen.

Synthese

Die abgeleitete Länge ist die minimale Anzahl iterierter Kommutatorstufen, die notwendig ist, um eine Gruppe oder Lie-Algebra zu töten; sie isoliert Lösbarkeit durch Zählen der Stufen der abgeleiteten Reihe und ergänzt andere Strukturinvarianten.