Reduction of an algebraic function field modulo a prime in the constant field (Q770541)

\(K\) sei ein algebraischer Funktionenkörper mit dem Konstantenkörper \(k\) und \(h\) eine diskrete nicht-archimedische Bewertung von \(k\). Ist \(x\) eine über \(k\) transzendente Größe von \(K\), so werde \(h\) durch \[ \left[\left(\sum_{\nu=0}^r a_\nu x^\nu\right) \left(\sum_{\nu=0}^s b_\nu x^\nu\right)^{-1}\right] = (\max \{h(a_\nu)\}) (\max \{h(b_\nu)\})^{-1} \] \(a_\nu\in k\) zu einer Bewertung von \(F = k(x)\) erweitert. In \(K\) zerfalle \(h = \prod_{i=1}^s H_i^{e(H_i)}\), \(K_i\) sei der Restklassenkörper von \(K\) modulo \(H_i\), \(\bar k\) der Restklassenkörper von \(k\) modulo \(h\) und \(k_i\) der Konstantenkörper von \(K_i\) mit dem Grad \(r_i\) über \(\bar k\). Verf. beweist, daß zwischen den Geschlechtern \(g\) von \(K\) und \(g_i\) von \(K_i\) die Relation \[ g-1 = \sum_{i=1}^s r_i e(H_i) (g_i -1) + \rho \] besteht. Dabei wird vorausgesetzt, daß die Radikalgrade aller \(H_i\) gleich 1 sind. Die Zahl \(\rho\ge 0\) hat folgende Bedeutung. Ist \(K^*\) der Ring der Elemente von \(K\), die bei allen Erweiterungen von \(h\) ganz sind und bezeichnet \(h\) auch ein Primelement bei \(h\), so sei \(\bar K\) der Restklassenring \(K^*/ hK^*\). \(2\rho\) ist dann der Grad der Norm \(N_{\bar K\vert F} \mathfrak f\) des Führers \(\mathfrak f\) von \(K\) in bezug auf \(K\).