DIVISIBILITÉ
Carte mentale
Élargissez votre recherche dans Universalis
L'étude élémentaire de la divisibilité dans l'anneau Z des entiers relatifs résulte de l'existence de la division euclidienne qui entraîne que cet anneau est principal. Les propriétés générales des anneaux principaux sont exposées dans l'article anneaux commutatifs, et nous nous contenterons ici d'énumérer les principaux résultats relatifs au cas particulier qui nous occupe ici.
L'étude plus fine et plus spécifique de l'anneau Z (nombre de diviseurs d'un nombre donné, somme de ces diviseurs, etc.) introduit des fonctions arithmétiques multiplicatives. Les indications qui suivent sont très élémentaires, mais il est important de noter qu'un grand nombre des résultats obtenus ont été généralisés aux corps de nombres algébriques ; le dernier chapitre donne un aperçu de ces propriétés dans le cas des corps quadratiques, en renvoyant à l'article théorie des nombres - Nombres algébriques pour l'exposé de la théorie sous sa forme contemporaine.
Propriétés élémentaires
L'anneau Z des entiers relatifs possède la propriété suivante de division euclidienne : si a et b sont deux entiers relatifs, b ≠ 0, il existe des entiers q et r déterminés de manière unique par les conditions :

Dans ce qui suit, nous nous limiterons, sauf mention explicite du contraire, aux entiers positifs. On écrit b |a si b divise a. Cette relation de divisibilité est une relation d'ordre dans les entiers naturels ; en effet, elle est réflexive car a | a, transitive car c | b et b | a entraînent c | a, antisymétrique car a | b et b | a entraînent a = b. Cet ordre n'est pas total car deux entiers a et b ne vérifient pas obligatoirement l'une des relations a | b ou b | a. Un nombre p ≠ 1 est dit premier s'il n'est divisible que par 1 et par lui-même.
Soient a et b deux entiers positifs ; on montre qu'il existe un diviseur commun d de a et de b tel que les diviseurs communs de a et de b soient exactement les diviseurs de d ; ce diviseur commun privilégié est appelé le plus grand commun diviseur (en abrégé P.G.C.D.) de a et de b et se note d = (a, b). Si (a, b) = 1, c'est-à-dire si le seul diviseur commun de a et de b est 1, on dit que a et b sont premiers entre eux. Une condition nécessaire et suffisante pour que a et b soient premiers entre eux est qu'il existe des entiers relatifs x et y tels que :

Ce résultat entraîne facilement le lemme de Gauss : si un entier c divise un produit ab et est premier avec a, alors il divise b. On en déduit le théorème fondamental de la décomposition en facteurs premiers : tout entier naturel a > 1 est décomposable, d'une manière unique, en un produit :

Indiquons enfin que les notions de P.G.C.D. et de P.P.C.M. s'étendent sans difficulté au cas de n entiers a1, a2, ..., an.
1
2
3
4
5
…
pour nos abonnés,
l’article se compose de 6 pages
Écrit par :
- Marcel DAVID : professeur à la faculté des sciences de Reims
Classification
Autres références
« DIVISIBILITÉ » est également traité dans :
ALGÉBRIQUES STRUCTURES
Dans le chapitre « Espèces de structures plus riches que celle d'annoïde » : […] Un corpoïde est un annoïde (E, λ ⊤ , λ ⊥ ) tel que tout élément appartenant à E qui n'est pas un élément neutre du groupoïde commutatif (E, λ ⊤ ) soit un élément symétrisable de la catégorie (E, λ ⊥ ). Un anneau est un bimagma (E, l ⊤ , l ⊥ ) tel que (E, l ⊤ ) soit un groupe abélien et (E, l ⊥ ) un demi-groupe (c'est-à-dire un magma associatif) tel que la loi de composition interne l ⊥ soit […] Lire la suite
ANNEAUX COMMUTATIFS
Dans le chapitre « Anneaux de Dedekind » : […] Par définition, on appelle anneau de Dedekind tout anneau intégralement clos et noethérien (c'est-à-dire dans lequel tout idéal est engendré par un nombre fini d'éléments) dans lequel tout idéal premier non nul est maximal. Cela signifie que le quotient de A par un idéal premier non nul quelconque est non seulement un anneau d'intégrité mais même un corps. L'exemple le plus simple d'un tel anneau […] Lire la suite
NOMBRES (THÉORIE DES) - Nombres algébriques
Dans le chapitre « Entiers cyclotomiques » : […] Considérons, avec Kummer, un nombre premier impair λ et une racine λ-ième imaginaire α de 1 ; ainsi : L'équation de degré λ − 1 précédente est irréductible sur le corps Q des nombres rationnels, donc les nombres 1, α, α 2 , ..., α λ-2 sont linéairement indépendants sur Q ; les entiers cyclotomiques correspondant à λ sont les nombres de la forme : où a 0 , a 1 , ..., a λ-2 ∈ Z , c'est-à-dire l […] Lire la suite
ORDONNÉS ENSEMBLES
Dans le chapitre « Quelques ordres sur N* » : […] On peut munir l'ensemble N* des entiers naturels strictement positifs de diverses relations d'ordre qui montreront bien la grande variété de propriétés que l'on peut obtenir ainsi. Après la relation ≤ usuelle, la relation d'ordre la plus courante est la relation de divisibilité : si p divise q , c'est-à-dire si q est multiple de p : cela signifie qu'il existe un entier m ∈ N* tel que q = mp. […] Lire la suite
Voir aussi
- ARITHMÉTIQUE
- FONCTION ARITHMÉTIQUE
- CLASSE RÉSIDUELLE
- CONGRUENCE MODULO N
- CORPS QUADRATIQUE
- DÉCOMPOSITION EN FACTEURS PREMIERS
- DIVISION EUCLIDIENNE
- INDICATEUR D' EULER
- THÉORÈME D' EULER-FERMAT
- NOMBRE DE FERMAT
- PETIT THÉORÈME DE FERMAT
- SYMBOLE DE LEGENDRE
- FONCTION DE MÖBIUS
- FONCTION MULTIPLICATIVE
- NOMBRES PARFAITS
- NOMBRES PREMIERS
- POLYGONES
- ÉLÉMENTS PREMIERS ENTRE EUX
- RACINE PRIMITIVE
- LOI DE RÉCIPROCITÉ QUADRATIQUE
Pour citer l’article
Marcel DAVID, « DIVISIBILITÉ », Encyclopædia Universalis [en ligne], consulté le 17 mai 2022. URL : https://www.universalis.fr/encyclopedie/divisibilite/