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
![{\displaystyle {}K[X_{1},\ldots ,X_{d}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c573d4e157418ad7db95af601fe51b07ee34a53)
der
Polynomring
über einem
Körper
und 
der von allen Monomen 
in den Variablen 
mit
für alle 
erzeugte
-Vektorraum,
also
-Modulstruktur
