Es sei F = F m + ⋯ + F d {\displaystyle {}F=F_{m}+\cdots +F_{d}} die homogene Zerlegung eines Polynoms F ∈ K [ X , Y ] {\displaystyle {}F\in K[X,Y]} mit m ≤ d {\displaystyle {}m\leq d} und es sei m = ( X , Y ) {\displaystyle {}{\mathfrak {m}}=(X,Y)} . Zeige, dass für jedes n ≥ m {\displaystyle {}n\geq m} die Multiplikationsabbildung
einen injektiven, wohldefinierten K [ X , Y ] {\displaystyle {}K[X,Y]} -Modulhomomorphismus
festlegt.