Diskret bewertete perfekte Körper mit unvollkommenem Restklassenkörper. (Q2609090): Difference between revisions

Verf. ergänzt die im ersten Teil der vorstehend besprochenen Arbeit gegebenen neuen Beweise der Struktursätze über diskret bewertete perfekte Körper, deren Urheber er selbst ist, indem er den noch ausstehenden Fall eines unvollkommenen Restklassenkörpers behandelt. Zu einem gegebenen diskret bewerteten perfekten Körper \(K\) mit unvollkommenem Restklassenkörper \(\mathfrak K\) der Charakteristik \(p\) konstruiert er mit Hilfe einer ein für allemal fest gewählten \(p\)-Basis \(\mathfrak M\) von \(\mathfrak K\) (System unabhängiger Radikanden für die Erzeugung von \(\root p \of{\mathfrak K}/\mathfrak K\) durch \(p\)-te Wurzeln) einen diskret bewerteten perfekten Erweiterungskörper \(L\), der über \(K\) unverzweigt ist und als Restklassenkörper die vollkommene Hülle \(\mathfrak L = \lim\limits_{n\to\infty} \root{p^n}\of{\mathfrak K}\) von \(\mathfrak K\) hat. In \(L\) existiert ein multiplikationstreues Vertretersystem \(R\) für \(\mathfrak L\), durch das die Struktur von \(L\) nach der vorstehend besprochenen Arbeit invariant beschrieben wird. Hat \(K\) die Charakteristik \(p\), so ist \(R\) auch additionstreu, und das \(\mathfrak K\) vertretende Teilsystem von \(R\) ist ein zu \(\mathfrak K\) isomorpher Körper, also \(K\) wieder einfach vom Typus des Potenzreihenkörpers über \(\mathfrak K\). Hat dagegen \(K\) die Charakteristik 0, so fällt die Charakterisierung von \(K\) innerhalb \(L\) verwickelter aus. Für den Fall eines unverzweigten \(K\), auf den sich der allgemeine Fall dann leicht zurückführt, gibt Verf. diese Charakterisierung in bestimmter Weise mittels der Darstellung der Restfolgen mod \(p^n\) für \(n\to\infty\) der ganzen Elemente von \(K\) durch das der gewählten \(p\)-Basis \(\mathfrak M\) entsprechende Teilsystem \(M\) von \(R\) und kann daraus wieder entnehmen, daß der \(p\)-adische Körpertypus von \(K\) durch \(\mathfrak K\) eindeutig bestimmt ist. Überdies gibt diese Analyse der Struktur von \(K\) die Konstruktion des \(p\)-adischen Körpertypus \(K\) zu gegebenem Restklassenkörper \(\mathfrak K\) in die Hand, was zum Schluß im einzelnen ausgeführt wird.