Division mit Rest
Sind der Grundring formula_1 ein Körper und formula_2 ein Automorphismus, so lassen sich links- und rechtsseitige Division mit Rest definieren. Damit lassen sich dann größte gemeinsame Rechtsteiler und größte gemeinsame Linksteiler mittels einer Variante des Euklidischen Algorithmus berechnen .