Untersuchungen über reinverzweigte Erweiterungen diskret be\-werteter perfekter Körper. (Q2590457)

Es handelt sich um eine rein arithmetische Durchführung und gleichzeitig Über\-tragung der Artinschen Theorie des Führers eines relativ-galoisschen Zahlkörpers auf eine galoissche Erweiterung \(K\) eines beliebigen diskret-bewerteten perfekten Körpers \(k\). Seien \(\mathfrak T = \mathfrak V_0\), \(\mathfrak V_1,\dots\) Trägheitsgruppe und Verzweigungsgruppen von \(K/k\) und \(e = p^{R_0}\), \(p^{R_1},\dots\) ihre Ordnungen. Es wird bewiesen, daß der nach Artin gebildete Exponent \[ F=\frac1e[p^{R_0}\chi(1)-\chi(\mathfrak V_0)+p^{R_1}\chi(1)-\chi(\mathfrak V_1)+\cdots] \] des Führers eines Charakters \(\chi\) von \(K/k\) eine ganze Zahl ist. Überdies wird für den Fall, daß \(\chi\) ein einfacher Charakter und \(K/k\) rein verzweigt ist, eine Charakterisierung dieses Exponenten \(F\) gegeben, die für den Fall, daß \(k\) endlichen Restklassenkörner hat, folgen\-dermaßen lautet: Es sei \(A\) eine einfache normale Algebra über \(k\) vom Index \(\chi(1)\) mid Grad \([K:k]\). Ferner sei \(\mathfrak K\) der Unterkörper von \(K\), der zu derjenigen Untergruppe der Galoisgruppe \(\mathfrak G=\mathfrak T\) gehört, welche bei der zu \(\chi\) gehörigen Darstellung identisch dargestellt wird. \(\varPi\) bezeichne ein Primelement eines maximalen reinverzweigten Teilkörpers von \(A\), der einen zu \(\mathfrak K\) isomorphen Körper enthält. Ist dann \(\mathfrak P\) das Primideal einer Maximal\-ordnung von \(A\), die \(\varPi\) enthält, so erzeugen alle Elemente \(\varPi'\equiv\varPi\bmod\times\mathfrak P^{F}\) ebenfalls reinverzweigte maximale Teilkörper von \(A\), die zu \(\mathfrak K\) isomorphe Körper enthalten, und dabei ist \(F\) maximal.