Lemme de Fitting

Si M est un module de longueur finie n et f un endomorphisme de M alors[1]

${\displaystyle M=\ker(f^{n})\oplus \mathrm {im} (f^{n}).}$

Par hypothèse sur la longueur de M, on a

${\displaystyle \ker(f^{n+1})=\ker(f^{n})\quad {\text{et}}\quad \mathrm {im} (f^{n+1})=\mathrm {im} (f^{n}).}$

De ces égalités on déduit respectivement

${\displaystyle \ker(f^{n})\cap \mathrm {im} (f^{n})=0\quad {\text{et}}\quad \ker(f^{n})+\mathrm {im} (f^{n})=M.}$

• Sous les hypothèses du lemme, f se restreint en un endomorphisme nilpotent de ker(fⁿ) et un automorphisme de im(fⁿ)[2].
• Si M est de plus indécomposable alors f est soit nilpotent, soit inversible, et l'anneau End(M) est local[3].
• Ce lemme permet de démontrer le théorème de Krull-Schmidt sur l'unicité de la décomposition d'un module de longueur finie en somme directe d'indécomposables.

• (en) Joachim Lambek, Lectures on Rings and Modules, AMS Chelsea, 2009, 3^e éd., 187 p. (ISBN 978-0-8218-4900-2, lire en ligne), p. 23
• (en) « Fitting's Lemma », sur PlanetMath

(en) Thomas W. Hungerford (en), Algebra, coll. « GTM » (n^o 73), 1974 (lire en ligne), p. 84 — lemme de Fitting pour les groupes.