Kommutativer Ring/Modul/Ideal/Assoziierter graduierter Modul/Fakt

Aus Wikiversity

Es sei ein Ideal in einem kommutativen Ring und ein -Modul.

Dann ist der assoziierte graduierte Modul in natürlicher Weise ein graduierter Modul über dem assoziierten graduierten Ring . Wenn der Modul endlich erzeugt ist, so ist ein endlich erzeugter -Modul.