Satz von Schützenberger

Der Satz von Schützenberger, benannt nach dem französischen Mathematiker Marcel Schützenberger, ist ein Satz aus der Theorie der Blockpläne, einem Teilgebiet der Mathematik, welches zwischen Kombinatorik und endlicher Geometrie angesiedelt ist. Der Satz gibt eine der ersten notwendigen Bedingungen für die Existenz gewisser symmetrischer Blockpläne an.

Formulierung des Satzes

Ist eine gerade Zahl, so ist es für die Existenz eines symmetrischen $2\text{-}(v,k,\lambda)$ -Blockplans notwendig, dass $n=k-\lambda$ , die Ordnung des Blockplans, eine Quadratzahl ist

Beweisskizze

Die zu dem Blockplan gehörige Inzidenzmatrix erfüllt stets die Gleichung

$A{A^{T}}=nI+\lambda J$ ,

wobei die $v\times v$ -Einheitsmatrix und die $v\times v$ -Einsmatrix bezeichnet. Es sind also die Matrixelemente in der Hauptdiagonalen gleich und überall sonst gleich $\lambda$ .

Man hat also:

$A{A^{T}}={\begin{pmatrix}{k}&{\lambda }&\ldots &{\lambda }\\{\lambda }&{k}&\ldots &{\lambda }\\\vdots &\vdots &&\vdots \\{\lambda }&{\lambda }&\ldots &{k}\end{pmatrix}}$ .

Daraus ergibt sich nach elementaren Matrizenumformungen:

$({\det {A}})^{2}=\det({A{A^{T}}})=k^{2}\cdot n^{{v-1}}$

und weiter

$({\det {A}})^{2}\cdot n=k^{2}\cdot n^{v}={(k\cdot n^{{{\frac {v}{2}}}})}^{2}$ .

Dann steht auf der rechten Seite der Gleichung eine Quadratzahl, denn nach Voraussetzung ist eine gerade Zahl. Da jedoch auf der linken Seite mit $({\det {A}})^{2}$ eine weitere Quadratzahl steht, kann es nur so sein, dass selbst schon eine Quadratzahl ist.

Anmerkungen

Der Satz von Schützenberger deckt sich mit dem ersten Teil des fundamentalen Satzes von Bruck-Ryser-Chowla. Allerdings findet man in der Literatur, etwa in der Einführung in die Kombinatorik von Konrad Jacobs und Dieter Jungnickel, auch die Auffassung, dass beide Sätze nicht zusammengefasst gehören, sondern dass der Satz von Schützenberger als eigenständiger Lehrsatz zu betrachten ist. Jacobs und Jungnickel und ebenso Hall weisen darauf hin, dass neben und unabhängig von Schützenberger in 1950 dieses Resultat auch noch S. S. Shrikhande sowie von Sarvadaman Chowla und Herbert John Ryser veröffentlicht wurde.

Anwendung

Nach dem Satz von Schützenberger ist die Existenz eines symmetrischen $2{\text{-}}(22,7,2)$ -Blockplans ausgeschlossen.^[1]

Literatur

Thomas Beth, Dieter Jungnickel, Hanfried Lenz: Design Theory. Bibliographisches Institut, Mannheim / Wien / Zürich 1985, ISBN 3-411-01675-2.

Fußnote

↑ Obwohl die üblichen Parameterbedingungen erfüllt sind!

Basierend auf einem Artikel in:

Wikipedia.de