Kommutative Algebra/Modultheorie/Annullator/Definition

Annullator

Es sei ein kommutativer Ring und ein -Modul. Zu einem festen heißt

der Annullator von . Die Menge aller , die annullieren, für die also für alle gilt, heißt Annullator .

Ist , gibt es also außer keine Ringelemente, die alle Modulelemente annullieren, so heißt treu.