Lemma aus der Modul‑ und Linearen Algebra, das besagt: Für ein Endomorphismus f eines Moduls M endlicher Länge (oder eines endlichdimensionalen Vektorraums) gibt es N mit M = Ker(f^N) ⊕ Im(f^N); äquivalent zerfällt M in einen nilpotenten Teil und einen Teil, auf dem f als Automorphismus wirkt.

Prinzip

Iteration eines Endomorphismus auf einem Modul endlicher Länge stabilisiert Kerne und Bilder; sobald Stabilisierung eintritt, zerfällt der Modul in den verallgemeinerten Nilraum und den verallgemeinerten Einheitsteil und zeigt damit die Dichotomie Nilpotent/Automorph.

Demonstration

Konkretes Beispiel: Bei einem endlichdimensionalen Vektorraum besitzt eine lineare Abbildung die Jordansche Zerlegung; wählt man N größer als die maximale Größe der Jordanblöcke zum Eigenwert 0, erhält man die Zerlegung Ker(f^N) ⊕ Im(f^N).

Fehlanwendung

Fittings Lemma auf Module ohne endliche Länge oder auf Operatoren in unendlichdimensionalen Räumen anwenden, ohne Stabilisierung von Kernen und Bildern zu prüfen; die Zerlegung ohne Endlichkeitsannahme anzunehmen, kann fehlschlagen.

Konsequenz

Stellt eine kanonische Zerlegung bereit, die in Strukturtheorie (Modulzerlegung, primäre Zerlegung, Klassifikation linearer Operatoren) eingesetzt wird und Kontrolle über invariante Untermodule sowie das Verhalten von Endomorphismen modulo nilpotenten Teilen liefert.

Umkehrung

Umgekehrt: Zerfällt ein Modul in die direkte Summe eines nilpotenten Untermoduls und eines f‑invarianten Untermoduls, auf dem f invertierbar ist, so realisieren geeignete Potenzen von f diese Zerlegung; Lemma und Umkehrung charakterisieren die Splittung im Endlichkeitskontext.

Abgrenzung

Erfordert endliche Länge (oder noethersche/artinsche Bedingungen) zur Sicherung der Stabilisierung; gilt nicht automatisch für beliebige unendliche Module oder für Operatoren ohne eventuale Stabilisierung von Kern und Bild.

Semantische Spannung

Wird oft mit der Jordan–Chevalley‑Zerlegung oder primärer Zerlegung verglichen: Fittings Lemma adressiert die Dichotomie nilpotent versus Einheit für einen einzelnen Endomorphismus auf Modulen endlicher Länge, während Jordan–Chevalley in Charakteristik 0 semisimple und nilpotente Teile trennt.

Synthese

Fittings Lemma isoliert das Phänomen endlicher Länge, dass wiederholte Anwendung eines Endomorphismus den Modul in einen nilpotenten Kern und ein invertierbares Komplement trennt und liefert damit eine praktikable, kanonische Zerlegung für Modul‑ und Operatoranalyse.