Positiv graduierter Ring/Endlich erzeugter Modul/Hilbertfunktion linksseitig 0/Aufgabe

Aus Wikiversity

Es sei ein positiv-graduierter Ring und ein endlich erzeugter -graduierter -Modul. Zeige, dass es ein derart gibt, dass für die Hilbertfunktion für

gilt.