On a, pour tout P € IR_n[X],
P = A*Qa(P) + Ra(P) avec d°(Ra(P)) < d°(A).
P € Ker(Ra) <=> Ra(P)=0 <=> P=Qa(P) ie Ker(Ra)=A*IR_n[X]
P € Ker(Qa) <=> Qa(P)=0 <=> P=Ra(P), ie Ker(Qa) = { P € IR_(n-1)[X] / P ne divise pas A } mais je me demande si c'est suffisant (à savoir : cet ensemble s'exprime-t-il autrement ?).