Modultheorie/Endlich erzeugt/Ideal in Annullationsideal/Annulliert Element/Fakt

Aus Wikiversity

Es sei ein kommutativer noetherscher Ring und ein endlich erzeugter -Modul. Es sei ein Ideal, das ausschließlich aus Nullteilern von besteht.

Dann gibt es ein , , mit