Anneau euclidienvignette|Statue d'Euclide à Oxford. En mathématiques et plus précisément en algèbre, dans le cadre de la théorie des anneaux, un anneau euclidien est un type particulier d'anneau commutatif intègre (voir aussi l'article anneau euclidien non commutatif). Un anneau est dit euclidien s'il est possible d'y définir une division euclidienne. Un anneau euclidien est toujours principal. Cette propriété est riche de conséquences : tout anneau principal vérifie l'identité de Bézout, le lemme d'Euclide, il est factoriel et satisfait les conditions du théorème fondamental de l'arithmétique.
IdéalEn mathématiques, et plus particulièrement en algèbre, un idéal est un sous-ensemble remarquable d'un anneau : c'est un sous-groupe du groupe additif de l'anneau qui est, de plus, stable par multiplication par les éléments de l'anneau. À certains égards, les idéaux s'apparentent donc aux sous-espaces vectoriels — qui sont des sous-groupes additifs stables par une multiplication externe ; à d'autres égards, ils se comportent comme les sous-groupes distingués — ce sont des sous-groupes additifs à partir desquels on peut construire une structure d'anneau quotient.
Équation diophantiennevignette|Édition de 1670 des Arithmétiques de Diophante. Une équation diophantienne, en mathématiques, est une équation polynomiale à une ou plusieurs inconnues dont les solutions sont cherchées parmi les nombres entiers, éventuellement rationnels, les coefficients étant eux-mêmes également entiers. La branche des mathématiques qui s'intéresse à la résolution de telles équations s'est appelée longtemps l'analyse indéterminée avant de se fondre dans l'arithmétique ou la théorie des nombres.
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.
Congruence relationIn abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done with equivalent elements will yield equivalent elements. Every congruence relation has a corresponding quotient structure, whose elements are the equivalence classes (or congruence classes) for the relation. The prototypical example of a congruence relation is congruence modulo on the set of integers.
Base de GröbnerEn mathématiques, une base de Gröbner (ou base standard, ou base de Buchberger) d'un idéal I de l'anneau de polynômes K[X, ..., X] est un ensemble de générateurs de cet idéal, vérifiant certaines propriétés supplémentaires. Cette notion a été introduite dans les années 1960, indépendamment par Heisuke Hironaka et Bruno Buchberger, qui lui a donné le nom de son directeur de thèse Wolfgang Gröbner. Les bases de Gröbner ont le grand avantage de ramener l'étude des idéaux polynomiaux à l'étude des idéaux monomiaux (c'est-à-dire formés de monômes), plus faciles à appréhender.
Produit d'anneauxEn algèbre générale, il est possible de combiner plusieurs anneaux pour former un anneau appelé anneau produit. Cette construction peut se faire de la manière suivante : si (Ai) est une famille d'anneaux, le produit cartésien Π Ai peut être muni d'une structure d'anneau en définissant les opérations composante par composante, i.e. (ai) + (bi) = (ai + bi) (ai) · (bi) = (ai · bi) 1 = (1) À la place de Π1≤i≤k Ai nous pouvons aussi écrire A1 × A2 × ... × Ak. Un exemple est l'anneau Z/nZ des entiers modulo n.
Lemme d'Euclidevignette|Le lemme d'Euclide est tiré des Éléments, ouvrage fondateur des mathématiques occidentales. En mathématiques, le lemme d'Euclide est un résultat d'arithmétique élémentaire sur la divisibilité qui correspond à la Proposition 32 du Livre VII des Éléments d'Euclide. Il s'énonce ainsi : Une généralisation est : Formellement : si a|bc et PGCD(a, b) = 1, alors a|c. Dans le traité de Gauss, les Disquisitiones arithmeticae, l'énoncé du lemme d'Euclide constitue la proposition 14 (section 2), qu'il utilise pour prouver l'unicité de la décomposition en produit de facteurs premiers d'un entier (théorème 16), admettant l'existence comme .
Smith normal formIn mathematics, the Smith normal form (sometimes abbreviated SNF) is a normal form that can be defined for any matrix (not necessarily square) with entries in a principal ideal domain (PID). The Smith normal form of a matrix is diagonal, and can be obtained from the original matrix by multiplying on the left and right by invertible square matrices. In particular, the integers are a PID, so one can always calculate the Smith normal form of an integer matrix.
Interpolation polynomialeEn mathématiques, en analyse numérique, l'interpolation polynomiale est une technique d'interpolation d'un ensemble de données ou d'une fonction par un polynôme. En d'autres termes, étant donné un ensemble de points (obtenu, par exemple, à la suite d'une expérience), on cherche un polynôme qui passe par tous ces points, p(xi) = yi, et éventuellement vérifie d'autres conditions, de degré si possible le plus bas. Cependant, dans le cas de l'interpolation lagrangienne, par exemple, le choix des points d'interpolation est critique.
