Module fidèle
De Wikipedia, l'encyclopédie encyclopedia
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.
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.
À 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.