Facteur direct d'un module

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l'algèbre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Soit M un A-module. Deux sous-modules N et P sont supplémentaires lorsque M est somme directe de N et P. Ceci équivaut évidemment à :

\quad M=N+P et \quad N\cap P=\{0\}

Un sous-module N d'un A-module M est facteur direct s'il possède un supplémentaire.

[modifier] Propriétés

  • Si N est un facteur direct de M, alors tous ses supplémentaires sont isomorphes au quotient M/N.
  • Soit N un sous-module de M. Si M/N est libre, alors N est facteur direct.
  • Pour que N soit facteur direct de M, il faut et il suffit qu'il existe un endomorphisme p de M (appelé projecteur) vérifiant les deux conditions suivantes :
    • \quad p(M)=N
    • \quad p^2=p
  • Soient F et S deux sous-modules d'un A-module M. Si S est simple, alors \quad S\subset F ou S\cap F=\{0\}.
  • Pour qu'un A-module soit semi-simple, il faut et il suffit que tout ses sous-modules soient facteur direct.
v · d · m
Algèbre commutative
Algèbre • Anneau commutatif • Anneau euclidien • Anneau factoriel • Anneau noethérien • Anneau principal • Annulateur • Bimodule • Corps des fractions • Dual d'un module • Facteur direct • Idéal • Longueur d'un module • Module • Module simple • Module fidèle • Module libre • Module monogène • Module quotient • Module semi-simple • Produit tensoriel • Puissance extérieure