Sur la représentation multiplicative dans les corps de nom\-bres \(p\)-adiques relativement galoisiens. (Q2609197)

Sei \(K\) normaler Erweiterungskörper eines \(\mathfrak p\)-adischen Körpers \(k\), \(\varGamma\) der durch die \textit{Galois}gruppe \(G\) von \(K/k\) erzeugte Gruppenring mit ganzen rationalen \(p\)-adischen Koeffi\-zienten, \(A\) die Gruppe der Einseinheiten von \(K\). Die kleinste Zahl \(n\), so daß die aus \(n\) Elementen von \(A\) symbolisch erzeugte (d. h. der Exponentenbereich ist \(\varGamma\)) Gruppe in \(A\) von endlichem Index ist, ist gleich dem Grad von \(k\) über dem Körper der rationalen \(p\)-adischen Zahlen. Der ``\(\varGamma\)-Rang von \(K/k\)\,'' \(r = n + \lambda\) ist die kleinste Zahl \(r\), so daß \(A\) sich aus \(r\) Elementen symbolisch erzeugen läßt. Ist dann \(A_0\) die Gruppe der Eins\-einheiten des Verzweigungskörpers \(K_0\) von \(K\), \(H_0\) die Gruppe der Normen von \(K/K_0\) und läßt sich \(A_0/(A_0\cap H_0\)) durch \(\mu\), und nicht weniger Elemente von \(A_0\) symbolisch erzeugen, so ist \(\lambda=\mu\) oder \(\mu+1\), und zwar ist das erstere sicher dann der Fall, wenn \(K\) regulär ist, d. h. die \(p\)-ten Einheitswurzeln nicht enthält. Einige Folgerungen daraus: Der \(\varGamma\)-Rang von \(K/k\) ist gleich dem des größten \(K_0\) umfassenden, über \(K_0\) abelschen Teilkörpers von \(K\). Notwendig und hinreichend für \(r = n\) ist, daß \(K = K_0\) und regulär ist; ist \(K = K_0\) und irregulär, so ist \(r = n + 1\). Es ist \(r\leqq2(n + 1)\) und, wenn \(K\) regulär, sogar \(r\leqq 2n\). -- Ist \(K/K_0\) abelsch, so ist die Verzweigungsgruppe direktes Produkt von \(\mu\) invarianten Untergruppen \(g_1\),\dots, \(g_\mu\) von \(G\), und es gibt eine symbolische Basis \(\alpha_1\),\dots, \(\alpha_r\) von \(A\), so daß \(\alpha_{n+j}\) in dem zu \(g_j\) gehörenden Teilkörper \(K_j\) von \(K\) liegt und daß \(A_0/(A_0\cap H_0)\) symbolisch durch die \(N_{K_j/K_0}(\alpha_{n+j})\) erzeugt wird.