Suppose has generators. Its associated graded ringis generated in degree one by their initial forms, so there is a graded surjectionBecause is -primary, has finite length of a module. The degree- piece on the left has lengthso grows with degree at most . Summing these lengths shows that has polynomial degree at most .
Articles by others on the same topic
There are currently no matching articles.