Konstruktive Galoistheorie. (Constructive Galois theory) (Q1096673): Difference between revisions

Es handelt sich um eine Gesamtdarstellung des heutigen Wissens betreffend das zunächst von Hilbert formulierte Umkehrproblem der Galoistheorie: Ist jede endliche Gruppe als Galoisgruppe einer normalen Erweiterung vom rationalen Zahlkörper \({\mathbb{Q}}\) realisierbar? Teilresultate waren schon im letzten Jahrhundert bekannt, z.B. daß jede endliche abelsche Gruppe eine Galoisgruppe über \({\mathbb{Q}}\) ist, sowie das von Hilbert mittels seines Irreduzibilitätssatzes erzielte Resultat, daß die symmetrischen und die alternierenden Gruppen Galoisgruppen über \({\mathbb{Q}}\) sind. Von Shafarevich wurde 1954 bewiesen, daß jede endliche auflösbare Gruppe eine Galoisgruppe über \({\mathbb{Q}}\) ist. Bei den meisten späteren Ergebnissen ist der Riemannsche Existenzsatz der Schlüsselsatz, der nach sich zieht, daß jede endliche Gruppe über dem Funktionenkörper \({\bar {\mathbb{Q}}}(T)\) als Galoisgruppe realisierbar ist, wobei \({\bar {\mathbb{Q}}}\) den Körper aller algebraischen Zahlen bezeichnet. Diejenigen endlichen Gruppen, die bereits Galoisgruppen über \({\mathbb{Q}}(T)\), bzw. \({\mathbb{Q}}^{ab}(T)\) sind, sind nach dem Hilbertschen Irreduzibilitätssatz auch über \({\mathbb{Q}}\), bzw. \({\mathbb{Q}}^{ab}\), als Galoisgruppen realisierbar. (Hier bezeichnet \({\mathbb{Q}}^{ab}\) den maximalen abelschen Erweiterungskörper von \({\mathbb{Q}}.)\) Gruppentheoretische hinreichende Bedingungen für die Realisierbarkeit einer endlichen Gruppe über \({\mathbb{Q}}(T)\), bzw. \({\mathbb{Q}}^{ab}(T)\), sind von K. Shih, M. Fried, G. Belyi, J. Thompson und Verf. gegeben. Hierdurch kann gezeigt werden, daß alle klassischen einfachen Gruppen, ein großer Teil der nichtklassischen einfachen Gruppen vom Lie-Typ und alle sporadischen einfachen Gruppen höchstens mit Ausnahme von \(J_ 4\) als Galoisgruppen über \({\mathbb{Q}}^{ab}(T)\) und damit über \({\mathbb{Q}}^{ab}\) auftreten. Für etliche dieser Gruppen existieren auch Realisierungen über \({\mathbb{Q}}(T)\) und damit über \({\mathbb{Q}}.\) Das vorliegende Buch gibt Beweise dieser Ergebnisse, wobei jedoch die in der Lehrbuchliteratur befindlichen Beweise weggelassen sind. Außerdem wird vorgeführt, wie man für diese Gruppen Galoiserweiterungen mit explizit angebbaren erzeugenden Polynomen konstruieren kann. Das Buch ist in einem sorgfältigen und klaren Stil abgefaßt, und diese schöne Gesamtdarstellung von einem sonst recht schwer zugänglichen Gebiet ist sehr zu begrüßen.