Der Satz von Bruck–Ryser–Chowla ist eine kombinatorische Aussage über mögliche Blockpläne, die notwendige Bedingungen für deren Existenz angibt.

Der Satz besagt: Wenn ein symmetrischer ${\displaystyle t-(v,k,\lambda )}$-Blockplan existiert, dann gilt

• falls v gerade ist, dann ist ${\displaystyle k-\lambda }$ eine Quadratzahl;
• falls v ungerade ist, dann hat die diophantische Gleichung
  ${\displaystyle x^{2}=(k-\lambda )\cdot y^{2}+(-1)^{\frac {v-1}{2}}\cdot \lambda \cdot z^{2}}$
  eine nichtverschwindende Lösung ${\displaystyle (x,y,z)\in \mathbb {Z} ^{3}\setminus \{(0,0,0)\}.}$

Der Satz wurde 1949 für den Spezialfall der projektiven Ebenen von Richard Bruck und Herbert John Ryser bewiesen und 1950 mit Sarvadaman Chowla auf allgemeinere symmetrische Blockpläne verallgemeinert.

Endliche projektive Ebenen

Im Spezialfall eines minimalen symmetrischen 2-Blockplans mit ${\displaystyle \lambda =1}$ – also für endliche projektive Ebenen – lässt sich der Satz so formulieren:

Wenn eine projektive Ebene der Ordnung ${\displaystyle q}$ existiert und ${\displaystyle q\equiv 1{\pmod {4}}}$ oder ${\displaystyle q\equiv 2{\pmod {4}}}$ gilt, dann ist ${\displaystyle q}$ die Summe von zwei Quadratzahlen (von denen auch eine verschwinden kann).

Fasst man eine endliche projektive Ebene der Ordnung ${\displaystyle q}$ als speziellen symmetrischen Blockplan auf, dann lauten die Parameter, die den Blockplan beschreiben

${\displaystyle v=q^{2}+q+1;\quad k=q+1;\lambda =1}$.

In dieser spezielleren Formulierung für projektive Ebenen wird der Satz auch als Satz von Bruck und Ryser zitiert.

Literatur

Fachartikel

• Richard H. Bruck, Herbert John Ryser: The nonexistence of certain finite projective planes. In: Canadian Journal of Mathematics. Band 1. Canadian Mathematical Society, 1. Februar 1949, S. 88–93, doi:10.4153/CJM-1949-009-2 (Abstract mit Link zum englischen PDF-Volltext [abgerufen am 8. Februar 2012]). 
• Sarvadaman Chowla, Herbert John Ryser: Combinatorial problems. In: Canadian Journal of Mathematics. Band 2. Canadian Mathematical Society, 1950, S. 93–99. 
• C. W. H. Lam: The Search for a Finite Projective Plane of Order 10. In: American Mathematical Monthly. Band 98, Nr. 4, 1991, S. 305–318 (englisch, cecm.sfu.ca [abgerufen am 8. Februar 2012]). 

Lehrbücher, die in das Themengebiet einführen

• Jeffrey H. Dinitz, Douglas Robert Stinson: A Brief Introduction to Design Theory. In: J. H. Dinitz and D. R. Stinson (Hrsg.): Contemporary Design Theory: A Collection of Surveys. Wiley, New York 1992, ISBN 0-471-53141-3, Kap. 1, S. 1–12. 
• Jacobus Hendricus van Lint, R. M. Wilson: A Course in Combinatorics. 2. Auflage. Cambridge University Press, Cambridge 2001, ISBN 0-521-80340-3. 
• Jiří Matoušek, Jaroslav Nešetřil: Diskrete Mathematik. Eine Entdeckungsreise. Springer, Berlin / Heidelberg / New York / … 2002, ISBN 3-540-42386-9, 8: Endliche projektive Ebenen und 11.1: Designs (DNB 963555103/04 [abgerufen am 8. Februar 2012] englisch: Invitation to Discrete Mathematics. Übersetzt von Hans Mielke, Lehrbuch, das wenig Vorkenntnisse – gehobene Schulmathematik bis 2. Semester Mathematikstudium – voraussetzt). 
• Albrecht Beutelspacher: Einführung in die endliche Geometrie I. 2. Auflage. BI Wissenschaftsverlag, Mannheim 1983, ISBN 3-411-01632-9, S. 176–185. 

Weblinks

• Eric W. Weisstein: Bruck–Ryser–Chowla Theorem. In: MathWorld (englisch).
• block design. In: Encyclopaedia of Mathematics

Einzelnachweise und Anmerkungen

1. ↑ Bruck und Ryser (1949)
2. ↑ Chowla und Ryser (1950)
3. ↑ Das heißt ${\displaystyle t=2}$ verschiedene „Blöcke“, die in der Geometrie Geraden genannt werden, haben stets genau einen (${\displaystyle \lambda =1}$) gemeinsamen „Punkt“.
4. ↑ van Lint (1992)
5. ↑ Reinhard Zumkeller: Tabelle n, a(n) für n = 1..10000 gibt die ersten 10000 so ausgeschlossenen Zahlen samt ihrer Nummer in der Zahlenfolge A046712 an: ASCII-Textdatei, abgerufen am 9. Februar 2012.