Lemme de Fitting

Lemme en théorie des modules et algèbre linéaire affirmant que pour un endomorphisme f d'un module de longueur finie M (ou d'un espace vectoriel de dimension finie) il existe N tel que M = Ker(f^N) ⊕ Im(f^N); autrement dit M se décompose en une partie nilpotente et une partie sur laquelle f agit comme un automorphisme.