Automorphismen und Divisorenklassen der Ordnung \(l\) in algebraischen Funktionenkörpern. (Q2605944)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automorphismen und Divisorenklassen der Ordnung \(l\) in algebraischen Funktionenkörpern. |
scientific article |
Statements
Automorphismen und Divisorenklassen der Ordnung \(l\) in algebraischen Funktionenkörpern. (English)
0 references
1936
0 references
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.
0 references