Satz von Stallings
# Satz von Stallings

Der Satz von Stallings ist ein Lehrsatz aus dem mathematischen Gebiet der Gruppentheorie, der Gruppen mit mehr als einem Ende charakterisiert. Aus ihm ergibt sich die gelegentlich ebenfalls als Satz von Stallings oder Satz von Stallings-Swan bezeichnete Charakterisierung freier Gruppen durch ihre kohomologische Dimension.
John Stallings und Richard Swan erhielten dafür den Colepreis für Algebra.

## Satz von Stallings über Enden von Gruppen

Für eine endlich erzeugte Gruppe $G$ bezeichne $e(G)$ die Anzahl der Enden des Cayley-Graphen von $G$. (Diese Anzahl ist unabhängig von der Wahl des für die Konstruktion des Cayley-Graphen verwendeten Erzeugendensystems.) Nach einem Satz von Freudenthal gilt entweder $e(G)\leq 2$ oder $e(G)=\infty$.
Der Satz von Stallings besagt, dass $e(G)>1$ genau dann der Fall ist, wenn sich $G$
* entweder als nichttriviales amalgamiertes Produkt $G=G_{1}*_{A}G_{2}$ zweier endlich erzeugter Gruppen über einer endlichen amalgamierten Untergruppe
* oder als nichttriviale HNN-Erweiterung $G=G_{1}*_{A}$ einer endlich erzeugten Gruppe über einer endlichen Gruppe
zerlegen lässt.
Insbesondere gilt für torsionsfreie endlich erzeugte Gruppen $e(G)=\infty$ genau dann, wenn $G$ ein freies Produkt $G=G_{1}*G_{2}$ zweier nichttrivialer Untergruppen ist.

## Satz von Stallings-Swan über Charakterisierung freier Gruppen

Aus dem Satz von Stallings folgt, dass eine endlich erzeugte Gruppe genau dann frei ist, wenn für ihre kohomologische Dimension $cd_{\mathbb {Z} }(G)=1$ gilt.
Eine allgemeinere Form wurde von Swan bewiesen. Sei $R$ ein Ring mit Eins und $G$ eine torsionsfreie Gruppe. Dann ist $G$ genau dann frei, wenn $cd_{R}(G)=1$ gilt. Dieser Satz kommt ohne die Annahme aus, dass $G$ endlich erzeugt ist. Die Annahme der Torsionsfreiheit ist für Gruppen mit $cd_{\mathbb {Z} }(G)<\infty$ immer erfüllt.
Eine weitere Folgerung ist, dass eine torsionsfreie Gruppe, die eine freie Untergruppe von endlichem Index enthält, selbst frei sein muss.