{"entities":{"Q2800161":{"pageid":2810899,"ns":120,"title":"Item:Q2800161","lastrevid":79631381,"modified":"2026-05-06T14:21:56Z","type":"item","id":"Q2800161","labels":{"en":{"language":"en","value":"On the density of coprime \\(m\\)-tuples over holomorphy rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6569150"}},"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":"Q2800161$D45BC26F-956D-413F-A9FA-8A1E84806CEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54994def5b251a53e405cdcaca161e6178bbcbb8","datavalue":{"value":"1348.11088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800161$6764C9AF-703A-44C7-ADEF-EC8E1241E02E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb25e7f89873c502485d83531d3c2e5f3438ef5b","datavalue":{"value":"10.1142/S1793042116500536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800161$AFFB9F8D-09D4-4C1B-AF16-39696353BF63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07bd1a5f0c6cd2de1960da65684ff172d72f1f2e","datavalue":{"value":{"entity-type":"item","numeric-id":260091,"id":"Q260091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800161$23ECD4CE-73F1-4D43-AA77-1ABB48768EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c1e05b18aa2703995948af72ca61c9a248f82c3","datavalue":{"value":{"entity-type":"item","numeric-id":1691239,"id":"Q1691239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800161$75BF208F-7741-4F32-9B65-E777A49BA826","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a035c107b10f77b626decca899281cb6367c70f2","datavalue":{"value":{"entity-type":"item","numeric-id":2789365,"id":"Q2789365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800161$B07D90DA-B193-4A0A-9EA3-E5036A4E91FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57da539027be438345077c3891084db52f2ea1ba","datavalue":{"value":{"time":"+2016-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800161$35D87D01-C457-4A5A-8032-4AD20C2FF141","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74779c54a29b840b5043347be1a1e5ed110879e7","datavalue":{"value":"https://arxiv.org/abs/1411.6876","type":"string"},"datatype":"url"},"type":"statement","id":"Q2800161$52A56A6E-3C97-4EEA-925E-281F031187BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800161$75E3E213-D0A7-44BB-8043-FB5341925839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e2417e055dac8201b2edbf4ce214140443124f6","datavalue":{"value":"11M38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800161$C60E6E07-6A53-45BA-85C0-80E225D83C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800161$A9B9D94E-AAC6-4BBB-BAAB-681FFB9A8492","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd892cb220ab14a096167f4e0af2870e90354483","datavalue":{"value":"6569150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800161$270D199E-E1BB-4C0D-9644-A02428368550","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e79ad6430269b54388f4ec89a588557d48e71cc","datavalue":{"value":"function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800161$D7DD745B-F79C-41ED-A9E4-0EAC0C56433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291070f47f2f887322cfcb5e59a4a0a96511e25e","datavalue":{"value":"holomorphy ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800161$4C96B095-2F86-4F71-AB94-AAD9D03054A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc1a893afd3e27df8db2a6aa0ca5fb006499d516","datavalue":{"value":"coprime elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800161$CCE32D6B-3EA2-42B0-B594-58142BCC9E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800161$CA6E6B1E-AA83-4E67-A012-88D08EAFE3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7656584479d633811c0a5f231be027d277e272","datavalue":{"value":"Riemann-Roch space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800161$28714CC4-727D-4C8A-B228-183B314BC5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18043ce842406adf7d9e4c8f3cd17b240a5165a","datavalue":{"value":"zeta function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800161$B335CD0D-AC89-4A99-8D8D-C8A65AA2107A","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":"Q2800161$111BEE40-FB1B-4491-9E63-7ADDEF49B8C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d1488087129220212c59258d458f2be2240806","datavalue":{"value":{"entity-type":"item","numeric-id":2800090,"id":"Q2800090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800161$D316DEF8-D047-465C-B682-910E7ED94BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a100b064dd5dc906ca54ec7c871c8932a5f9b24","datavalue":{"value":{"entity-type":"item","numeric-id":3998729,"id":"Q3998729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800161$0A47205A-5520-41E8-A9C4-ED6E30E8F462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b053632ed579c5c42a6d6234be807294822832c5","datavalue":{"value":{"entity-type":"item","numeric-id":2555517,"id":"Q2555517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800161$4ED83D69-AB68-4593-935C-8F58A4A1F9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584ea5531b3c5b862220e7fd8ab5ff0b4431bd8a","datavalue":{"value":{"entity-type":"item","numeric-id":3539345,"id":"Q3539345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800161$2033AC8F-489F-4E59-81A6-B4596229D5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13372878e7a8ba9078061e05752bee4f774569c","datavalue":{"value":{"entity-type":"item","numeric-id":3504284,"id":"Q3504284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800161$7DAF16ED-5B84-4843-B080-646749F9B4F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11431bc27e7c92868695a85587b7a03296373164","datavalue":{"value":"W1645674194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800161$C70ECDE5-930C-4F7F-BE0E-F2CBD4E5661C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2a756080dd8f0cde257b19ae8be2e1baaede35b","datavalue":{"value":{"text":"On the density of coprime \\(m\\)-tuples over holomorphy rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800161$6AF46467-114E-49AD-872B-0839D3043F70","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c60c5e941cd5bc27a2e865f7ff7b8b0401c2bb3e","datavalue":{"value":"Let \\(F\\) an algebraic function field of genus \\(g\\) with full constant field \\(\\mathbb F_q\\), \\(\\mathcal C\\) the set of places of \\(F\\), and \\(\\mathcal S\\) a nonempty proper subset of \\(\\mathcal S\\). The holomorphy ring of \\(\\mathcal S\\) is \\(H=\\bigcap_{P\\in\\mathcal S}{\\mathcal O}_P\\), where \\({\\mathcal O}_P\\) is a valuation ring of \\(P\\). An \\(m\\)-tuple of elements \\(f_1,\\dots,f_m\\) of \\(H\\) is \\textit{coprime} if they generate the unit ideal in \\(H\\), i.e. \\(\\langle f_1,\\dots,f_m\\rangle=H\\) (in analogy with \\(\\mathbb Z\\)). For a fixed positive integer \\(m\\), define \\(U=\\{(f_1,\\dots,f_m)\\in H^m : \\langle f_1,\\dots,f_m\\rangle=H\\}\\). The authors define a notion of \\textit{density} for subsets of \\(H^m\\), and the main result concerns the density of \\(U\\). Let \\(\\mathcal D\\) denote the set of positive divisors supported away from \\(\\mathcal S\\) and for any \\(D\\in\\mathcal D\\), let \\(\\mathcal L(D)\\) denote the Riemann-Roch space associated to \\(D\\). Then \\(H=\\bigcup_{D\\in\\mathcal D}\\mathcal L(D)\\). The \\textit{superior density} of \\(L\\subset H^m\\) is \\(\\overline{\\mathbb D}(L)=\\limsup_{D\\in\\mathcal D}\\frac{|L\\cap{\\mathcal L(D)}^m|}{|{\\mathcal L(D)}^m|}\\), which is defined using Moore-Smith convergence of nets; the \\textit{inferior density} \\(\\underline{\\mathbb D}(L)\\) is defined analogously. When \\(\\overline{\\mathbb D}(L)=\\underline{\\mathbb D}(L)\\), this value is the \\textit{density} of \\(L\\), \\(\\mathbb D(L)\\). The main result is Theorem 2.1: The density of the set of coprime tuples of length \\(m\\geq 2\\) of the holomorphy ring \\(H\\) is \\(\\frac{1}{Z_H(q^{-m})}\\), where \\(Z_H(T)=\\prod_{P\\in\\mathcal S}(1-T^{\\deg(P)})^{-1}\\) (with \\(0<T<q^{-1}\\)) is the zeta function of \\(H\\). The proof uses the Riemann-Roch Theorem and the absolute convergence of \\(Z_F\\), the zeta function of \\(F\\). Theorem 2.1 is the function field version of the classical result for \\(\\mathbb Z\\), where the density is \\(\\frac{1}{\\zeta(m)}\\), \\(\\zeta\\) being the Riemann zeta function. In Theorem 2.1, both \\(\\mathcal S\\) and \\(\\mathcal S\\backslash\\mathcal C\\) could be finite, and \\(Z_H\\) may be hard to compute. However, if \\(\\mathcal S\\) is finite then \\(Z_H\\) is a finite product, and if \\(\\mathcal S\\backslash\\mathcal C\\) is finite then Corollary 3.1 shows that computing the density reduces to computing the \\(L\\)-polynomial of \\(F\\). In Section 3.1, Theorem 2.1 is applied to the affine coordinate ring \\(A(E)\\) of an elliptic curve \\(E\\) over \\(\\mathbb F_q\\) of characteristic \\(\\neq 2,3\\). The case \\(F=\\mathbb F_q(x)\\), \\(H=\\bigcap_{P\\neq P_{\\infty}}{\\mathcal O}_P=\\mathbb F_q[x]\\) was studied for \\(m=2\\) in [\\textit{H. Sugita} and \\textit{S. Takanobu}, Adv. Stud. Pure Math. 49, 455--478 (2007; Zbl 1154.60006)] and for general \\(m\\) in [\\textit{X. Guo} and \\textit{G. Yang}, Linear Algebra Appl. 438, No. 6, 2675--2682 (2013; Zbl 1263.15033)]. In Section 3.2. the authors interpret this work within their general framework.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800161$52E786BC-1A0B-44F3-8B7D-95D60A3198F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"acc8825afb1ce7b8ff7cbc2bdce3c2151b0213df","datavalue":{"value":{"entity-type":"item","numeric-id":589792,"id":"Q589792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800161$A3148BC6-4920-4F29-8753-B92EC2378B52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbaccc9cfff03d89f19280dab6f92f1a4fca5da","datavalue":{"value":{"entity-type":"item","numeric-id":2800090,"id":"Q2800090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18ec33f6eb3a6ce3fc37ba551c8cda6cc1c3fc5","datavalue":{"value":{"amount":"+0.7789928913116455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800161$1E231F7E-94E7-458A-9E2A-FB0BEF05327E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd08c0a963b91f86dd08a04f889af2ede6db352","datavalue":{"value":{"entity-type":"item","numeric-id":4581321,"id":"Q4581321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b4434baa2b868ba577c26422f631d8be387fc2","datavalue":{"value":{"amount":"+0.7714356780052185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800161$5EE8D0D9-C73F-479C-9395-75286354C04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf112c192d7dcb39437d992890e0918b9b3d2fe","datavalue":{"value":{"entity-type":"item","numeric-id":2066404,"id":"Q2066404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5ccd55a4395fc94ab152642cd172370b6f28c3","datavalue":{"value":{"amount":"+0.7604681849479675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800161$26BC59A8-31E5-4DB5-B9F5-271200FCD467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d107fb2f2deab7e5dc2c9a560ac186055952e5e6","datavalue":{"value":{"entity-type":"item","numeric-id":2829808,"id":"Q2829808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e1f42e4c9fc7686670f48d7f163afa83cf504b","datavalue":{"value":{"amount":"+0.7472139000892639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800161$3BE3C18A-C722-4402-A419-F29CCD060AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070f9daa45492e5a320a947de242b369dfb4d7bc","datavalue":{"value":{"entity-type":"item","numeric-id":5250905,"id":"Q5250905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4a31292153aab534edec0e8a641418ca659451","datavalue":{"value":{"amount":"+0.745777428150177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800161$0D0EAB75-6635-4359-AE8D-DC6F6239039C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the density of coprime \\(m\\)-tuples over holomorphy rings","badges":[]}}}}}