De equivalentieklasse {a+gd | g R[X]} die de veelterm a bevat, heet wel de restklasse modulo d van a.

Notatie

Met (d) of dR[X] geven we de verzameling

{gd | g R[X]}

aan. Dit is de restklasse van 0. De restklasse die de veelterm a bevat, schrijven we op een van de volgende manieren:

  • a , als het duidelijk is dat we de klasse bedoelen,
  • of a+(d),
  • of a+dR[X].

De verzameling restklassen modulo d wordt genoteerd als R[X]/(d) (en soms als R[X]/dR[X]). We noemen deze verzameling wel de restklassenring modulo d.

In deze notatie is uiteraard a de meest in het oog springende representant uit de restklasse modulo d, maar niet per se de enige: voor elke g R[X] is a+gd een representant van deze klasse.

De notatie R[X]/dR[X] lijkt dus op de notatie Z /nZ uit hoofdstuk 2.