∑
MathTCG
#069 / 100•Algebra & Numbers•MathTCG #369 / 500•★Commune•ℤArithmétique•Concept

Entiers premiers entre eux

Période historique : Antiquité

Deux entiers dont le seul diviseur commun positif est 1, condition clé d'inversibilité modulaire.

Contenu & Formulation mathématique

Définition rigoureuse
Paire d'entiers dont le treillis de diviseurs communs se réduit au singleton {1}.
Notation usuelle & Exemples
a \perp b
pgcd⁡(a,b)=1  ⟺  ∃u,v∈Z,  au+bv=1\operatorname{pgcd}(a, b) = 1 \iff \exists u, v \in \mathbb{Z},\; au + bv = 1

Genèse & Portée historique

Deux entiers a et b sont premiers entre eux (ou coprimeaux) si pgcd(a,b) = 1. D'après le théorème de Bézout, cette propriété équivaut à l'existence de deux coefficients entiers u et v tels que au + bv = 1. La probabilité que deux entiers pris au hasard soient premiers entre eux vaut 6/pi^2.

Ernesto Cesàro a démontré en 1881 que la densité asymptotique des couples coprimeaux est exactement l'inverse de zeta(2) = pi^2 / 6.

« Aucun diviseur partagé si ce n'est l'unité universelle du nombre un. »

Filiations & Relations conceptuelles (0)

Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.

Objet de collection MathTCG

#369
★Commune
ℤ

Entiers premiers entre eux

Arithmétique•CONCEPT

Paire d'entiers dont le treillis de diviseurs communs se réduit au singleton {1}.

pgcd⁡(a,b)=1  ⟺  ∃u,v∈Z,  au+bv=1\operatorname{pgcd}(a, b) = 1 \iff \exists u, v \in \mathbb{Z},\; au + bv = 1
Antiquité

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Algebra & Numbers.

Extension : Algebra & Numbers (#069 / 100)
Numéro global MathTCG : MathTCG #369 / 500
Rareté officielle : Commune (★)
Domaine théorique : Arithmétique
Identifiant pérenne : entiers-premiers-entre-eux