# Satz von Frucht

Der Satz von Frucht (nach Roberto Frucht) ist ein Satz aus dem mathematischen Teilgebiet der Graphentheorie. Er besagt, dass bis auf Isomorphie jede Gruppe als Automorphismengruppe eines Graphen auftritt.
Ein Automorphismus eines ungerichteten Graphen $G=(V,E)$, wobei $V$ die Knotenmenge und $E$ die Kantenmenge ist, ist eine bijektive Abbildung $\varphi :V\rightarrow V$ mit der Eigenschaft, dass zwei Knoten $v_{1},v_{2}\in V$ genau dann durch eine Kante verbunden sind, wenn $\varphi (v_{1})$ und $\varphi (v_{2})$ durch eine Kante verbunden sind. Die Menge $\mathrm {Aut} (G)$ aller Automorphismen von $G$ ist offenbar eine Gruppe und heißt die Automorphismengruppe von $G$.
Für einen kantenlosen Graphen $G=(V,\emptyset )$ oder für einen vollständigen Graphen ist $\mathrm {Aut} (G)$ offenbar gleich der symmetrischen Gruppe von $\mathrm {Sym} (V)$ von $V$. Für alle anderen Graphen ist $\mathrm {Aut} (G)$ eine echte Untergruppe von $\mathrm {Sym} (V)$. Im Extremfall ist $\mathrm {Sym} (V)=\{\mathrm {id} _{V}\}$, solche Graphen nennt man asymmetrisch. Die kleinste Knotenzahl eines asymmetrischen Graphen ist 6.
Da nach dem Satz von Cayley jede Gruppe isomorph zu einer Untergruppe einer symmetrischen Gruppe ist, stellt sich die Frage, ob jede Gruppe als Automorphismengruppe eines Graphen auftritt. Diese Frage wird durch den Satz von Frucht positiv beantwortet:
Dieser Satz wurde 1938 von Roberto Frucht für endliche Gruppen formuliert und bewiesen. Der Fall unendlicher Gruppen wurde unabhängig voneinander von J. de Groot (1959) und G. Sabidussi (1960) bewiesen.

## Konstruktionsidee

Der Satz von Frucht wird konstruktiv bewiesen, d. h. es wird ein explizites, aber universelles Vorgehen zur Konstruktion eines Graphen angegeben. Im Nachhinein wird dann die Eignung dieser Graphen bewiesen. Zunächst gilt:
* Ein Graph, welcher lediglich einen Knoten enthält, ist isomorph zu endlichen Gruppen der Ordnung 1, denn die Automorphismengruppe besteht nur aus der identischen Abbildung.
* Gruppen der Ordnung zwei sind isomorph zum Graphen mit zwei miteinander verbundenen Knoten, denn dessen Automorphismengruppe besteht aus der identischen Abbildung sowie der Permutation der beiden Knoten.
Für endliche Gruppen $G$ mit einer Ordnung größer als 2 und den Elementen $S_{1},S_{2},\ldots ,S_{n}$, wobei $S_{1}$ das neutrale Element der Gruppe ist, muss zunächst der zugehörige Cayleygraph zum Erzeugendensystem $G\setminus \{S_{1}\}$ konstruiert werden.
Nachdem den Elementen $S_{i}$ eindeutige Knoten $P_{i}$ zugeordnet wurden, werden gerichtete Kanten von $P_{i}$ nach $P_{j}$ und umgekehrt gezogen, wenn $i$ und $j$ unterschiedliche Indizes sind. Gilt $S_{\alpha }=S_{j}S_{i}^{-1}$, so erhält die gerichtete Kante von $P_{i}$ nach $P_{j}$ die Farbe $\alpha \in \{2,3,\ldots ,n\}$.
Aus dem gerichteten Cayleygraphen muss nun ein ungerichteter Graph konstruiert werden. Hierzu wird eine gerichtete Kante von $P_{i}$ nach $P_{j}$durch das Einfügen zweier Knoten $Q_{ij1}$ und $R_{ij1}$ ersetzt. Dabei werden drei ungerichtete Kanten hinzugefügt, welche von $P_{i}$ nach $Q_{ij1}$, von $Q_{ij1}$nach $R_{ij1}$ und von $R_{ij1}$ nach $P_{j}$ verlaufen.
An die neuen Knoten $Q_{ij1}$ und $R_{ij1}$ werden nun weitere Knoten in Form einer Kette angehängt: insgesamt $2\alpha -3$ Knoten an $Q_{ij1}$ und $2\alpha -2$ Knoten an $R_{ij1}$.
Wiederholt man diese Schritte an allen gerichteten Kanten des Cayleygraphen, so erhält man einen ungerichteten Graphen. Mögliche Symmetrien in diesem Graphen, welche weitere Elemente in der Automorphismengruppe zufolge hätten, werden durch die unterschiedliche Länge der Ketten an den Knoten $Q_{ij1}$ und $R_{ij1}$ verhindert.
Ein auf diese Weise konstruierter Graph besitzt $2\cdot n^{3}-n^{2}$ Knoten, wobei $n$ die Ordnung der zugrundeliegenden Gruppe ist. Es existieren in der Regel auch andere, teils sogar kleinere Graphen, deren Automorphismengruppe die Anforderungen erfüllt.

## Existenz unendlich vieler Graphen

Aus einem Graphen $G$ mit $m$ Knoten kann stets auch ein Graph $G'$ mit $2m$ Knoten konstruiert werden, sodass die beiden Graphen isomorphe Automorphismengruppen besitzen. Hierfür muss lediglich eine Kette der Länge 1 an jeden bereits vorhandenen Punkt des Graphen $G$ angebracht werden.
Da die Nachbarschaft von Knoten innerhalb von Automorphismengruppen erhalten bleibt, verändern die zusätzlichen Knoten die Automorphismengruppe von $G$ nicht, denn sie bleiben stets Nachbarn ihres Ursprungspunktes, sie werden unter einer Permutation aus der Automorphismengruppe von $G$ also gewissermaßen einfach mitgetragen. Diese Konstruktion kann beliebig oft durchgeführt werden.
Da nach dem Satz von Frucht zu jeder endlichen Gruppe ein Graph mit einer zur Gruppe isomorphen Automorphismengruppe existiert, kann nun geschlussfolgert werden, dass sogar unendliche viele solcher Graphen zu einer beliebigen endlichen Gruppe existieren.