title: Polynôme à valeurs entières
text: # Polynôme à valeurs entières
  
  En mathématiques, un polynôme à valeurs entières P(t) est un polynôme qui prend une valeur entière P(n) pour chaque entier n. Tout polynôme à coefficients entiers est à valeurs entières mais la réciproque est fausse : par exemple le polynôme t(t + 1)/2, qui donne les nombres triangulaires, renvoie des valeurs entières lorsque t = n est un entier. C'est parce que l'un des deux nombres n ou n + 1 est nécessairement pair.
  
  ## Structure
  
  En fait, les polynômes à valeurs entières peuvent être décrits complètement. On démontre en effet, par la méthode des différences finies, que tout polynôme à valeurs entières est (de façon évidemment unique) combinaison linéaire à coefficients entiers des polynômes
  
  $P_k(t)$ = t(t − 1) … (t − k + 1)/k!
  
  pour k = 0, 1, 2… autrement dit : le coefficient binomial généralisé $\textstyle {t \choose k}$, aussi appelé polynôme de Hilbert.
  
  Les polynômes à valeurs entières forment donc un sous-anneau de l'anneau ℚ[t] des polynômes à coefficients rationnels, et leur groupe additif est abélien libre.
  
  Bien que ce sous-anneau soit de construction simple (avec sa ℤ-base formée par les polynômes $P_k),$ il possède des propriétés assez atypiques (ce qui le rend bon candidat pour être source d'exemples et de contre-exemples) :
  
  * anneau non noethérien (lorsque k est un nombre premier, le polynôme $P_k$ n'appartient pas à l'idéal engendré par les polynômes d'indices inférieurs $P_1,$ … $,P_{k–1})$ ;
  * tout élément de la forme $P_k(t)$ + R(t) avec deg(R(t)) < k est un élément irréductible (k ≥ 1) ;
  * en particulier, $P_k(t)$ est un élément irréductible non premier (k ≥ 1) ;
  * anneau intègre de Prüfer (tout idéal de type fini est localement principal) ;
  * anneau dénombrable, mais dont le spectre maximal est non dénombrable ;
  * anneau de dimension de Krull 2 ;
  * ses idéaux de type fini non nuls sont inversibles et engendrés par au plus deux éléments.
  
  ## Diviseurs fixes
  
  Nous appellerons « diviseur fixe » de P tout entier d qui divise tous les P(k) quand k parcourt les entiers. Il suffit pour cela que d divise les P(k) quand k parcourt {0, 1, … , deg(P)}, puisque ces nombres ont même PGCD que les coordonnées de P dans la ℤ-base canonique ci-dessus.
  
  Par exemple, les polynômes P à coefficients entiers qui ne prennent que des valeurs paires sont juste ceux tels que P/2 est à valeurs entières. Ceux-ci sont à leur tour ceux exprimés comme combinaisons linéaires de polynômes de base, avec des coefficients pairs.
  
  Un autre exemple est le polynôme $t(t^2$ + 2) : il ne prend, sur les entiers, que des valeurs multiples de 3, puisqu'il s'écrit aussi t(t + 1)(t – 1) + 3t, ou encore : $3(P_1$ + $2P_2$ + $2P_3).$
  
  Dans les questions de théorie des nombres sur les nombres premiers, telles que l'hypothèse H de Schinzel et la conjecture de Bateman-Horn, il est important de comprendre avant tout le cas où le plus grand diviseur fixe de P est 1 ou, ce qui est équivalent, les coordonnées de P dans la ℤ-base sont premières entre elles (ceci a été appelé la propriété de Bouniakovski, en l'honneur de Viktor Bouniakovski).
  
  