Es sei K [ X 1 , … , X d ] {\displaystyle {}K[X_{1},\ldots ,X_{d}]} der Polynomring über einem Körper K {\displaystyle {}K} und H {\displaystyle {}H} der von allen Monomen X ν {\displaystyle {}X^{\nu }} in den Variablen X 1 , … , X d {\displaystyle {}X_{1},\ldots ,X_{d}} mit ν j ≤ − 1 {\displaystyle {}\nu _{j}\leq -1} für alle j {\displaystyle {}j} erzeugte K {\displaystyle {}K} -Vektorraum, also
Definiere eine natürliche K [ X 1 , … , X d ] {\displaystyle {}K[X_{1},\ldots ,X_{d}]} -Modulstruktur auf H {\displaystyle {}H} .