En raison de limitations techniques, la typographie souhaitable du titre, « Devoir : Principe local-global pour les carrés Introduction à la théorie des nombres/Devoir/Principe local-global pour les carrés », n'a pu être restituée correctement ci-dessus.
Soit un entier relatif non carré. On se propose de démontrer qu'il existe une infinité de nombres premiers modulo lesquels le nombre n'est pas un carré (ce qui affine le théorème d'Euclide), en utilisant la loi de réciprocité quadratique étendue au symbole de Jacobi ; mais au lieu d'utiliser, comme dans l'exercice 4-15, le théorème de la progression arithmétique de Dirichlet, on va simplement raisonner comme Euclide en montrant que, pour tout ensemble fini de nombres premiers, il existe un nombre premier n'appartenant pas à cet ensemble et modulo lequel n'est pas un carré.
On va distinguer trois cas, selon la parité des exposants (non tous pairs) dans la décomposition
,
où les sont des nombres premiers impairs distincts.
On suppose dans cette question que ne sont pas tous pairs : par exemple (quitte à permuter les ) est impair. Soit un ensemble fini de nombres premiers différents de .
Montrer qu'il existe un entier naturel non carré et congru à (donc impair).
Soit sa décomposition en facteurs premiers. En écrivant de deux façons le symbole de Jacobi , montrer que l'un au moins des est égal à .
Conclure.
On suppose maintenant que sont pairs et impair. Soit un ensemble fini de nombres premiers impairs.
Montrer qu'il existe un entier naturel congru à et premier avec .
Conclure en procédant comme dans la question précédente.
On suppose enfin que sont pairs et impair. Soit un ensemble fini de nombres premiers. En considérant l'entier , conclure de même.
Solution
Soit un entier non carré . Par le théorème des restes chinois, il existe un entier naturel congru à et à .
Le produit est égal à (puisque ) donc à , ce qui prouve que l'un au moins des facteurs vaut .
Par construction, n'est divisible ni par , ni par aucun donc , ce qui achève la preuve du théorème dans le cas impair.
Par le théorème des restes chinois, il existe un entier naturel congru à et par exemple à .
Soit sa décomposition en facteurs premiers. , donc l'un au moins des est égal à . Par construction, , et l'on conclut comme précédemment.
Soit la décomposition de en facteurs premiers. , et l'on conclut de même.
Kenneth Ireland et Michael Rosen, A Classical Introduction to Modern Number Theory, coll. « GTM » (no 84), 1990 [lire en ligne], p. 57-58, ne traitent que le cas d'un entier naturel non carré. Autrement dit : et la question 3 n'est pas envisagée. Par ailleurs, ils commencent par se ramener au cas où est sans facteur carré (sans y gagner vraiment).