Kommutative Algebra/Modultheorie/Annullator/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Annullator

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.