Module fidèle
![](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.
Un module M sur un anneau A est dit fidèle si son annulateur est réduit à {0}, en d'autres termes, si l'action de chaque est non triviale ( pour un certain ). Autrement dit, un module est fidèle si la représentation associée est injective.
À chaque module, on peut associer un module fidèle en procédant de cette manière. Le morphisme d'anneaux se factorise en un morphisme injectif . Comme n'est autre que Ann(M), donne à M une structure de -module, et cette fois M est fidèle puisque est injective.
Portail de l’algèbre