Die Struktur der absoluten Galoisgruppe p-adischer Zahlkörper

Ramification and extension theory (11S15) Galois theory (11S20) Galois cohomology (11S25) Class field theory; (p)-adic formal groups (11S31) Limits, profinite groups (20E18) Generators, relations, and presentations of groups (20F05)

Review text

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.

Recommendations

Cites work

Cited in

(26)

This page was built for publication: Die Struktur der absoluten Galoisgruppe \({\mathfrak p}\)-adischer Zahlkörper

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790179)