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.