{"entities":{"Q2616741":{"pageid":2627484,"ns":120,"title":"Item:Q2616741","lastrevid":44494584,"modified":"2025-11-23T08:28:50Z","type":"item","id":"Q2616741","labels":{"en":{"language":"en","value":"Theorie der relativ-zyklischen algebraischen Funktionenk\u00f6rper, insbesondere bei endlichem Konstantenk\u00f6rper."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2537296"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616741$F02A4A69-4D4A-4162-9109-1A3BBB38A80C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fea8b5e2319e778bed2ac03506aaab6241a57118","datavalue":{"value":{"text":"Theorie der relativ-zyklischen algebraischen Funktionenk\u00f6rper, insbesondere bei endlichem Konstantenk\u00f6rper.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2616741$22D51A6E-89EA-411F-B5BC-75B4820B1B13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6aad21c63041c2b2f96d477d5d6dc0c0a049b916","datavalue":{"value":"60.0097.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616741$5306BADC-50CA-48F6-8359-69D7DA5AC737","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616741$5C9425F9-1C4E-4589-A69E-EFF6073D1875","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2616741$BFB36FBD-C0DE-4F7B-B9D1-1675586D05F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4aeb594eb8dfdd3c313c840f01c8bfdbe463a94","datavalue":{"value":"https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002173026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2616741$AB9A09C9-897F-4375-A02D-CB17D7F3EB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"71b77c46edf1422c822448b723135d6e80623740","datavalue":{"value":"https://eudml.org/doc/149898","type":"string"},"datatype":"url"},"type":"statement","id":"Q2616741$A5EA9EA5-89CB-4E31-8A42-52411F051C8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8e338ae955a318b879c3c80663862895b5fe89f","datavalue":{"value":"Betrachtet werden die separablen zyklischen Erweiterungen \\(Z\\) vom Grade \\(n\\) \u00fcber einem algebraischen Funktionenk\u00f6rper \\(K\\) in einer Unbestimmten mit dem endlichen Konstantenk\u00f6rper \\(k\\) der Charakteristik \\(p\\). \u00dcber \\(n\\) und \\(k\\) werden folgende einschr\u00e4nkenden Voraussetzungen gemacht, die gelegentlich mehr oder weniger weitgehend aufgehoben werden: Es sei entweder \\(n \\not \\equiv 0\\) mod \\(p\\) oder \\(n = p\\); \\(k\\) sei auch in \\(Z\\) algebraisch abgeschlossen; und schlie\u00dflich m\u00f6ge \\(k\\) im ersten Fall die \\(n\\)-ten Einheitswurzeln enthalten. Beide F\u00e4lle werden ihrer formalen Analogie wegen gleichzeitig nebeneinander behandelt.  Die arithmetische Theorie von \\(Z = K(y)\\) kn\u00fcpft sich an die \\textit{Kummer}sche Erzeugungsweise \\(y^n = B\\) f\u00fcr \\(n \\not \\equiv 0\\) mod \\(p\\) bzw. an die \\textit{Artin-Schreier}sche durch \\(y^p - y = B\\) f\u00fcr \\(n = p\\) mit \\(B\\) aus \\(K\\). Ist \\(\\mathfrak p\\) in \\(Z\\) unverzweigter Primdivisor von \\(K\\), so l\u00e4\u00dft sich entsprechend der Tatsache, da\u00df\\ die Konjugierten zu \\(y\\) sich multiplikativ um die \\(n\\)-ten Einheitswurzeln bzw. additiv um die ``\\(p\\)-ten Nullteile'' unterscheiden, wie in der algebraischen Zahlentheorie nach der \\textit{Hilbert}schen Theorie f\u00fcr beide F\u00e4lle ein ``\\(n\\)-tes Potenzrestsymbol'' \\(\\left ( \\frac {B}{\\mathfrak p}\\right )\\) mod \\(\\mathfrak p\\) definieren, das die \u00fcblichen Eigenschaften hat. - Nimmt man in \\(\\mathfrak f\\) alle in \\(Z\\) verzweigten Primdivisoren \\(\\mathfrak p\\) von \\(K\\) mit einem aus der erzeugenden Gleichung sich ergebenden Exponenten auf, und hat \\(f_{\\nu }\\) die entsprechende Bedeutung f\u00fcr den durch \\(y^n = B^{\\nu }\\) bzw. \\(y^p - y = \\nu B\\) erzeugten Teilk\u00f6rper \\(Z_{\\nu }\\), so l\u00e4\u00dft sich die Diskriminante \\(\\mathfrak d\\) von \\(Z/K\\) schreiben als \\(\\prod \\limits ^{n-1}_{\\nu = 0} \\mathfrak f _{\\nu }\\). Ist \\(g_0\\) das Geschlecht von \\(K\\) und \\(f_{\\nu }\\) der Grad von \\(\\mathfrak f _{\\nu }\\), so ist das doppelte Geschlecht \\(2\\bar g\\) von \\(Z\\) gleich \\(2g_0 + \\sum \\limits ^{n-1}_{\\nu = 1} (2g_0 - 2 + f_{\\nu })\\). Als das doppelte Relativgeschlecht \\(2g\\) von \\(Z/K\\) wird definiert \\(2g = d - 2(n-1) = \\sum \\limits ^{n-1}_{\\nu =1} f_{\\nu }\\), wobei \\(d\\) der Grad von \\(\\mathfrak d\\) ist.  Setzt man \\(\\left ( \\frac {B}{\\mathfrak a}\\right ) = \\prod \\limits _{\\mathfrak p} \\left ( \\frac {B}{\\mathfrak p}\\right ) ^{\\mu }\\), wenn \\(\\mathfrak a = \\prod \\limits _{\\mathfrak p} \\mathfrak p ^{\\mu }\\) ein zu \\(\\mathfrak f\\) primer Divisor von \\(K\\) ist, so gilt f\u00fcr dieses zusammengesetzte \\(n\\)-te Potenzrestsymbol das Reziprozit\u00e4tsgesetz in der Form: \\(\\left ( \\frac {B}{\\mathfrak a}\\right ) = 1\\), wenn \\(\\mathfrak a \\sim N(\\mathfrak A )\\) mod \\(\\mathfrak f\\) (\\(\\mathfrak A\\) zu \\(\\mathfrak f\\) primer Divisor von \\(Z\\)). Der Beweis erfolgt wie in der gew\u00f6hnlichen Zahlentheorie mit Hilfe der Theorie der lokalen Divisionsalgebren. Benutzt wird dabei der Satz von \\textit{Tsen} (1933; F. d. M. \\(59_{\\text{I}}\\), 160). Gleichzeitig ergibt sich f\u00fcr separable zyklische Erweiterungen \\(Z\\) beliebigen Grades \\(n\\) \u00fcber \\(K\\) der Umkehrsatz der Klassenk\u00f6rpertheorie nebst Isomorphiesatz, Zerlegungssatz, \\textit{Artin}schem Reziprozit\u00e4tsgesetz in der \u00fcblichen Form (als F\u00fchrer erweist sich \\(\\mathfrak f\\)), der sich dann auch ohne weiteres auf beliebige separable abelsche Erweiterungen von \\(K\\) \u00fcbertr\u00e4gt. - Ist speziell \\(K\\) vom Geschlecht Null, so l\u00e4\u00dft sich das Reziprozit\u00e4tsgesetz f\u00fcr \\(\\left ( \\frac {B}{\\mathfrak a}\\right )\\) auch elementar beweisen, und zwar verl\u00e4uft der Beweis im Fall \\(n \\not \\equiv 0\\) mod \\(p\\) nach \\textit{Dedekind}schem Muster, w\u00e4hrend im Fall \\(n = p\\) logarithmische Differentialquotienten - analog zu den \\textit{Kummer}schen - auftreten.  Zu \\(Z/K\\) werden die Charaktere definiert durch \\(\\chi ^{\\nu }(\\mathfrak a ) = \\left ) \\frac {B^{\\nu }}{\\mathfrak a}\\right )\\) (\\(\\nu \\) mod \\(n\\)), wobei \\(\\left ) \\frac {B^{\\nu }}{\\mathfrak a}\\right ) = 0\\) zu setzen ist, wenn \\(\\mathfrak a\\) nicht prim zu \\(\\mathfrak f _{\\nu }\\) ist. Die zugeh\u00f6rigen \\(L\\)-Reihen  \\[ L(s, \\chi ^{\\nu }) = \\prod _{\\mathfrak p} \\frac {1}{1 - \\frac {\\chi ^{\\nu }(\\mathfrak p )}{\\mathfrak N (\\mathfrak p )^s}} = \\sum _{\\mathfrak a} \\frac {\\chi ^{\\nu }(\\mathfrak a )}{\\mathfrak N (\\mathfrak a )^s} \\]  (\\(\\mathfrak p\\) durchl\u00e4uft die Primdivisoren, \\(\\mathfrak a\\) die ganzen Divisoren von \\(K\\)) erweisen sich als Polynome in \\(\\frac {1}{q^s}\\) (\\(q\\) die Anzahl der Elemente von \\(k\\)) vom Grade \\(2g_0 - 2 + f_{\\nu }\\) f\u00fcr \\(\\nu = 1,\\dots, n-1\\). Zu den Koeffizienten dieser Polynome geh\u00f6ren die Summen  \\[ \\sigma (\\chi ^{\\nu }) = \\sum _{\\mathfrak p\\text{ vom Grad 1}} \\chi ^{\\nu }(\\mathfrak p ) = \\sum _{\\mathfrak p\\text{ vom Grad 1}} \\left ( \\frac {B^{\\nu }}{\\mathfrak p}\\right ), \\]  die f\u00fcr den Fall \\(g_0 = 0\\) als Charakter- bzw. Exponentialsummen bekannt sind. Die Absch\u00e4tzung dieser Summen sowie der Abweichung \\(N_{01} - (q+1)\\) ist gleichbedeutend mit der von \\(\\overline {N_1} - (q+1)\\) (\\(N_{01}, \\overline {N_1}\\) die Anzahlen der Primdivisoren ersten Grades von \\(K, Z\\)) und wird bestm\u00f6glich erledigt sein, wenn die \\textit{Riemann}sche Vermutung f\u00fcr die \\(\\zeta \\)-Funktion von \\(Z\\) bewiesen ist. (III 8.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2616741$1033309E-AAFA-4A69-BB00-5CEA29F032C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9676723d24296eb22658a2e7d7145ee4422754f8","datavalue":{"value":"2537296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616741$846FC30B-5FA8-40BD-8332-CDE241DF9552","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616741$0E7A2A7D-3F75-42B6-B1F5-54D31EAE05E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f6a1a5930ee50ce107c559ffbc641496d157f32","datavalue":{"value":{"entity-type":"item","numeric-id":6481172,"id":"Q6481172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616741$A8F4840A-2D5C-4B50-BB9F-9B494D807D74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2616741","badges":[]}}}}}