Es sei K[Y1,…,Yd]{\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 X1,…,Xd{\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