Facteur direct d'un module
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/53/Evariste_galois.jpg/27px-Evariste_galois.jpg)
Cet article est une ébauche concernant l’algèbre.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
![Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.](http://upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/45px-2017-fr.wp-orange-source.svg.png)
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
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 à :
- et
Un sous-module N d'un A-module M est facteur direct s'il possède un supplémentaire.
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 :
- Soient F et S deux sous-modules d'un A-module M. Si S est simple, alors ou .
- 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.
Notes et références
Voir aussi
Portail de l’algèbre