Mot : division euclidienne
Catégorie : LocN
Définition : Opération inverse de la loi multiplicative dans un anneau euclidien qui, à deux éléments a et b, associe q et r uniques tels que a = bq + r et v(r) < v(b) où v est le stathme euclidien.
Sémantique : Par extension
Exemples : Division euclidienne dans l'anneau des polynômes. | Division euclidienne des entiers de Gauss.