Opgave
Gegeven is de restklassenring
S=R [X]/(d)
waar d een
veelterm in R[X] van graad
n>0 is. Als a0,
. . . , an-1 veeltermen in
R[X] zijn met deg(ai)
= i (i=0, . . . ,n-1), dan is dit
stelsel een basis van S opgevat als vectorruimte over
R. Bewijs dit.