Satz von Paley

Der Satz v​on Paley, benannt n​ach dem englischen Mathematiker Raymond Paley, i​st ein mathematischer Lehrsatz über d​ie Konstruktion v​on Hadamard-Blockplänen m​it Hilfe d​er Methoden d​er Gruppentheorie. Er l​iegt als solcher i​m Übergangsfeld v​on Kombinatorik, Geometrie u​nd Algebra.[1][2][3][4][5]

Blockpläne, welche n​ach dem Satz v​on Paley konstruierbar sind, werden manchmal a​uch als Paley-Blockpläne (engl. Paley designs) bzw. Paley-Hadamard-2-Blockpläne (engl. Paley-Hadamard 2-designs) bezeichnet.[6][7]

Formulierung des Satzes

Für eine Primzahlpotenz der Gestalt [8] zu einer natürlichen Zahl gilt stets:

(I) Es existiert ein -Blockplan, also ein symmetrischer Blockplan mit den Parametern , , , .
(II) Die zugehörige Inzidenzstruktur lässt sich dabei in folgender Weise konstruieren:
  1. Den zu gehörenden Galois-Körper wählt man als Punktmenge von ; das heißt man wählt , also die Körperelemente als die Punkte der Inzidenzstruktur.
  2. Für die Konstruktion des Blocksystems geht man aus von der multiplikativen Gruppe des Galoiskörpers und betrachtet hier die Untergruppe der Quadrate , also . Dann setzt man .
  3. Die Inzidenzrelation ist die Elementrelation, also .

Beispiele von Paley-Blockplänen

Die beiden kleinsten Beispiele von Paley-Blockplänen sind diejenigen für die beiden Primzahlen und .[9]

So ergibt für auf der -Blockplan, dessen geometrische Struktur der der Fano-Ebene entspricht. Die oben beschriebene Untergruppe der Quadrate von ist .[10][11]

Für ergibt sich auf der -Blockplan. Die Untergruppe der Quadrate von ist hier .

Weitere Beispiele ergeben s​ich aus anderen Artikeln d​er Kategorie:Blockplan:

Anmerkungen zum Beweis des Satzes

Der Beweis des Satzes von Paley lässt sich führen mit Hilfe der Ungleichung von Fisher und der Tatsache, dass eine spezielle Permutationsgruppe existiert, welche 2-fach homogen auf operiert.

Wie sich nämlich zeigt, lässt sich so das Blocksystem auch noch auf andere Weise beschrieben, nämlich als Menge der -Bilder von über alle , also in der Form .

Man gewinnt die Permutationsgruppe dabei aus der obigen Untergruppe , indem man diejenigen Permutationen betrachtet, welche die Form haben, wobei und fest gewählte Elemente sind. All diese Permutationen, versehen mit der üblichen Verkettung, bilden dann .

Es lässt sich nun zeigen, dass die Untergruppe die Ordnung hat, während sich für die Permutationsgruppe die Ordnung ergibt. Also hat ungerade Ordnung und enthält nach dem Satz von Lagrange kein Element der Ordnung 2. Daher ist , woraus dann die 2-fache Homogenität von folgt.[12]

Verwandtes Resultat

Auf Raymond Paley g​eht ein weiteres Resultat über Hadamard-Blockpläne zurück:[13][14]

Zu jeder Primzahlpotenz der Gestalt   existiert ein Hadamard-Blockplan mit den Parametern , , , , also ein symmetrischer -Blockplan.

Aus diesem Resultat ergibt s​ich beispielsweise d​ie Existenz folgender Hadamard-Blockpläne:

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 I. Blockpläne. Bibliographisches Institut, Mannheim / Wien / Zürich 1982, ISBN 3-411-01632-9. MR0670590
  • Peter Dembowski: Finite Geometries (= Ergebnisse der Mathematik und ihrer Grenzgebiete. Band 44). Springer Verlag, Berlin / Heidelberg / New York 1968.
  • Daniel R. Hughes, Fred C. Piper: Design Theory. Cambridge University Press, Cambridge u. a. 1985, ISBN 0-521-25754-9.
  • Konrad Jacobs, Dieter Jungnickel: Einführung in die Kombinatorik (= de Gruyter Lehrbuch). 2., völlig neu bearbeitete und erweiterte Auflage. de Gruyter, Berlin u. a. 2004, ISBN 3-11-016727-1.
  • Heinz Lüneburg: Kombinatorik (= Elemente der Mathematik vom höheren Standpunkt aus. Band 6). Birkhäuser Verlag, Basel / Stuttgart 1971, ISBN 3-7643-0548-7. MR0335267
  • R. E. A. C. Paley: On orthogonal matrices. In: J. Math. Phys. Mass. Inst. Tech. Band 12, 1933, S. 311–320.

Einzelnachweise und Anmerkungen

  1. A. Beutelspacher: Einführung in die endliche Geometrie. 1982, S. 104–108.
  2. H. Lüneburg: Kombinatorik. 1971, S. 75 ff.
  3. T. Beth, D. Jungnickel, H. Lenz: Design Theory. 1985, S. 70 ff., 262, 264.
  4. D. R. Hughes, F. C. Piper: Design Theory. 1985, S. 107 ff.
  5. K. Jacobs, D. Jungnickel: Einführung in die Kombinatorik. 2004, S. 251 ff.
  6. P. Dembowski: Finite Geometries. 1968, S. 97.
  7. D. R. Hughes, F. C. Piper: Design Theory. 1985, S. 107, 180.
  8. Also .
  9. T. Beth, D. Jungnickel, H. Lenz: Design Theory. 1985, S. 262, 264.
  10. Wegen der Unterschiede in der Darstellung in dem zugehörigen Hauptartikel beachte man den Hinweis auf den Singer-Zyklus.
  11. Auch alle Primzahlpotenzen der Gestalt   , mit einer Basisprimzahl liefern stets Paley-Blockpläne. So sieht man etwa für , also für die Primzahlpotenzen  , dass ein -Blockplan, ein -Blockplan und auch ein -Blockplan existiert. Siehe auch
  12. Der wesentliche Beweisschritt besteht hier darin zu zeigen, dass allein die identische Abbildung von eine beliebige 2-elementige Teilmenge festlässt, dass also für und   die Gleichung stets nach sich zieht; s. A. Beutelspacher: Einführung in die endliche Geometrie. 1982, S. 106. Und auch H. Lüneburg: Kombinatorik. 1971, S. 79.
  13. K. Jacobs, D. Jungnickel: Einführung in die Kombinatorik. 2004, S. 252.
  14. T. Beth, D. Jungnickel, H. Lenz: Design Theory. 1985, S. 70–72.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.