Théorème de Kummer (coefficients binomiaux)

En mathématiques, le théorème de Kummer donne une formule pour calculer le plus grand exposant d'une puissance d'un nombre premier divisant un coefficient binomial donné. En d'autres termes, il donne la valuation p-adique d'un coefficient binomial. Le théorème porte le nom d'Ernst Kummer, qui l'a démontré dans un article de 1852 .

Énoncé

Le théorème de Kummer stipule que pour des entiers donnés $n⩾k⩾0$ et un nombre premier $p$, la valuation p-adique $v_p\left((\genfrac{}{}{0ex}{}{n}{k})\right)$ est égale au nombre de retenues effectuées lors de l'addition de $k$ et $l=n-k$ en base p.

Une formulation équivalente du théorème est la suivante :

Le développement de l'entier $n$ en base $p$ étant $n_0+n_{1}p+n_2{p}^2+\cdots +n_r{p}^r$, soit $s_p(n)=n_0+n_1+\cdots +n_r$ la somme de ses chiffres. Alors

$v_p\left((\genfrac{}{}{0ex}{}{n}{k})\right)=\frac{s_p(k)+s_p(l)-s_p(n)}{p-1}.$

Cette dernière expression s'obtient en écrivant $(\genfrac{}{}{0ex}{}{n}{k})$ sous la forme $\frac{n!}{k!l!}$ et en utilisant la formule de Legendre: $v_p(n!)=\frac{n-s_p(n)}{p-1}$.

Exemples

Pour calculer la plus grande puissance de 2 en divisant le coefficient binomial $(\genfrac{}{}{0ex}{}{10}{3})$ on écrit Modèle:Formule et Modèle:Formule en base Modèle:Formule : Modèle:Formule et Modèle:Formule . Réaliser l'addition Modèle:Formule en base 2 nécessitant trois retenues, la plus grande puissance de 2 qui divise $(\genfrac{}{}{0ex}{}{10}{3})=120=2^3\cdot 15$ est Modèle:Formule .

Avec la deuxième expression, comme $s_2(3)=1+1=2$, $s_2(7)=1+1+1=3$, et $s_2(10)=1+0+1+0=2$, on obtient :

$v_2\left((\genfrac{}{}{0ex}{}{10}{3})\right)=\frac{s_2(3)+s_2(7)-s_2(10)}{2-1}=\frac{2+3-2}{2-1}=3.$

Applications

On déduit de la première forme du théorème que $(\genfrac{}{}{0ex}{}{n}{k})$ est non multiple de $p$ si et seulement si la somme de deux chiffres de même rang dans les expressions en base $p$ de $k$ et $l=n-k$ ne dépasse jamais $p-1$.

De manière équivalente, $(\genfrac{}{}{0ex}{}{n}{k})$ est multiple de $p$ si et seulement si au moins un chiffre de $k$ en base p est strictement plus grand que le chiffre correspondant de $n$.

En particulier, $(\genfrac{}{}{0ex}{}{n}{k})$ est impair si et seulement si les expressions binaires de $k$ et $l=n-k$ ne présentent jamais deux 1 au même rang.

Si $(\genfrac{}{}{0ex}{}{n}{k})$ est pair, $n$ possède donc forcément un chiffre binaire égal à 0, et par contraposée, si $n$ a tous ses chiffres égaux à 1, autrement dit si $n=2^m-1$, tous les $(\genfrac{}{}{0ex}{}{n}{k})$ sont impairs.

Généralisation aux coefficients multinomiaux

Le théorème de Kummer peut être généralisé aux coefficients multinomiaux $(\genfrac{}{}{0ex}{}{n}{k_1,\dots ,k_m})=\frac{n!}{k_1!\cdots k_m!}$ comme suit :

$v_p\left((\genfrac{}{}{0ex}{}{n}{k_1,\dots ,k_m})\right)=\frac{1}{p-1}\left(\right(\sum _{i=1}^m{s}_p(k_i))-s_p(n)).$

Voir aussi

• Théorème de Lucas