Satz von Paley
# Satz von Paley

Der Satz von Paley, benannt nach dem englischen Mathematiker Raymond Paley, ist ein mathematischer Lehrsatz über die Konstruktion von Hadamard-Blockplänen mit Hilfe der Methoden der Gruppentheorie. Er liegt als solcher im Übergangsfeld von Kombinatorik, Geometrie und Algebra.

Blockpläne, welche nach dem Satz von Paley konstruierbar sind, werden manchmal auch als Paley-Blockpläne (engl. Paley designs) bzw. Paley-Hadamard-2-Blockpläne (engl. Paley-Hadamard 2-designs) bezeichnet.

## Formulierung des Satzes

Für eine Primzahlpotenz $q$ der Gestalt $q=4n-1$ zu einer natürlichen Zahl $n\geq 2$ gilt stets:

    (I) Es existiert ein $2{\text{-}}(4n-1,2n-1,n-1)$-Blockplan, also ein symmetrischer Blockplan mit den Parametern $t=2$, $v=b=q$, $k=2n-1={\tfrac {q-1}{2}}$, $\lambda =n-1={\tfrac {q-3}{4}}$.
    (II) Die zugehörige Inzidenzstruktur ${\mathcal {I}}=({\mathfrak {p}},{\mathfrak {B}},I)$ lässt sich dabei in folgender Weise konstruieren:
   * Den zu $q$ gehörenden Galois-Körper $K=\operatorname {GF} (q)$ wählt man als Punktmenge von ${\mathcal {I}}$; das heißt man wählt ${\mathfrak {p}}=K$, also die Körperelemente als die Punkte der Inzidenzstruktur.

   * Für die Konstruktion des Blocksystems ${\mathfrak {B}}$ geht man aus von der multiplikativen Gruppe $K^{\times }$ des Galoiskörpers und betrachtet hier die Untergruppe $U\leq K^{\times }$ der Quadrate $\neq 0$, also $U=\{u\in K^{\times }\mid \exists x\in K^{\times }:x^{2}=u\}$. Dann setzt man ${\mathfrak {B}}=\{U+a\mid a\in K\}$.

   * Die Inzidenzrelation $I$ ist die Elementrelation, also $I=\in$.

## Beispiele von Paley-Blockplänen

Die beiden kleinsten Beispiele von Paley-Blockplänen sind diejenigen für die beiden Primzahlen $q=7$ und $q=11$.

So ergibt für $q=7$ auf $K=\operatorname {GF} (7)$ der $2{\text{-}}(7,3,1)$-Blockplan, dessen geometrische Struktur der der Fano-Ebene entspricht. Die oben beschriebene Untergruppe der Quadrate von $\operatorname {GF} (7)$ ist $U=\{1,2,4\}$.

Für $q=11$ ergibt sich auf $K=\operatorname {GF} (11)$ der $2{\text{-}}(11,5,2)$-Blockplan. Die Untergruppe der Quadrate von $\operatorname {GF} (11)$ ist hier $U=\{1,3,4,5,9\}$.

Weitere Beispiele ergeben sich aus anderen Artikeln der 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 $\Gamma \leq S_{K}$ existiert, welche 2-fach homogen auf $K$ operiert.

Wie sich nämlich zeigt, lässt sich so das Blocksystem ${\mathfrak {B}}$ auch noch auf andere Weise beschrieben, nämlich als Menge der $\gamma$-Bilder von $U$ über alle $\gamma \in \Gamma$, also in der Form ${\mathfrak {B}}=\{\gamma (U)\mid \gamma \in \Gamma \}$.

Man gewinnt die Permutationsgruppe $\Gamma$ dabei aus der obigen Untergruppe $U\leq K^{\times }$, indem man diejenigen Permutationen $\gamma \colon K\to K$ betrachtet, welche die Form $x\mapsto \gamma (x)=ux+a$ haben, wobei $u\in U$ und $a\in K$ fest gewählte Elemente sind. All diese Permutationen, versehen mit der üblichen Verkettung, bilden dann $\Gamma$.

Es lässt sich nun zeigen, dass die Untergruppe $U$ die Ordnung $k$ hat, während sich für die Permutationsgruppe $\Gamma$ die Ordnung $kq={\tfrac {q(q-1)}{2}}$ ergibt. Also hat $\Gamma$ ungerade Ordnung und enthält nach dem Satz von Lagrange kein Element der Ordnung 2. Daher ist $-1\notin U$, woraus dann die 2-fache Homogenität von $\Gamma$ folgt.

## Verwandtes Resultat

Auf Raymond Paley geht ein weiteres Resultat über Hadamard-Blockpläne zurück:

    Zu jeder Primzahlpotenz $q$ der Gestalt $q=4n+1$ $(n\in \mathbb {N} )$ existiert ein Hadamard-Blockplan mit den Parametern $t=2$, $v=b=8n+3$, $k=q$, $\lambda =2n$, also ein symmetrischer $2{\text{-}}(8n+3,4n+1,2n)$-Blockplan.

Aus diesem Resultat ergibt sich beispielsweise die Existenz folgender Hadamard-Blockpläne:

