Sowohl im Ring der ganzen Zahlen (ganze Zahlen können ohne Einschränkung addiert, subtrahiert und multipliziert werden) als auch im Polynomring über einem Körper kann stets die Division mit Rest (euklidischer Ring) durchgeführt werden.
Formaler Algorithmus:
Seien
.
1) Berechne den ganzzahligen Quotienten
von
und
.
2) Berechne den Rest
.
3) Gebe
und
aus.
Dann gilt:
mit
.
Beispiele: