euklidischer Ring (Algebra)

ein Ring I ohne Nullteiler mit einer Abbildung f, die jedem von null verschiedenen Element eine nicht negative ganze Zahl zuordnet, wobei gilt: 1) Sind a und b aus I, mit a ≠ b, b ≠ 0, dann ist f(a · b) > f(a). – 2) Zu zwei Elementen a