Module fidèle

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 ?).

Un module M sur un anneau A e est dit fidèle si son annulateur est réduit à {0}, en d'autres termes, si l'action de chaque \alpha \in A \setminus \{0\} est non triviale (\alpha \cdot x \neq 0 pour un certain x \in M). Autrement dit, un module est fidèle si la représentation associée \psi : A \to End(M) est injective.

À chaque module, on peut associer un module fidèle en procédant de cette manière. Le morphisme d'anneaux \psi : A \to End(M) se factorise en un morphisme injectif \tilde\psi : A/\ker\psi \to End(M). Comme \ker\psi n'est autre que Ann(M), \tilde\psi donne à M une structure de A / Ann(M)-module, et cette fois M est fidèle puisque \tilde\psi est injective.

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