Facteur direct d'un module

• 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 :
  • ${\displaystyle \quad p(M)=N}$
  • ${\displaystyle \quad p^{2}=p}$

• Soient F et S deux sous-modules d'un A-module M. Si S est simple, alors ${\displaystyle \quad S\subset F}$ ou ${\displaystyle S\cap F=\{0\}}$.

• Pour qu'un A-module soit semi-simple, il faut et il suffit que tous ses sous-modules soient facteurs directs. C'est toujours le cas si A est un corps.

Sous-espace supplémentaire

• Portail de l’algèbre