Es sei K [ Y 1 , … , Y d ] {\displaystyle {}K[Y_{1},\ldots ,Y_{d}]} der Polynomring über einem Körper K {\displaystyle {}K} der Charakteristik 0 {\displaystyle {}0} 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
Zeige, dass durch
ein K {\displaystyle {}K} -Isomorphismus von K {\displaystyle {}K} -Vektorräumen gegeben ist.