Die Struktur der absoluten Galoisgruppe \({\mathfrak p}\)-adischer Zahlkörper (Q790179)

Sei \(G_ k\) die absolute Galoisgruppe eines \({\mathfrak p}\)-adischen Zahlkörpers \(k\) vom Grad \(n=[k:{\mathbb Q}_ p]\); sei \(p\neq 2\). Die Autoren beweisen den folgenden wunderschönen Satz über die Darstellung von \(G_ k\) durch Erzeugende und Relationen: \(G_ k\) ist isomorph zu einer proendlichen Gruppe von \(n+3\) Erzeugenden \(\sigma,\tau,x_ 0,\dots,x_ n\) und folgenden definierenden Bedingungen bzw. Relationen: A) Der von \(x_ 0,\dots,x_ n\) erzeugte Normalteiler ist eine pro-\(p\)-Gruppe. B) \(\sigma\) und \(\tau\) erfüllen die ``zahme'' Relation \(\sigma\tau\sigma^{-1}=\tau^ q\). C) Daneben genügen die Erzeugenden nur noch einer weiteren Relation \[ x_ 0^{\sigma}=(x_ 0,\tau)^ g x_ 1^{p^ s} [x_ 1,x_ 2] [x_ 3,x_ 4] \dots [x_{n-1},x_ n] \] mit \[ (x_ 0,\tau)=(x_ 0^{h^{p-1}} \tau x_ 0^{h^{p-2}} \tau\dots x_ 0^ h \tau)^{\pi /(p-1)} \] für gerades \(n\), und etwas modifiziert für ungerades \(n\); hierbei sind \(q, s, g, h\) Invarianten von \(k\), wie die Elementanzahl des Restklassenkörpers von \(k\) usw. Die ``zahme Relation'' stammt schon von Hasse und Iwasawa. Daß\ daneben nur noch eine weitere erforderlich ist, und das Auffinden derselben in der angegebenen Form, beruht auf der Arbeit des ersten Autors [ibid. 70, 53--69 (1982; Zbl 0534.12009)]. Der Beweis des Satzes benutzt die kohomologische Charakterisierung von \(G_ k\) als Demushkinformation und den Eindeutigkeitssatz für Demushkinformationen des zweiten Autors [ibid. 70, 99--113 (1982; Zbl 0534.12011)], und er besteht dann im Nachweis, daß\ die durch obige Erzeugende und Relationen abstrakt definierte Gruppe eine Demushkinformation mit den gleichen numerischen Invarianten wie \(G_ k\) ist.