Annulateur (théorie des modules)

Modèle:Confusion Modèle:Ébauche En théorie des anneaux, l'annulateur d'une partie S d'un module à gauche M sur un anneau A est l'ensemble :

$\mathrm{Ann}(S)=\{\alpha \in A\mid \mathrm{\forall }x\in S\alpha x=0\}$.

Ann(S) est un idéal à gauche de A.

Si S est un sous-module de M, Ann(S) est même un idéal bilatère.

En effet, si $\alpha \in \mathrm{Ann}(S)$ et $\beta \in A$, alors $(\alpha \beta )S=\alpha (\beta S)\subset \alpha S=\{0\}$. Alternativement, on peut remarquer que Ann(S) n'est autre que le noyau du morphisme d'anneaux $A\to \mathrm{End}(S)$ qui définit la loi externe du module S.