entier de 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é ℤ[i], i 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.