Lemme de Fitting

En mathématiques, le lemme de Fitting est un énoncé d'algèbre d'après lequel si M est un module indécomposable et de longueur finie alors tout endomorphisme de M est soit bijectif, soit nilpotent. Il en résulte que l'anneau des endomorphismes de M est local.

Énoncé

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

Démonstration

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

De ces égalités on déduit respectivement

Conséquences

  • Sous les hypothèses du lemme, f se restreint en un endomorphisme nilpotent de ker(fn) et un automorphisme de im(fn)[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.

Notes et références

  1. (en) Alberto Facchini, Module Theory : Endomorphism Rings and Direct Sum Decompositions in Some Classes of Modules, Birkhäuser, coll. « Progress in Mathematics » (no 167), , 288 p. (ISBN 978-3-7643-5908-9, lire en ligne), p. 47
  2. (en) Louis Halle Rowen, Ring Theory, vol. 1, Boston, Academic Press, coll. « Pure and applied mathematics » (no 127), (ISBN 978-0-12-599841-3, lire en ligne), p. 239
  3. (en) Paul M. Cohn, Introduction to Ring Theory, Springer, coll. « Undergraduate Mathematics Series », , 229 p. (ISBN 978-1-85233-206-8, lire en ligne), p. 80-81

Voir aussi

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

  • Portail de l’algèbre
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.