ArithmétiquesLes Arithmétiques (Arithmetica) est une œuvre mathématique en grec due à Diophante d'Alexandrie, qui a eu une grande influence dans l'histoire des mathématiques. Elle aurait été écrite au de notre ère, selon l'hypothèse la plus courante chez les historiens, mais elle est difficile à dater. Elle se présente comme une liste de problèmes résolus, de nature que l'on pourrait qualifier aujourd'hui d'arithmétique ou algébrique : les problèmes se traduisent par des équations polynomiales portant sur des nombres rationnels positifs.
Système d'équations algébriquesEn mathématiques, un système d'équations algébriques est un ensemble d'équations polynomiales f1 = 0..., fh = 0 où les fi sont des polynômes de plusieurs variables (ou indéterminées), x1..., xn, à coefficients pris dans un corps ou un anneau k. Une « solution » est un ensemble de valeurs à substituer aux indéterminées annulant toutes les équations du système. Généralement les solutions peuvent être cherchées dans une extension du corps k comme la clôture algébrique de ce corps (ou la clôture algébrique du corps des fractions de k celui-ci est un anneau).
Méthode de descente infinieLa méthode de descente infinie est un argument mathématique voisin du raisonnement par récurrence, mais aussi du raisonnement par l'absurde, qui utilise le fait qu'une suite d'entiers naturels strictement décroissante est nécessairement finie. Cette méthode repose sur l'une des propriétés des entiers naturels : « tout ensemble non vide d'entiers naturels possède un plus petit élément. » Soit P(n) une propriété faisant intervenir un entier naturel n. On cherche à démontrer que P(n) est fausse pour tout n.
Hermite normal formIn linear algebra, the Hermite normal form is an analogue of reduced echelon form for matrices over the integers Z. Just as reduced echelon form can be used to solve problems about the solution to the linear system Ax=b where x is in Rn, the Hermite normal form can solve problems about the solution to the linear system Ax=b where this time x is restricted to have integer coordinates only. Other applications of the Hermite normal form include integer programming, cryptography, and abstract algebra.
Louis MordellLouis Joel Mordell est un mathématicien américano-britannique, né le à Philadelphie et mort le à Cambridge. Pionnier par ses recherches en théorie des nombres, il est un spécialiste reconnu des équations diophantiennes. Né dans une famille juive d'origine lituanienne émigrée aux États-Unis dans les années 1880, il est venu en 1906 à Cambridge passer l'examen d'entrée au St John's College, examen qu'il a réussi. L'envie d'entrer à Cambridge poursuivre des études de mathématiques date de la découverte d'un livre d'annales d'entrée à Cambridge parmi des livres d'occasion lus dans sa jeunesse.
DiophantienL'adjectif diophantien () (du nom de Diophante d'Alexandrie) s'applique à tout ce qui concerne les équations polynomiales à coefficients entiers, également appelées équations diophantiennes. Les notions qui suivent ont été développées pour venir à bout du dixième problème de Hilbert. Il s'agit de savoir s'il existe un algorithme général permettant de dire si, oui ou non, il existe une solution à une équation diophantienne. Le théorème de Matiyasevich prouve l'impossibilité de l'existence d'un tel algorithme.
List of mathematical jargonThe language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in lectures, and sometimes in print, as informal shorthand for rigorous arguments or precise ideas. Much of this is common English, but with a specific non-obvious meaning when used in a mathematical sense. Some phrases, like "in general", appear below in more than one section.
Équation de Fermat généraliséeEn arithmétique, l'équation de Fermat généralisée est l'équationoù sont des entiers non nuls, sont des entiers non nuls premiers entre eux et sont entiers. Comme son nom le laisse transparaître, cette équation généralise l'équation dont le fameux dernier théorème de Fermat établit l'impossibilité quand . À l'instar de celui-ci avant sa résolution, son principal intérêt réside aujourd'hui dans la stimulation du développement des nouveaux outils mathématiques nécessaires à son appréhension.
Principe local-globalPour le point de vue de la géométrie différentielle sur cette notion, voir l'article Passage du local au global. En mathématiques, et plus particulièrement en théorie algébrique des nombres et en géométrie algébrique, le principe local-global consiste à essayer de reconstituer une information sur un objet global à partir d'informations sur des objets locaux associés (ses localisations en tous les idéaux premiers), censées être plus faciles à obtenir. Ce théorème porte sur les formes quadratiques sur le corps global des nombres rationnels.
Diophantine geometryIn mathematics, Diophantine geometry is the study of Diophantine equations by means of powerful methods in algebraic geometry. By the 20th century it became clear for some mathematicians that methods of algebraic geometry are ideal tools to study these equations. Diophantine geometry is part of the broader field of arithmetic geometry. Four theorems in Diophantine geometry which are of fundamental importance include: Mordell–Weil theorem Roth's theorem Siegel's theorem Faltings's theorem Serge Lang published a book Diophantine Geometry in the area in 1962, and by this book he coined the term "Diophantine Geometry".
