Für einen Ring R und ein R-Modul M ist der Annihilator einer Teilmenge S ⊆ M das Ideal Ann_R(S) = { r ∈ R | r·s = 0 für alle s ∈ S }; für ein einzelnes Element m schreibt man Ann_R(m). Für das ganze Modul erhält man Ann_R(M).

Prinzip

Erfasse, welche Ringelemente auf bestimmte Modul-Elemente oder Unterstrukturen trivial wirken: der Annihilator ist das Ideal der Ringelemente, die die gewählten Daten vernichten, und misst damit Torsion oder vom Ring auferlegte Einschränkungen.

Demonstration

Bei Z-Moduln: Für M = Z/6Z und das Element 2 mod 6 gilt Ann_Z(2 mod 6) = 3Z, weil genau die durch 3 teilbaren ganzen Zahlen 2 auf 0 modulo 6 abbilden. Für M = R/I ist Ann_R(M) gleich I für die Quotientenwirkung.

Fehlanwendung

Den Annihilator mit dem Kern eines bestimmten Modulhomomorphismus allgemein zu verwechseln: Zwar ist Ann(M) der Kern der Abbildung R → End_Z(M) für die gegebene Aktion, aber sie ohne Präzisierung gleichzusetzen kann bei nichtunitalen oder nichttreuen Aktionen irreführend sein.

Konsequenz

Annihilatoren klassifizieren assoziierte Primideale (als Annihilatoren von Elementen auftretend), bestimmen den Träger (Primen, die den Annihilator enthalten, liegen im Träger) und liefern algebraische Kriterien für Torsion, Treue und primäre Zerlegungen.

Umkehrung

Die entgegengesetzte Sicht ist, Elemente oder Untermoduln mit trivialem Annihilator (treue Module) zu studieren oder die Menge der Moduln mit nichttrivialem Annihilator (Torsionsuntermodul) zu betrachten; damit kehrt man den Fokus von den tötenden Ringelementen zu den getöteten Modulelementen um.

Abgrenzung

Bei nichtkommutativen Ringen unterscheiden sich Links-, Rechts- und zweiseitige Annihilatoren; die Seite muss angegeben werden. Für Ringe ohne Einselement oder für nichtunitalen Aktionen kann die einfache Idealbeschreibung versagen oder Anpassungen erfordern.

Semantische Spannung

Annihilator steht in Spannung zum Träger: Der Annihilator ist ein Ideal in R mit den Elementen, die M töten, während der Träger eine Menge von Primidealen ist, die detektieren, wo das Modul nicht verschwindet; beide stehen in Beziehung, erfassen aber unterschiedliche Blickwinkel (algebraisch vs. geometrisch).

Synthese

Der Annihilator ist das Ideal der Ringelemente, die auf gewählten Modulendaten null wirken; er ist ein konkretes algebraisches Zeugnis von Torsion und verbindet das elementare Verhalten mit spektralen Invarianten wie assoziierten Primidealen und dem Träger.