Entier de Gauss

thumb|Carl Friedrich Gauss. En mathématiques, et plus précisément, en théorie algébrique des nombres, un entier de Gauss est un nombre complexe dont la partie réelle et la partie imaginaire sont des entiers relatifs. Il s'agit formellement d'un élément de l'anneau des entiers quadratiques de l'extension quadratique des rationnels de Gauss L'ensemble des entiers de Gauss possède une structure forte. Comme tous les ensembles d'entiers algébriques, muni de l'addition et de la multiplication ordinaire des nombres complexes, il forme un anneau intègre, généralement noté , désignant ici l'unité imaginaire. Cet ensemble dispose en plus d'une division euclidienne , ce qui permet d'y bâtir une arithmétique très analogue à celle des entiers relatifs. De manière plus générale, cet ensemble peut être vu comme un anneau d'entiers quadratiques et à ce titre est un anneau de Dedekind. Ils sont largement utilisés en théorie algébrique des nombres et en arithmétique modulaire, par exemple pour l'étude d'équations diophantiennes, en particulier ils fournissent une démonstration élégante du théorème des deux carrés de Fermat. Leur utilisation a permis à Carl Friedrich Gauss de démontrer la loi de réciprocité quadratique. thumb|Ouvrage traitant des entiers de Gauss (1801). Les entiers de Gauss ont été découverts alors que Gauss recherche une solution à la question des congruences des carrés étudiée dans un premier temps par Fermat. Euler formalise la notion de résidu quadratique et conjecture la solution, c'est-à-dire la loi de réciprocité quadratique. Legendre reprend le théorème et propose une preuve incomplète et insuffisante. À l'âge de 18 ans, Gauss démontre le théorème. La démonstration est publiée trois ans plus tard. Il considère cette loi comme le joyau de l'arithmétique, l'appelant même le « théorème d'or ». Pour résoudre cette question, il découvre un ensemble : celui des entiers qui portent maintenant son nom. Ils bénéficient des mêmes propriétés arithmétiques que les entiers relatifs.