Aller au contenu

Théorème de Bruck-Ryser-Chowla

Un article de Wikipédia, l'encyclopédie libre.

Le théorème de Bruck-Ryser-Chowla est un énoncé combinatoire concernant certains plans en blocs qui formule des conditions nécessaires pour leur existence.

Le théorème a été démontré en 1949 dans le cas particulier des plans projectifs par Richard H. Bruck et Herbert John Ryser[1] et généralisé en 1950 aux plans en blocs par Ryser et Sarvadaman Chowla[2].

Théorème de Bruck-Ryser-Chowla — S'il existe un plan en blocs symétrique de paramètres , alors

  • si est pair, le nombre est un carré parfait ;
  • si est impair, l'équation diophantienne possède une solution non nulle .

Version faible : théorème de Bruck-Ryser

[modifier | modifier le code]

Dans le cas des plans projectifs finis, on a , et le théorème se formule comme suit :

Théorème de Bruck-Ryser — S'il existe un plan projectif d'ordre pour ou , alors est la somme de deux carrés (éventuellement nuls).

Un plan projectif fini d'ordre est le cas particulier d'un plan en blocs symétrique avec les paramètres

.

Conséquences et exemples

[modifier | modifier le code]
  • La condition arithmétique du théorème de Bruck-Ryser implique qu'il n'existe pas de plan d'ordre 6 ou 14, mais il n'exclut pas l'existence de plans d'ordre ni d'ordre . On a démontré par des calculs numériques intensifs qu'il n'existe pas de plan projectif d'ordre 10[3],[4] ; ceci illustre le fait que les conditions du théorème ne sont pas suffisantes pour assurer l'existence de plans en blocs.
  • Les ordres satisfont les conditions pour l'existence de plans projectifs. Un autre argument qui assure leur existence est que ce sont des puissances de nombres premiers.
  • Pour , le théorème ne dit rien. Comme 27 est une puissance d'un nombre premier, il existe un plan projectif de cet ordre.

Ordres exclus

[modifier | modifier le code]

Les nombres qui, par le théorème de Bruck et Ryser ne peuvent pas être les ordres d'un plan projectif, sont les entiers avec qui ne sont pas somme de deux carrés. ils forment la suite A046712 de l'OEIS : 6, 14, 21, 22, 30, 33, 38, 42, 46, 54, 57, 62, 66, 69, 70, 77, 78, 86, 93, 94, 102, ...

Bibliographie

[modifier | modifier le code]
Articles
  • Richard H. Bruck et Herbert John Ryser, « The nonexistence of certain finite projective planes », Canadian Journal of Mathematics, Canadian Mathematical Society, vol. 1,‎ , p. 88–93 (DOI 10.4153/CJM-1949-009-2, lire en ligne)
  • Sarvadaman Chowla et Herbert John Ryser, « Combinatorial problems », Canadian Journal of Mathematics, Canadian Mathematical Society, vol. 2,‎ , p. 93–99
  • (en) Clement W. H. Lam, « The Search for a Finite Projective Plane of Order 10 », The American Mathematical Monthly, vol. 98, no 4,‎ , p. 305–318 (lire en ligne).
  • Roger Guérin, « Vue d'ensemble sur les plans en blocs incomplets équilibrés et partiellement équilibrés », Revue de l'Institut International de Statistique, vol. 33, no 1,‎ , p. 24-58 (JSTOR https://www.jstor.org/stable/1401306, MR 180497, zbMATH 137.37404).
  • Bernard Monjardet, « Combinatoire et algèbre », Mathématiques et sciences humaines, t. 23,‎ , p. 37-50 (lire en ligne, consulté le ).
Manuels

Notes et références

[modifier | modifier le code]

Articles liés

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]