Es sei R {\displaystyle {}R} ein kommutativer Ring und M {\displaystyle {}M} ein Modul mit der direkten Summenzerlegung M = ⨁ i ∈ I M i {\displaystyle {}M=\bigoplus _{i\in I}M_{i}} .
Dann gilt für die Annullatoren
