Satz von Dembowski-Wagner

Der Satz von Dembowski-Wagner ist eines der klassischen Theoreme aus dem mathematischen Teilgebiet der Endlichen Geometrie, welches im Übergangsfeld zwischen Kombinatorik und endlicher Geometrie liegt. Der Satz geht auf die beiden Mathematiker Peter Dembowski und Ascher Wagner zurück und formuliert eine Anzahl von Kriterien, nach denen ein symmetrischer Blockplan als projektiver Raum aufgefasst werden kann.

Formulierung des Satzes

Gegeben sei ein symmetrischer -Blockplan mit , wobei die Inzidenzrelation mit der Elementrelation identisch sei. Für die Ordnung von seien dabei und .

Dann sind gleichwertig:

Erläuterungen und Anmerkungen

1. In einem projektiven Raum ist eine Hyperebene ein maximaler echter Teilraum. Eine Hyperebene zeichnet sich also dadurch aus, dass sie allein in dem projektiven Raum selbst als Teilraum enthalten, jedoch nicht mit diesem identisch ist und dabei von keinem dritten Teilraum umfasst wird.
2. Eine Gerade von ist eine echte Teilmenge von , welche aus zwei verschiedenen Punkten von entsteht. Dazu wird über alle Blöcke, welche sowohl als auch enthalten, die Schnittmenge gebildet. Man nennt die Gerade durch und und schreibt o. ä. Man sagt dann auch, dass und auf der Geraden liegen.
3. Man sagt, eine Gerade schneidet einen Block , wenn ein mit inzidenter Punkt existiert, welcher auf der Geraden liegt; m. a. W. wenn ist.
4. Kollineare Punkte zeichnen sich dadurch aus, dass sie auf einer (dann notwendigerweise eindeutig bestimmten) Geraden liegen.
5. Jede -Ebene entsteht aus drei verschiedenen nicht kollinearen Punkten von . Solche drei Punkte bilden dann ein Dreieck. Genauso wie bei den Geraden wird für dieses Dreieck die Schnittmenge all derjenigen Blöcke gebildet, welche es enthalten und man erhält die von aufgespannte Ebene . Man schreibt dafür kurz o. ä.
6. Die oben angegebenen Anzahlen finden sich in der Literatur auch in anderer, aber gleichwertiger Darstellung. Wegen der Parameterbedingungen und der Symmetrieeigenschaft von gilt u. a.:
   1. .
   2. .
   3. .
7. Aus der obigen Darstellung ergibt sich, dass ein Teiler von ist und dass aus Ganzzahligkeitsgründen auf jeder Geraden mindestens verschiedene Punkte liegen.
8. Bei manchen Autoren wird unter dem Satz von Dembowski-Wagner auch zugelassen. In dieser Version des Satzes wird die Möglichkeit mit abgedeckt, dass einer projektiven Ebene isomorph ist. Die in dieser Version des Satzes genannten Bedingungen sind im Kern die obigen ohne (B5). Jedoch ist der Fall in der Originalarbeit von Dembowski und Wagner ausdrücklich ausgenommen.
9. In der Originalarbeit von Dembowski und Wagner werden noch weitere äquivalente Bedingungen genannt, unter denen ein symmetrischer Blockplan als projektiver Raum aufgefasst werden kann. Diese werden jedoch in der aktuellen Literatur oft gar nicht oder nur am Rande erwähnt. Es handelt sich um Transitivitätsforderungen an die zu gehörigen Automorphismengruppe, so etwa deren transitive Operation auf die Menge der Dreiecke von .
10. Es gibt mehrere Verallgemeinerungen des Satzes von Dembowski-Wagner. In einer davon ist etwa zunächst nur als einfacher Blockplan vorausgesetzt und ohne dabei von vornherein die Symmetrie zu fordern. Die Symmetrie ergibt sich dann zugleich mit den weiteren Bedingungen. Eine weitere Verallgemeinerung wird im Folgenden gebracht.

Verallgemeinerung nach Kantor

In Hinblick auf die oben angesprochene Frage der Einbeziehung der endlichen projektiven Ebenen in den Satz von Dembowski-Wagner ist das im Folgenden aufgeführte Resultat von William Kantor von Interesse, welches diese Frage in den Zusammenhang der Matroidtheorie bringt und den Satz dabei verallgemeinert. Das Resultat von Kantor besagt (kurzgefasst):

Hier kommt ein verallgemeinerter Hyperebenenbegriff zum Tragen. Man versteht nämlich für ein Matroid mit zugehörigem Hüllenoperators unter einer Hyperebene eine unter abgeschlossene echte Teilmenge von , welche bezüglich dieser Eigenschaft maximal ist.

Damit gilt genauer:

      oder

Literatur

• Thomas Beth, Dieter Jungnickel, Hanfried Lenz: Design Theory. Bibliographisches Institut, Mannheim / Wien / Zürich 1985, ISBN 3-411-01675-2. 
• Albrecht Beutelspacher: Einführung in die endliche Geometrie II. Projektive Räume. Bibliographisches Institut, Mannheim / Wien / Zürich 1983, ISBN 3-411-01648-5 (MR0670590). 
• P. J. Cameron, J. H. van Lint: Designs, Graphs, Codes and their Links (= London Mathematical Society Student Texts. Band 22). Cambridge University Press, Cambridge (u. a.) 1991, ISBN 0-521-42385-6. 
• Peter Dembowski: Finite Geometries (= Ergebnisse der Mathematik und ihrer Grenzgebiete. Band 44). Springer Verlag, Berlin / Heidelberg / New York 1968. 
• P. Dembowski, A. Wagner: Some characterisations of finite projective spaces. In: Arch. Math. Band 11, 1960, S. 465–469 (MR0143095). 
• Daniel R. Hughes, Fred C. Piper: Design Theory. Cambridge University Press, Cambridge (u. a.) 1985, ISBN 0-521-25754-9. 
• W. M. Kantor: 2-Transitive designs. In: Marshall Hall, Jr., J. H. van Lint (Hrsg.): Combinatorics: proceedings of the Advanced Study Institute on Combinatorics held at Nijenrode Castle, Breukelen, the Netherlands, July 8–20, 1974 Part 3. (= Mathematical Centre Tracts). 2., revidierte Auflage. Band 57. Mathematisch Centrum, Amsterdam 1975, ISBN 90-6196-101-7, S. 44–97 (MR0376382). 
• William M. Kantor: Characterizations of finite projective and affine spaces. In: Canad. J. Math. Band 1, 1969, S. 64–75 (MR0236040). 
• E. S. Lander: Symmetric Designs: An algebraic Approach (= London Mathematical Society Lecture Note Series. Band 74). Cambridge University Press, Cambridge (u. a.) 1983, ISBN 0-521-28693-X. 
• D. J. A. Welsh: Matroid Theory (= L.M.S. Monographs. Band 8). Academic Press, London (u. a.) 1976, ISBN 0-12-744050-X. 

Einzelnachweise und Anmerkungen

1. Some characterizations of finite projective spaces von Peter Dembowski und Ascher Wagner
2. Dembowski-Wagner: Arch. Math. Band 11, S. 465 ff. 
3. Cameron: S. 8 ff.
4. Welsh: S. 205 ff.
5. In dem zugrunde liegenden Artikel im Archiv der Mathematik, Band 11, 1960, nennen Dembowski und Wagner einen symmetrischen Blockplan einen -Raum (engl. -space).
6. Hughes-Piper: S. 79 ff.
7. Lander: S. 16, 24 ff.
8. Dembowski-Wagner: Arch. Math. Band 11, S. 465. 
9. Kantor: Combinatorics. Part 3. S. 70–71. 
10. Beth-Jungnickel-Lenz: S. 583.
11. Beutelspacher: S. 18.
12. Beth-Jungnickel-Lenz: S. 580.
13. Dembowski: S. 67.
14. Die Hyperebenen des Matroids legen seine Struktur eindeutig fest, da sie per Komplementbildung umkehrbar eindeutig mit den Kreisen des dualen Matroids verknüpft sind; vgl. Welsh: S. 35–39.
15. Kantor: Can. J. Math. Band 21, S. 64 ff. 
16. Welsh: S. 208.
17. Im oben präzisierten Sinne!
18. Hier ist zu beachten, dass für projektive Ebenen Geraden und Hyperebenen zusammenfallen.