Automorphismen und Divisorenklassen der Ordnung \(l\) in algebraischen Funktionenkörpern. (Q2605944): Difference between revisions

Für die Theorie eines algebraischen Funktionenkörpers ist die Kenntnis der Struktur seiner Divisorenklassengruppe von Bedeutung. Verf. liefert einen Beitrag zu diesem Strukturproblem, indem er den folgenden Satz beweist: Der algebraische Funktionenkörper \(K\) vom Transzendenzgrad 1 über dem alge\-braisch abgeschlossenen Konstantenkörper \(k\) der Charakteristik \(p\) (\(= 0\) oder Primzahl) sei separabel zyklisch vom Primzahlgrad \(l\) über einem Unterkörper \(K_0\). In \(K\) seien \(t\) (\(> 0\)) Primdivisoren von \(K_0\) verzweigt. Die Anzahl der Lösungen der Divisoren\-klassengleichung \(X_0^l=C_0\) für beliebiges \(C_0\) vom Grade 0 in \(K_0\) sei \(l^\varrho\). Dann hat die Gleichung \(X^l=C\) in \(K\) bei beliebiger Klasse \(C\) nullten Grades \(l^{\varrho l+(t-2)(l-1)}\) Lösungen, falls \(l\neq p\), dagegen \(l^{\varrho l+(t-1)(l-1)}\) Lösungen, falls \(l = p\) ist. Der Beweis beruht auf einigen Sätzen über Faktorensysteme (bestehend aus Ele\-menten, Divisoren oder Divisorenklassen) von \(K/K_0\), mittels derer die Lösbarkeit von \(X^l = C\) in \(K\) auf die von \(X_0^l = C_0\) in \(K_0\) zurückgeführt und die Lösungszahl von \(X^l = N_{K/K_0}\, X=1\) -- aus der man die Lösungszahl von \(X^l = 1\) in \(K\) leicht berechnen kann -- unter Hanzunahme gruppentheoretischer Schlüsse gewonnen wird.