The absolute Galois group of \(C(x)\) (Q5929050): Difference between revisions

Mittels elementarer algebraischer Methoden wird der folgende Satz bewiesen: Für einen algebraisch abgeschlossenen Körper \(C\) der Mächtigkeit \(m\) ist die absolute Galoisgruppe des Funktionenkörpers \(C(X)\) die freie proendliche Gruppe vom Rang \(m\). Dieser Satz wurde für Körper der Charakteristik 0 von \textit{A. Douady} [C. R. Acad. Sci., Paris 258, 5305-5308 (1964; Zbl 0146.42105)] bewiesen. Für Körper von positiver Charakteristik wurde der Satz von \textit{F. Pop} [Invent. Math. 120, 555-578 (1995; Zbl 0842.14017)] bewiesen. Genauer wird gezeigt, dass für eine Teilmenge \(S\) von \(\mathbb{P}^1(C)\) von der Mächtigkeit \(m\) ist die Fundamentalgruppe von \(\mathbb{P}^1(C)\setminus S\) die freie proendliche Gruppe vom Range \(m\). Eine Schwierigkeit für Körper von positiver Charakteristik besteht darin, dass in diesem Falle wird die Fundamentalgruppe von \(\mathbb{P}^1(C)\setminus S\) nicht frei proendlich, wenn die Menge \(S\) eine kleinere Mächtigkeit als \(m\) hat.