Anneau à PGCDEn algèbre commutative, un anneau à PGCD, ou plus rarement anneau de Gauss, est un anneau commutatif unitaire dans lequel tout couple d'éléments non nuls possède un plus grand diviseur commun. Dans un anneau quelconque, l'existence d'un tel PGCD n'est pas toujours acquise. Les anneaux intègres à PGCD représentent une classe d'anneaux aux propriétés arithmétiques intéressantes à tel point qu'il est fréquent que les anneaux à PGCD ne soient étudiés que dans les anneaux intègres.
Fraction irréductibleUne fraction irréductible est une fraction pour laquelle il n’existe pas de fraction égale ayant des termes plus petits. Autrement dit, une fraction irréductible ne peut pas être simplifiée. La fraction n'est pas irréductible car 12 et 20 sont des multiples de 4 : (simplification par 4). On peut aussi écrire . La fraction est irréductible car 1 est le seul entier positif qui divise à la fois 3 et 5. On peut simplifier une fraction en divisant ses termes successivement par leurs diviseurs communs apparents (que l'on trouve en appliquant les critères de divisibilité par 2, 3, 5).
Algorithme d'Euclide étenduEn mathématiques, l'algorithme d'Euclide étendu est une variante de l'algorithme d'Euclide. À partir de deux entiers a et b, il calcule non seulement leur plus grand commun diviseur (PGCD), mais aussi un de leurs couples de coefficients de Bézout, c'est-à-dire deux entiers u et v tels que au + bv = PGCD(a, b). Quand a et b sont premiers entre eux, u est alors l'inverse pour la multiplication de a modulo b (et v est de la même façon l'inverse modulaire de b, modulo a), ce qui est un cas particulièrement utile.
Anneau de BézoutEn algèbre commutative, un anneau quasi-bézoutien est un anneau où la propriété de Bézout est vérifiée ; plus formellement, c'est un anneau dans lequel tout idéal de type fini est principal. Un anneau de Bézout, ou anneau bézoutien, est un anneau quasi-bézoutien intègre. Un idéal de type fini est un idéal engendré par un nombre fini d'éléments. Un idéal engendré par un élément a est dit idéal principal et se note aA. Un idéal engendré par deux éléments a et b se note aA + bA, il est constitué des éléments de A pouvant s'écrire sous la forme au + bv avec u et v éléments de A.