Algorithme d'EuclideEn mathématiques, l'algorithme d'Euclide est un algorithme qui calcule le plus grand commun diviseur (PGCD) de deux entiers, c'est-à-dire le plus grand entier qui divise les deux entiers, en laissant un reste nul. L'algorithme ne requiert pas de connaître la factorisation de ces deux nombres. vignette|Peinture censée représenter le mathématicien Euclide d'Alexandrie, par Justus of Ghent. Selon Donald Knuth, l'algorithme d'Euclide est l'un des plus anciens algorithmes.
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.
Polynomial greatest common divisorIn algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials. This concept is analogous to the greatest common divisor of two integers. In the important case of univariate polynomials over a field the polynomial GCD may be computed, like for the integer GCD, by the Euclidean algorithm using long division. The polynomial GCD is defined only up to the multiplication by an invertible constant.
Plus grand commun diviseurEn arithmétique élémentaire, le plus grand commun diviseur ou PGCD de deux nombres entiers non nuls est le plus grand entier qui les divise simultanément. Par exemple, le PGCD de 20 et de 30 est 10, puisque leurs diviseurs communs sont 1, 2, 5 et 10. Cette notion s'étend aux entiers relatifs grâce aux propriétés de la division euclidienne. Elle se généralise aussi aux anneaux euclidiens comme l'anneau des polynômes sur un corps commutatif. La notion de PGCD peut être définie dans tout anneau commutatif.
AxiomeUn axiome (en ἀξίωμα /axioma, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de άξιόω (axioô), « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique. Pour Euclide et certains philosophes grecs de l’Antiquité, un axiome était une affirmation qu'ils considéraient comme évidente et qui n'avait nul besoin de démonstration.