Nombres de Bell et somme de factorielles



Documents pareils
Introduction à l étude des Corps Finis

Exercices - Polynômes : corrigé. Opérations sur les polynômes


Nombres premiers. Comment reconnaître un nombre premier? Mais...

Extrait du poly de Stage de Grésillon 1, août 2010

Une forme générale de la conjecture abc

Polynômes à plusieurs variables. Résultant

Cours d arithmétique Première partie

Calcul fonctionnel holomorphe dans les algèbres de Banach

3 Approximation de solutions d équations

Sur certaines séries entières particulières

Groupe symétrique. Chapitre II. 1 Définitions et généralités

Démonstration de la conjecture de Dumont

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Principe de symétrisation pour la construction d un test adaptatif

Continuité en un point

Analyse fonctionnelle Théorie des représentations du groupe quantique compact libre O(n) Teodor Banica Résumé - On trouve, pour chaque n 2, la classe

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Pour l épreuve d algèbre, les calculatrices sont interdites.

1 Définition et premières propriétés des congruences

Résolution d équations non linéaires

Triangle de Pascal dans Z/pZ avec p premier

Intégration et probabilités TD1 Espaces mesurés Corrigé

Correction de l examen de la première session

Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Chapitre VI - Méthodes de factorisation

Image d un intervalle par une fonction continue

Le produit semi-direct

avec des nombres entiers

Probabilités sur un univers fini

Développement décimal d un réel

Logique. Plan du chapitre

Cours de mathématiques

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables

Cours d Analyse. Fonctions de plusieurs variables

Objets Combinatoires élementaires

Fonctions de plusieurs variables

1 Première section: La construction générale

Formes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions

La fonction exponentielle

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications

Carl-Louis-Ferdinand von Lindemann ( )

Université Paris-Dauphine DUMI2E 1ère année, Applications

Un K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E

Corps des nombres complexes, J Paul Tsasa

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Simulation de variables aléatoires

Probabilités sur un univers fini

Suites numériques 3. 1 Convergence et limite d une suite

Programmation linéaire et Optimisation. Didier Smets

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples

Introduction. Mathématiques Quantiques Discrètes

Chapitre 2. Eléments pour comprendre un énoncé

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://

Amphi 3: Espaces complets - Applications linéaires continues

La mesure de Lebesgue sur la droite réelle

Capes Première épreuve

Cours arithmétique et groupes. Licence première année, premier semestre

Théorème du point fixe - Théorème de l inversion locale

Cours 02 : Problème général de la programmation linéaire

M2 IAD UE MODE Notes de cours (3)

Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions

Chapitre 1 : Évolution COURS

PEUT-ON «VOIR» DANS L ESPACE À N DIMENSIONS?

Moments des variables aléatoires réelles

I. Polynômes de Tchebychev

Calculs de probabilités

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

Fibonacci et les paquerettes

Calcul différentiel. Chapitre Différentiabilité

Les indices à surplus constant

Calculer avec Sage. Revision : 417 du 1 er juillet 2010

NOMBRES COMPLEXES. Exercice 1 :

Cours d Analyse I et II

Quelques tests de primalité

Modèles bi-dimensionnels de coques linéairement élastiques: Estimations de l écart entre leurs solutions.

DOCM Solutions officielles = n 2 10.

Filtrage stochastique non linéaire par la théorie de représentation des martingales

Intégration et probabilités TD1 Espaces mesurés

CHOIX OPTIMAL DU CONSOMMATEUR. A - Propriétés et détermination du choix optimal

Table des matières. I Mise à niveau 11. Préface

La persistance des nombres

IV- Equations, inéquations dans R, Systèmes d équations

Texte Agrégation limitée par diffusion interne

Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche

Exercices - Nombres complexes : corrigé. Formes algébriques et trigonométriques, module et argument

Rappels et compléments, première partie : Nombres complexes et applications à la géométrie

Contexte. Pour cela, elles doivent être très compliquées, c est-à-dire elles doivent être très différentes des fonctions simples,

Calculabilité Cours 3 : Problèmes non-calculables.

Commun à tous les candidats

Date : Tangram en carré page

FONCTION EXPONENTIELLE ( ) 2 = 0.

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

III- Raisonnement par récurrence

Transcription:

Journal de Théorie des Nombres de Bordeaux 6 2004, 7 Nombres de Bell et somme de factorielles par Daniel BARSKY et Bénali BENZAGHOU Résumé. Dj. Kurepa a conjecturé que pour tout nombre premier impair, p, la somme n! n est pas divisible par p. Cette somme est reliée aux nombres de Bell qui apparaissent en combinatoire énumérative. Nous donnons une expression du n-ième nombre de Bell modulo p comme la trace de la puissance n-ième d un élément fixe dans l extension d Artin-Schreier de degré p du corps premier à p éléments. Cette expression permet de démontrer la conjecture de Kurepa en la ramenant à un problème d algèbre linéaire. Abstract. Dj. Kurepa has conjectured that for any odd prime number p, the sum n! is not divisible by p. This sum is related to the Bell numbers that occur in enumerative combinatorics. We give a formula for the n-th Bell number modulo p as the trace of the n-th power of a fixed element in the Artin-Schreier extension of degree p of the field with p elements. This formula allows us to prove the Kurepa s conjecture by reducing it to a linear algebra problem.. Introduction. Dj. Kurepa a conjecturé dans [7] que si p est un nombre premier impair, la somme κ p = n! n est pas divisible par p, par exemple κ 2 = 2, κ 3 mod 3, κ 5 4 mod 5, κ 7 6 mod 7,..., κ 53 3 mod 53,... A. Gertsch a remarqué dans sa thèse, [4], que les nombres de Bell qui apparaissent en combinatoire énumérative sont liés aux κ p mod p. En effet si l on note P n le n-ième nombre de Bell alors par définition n P n = Sn, k où Sn, k est le nombre de Stirling de deuxième espèce, cf. [3]. Or k= Sp, k p k! mod pz, k p Manuscrit reçu le 2 avril 2002.

2 Daniel Barsky, Bénali Benzaghou et donc P κ p. Nous utilisons cette remarque et les résultats que nous avons sur les nombres de Bell modulo p pour démontrer cette conjecture... Notations. Le n-ième nombre de Bell, P n, compte le nombre de partitions d un ensemble à n-éléments en sous-ensembles non-vides. Leurs premières valeurs sont : P 0 =, P =, P 2 = 2, P 3 = 5, P 4 = 5, P 5 = 52,..., P 5 = 382 958 545 Nous notons respectivement N = {, 2,...} les entiers naturels, Z les entiers relatifs, Q les nombres rationnels. Soit p un nombre premier, que nous supposerons impair sauf indication contraire. Nous notons F p Z/pZ le corps premier à p éléments, F p une clôture algébrique de F p. Nous confondrons les éléments de F p avec leurs antécédents dans Z par la surjection canonique de Z sur F p..2. Résultats. Le résultat principal est la preuve de la conjecture de Kurepa au théorème 3. Nous montrons au théorème que la fonction génératrice des nombres de Bell, F x = n 0 P n x n, est congrue modulo pz[[x]] à la série de Taylor en zéro de la fraction rationnelle : F p x = xn n + x... p x x x p. Remarque. Ce résultat se généralise aisément, on peut montrer que la série génératrice des nombres de Bell est congrue modulo p h Z[[x]] à une fraction rationnelle F p,h x. On en déduit des congruences modulo p h Z pour les nombres de Bell en utilisant un peu d analyse p-adique. Ce point de vue est développé dans [2]. On pose F p x = n 0 P n,p x n, on a donc P n,p P n mod pz. La fraction rationnelle F p x possède un développement en série de Laurent à l infini noté P n,p x n. On constate que P,p n! mod pz. n 0 Soit une racine dans F p du polynôme x p +x et soit F p = F p []. On montre au théorème 2 que, si = + 2p + + p p p 2, on a pour n Z P n,p Tr Fp/Fp TrFp/F p c +n mod pz Ch. Radoux, [9], avait déjà vu que l extension d Artin-Schreier F p [] joue un rôle important dans l arithmétique des nombres de Bell.

donc Nombres de Bell et somme de factorielles 3 Nous en déduisons en particulier que P,p Tr Fp/F p TrFp/F p 2, P,p 0 mod pz Tr Fp/F p 2 = 0. On décompose cp sur la F p -base normale de F p, constituée par les éléments + i 0 i p. On pose cp = + i, F p. On montre au lemme 9 que les satisfont un système de p équations linéaires que nous ne savons pas résoudre explicitement en toute généralité. Par contre on montre que l on a toujours λ = 0, cf. relations 6, et que κ p = 0 équivaut à λ = 0, cf. lemme 0. Pour montrer la conjecture de Kurepa nous raisonnons par l absurde. Nous montrons au théorème 3 que, pour p premier impair, l hypothèse κ p 0 mod p implique que = 0 pour 0 i p, autrement dit que cp = 0, ce qui est absurde car l équation x p x n a pas x = 0 comme racine. Nous remercions A. Robert pour avoir attiré notre attention sur ce problème. Nous remercions A. Junod et S. Zerroukhat de nous avoir signalé des erreurs graves dans les versions antérieures..3. Rappels sur les nombres de Bell. Nous rappelons tout d abord la définition des nombres de Bell. Pour toutes les questions de combinatoire notre référence est Comtet, cf. [3]. Définition. Le n-ième nombre de Bell, P n, est le nombre de partitions d un ensemble à n éléments en sous-ensembles non-vides. Lemme. Les nombres de Bell sont caractérisés par la relation de récurrence suivante : n n P 0 = et P n+ = P k si n 0. k Leur fonction génératrice ordinaire est : F x = n 0 P n x n = n 0 k=0 x n x... nx Démonstration : Pour la démonstration voir [3]. Les nombres de Bell ont de nombreuses autres caractérisations, cf. par exemple [2].

4 Daniel Barsky, Bénali Benzaghou 2. Nombres de Bell modulo p. Nous notons P n,p la réduction modulo pz du n-ième nombre de Bell que nous confondrons avec l image de P n dans F p. Nous utiliserons dans toute la suite la définition classique suivante : Définition 2. Soient Gx, Hx deux fractions rationnelles de Qx, on suppose que Gx et Hx sont développables formellement au voisinage de zéro en séries de Taylor à coefficients entiers relatifs : Gx = n 0 g n x n Z[[x]], Hx = n 0 h n x n Z[[x]]. On dira que Gx est congrue à Hx modulo pz[[x]] si leurs séries de Taylor en zéro le sont, autrement dit : Gx Hx mod pz[[x]] n 0 g n x n n 0 h n x n mod pz[[x]]. Avec cette définition on a : Théorème. Soit p un nombre premier et soit F p x = xn n + x... p x x x p alors la fonction génératrice des nombres de Bell est congrue modulo pz[[x]] à F p x. Démonstration : La preuve est élémentaire. On a : P n x n = x n x... nx n 0 n 0 donc P n x n = n 0 = j 0 On remarque que = j 0 x jp+n x... jp + nx x n jp + x... jp + nx x jp x... jpx x jp x... jpx. x p j mod pz[[x]] x... px

et que Nombres de Bell et somme de factorielles 5 x n jp + x... jp + nx x n x... nx De là il vient immédiatement : P n,p x n n 0 x n x... nx j 0 x p x... px mod pz[[x]]. j mod pz[[x]], et en sommant la série géométrique en j, il vient finalement : P n,p x n xn n + x... p x x... p x x p mod pz[[x]] n 0 où par convention dans la somme xn n + x... p x le terme correspondant à n = p vaut x, on applique la convention classique : un produit vide vaut. Corollaire. La série de Taylor en zéro de la fraction rationnelle F p x est congrue modulo pz[[x]] à p 2 2 F p x P n,px n + P,p P 0,p x x x p mod pz[[x]] Démonstration : On a montré au théorème que P n,p x n xn n + x... p x x x p mod pz[[x]] n 0 multiplions les deux membres par x x p et identifions, il vient : p 2 P n,p x n + P,p P 0,p x x n n + x... p x mod pz[[x]]. On en déduit immédiatement que p 2 F p x n,px n + P,p P 0,p x x x p mod pz[[x]] Nous allons étudier les zéros dans F p du dénominateur D p x de la fraction rationnelle F p x.

6 Daniel Barsky, Bénali Benzaghou Lemme 2. Soit D p x = x x p. Notons i, i p, les racines de D p x dans F p, elles vérifient p i = i +. i j dans F p si i j. F p = F p i est une extension d Artin-Schreier de degré p de F p, dont le groupe de Galois GalF p /F p, isomorphe à Z/pZ, +, a pour générateur le Frobenius σ p : x x p. Démonstration : Le polynôme x p x = x p D p, x est à racines simples car d dx D p,x = px + p xx p 2. Il est irréductible sur F p, cf. [8]. On a p i i = 0. On vérifie que, dans F p, si est une racine de x p x, alors + aussi car : + p + = p + + + = p = 0 donc dans F p les racines de D p, sont, +,..., + p. Le polynôme x p x est de type Artin-Schreier et on sait que ces polynômes engendrent des extensions séparables de F p, dont le groupe de Galois GalF p /F p, isomorphe à Z/pZ, +, est engendré par le Frobenius σ p : x x p, cf. [8]. Nous allons donner une expression des nombres de Bell modulo p au théorème comme la trace de certaines puissances de. Pour les propriétés des corps finis notre référence est [8]. Dans le lemme suivant nous donnons quelques propriétés élémentaires des racines du polynôme x p x dans F p. Lemme 3. Soit une racine du polynôme x p x dans F p. Les autres racines dans F p de ce polynôme sont + i pour i p. On a : Posons : t p = pp p = +p+ +p, Tr Fp/F p i = 0 pour 0 i p 2, Tr Fp/F p = Tr Fp/F p =. = pp t p p = +2p+ +pp 2, Notons encore, σ p : x x p, le Frobenius absolu de F p. Avec ces notations on a dans F p : 3 ps = σp s = + s, tp = n 4 = σp s = cp 5 +... + s.

Nombres de Bell et somme de factorielles 7 Démonstration : On a vu que le polynôme x p x engendre une extension d Artin-Schreier, F p = F p [] de F p. Un générateur de GalF p /F p est le Frobenius absolu, σ p, qui à a F p associe σ p a = a p. On a bien évidemment dans F p : σ i p = pi = + i pour i Z, et + i p + i = 0 Tr Fp/Fp = Tr Fp/Fp =... = Tr Fp/Fp p 2 = 0 Tr Fp/Fp = Tr Fp/Fp + = Tr Fp/Fp et il est évident que T r Fp/Fp = car le polynôme réciproque de x p x est x p + x. La norme de sur F p est par définition : N Fp/F p = +p+ +p = tp cette norme vaut car le polynôme minimal de est x p x. Donc l application N F p n n est périodique de période divisant t p, par conséquent cp = p p t p =. Un calcul élémentaire montre que = pp t p p = +2p+ +pp 2 N. Considérons l élément cp de F p, alors : σ p = p = p p p tp = cp+pp t p = cp pp = cp. On montre alors facilement par récurrence que : σ s p = +... + s. Remarque. La relation cp = montre que est une racine - ième de dans F p, les racines p -ièmes de sont exactement les n cp pour n p. Lemme 4. Soit une racine dans F p du polynôme x p x et soit F p x = µ x p =+ la décomposition de F p x en éléments simples dans F p x. On a : 6 µ = c Tr Fp/F p = = P 0,p +... + P,p + P,p P 0,p.

8 Daniel Barsky, Bénali Benzaghou Démonstration : On a dans F p : µ = n n +... p p. Donc : µ = n +... p = +... + n avec la convention que pour n = 0 le terme correspondant dans la dernière somme vaut. D après la relation 5 on a µ = c cp{ + + + + + +... + p 2 } = c σp i = c Tr Fp/Fp. On a aussi d après le corollaire : µ = P 0,p + P,p p 2 + + P p 2,p + P,p P 0,p. Définition 3. La fraction rationnelle F p x F p x possède un développement de Laurent au voisinage de l infini que l on note : 7 F p x = P n,p x n. n En effet on a F p x = xn xn +... xp x x p = x xn +... x p x x p x il est clair que l on peut développer cette dernière expression en série de Laurent. Théorème 2. On a dans F p, pour n Z 8 P n,p = Tr Fp/F p TrFp/F p c +n. Démonstration : On tire du lemme 4 que dans F p on a pour n Z : P n,p = µ n. p =+ Le lemme 4 permet d écrire l expression précédente sous la forme P n,p = Tr Fp/Fp c +n. p =+

Nombres de Bell et somme de factorielles 9 Or les racines du polynôme x p x dans F p se déduisent de l une d entre elle par l action des puissances successives du Frobenius. On en déduit que dans F p on a : d où la formule 8. P n,p = Tr Fp/F p TrFp/F p c +n, 3. Preuve de la conjecture de Kurepa. Posons pour tout nombre premier κ p = n!. Nous sommes maintenant en mesure de démontrer la conjecture de Dj. Kurepa, cf. [7] : κ p n est pas divisible par p si p > 2. Lemme 5. Avec les notations précédentes on a dans F p : P,p = P,p P 0,p, et P,p = n! = κ p Démonstration : On a vu au corollaire que dans F p, F p x = P 0,p + P,p x + + P p 2,p x p 2 + P,p P 0,p x x x p d où la première expression de P,p comparer avec l introduction. Pour la deuxième expression, soit F p x = xn n + x... p x x x p, d après la définition 3 cette fraction rationnelle possède un développement en série de Laurent noté : F x = P n,p. On a donar identification : xn n 9 P,p = p n n + n + 2... p En remplaçant n par p p n dans l expression précédente il vient P,p = p n+ p p n + p p n + 2... 2 et en réduisant modulo p il vient d où le résultat. P,p n! mod p

0 Daniel Barsky, Bénali Benzaghou Lemme 6. Les éléments de F p, + i 0 i p, forment une F p-base α i normale de F p. Si Z F p et si Z = + i, α i F p, alors Z α i = Tr Fp/Fp + i et Tr Fp/Fp Z = Démonstration : On remarque tout d abord que par définition les + i, 0 i, sont les racines dans F p du polynôme D p x = x p +x et donc 0 Tr Fp/F p + i = Par ailleurs on a 2 Tr Fp/Fp = Tr + i Fp/Fp + i 2 2 0 i<j Si p 3 le coefficient de x p 2 dans D p x est nul donc : 0 i<j + i + j = 0 α i + i + j = ce qui entraîne Tr Fp/Fp + i 2 =. Si p = 2 on a 2 = + et donc Tr F p/f p + i 2 = dans F 2. Par ailleurs on a Tr Fp/Fp + i = + j Tr i j Fp/Fp Tr + j Fp/Fp, si 0 i < j p + i = Tr Fp/Fp + i 2, si 0 i = j p. Finalement on a montré que : Tr Fp/F p + i = + j { 0 si 0 i < j p si 0 i = j p.

Nombres de Bell et somme de factorielles Autrement dit les, 0 i p, forment une base auto-duale + i pour la forme bilinéaire non dégénérée sur F p, x, y = Tr Fp/Fp xy cf. [8]. On tire immédiatement de la relation Z α i = Tr Fp/Fp + i On peut remarquer de manière alternative que dans F p : + i = + i = + i + + i + 2... + i + p. Autrement dit les, 0 i p, sont au coefficient près les + i valeurs en des polynômes d interpolation de Lagrange sur les points 0,,... p, ce qui suffit à montrer qu ils forment une F p -base de F p. On tire immédiatement de la relation 0 que si Z F p avec Z = α i + i, α i F p alors Tr Fp/Fp Z = α i. Remarque. Tous les calculs qui suivent sont faits dans F p. Lemme 7. On a l équivalence i ii i: la constante de Kurepa, κ p = 0! +! + + p!, est première à p ii: Tr Fp/Fp 0 cp Démonstration : On a vu au lemme 5 que κp 0 mod p P,p 0 mod p et au théorème 2 que P,p = Tr Fp/F p TrFp/F p 2. Or Tr Fp/F p 0 dans Fp, par exemple parce que P 0,p =, on peut en fait calculer sa valeur en fonction de p. On a donc nécessairement κ p = 0 Tr Fp/F p cp 2 = 0. Or d après le lemme 3 on a cp 2 = pcp = σ p, et il est évident que Tr Fp/F p cp 2 = Tr Fp/F p σp = Tr Fp/F p. Nous allons calculer les composantes, 0 i p, de cp sur la F p -base de F p, + i, 0 i p sous l hypothèse κ p = 0. Nous allons montrer que sous cette hypothèse les coefficients sont tous nuls ce qui

2 Daniel Barsky, Bénali Benzaghou contredit évidemment cp 2 0, puisque 0 en tant que racine du polynôme x p x. Lemme 8. On pose cp = + i où F p. On a 2 = Tr Fp/F p + i. Démonstration : D après le lemme 6, = Tr Fp/F p + i. Lemme 9. Si p > 2, les composantes de cp sur la F p -base + i vérifient les relations 3 4 i λ 0 = λ λ 0 λ = λ 0 λ 0 2 λ 2 2 = λ., λ 0 i i =. λ 0 p λ p = λ p 2 en particulier si p > 2 on a toujours λ = 0 Si p = 2 on a c 2 = et donc c 2 =. Démonstration : On a en effet, d après le lemme 3, la relation c = pcp que l on va exprimer dans la F p -base de F p, + i 0 i p. On a d une part d après le lemme 3 5 pcp = On a d autre part + i +. c = + i = λ 0 2 + + i. Or on a vu au lemme 3 que Tr Fp/Fp =, et donc : = + i = = + i

par conséquent autrement dit Nombres de Bell et somme de factorielles 3 = 2 + 2 = + i = 2 + i + i i + i. i + i Or si p > 2 on a i = 0 dans F p et si p = 2 on a i =, donc finalement 2 = + i si p > 2 + i si p = 2. + De cette relation on tire immédiatement que si p > 2 6 c = λ i i λ 0 + λ0 i λ i i + i. La rapprochement des relations 5 et 6 donne si p > 2 + i + = λ i i λ 0 + λ0 i λ i i + i. et en identifiant les coefficients de + i dans les deux membres on obtient les relations annoncées. La relation λ 0 λ = λ 0 implique λ = 0. Le cas p = 2 se traite directement. Lemme 0. Avec les notations du lemme 8 on a κ p = 0 λ = 0 Démonstration : Par définition on a cp = on a = Tr Fp/F p + i, en particulier λ = Tr Fp/F p et donc λ = κ p d après le lemme 7.. D après le lemme 8 + i Théorème 3. Pour p premier impair la constante de Kurepa, κ p = 0! +! + + p!, est première à p pour p = 2 κ 2 = 2.

4 Daniel Barsky, Bénali Benzaghou Démonstration : On vérifie directement que κ 2 = 0!+! = 2. On supposera donc dans toute la suite de la démonstration que p > 2. On garde les notations du lemme 9. On pose donc cp = + i, F p. On raisonne par l absurde en supposant que pour p > 2 on a κ p 0 mod p. D après le lemme 0 on a alors λ = 0. En tenant compte de la relation λ = 0, le lemme 9 donne alors la relation 7 i λ 0 = 0. Posons X 0 = λ 0, et X i = λ 0, pour i p. i Avec ces nouvelles inconnues le système 3 et 4 devient sous les hypothèses p > 2 et κ p = 0, λ = 0 : 8 9 X i = X 0 X = X 0 X 2 = X + X 0 X 3 = 2X 2 + X 0. X i = i X i + X 0. X = p 2X p 2 + X 0. La relation 8 provient de la relation 7 et de la remarque suivante : si p > 2 alors i = 0 et donc i λ λ 0 0 = λ 0. i Les relations 9 proviennent des relations 4 par un simple changement de variable. Remarque. L hypothèse κ p = 0 n est pas utilisée pour les relations 9 par contre elle l est pour la relation 8

20 Nombres de Bell et somme de factorielles 5 On tire facilement par récurrence des relations 9 que pour p > 2 : X = X 0 X 2 = X 0 X 3 = X 0 2 + 2 X 4 = X 0 3 + 3 2 3 2 {.X i = X 0 } i 3 k=0 k i 2i 3... i 2 k { X i = X 0 } i 2 k=0 k i i 2... i k {.X = X 0 } p 3 k=0 k p 2... p 2 k. En effet faisons l hypothèse de récurrence : Pour 2 i p on a i 2 } X i = X 0 { k i i 2... i k. k=0 On vérifie directement que pour i = 2 on a bien X 2 = X 0 = 0. Les relations 9 donnent en tenant compte de l hypothèse de récurrence : i 2 } X i+ = i X 0 { k i i 2... i k + X 0 k=0 i 2 } = X 0 { i + k i i i 2... i k k=0 i } = X 0 { k i i... i k. k=0 Les relations 20 sont démontrées. Avec la convention habituelle qu un produit vide vaut, il vient si d i 2 : k i i 2... i k = i 2 = k=0 d k i i 2... i k = k= i 2 k= + k= k i i 2... i k = k i i 2... i k.

6 Daniel Barsky, Bénali Benzaghou Ajoutons membre à membre les relations 20 il vient : { X i = X 0 p 2 k= { p 2 = X 0 k= } k i i 2... i k k } i i 2... i k. Or, toujours avec la convention qu un produit vide vaut, on a : p i... i k = = 0!, si k = 0 i p 2 i p k! = k! = k!, si k p 2. k k k + p Comme = k+ dans F p, on a : k + { p 2 } p X i = X 0 k k! = X 0 k! = X 0 κ p. k + k= On vient donc de montrer que : 2 p > 2 et κ p = 0 = X i = 0 et donc en comparant la relation 2 avec la relation 8 il vient : 22 p > 2 et κ p = 0 = X 0 = 0. Or X 0 = λ 0, reportons la valeur λ 0 = 0 dans les relations 4 il vient immédiatemment en utilisant la relation λ = 0 donnée au lemme 9 : 23 p > 2 et κ p = 0 = 0 = λ 0 = λ = λ 2 = = λ p 2 = λ. On a donc montré que : 24 p > 2 et κ p = 0 = cp = 0 ce qui est absurde car 0 puisqu il est racine de x p x = 0. La démonstration de la conjecture de Kurepa est complète. Bibliographie [] D. Barsky, Analyse p-adique et nombres de Bell. C. R. Acad Sc. Paris série A, 282 976, 257 259 & Groupe d Étude d Analyse Ultramétrique. Y. Amice, Ph. Robba, 3-ième année, 975/76, exposé n. [2] D. Barsky & B. Benzaghou, Congruences pour les nombres de Bell, préprint, 992. [3] L. Comtet, Analyse Combinatoire. PUF, Collection Sup le mathématicien, Paris, 970. k=0

Nombres de Bell et somme de factorielles 7 [4] A. Gertsch Hamadene, Congruences pour quelques suites classiques de nombres ; sommes de factorielles et calcul ombral. Thèse présentée à la faculté des sciences pour obtenir le grade de docteur ès sciences, Université de Neuchâtel, février 999. [5] A. Gertsch & A. Robert, Some congruences concerning the Bell numbers. Bulletin of the Belgian Mathematical Society Simon Stevin vol. 3 996, 467 475. [6] A. Junod, A Generalized Trace Formula for Bell Numbers. A paraître dans Expositiones Mathematicae. [7] Dj. Kurepa, On the left factorial function!n. Math. Balkanica vol. 97, 47 53. [8] R. Lidl & H. Niederreiter, Introduction to finite fields and their applications. Revision of the 986 first edition. Cambridge University Press, Cambridge, 994. [9] Ch. Radoux, Nombres de Bell modulo p premier et extensions de degré p de F p. C. R. Acad. Sc. Paris, série A, 28, séance du 24 novembre 975, 879 882. [0] A. Robert, A course in p-adic Analysis. G.T.M. 98, Springer-Verlag, 2000. Daniel Barsky Université Paris 3 Institut Galilée LAGA, URA CNRS n 742 Av J.-B. Clément F-93430 VILLETANEUSE, France E-mail : barsky@math.univ-paris3.fr Bénali Benzaghou USTHB Faculté de Mathématiques El Alia BP 32 Bab Ezzouar 6 ALGER, Algérie E-mail : benrect@wissal.dz