Zum Inhalt springen

Satz von Bruck-Ryser-Chowla

aus Wikipedia, der freien Enzyklopädie

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 <math> t-(v,k,\lambda)</math>-Blockplan existiert, dann gilt

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

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

Endliche projektive Ebenen

Im Spezialfall eines minimalen symmetrischen 2-Blockplans mit <math>\lambda=1</math> – also für endliche projektive Ebenen<ref>Das heißt <math>t=2</math> verschiedene „Blöcke“, die in der Geometrie Geraden genannt werden, haben stets genau einen (<math>\lambda=1</math>) gemeinsamen „Punkt“.</ref> – lässt sich der Satz so formulieren:

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

Fasst man eine endliche projektive Ebene der Ordnung <math>q</math> als speziellen symmetrischen Blockplan auf, dann lauten die Parameter, die den Blockplan beschreiben

<math> v=q^2+q+1;\quad k=q+1;\lambda=1</math>.

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

Folgerungen und Beispiele

Aus dem Satz folgt dann zum Beispiel, dass es zu den Ordnungen 6 und 14 keine Ebene gibt, er schließt aber nicht die Existenz von Ebenen der Ordnungen <math>10=2\cdot 4+2=3^2+1^2</math> und <math>12\equiv 0 \pmod 4</math> aus. Es konnte gezeigt werden, dass keine projektive Ebene der Ordnung 10 existiert.<ref>van Lint (1992)</ref> Daraus folgt, dass die Bedingungen im Satz von Bruck-Ryser-Chowla keine hinreichenden Bedingung für die Existenz von Blockplänen sind.

  • Die Ordnungen <math>q=5=4+1; 9=9+0; 13=9+4</math> erfüllen die notwendige Bedingung des Satzes für projektive Ebenen. Tatsächlich existieren Ebenen mit diesen Ordnungen, da sie zugleich Primzahlpotenzen sind.
  • Über Ebenen der Ordnung <math>q=27=3^3</math> macht der Satz keine Aussage, da <math>27\equiv 3\pmod 4</math> ist. Da 27 eine Primzahlpotenz ist, existiert eine Ebene mit dieser Ordnung.

Ausgeschlossene Ordnungen

Die Folge der Zahlen, die aufgrund des Satzes von Bruck und Ryser nicht Ordnungen einer projektiven Ebene sein können, also die Zahlen <math>n\in\N</math> mit <math>n\equiv 1,2\pmod 4</math>, die nicht Summe von zwei Quadratzahlen sind, bilden die Folge A046712 in OEIS.

Die kleinsten damit ausgeschlossenen Ordnungen sind:<ref>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.</ref> 6, 14, 21, 22, 30, 33, 38, 42, 46, 54, 57, 62, 66, 69, 70, 77, 78, 86, 93, 94, 102, 105, 110, 114, 118, 126, 129, 133, 134, 138, 141, 142, 150, 154, 158, 161, 165, 166, 174, 177, 182, 186, 189, 190, 198, 201, 206, 209, 210, 213, 214, 217, 222, 230, 237, 238, …

Literatur

Fachartikel

  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}

Lehrbücher, die in das Themengebiet einführen

  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}

Weblinks

Einzelnachweise und Anmerkungen

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Satz_von_Bruck-Ryser-Chowla&oldid=2542207“