{"entities":{"Q2645650":{"pageid":2656393,"ns":120,"title":"Item:Q2645650","lastrevid":44551554,"modified":"2025-11-23T20:45:28Z","type":"item","id":"Q2645650","labels":{"en":{"language":"en","value":"Primdivisoren mit vorgegebener Primitivwurzel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3026258"}},"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":"Q2645650$0100EDAF-CBAA-4CE2-94B1-C96D1B246ADC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ced817a6d6e51558139938637dc0e8ac1e4d0089","datavalue":{"value":{"text":"Primdivisoren mit vorgegebener Primitivwurzel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2645650$DE5B307F-411D-4535-95A9-C39DFAC1DD56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8beccb8c2fc2edd1d383b424d497a5f1e9f43f17","datavalue":{"value":"0016.34301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645650$62FBEFE0-3B4F-4B56-8CBD-0A4038B0E13F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c48f959d15e9fca80f413d0e95e278f7af699083","datavalue":{"value":"10.1007/BF01594189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645650$56E64E76-0320-42AF-9DC0-D0BF23431D1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a65a63285b46d02360f7c49be45b2aaa8cdaf1b4","datavalue":{"value":{"entity-type":"item","numeric-id":2578832,"id":"Q2578832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2645650$6963D7DD-4C4F-4AB7-B942-0C82C2A42FAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2645650$D58BB2A0-E254-452A-9BD7-72F4D976190C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2645650$E34B891D-591E-4E70-A5FD-D22DD453B105","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17eecd4a8495bc363967b603113f1fd36918600c","datavalue":{"value":"https://eudml.org/doc/159928","type":"string"},"datatype":"url"},"type":"statement","id":"Q2645650$0FDE59DE-8871-4ADC-BB48-C41A778BE13A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"179ec876b53f15af77f32eb6afcc7cc578335d5e","datavalue":{"value":"\\(a\\ne 0\\) sei eine Zahl eines Zahlk\u00f6rpers \\(k\\), sie sei keine Einheitswurzel. F\u00fcr welche Primideale \\(\\mathfrak p\\) von \\(k\\) ist \\(k\\) Primitivwurzel (ist \\(a\\) \\(\\text{PW}(\\mathfrak p)\\))? Genauer: Hat die Menge \\(\\mathfrak M_a\\) dieser \\(\\mathfrak p\\) eine Dirichletdichte \\(w(\\mathfrak M_a)\\)? (Problem von Artin.)   Nach Artin zeigt man leicht: Genau dann ist \\(a\\) \\(\\text{PW}(\\mathfrak p\\)), wenn \\(\\mathfrak p\\) f\u00fcr keine Primzahl \\(q\\) in dem galoisschen K\u00f6rper \\(K_q = k\\left(\\sqrt[q]{1},\\sqrt[q]{a}\\right)\\) voll zerlegt ist. Die Dichte der in \\(K_q\\) nicht voll zerlegten \\(\\mathfrak p\\) ist \\(1 - 1/(K_q:k)\\), so da\u00df \\(w(\\mathfrak M_a) = \\prod_q (1-1/(K_q: k))\\) zu vermuten ist. Es m\u00fc\u00dfte nur noch gerechtfertigt werden, da\u00df der Grenz\u00fcbergang \\(\\displaystyle \\lim_{n\\to\\infty} \\prod_{\\nu=1}^n (1 - 1/(K_{q_\\nu}: k))\\) mit dem in der Definition der Dirichletdichte steckenden Grenz\u00fcbergang \\(s\\to 1+0\\) vertauscht werden darf. Man zeigt dann weiter, da\u00df \\(w(\\mathfrak M_a)\\) positiv ist, wenn f\u00fcr kein \\(q\\), f\u00fcr das \\(k\\) die \\(q\\)-ten Einheitswurzeln enth\u00e4lt, \\(a\\) eine \\(q\\)-te Potenz in \\(k\\) ist (in diesem Ausnahmefall gibt es \u00fcberhaupt keine \\(\\text{PW}(\\mathfrak p)\\) zu \\(a\\), wie man leicht sieht).  In der vorliegenden Arbeit wird die Artinsche Frage f\u00fcr den analogen Fall behandelt, da\u00df \\(k\\) ein algebraischer Funktionenk\u00f6rper einer Unbestimmten \u00fcber einem Galoisfeld \\(\\Omega\\) mit \\(p\\) Elementen ist. Die formalen \u00dcberlegungen werden etwas verwickelter, weil die K\u00f6rper \\(K_q\\) nicht \u00fcber \\(k\\) unabh\u00e4ngig sind wie im Fall der Zahlen. F\u00fcr eine Primdivisorenmenge \\(\\mathfrak M\\) aus \\(k\\) setze man  \\[  w(s, \\mathfrak M) = \\frac{\\sum_{\\substack{m\\ge1\\\\ p\\in\\mathfrak M}}(mN\\mathfrak p^{m_s})^{-1}} {\\sum_{\\substack{m\\ge1 \\\\ \\text{alle }p}}(mN\\mathfrak p^{m_s})^{-1}}  \\] so da\u00df \\(w(\\mathfrak M) = lim_{s\\to 1+0} w(s, \\mathfrak M)\\) die Dirichletdichte von \\(\\mathfrak M\\) ist (falls sie existiert). Bezeichnet \\((K_q)\\) die Menge der in \\(K_q\\) voll zerfallenden Primdivisoren von \\(k\\), so stimmt der Durchschnitt \\(\\mathfrak M^* = \\underset{q}{\\Delta} ((k)-K_q))\\) bis auf endlich viele Primdivisoren mit \\(\\mathfrak M_a\\) \u00fcberein, so da\u00df \\(\\mathfrak M^*\\) an Stelle von \\(\\mathfrak M_a\\) untersucht werden darf. Durch kombinatorische \u00dcberlegungen kommt man, \\(\\mathfrak M_n)= \\underset{\\nu\\le n}{\\Delta} ((k) - (K_{q_\\nu}))\\) gesetzt, zu  \\[  \\lim w(s, \\mathfrak M_n) \\ge w(s, \\mathfrak M^*),\\quad 0\\le w(s, \\mathfrak M_n) - w(s, \\mathfrak M^*) \\le \\sum_{\\nu>n} w(s, (K_{q_\\nu})  \\]  und  \\[   w(\\mathfrak M_n) = \\sum_{m \\mid q_1\\cdots q_n} \\frac{\\mu(m)}{(K_m:k)}. \\]  Es ist nun  \\[  w(s, (K_q)) \\le \\frac1{(K_q:k)}\\frac{\\log \\zeta(s,K_q)}{\\log \\zeta(s,k)}. \\]  Unter Annahme der Riemannschen Vermutung f\u00fcr die Zetafunktionen \\(\\zeta(s, K_q)\\) der \\(K_q\\) wird nun gezeigt, da\u00df die Reihe  \\[  \\sum_q \\frac1{(K_q:k)} \\frac{\\log \\zeta(s,K_q)}{\\log \\zeta(s,k)} \\tag{\\text{I}}  \\] in einem festen Intervall \\(1< s \\le s_0\\) gleichm\u00e4\u00dfig konvergiert. Da diese Reihe die Reihe \\(\\sum_q w(s, (K_q))\\) majorisiert, so schlie\u00dft man zun\u00e4chst  \\[  \\lim_{n\\to\\infty} w(s, \\mathfrak M_n) = w(s, \\mathfrak M^*) \\]  und weiter  \\[ \\begin{aligned} w(\\mathfrak M^*) &= \\lim_{s\\to 1+0} w(s, \\mathfrak M^*) = \\lim_{s\\to 1+0} \\lim_{n\\to\\infty}w(s,\\mathfrak M_n) = \\lim_{n\\to\\infty} \\lim_{s\\to 1+0} w(s, \\mathfrak M_n) = \\lim_{n\\to\\infty} w(\\mathfrak M_n)) \\\\  &=\\lim_{n\\to\\infty} \\sum_{m \\mid q_1\\cdots q_n} \\frac{\\mu(m)}{(K_m:k)}. \\end{aligned} \\]   Es ist \\((K_q:k) = qf(q)\\), wenn \\(f(q)\\) die Ordnung von \\(p\\) modulo \\(q\\) bezeichnet, und der Konstantenk\u00f6rper \\(\\Omega_q\\) von \\(K_q\\) hat \\(p^{f(q)}\\) Elemente, von endlich vielen \\(q\\) abgesehen. Diese Ausnahme-\\(q\\) lasse man aus der Reihe (1) fort. \\(R_q\\) sei der K\u00f6rper der rationalen Funktionen einer Unbestimmten \u00fcber \\(\\Omega_q\\), also  \\[  \\zeta(s, K_q) = \\zeta(s, R_q) \\cdot \\prod_{i=1}^{2q(K_q)} \\left(1 - \\frac{\\omega_i}{p^{f(q)s}}\\right), \\]  wobei wegen der Riemannschen Vermutung \\(\\omega_i = p^{\\frac12 f(q)}\\) zu setzen ist. Der Beweis von (I) wird unter schw\u00e4cherer Annahme \\(\\omega_i = p^{f(q)(1-\\vartheta)}\\) mit von \\(q\\) unabh\u00e4ngigem \\(\\vartheta>0\\) gef\u00fchrt. Die Reihe (I) zerf\u00e4llt in zwei Teile  \\[  \\sum_q \\frac1{qf(q)} \\frac{\\log \\zeta(s,R_q)}{\\log \\zeta(s,k)} \\quad \\text{und}\\quad \\sum_q \\frac1{qf(q)} \\frac {\\log \\prod_{i=1}^{2q(K_q)} \\left(1 - \\frac{\\omega_i}{p^{f(q)s}}\\right)}{\\log\\zeta(s,k)}.  \\] Da nach einem Satze von Romanoff [\\textit{N. P. Romanov}, Math. Ann. 109, 668--678 (1934; Zbl 0009.00801; JFM 60.0131.03); \\textit{P. Erd\u0151s} and \\textit{P. Tur\u00e1n}, Mitt. Forsch.-Inst. Math. Mech. Univ. Tomsk 1, 101--103 (1935; Zbl 0012.01201; JFM 61.0155.03)] \\(\\sum_q 1/qf(q)\\) konvergiert, so braucht f\u00fcr die erste Reihe nur die gleichm\u00e4\u00dfige Beschr\u00e4nktheit der Logarithmenquotienten gezeigt zu werden, was mittels der Eulerschen Produktzerlegung leicht geschehen kann. Um die zweite Reihe zu behandeln, sch\u00e4tzt man zuerst das Geschlecht \\(g(K_q)\\) von \\(K_q\\), durch eine von \\(q\\) unabh\u00e4ngige positive Zahl \\(r\\) ab: \\(2q(K_q) < qr\\), zeigt mittels des erw\u00e4hnten Romanoffschen Satzes die Konvergenz die Reihe  \\[  \\sum_{q\\mid p} \\frac1{p^{f(q)\\vartheta} f(q)} \\]  und schlie\u00dft dann aus der Absch\u00e4tzung  \\[  \\left\\vert \\log\\prod_{i=1}^{2q(K_q)} \\left(1 - \\frac{\\omega_i}{p^{f(q)s}}\\right)\\right\\vert < r \\frac{p^\\vartheta}{p^\\vartheta - 1} \\frac{q}{p^{f(q)\\vartheta}}  \\]  auf die gleichm\u00e4\u00dfige Konvergenz der zweiten Teilreihe.   Nach Davenport und Heilbronn erh\u00e4lt man f\u00fcr die Dichte \\(w(\\mathfrak M_a)\\) die untere Absch\u00e4tzung  \\[  w(\\mathfrak M_a) \\ge \\prod_{\\substack{a\\ne 1 \\\\ q}} \\left(1 - \\frac1{qf(q)}\\right) \\cdot  \\prod_{\\substack{a=1 \\\\ q}} \\left(1 - \\frac1{f(q)}\\right),  \\]  so da\u00df \\(w(\\mathfrak M_a)\\) positiv ist, wenn nicht f\u00fcr ein \\(q\\) mit \\(f(q)=1\\) \\(a\\) eine \\(q\\)-te Potenz in \\(k\\) wird, in welchem Falle es \u00fcberhaupt keine \\(p\\) mit \\(a\\) \\(\\text{PW}\\,\\mathfrak p\\) geben kann.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2645650$49ACEC04-02D0-4B56-9875-02F8959068EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645650$C98297D9-414F-466E-BD00-57E9AD2294CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645650$F5F1142E-8CC4-4F1F-BEE2-63D8ABEB70DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f42d521169a60895408c0a3bdace55adbfb6e09c","datavalue":{"value":"3026258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2645650$AB30810A-D61C-408A-821E-D4EA1864233D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5011bacd14d302a9a31fd1232cf4d935e68e6b5c","datavalue":{"value":"prime divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2645650$D85EA080-7328-4F7B-ACCA-AEC2F98235BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d6b95577035751b091e5b5ef9a3e27bde001e97","datavalue":{"value":"given primitive root","type":"string"},"datatype":"string"},"type":"statement","id":"Q2645650$304A4AB3-257C-4BEF-83AA-D6526E8B4039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7c4fc78ca7dce6127a07e3c5212637c2370c09","datavalue":{"value":"algebraic function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2645650$61BB2BF1-D432-4DFD-AAC1-CB341935B4AC","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":"Q2645650$200F0B19-13B1-4C13-A1EB-9D0CEB9AA4C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c150558b0fbfb2e9e310118f0110a2958b560c","datavalue":{"value":{"entity-type":"item","numeric-id":1565477,"id":"Q1565477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2645650$4D76EF14-AC6A-4FF4-A526-4DC6CE16A136","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2645650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2645650"}}}}}