Bekanntlich ist der Polynomring R[x1], mit R ein Integritätsrings, wieder ein Integritätsring. Somit ist R[x1; x2] := R[x1][x2] wieder ein Integritätsring (f ∈ R[x1][x2] ist ein Polynom in x2 mit Koeffizienten Polynome aus R[x1]), und induktiv definiert man R[x1;...; xn] := R[x1;...; xn-1][xn]. Durch ausmultiplizieren kann man f ∈ R[x1;...; xn] als Summe f = Σ cαxα schreiben, wobei xα := ∏n i=1 xiαi mit α = ( α1;...; αn) ∈ ℕn, und cα ∈ R (nur endlich viele der cα seien ungleich 0). Wenn |α| := Σn i=1 αi , dann ist der Grad von f gleich max{|α| : cα ≠ 0}.
1) f ∈ R[x1;...; xn] wird homogen vom Grad d genannt, wenn f = ∑|α|=d cαxα. Man zeige: für ein solches f und ein beliebiges b ∈ R gilt f(bx1;...; bxn) = bd f(x1;...; xn).