MDLUL/kumulative Hilbertfunktion
Start=kumulative Hilbertfunktion
MDLUL/kumulative Hilbertfunktion |
---|
Ziel=Standard-graduierter Ring/K/Endlich erzeugter Modul/Kumulative Hilbertfunktion/Definition
Start=kumulative Hilbertfunktion
MDLUL/kumulative Hilbertfunktion |
---|
Ziel=Standard-graduierter Ring/K/Endlich erzeugter Modul/Kumulative Hilbertfunktion/Definition