Entier sans facteur carré
En mathématiques et plus précisément en arithmétique, un entier sans facteur carré (souvent appelé, par tradition ou commodité quadratfrei ou squarefree) est un entier relatif qui n'est divisible par aucun carré parfait, excepté 1. Par exemple, 10 est sans facteur carré mais 18 ne l'est pas, puisqu'il est divisible par 9 = 32. Les dix plus petits nombres de la suite A005117 de l'OEIS des entiers positifs sans facteur carré sont 1, 2, 3, 5, 6, 7, 10, 11, 13, 14.
![](http://up.wiki.x.io/wikipedia/commons/thumb/a/a9/Squarefree_numbers_sieve.svg/220px-Squarefree_numbers_sieve.svg.png)
Caractérisations équivalentes des nombres sans facteur carré
modifierL'entier n est sans facteur carré si et seulement si dans la décomposition en facteurs premiers de n, aucun nombre premier n'apparait plus d'une fois. Un autre point de vue équivalent est que pour chaque diviseur premier p de n, le nombre premier p ne divise pas n⁄p. Une autre formulation est la suivante : n est sans facteur carré si et seulement si dans chaque décomposition n = ab, les facteurs a et b sont premiers entre eux.
Pour tout nombre premier p, la valuation p-adique de l'entier n est au plus égale à 1. On dit aussi parfois qu'un tel nombre est quadratfrei. On rappelle que pour tout nombre premier p et tout entier naturel n, la valuation p-adique de n (parfois notée νp(n)) est égale, par définition, à l'exposant de p dans la décomposition de n en produit de nombres premiers.
Ainsi, si , on a , et est quadratfrei équivaut à .
Un entier n > 0 est sans facteur carré si et seulement si son image par la fonction de Möbius est non nulle.
Un entier n > 0 est sans facteur carré si et seulement si tous les groupes abéliens d'ordre n sont isomorphes, ce qui est le cas si et seulement si tous sont cycliques. Ceci découle du théorème de Kronecker.
Un entier n > 1 est sans facteur carré si et seulement si l'anneau factoriel ℤ/nℤ est un produit de corps. Ceci découle du théorème des restes chinois et du fait qu'un anneau de la forme ℤ/kℤ est un corps si et seulement si k est un nombre premier.
Pour chaque entier naturel n, l'ensemble de tous les diviseurs positifs de n est partiellement ordonné par la relation de divisibilité ; c'est même un treillis distributif et borné. C'est une algèbre de Boole si et seulement si n est sans facteur carré.
Un entier strictement positif est sans facteur carré si et seulement s'il est égal à son radical (i.e. au produit de ses diviseurs premiers).
Fonction génératrice
modifierLa série génératrice de Dirichlet des entiers sans facteur carré est
où ζ(s) est la fonction zêta de Riemann et μ est la fonction de Möbius.
On peut le vérifier facilement par le produit eulérien
Distribution des nombres sans facteur carré
modifierSi Q(x) représente le nombre d'entiers sans facteur carré entre 1 et x, alors
(voir pi et notation grand O). La densité naturelle asymptotique des nombres sans facteur carré est par conséquent
En exploitant la plus grande région connue sans zéro de la fonction zêta de Riemann, déterminée par Ivan Vinogradov, Nikolaï Korobov et Hans-Egon Richert, Arnold Walfisz a pu réduire la taille estimée du terme d'erreur[1], et nous avons
pour une constante positive c. Sous l'hypothèse de Riemann, cette taille estimée peut être encore réduite[2], et nous avons
De même, si Q(x, n) représente le nombre d'entiers sans facteur puissance n-ième entre 1 et x, on peut montrer
Conjecture d'Erdős sur le coefficient binomial central
modifierLe coefficient binomial central
n'est jamais quadratfrei lorsque n > 4. Cela a été conjecturé par Paul Erdős, démontré pour tous les entiers suffisamment grands en 1985 par András Sárközy[3], et démontré sans restriction en 1996 par Olivier Ramaré et Andrew Granville[4].
Références
modifier- (de) A. Walfisz, Weylsche Exponentialsummen in der neueren Zahlentheorie, Berlin, VEB Deutscher Verlag der Wissenschaften, .
- (en) Chao-Hua Jia, « The distribution of square-free numbers », Science in China, a: Mathematics, vol. 36, no 2, , p. 154-169, cité dans (en) Francesco Pappalardi, « A Survey on k-freeness », ; voir aussi (en) Kaneenika Sinha, « Average orders of certain arithmetical functions », Journal of the Ramanujan Mathematical Society (en), vol. 21, no 3, , p. 267-277 (lire en ligne).
- (en) András Sárközy, « On divisors of binomial coefficients », Journal of Number Theory, vol. 20, no 1, , p. 70-80 (DOI 10.1016/0022-314X(85)90017-4).
- (en) Olivier Ramaré et Andrew Granville, « Explicit bounds on exponential sums and the scarcity of squarefree binomial coefficients », Mathematika, vol. 43, no 1, , p. 73-107 (lire en ligne).