Plus grand diviseur commun

[ Definition ]
Soient \(a,b\in{ \mathbb Z}\) tels que \((a,b)\neq (0,0)\). Alors le module d’un diviseur commun à \(a\) et \(b\) est borné par \(\max(|a|,|b|)\) et il existe donc un plus grand diviseur commun à \(a\) et \(b\). On le note \(\mbox{PGCD}(a,b)\). Les nombres \(a\) et \(b\) sont premiers entre eux si \(\mbox{PGCD}(a,b)=1\). Si \(a=b=0\), on pose \(\mbox{PGCD}(a,b)=0\).
En savoir plus