Une generalisation de la theorie locale des corps de classes. Conducteur, loi d'unicité, loi d'ordination, loi d'existence. (Q2598806)

Sei \(k\) eine endlich-algebraische Erweiterung des rational-\(p\)-adischen Zahlkörpers und \(\mathfrak p\) ihr Primideal. Es handelt sich um eine Charakterisierung der endlich-algebraischen Erweiterungen \(K/k\). Das Zahlenpaar \(\{f, e\}\), bestehend aus Restklassengrad \(f\) und Verzweigungsordnung \(e\) von \(K/k\), heißt der Typus von \(K/k\). Es gibt primitive Elemente \(\varPi\) für \(K/k\) derart, daß erstens \(\varPi\) Primelement für das Primideal \(\mathfrak P\) von \(K\) ist und zweitens \(\dfrac{\varPi^e}{\pi} \mod \mathfrak P\) (wo \(\pi\) Primelement für \(\mathfrak p\) aus \(k\) ist) primitives Element für den Restklassenkörper \(\mod \mathfrak P\) über dem Restklassenkörper \(\mod \mathfrak p\) ist. Diese Eigenschaften von \(\varPi\) lassen sich als Eigenschaften des zugehörigen irreduziblen Polynoms \(g(x)\) über \(k\) ausdrücken. Jedes irreduzible Polynom \(g(x)\) über \(k\) mit den so erhaltenen Eigenschaften heißt regulär und vom Typus \(\{f, e\}\). Zwei reguläre Polynome über \(k\) eines festen Typus heißen *-kongruent \(\mod \mathfrak p^u\) (\(u\) eine reelle Zahl), wenn ihre Differenz bei Einsetzung eines über \(k\) algebraischen Elements der Ordnungszahl \(\dfrac 1e\) in \(\mathfrak p\) eine Ordnungszahl \(\geqq u+f-1\) in \(\mathfrak p\) hat. In geläufiger Weise wird daraus der Führer \(\mathfrak F(s) = \mathfrak p^{1+\varphi(s)}\) einer Menge \(s\) von regulären Polynomen über \(k\) eines festen Typus erklärt (untere Grenze aller \(u\) derart, daß \(s\) aus *-Kongruenzklassen \(\mod \mathfrak p^u\) besteht); dabei ist \(\varphi(s)\) rational mit in \(e\) aufgehendem Nenner. Ist \(K/k\) vom Typus \(\{f, e\}\) und sind \(f'\), \(e'\) Vielfache von \(f\), \(e\), so wird die Menge \(s_{K/k}(f',e')\) aller derjenigen regulären Polynome über \(k\) betrachtet, welche Erweiterungen \(K'/k\) von \(K/k\) vom Typus \(\{f', e'\}\) erzeugen. Jede dieser Mengen \(s_{K/k} (f',e')\) charakterisiert \(K/k\) bis auf Isomorphie eindeutig. Für diese Charakterisierung läßt sich auch ein Anordnungssatz aussprechen. Es wird behauptet, daß jede Menge \(s_{K/k}(f',e')\) einen endlichen Führer \(\mathfrak F_{K/k}(f',e')\) besitzt. Der größte gemeinsame Teiler dieser Führer für alle Vielfachen \(f'\), \(e'\) von \(f\), \(e\) heißt der Führer \(\mathfrak F_{K/k}\) von \(K/k\). Schließlich wird als Existenzsatz dieser Klassenkörpertheorie ein Kriterium dafür angegeben, daß zu einer Menge \(s\) von regulären Polynomen über \(k\) eines festen Typus \(\{f', e'\}\) eine Erweiterung \(K/k\) derart existiert, daß \(s=s_{K/k}(f',e')\) ist.