##  [Annulateur](/fr/node/63888) 

 Définition

Pour un anneau R et un R-module M, l'annulateur d'un sous-ensemble S ⊆ M est l'idéal Ann_R(S) = { r ∈ R | r·s = 0 pour tout s ∈ S } ; pour un élément m on écrit Ann_R(m). Pour le module tout entier on obtient Ann_R(M).

 

 

 

 

 

 





## Principe

Principe

Repérer quels éléments de l'anneau agissent trivialement sur des éléments ou sous-structures du module : l'annulateur est l'idéal maximal d'éléments de l'anneau qui tuent les données considérées et mesure le torsionnement ou les contraintes de l'action.

 

 

 

 

 





## Démonstration

Démonstration

Dans les Z-modules, pour M = Z/6Z et l'élément 2 mod 6, Ann_Z(2 mod 6) = 3Z car exactement les entiers divisibles par 3 envoient 2 sur 0 modulo 6. Pour M = R/I, Ann_R(M) coïncide avec I pour l'action quotient naturelle.

 

 

 

 

## Mauvaise application

Mauvaise application

Confondre l'annulateur avec le noyau d'un homomorphisme de modules particulier de façon générale : bien que Ann(M) égale le noyau de R → End_Z(M) pour l'action donnée, les traiter comme identiques sans préciser les applications peut induire en erreur en présence d'actions non unitales ou non fidèles.

 

 

 

 

 





## Conséquence

Conséquence

Les annulateurs classifient les premiers associés (idéaux premiers survenant comme annulateurs d'éléments), déterminent le support (les premiers contenant l'annulateur appartiennent au support) et fournissent des critères algébriques pour la torsion, la fidélité et la décomposition primaire.

 

 

 

 

## Inversion

Inversion

Le point de vue inverse consiste à étudier les éléments ou sous-modules d'annulateur nul (modules fidèles) ou à considérer l'ensemble des éléments de M ayant un annulateur non nul (sous-module de torsion) ; on passe ainsi du focus sur les éléments de l'anneau qui tuent à celui sur les éléments tués.

 

 

 

 

 





## Limite

Limite

Pour les anneaux non commutatifs, les annulateurs à gauche, à droite et bilatéraux diffèrent ; il faut préciser le côté. Pour des anneaux sans unité ou des actions non unitales, la description standard en termes d'idéal peut échouer ou requérir un ajustement.

 

 

 

 

 





## Tension sémantique

Tension sémantique

L'annulateur est en tension avec le support : l'annulateur est un idéal de R qui donne les éléments qui tuent M, tandis que le support est un ensemble de premiers détectant où le module survit ; les deux sont liés mais offrent des perspectives différentes (algébrique vs géométrique).

 

 

 

 

 





## Synthèse

Synthèse

L'annulateur est l'idéal des éléments d'anneau qui agissent par zéro sur des données modulaires choisies ; il constitue un témoin algébrique concret de la torsion et fait le lien entre le comportement élémentaire et des invariants spectraux tels que les premiers associés et le support.