{"entities":{"Q2187421":{"pageid":2198164,"ns":120,"title":"Item:Q2187421","lastrevid":57774339,"modified":"2026-04-02T11:42:03Z","type":"item","id":"Q2187421","labels":{"en":{"language":"en","value":"M\u00f6bius formulas for densities of sets of prime ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7207326"}},"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":"Q2187421$97AA03E3-165D-451A-8930-205A21255C63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa7f11f2c6169f8a2af840fb5ecec68238511d19","datavalue":{"value":{"text":"M\u00f6bius formulas for densities of sets of prime ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2187421$2A675A63-1568-412B-AE7D-A0135DB876D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"474eab7bf37e1ed375d4ce388a54d1a96dd847c4","datavalue":{"value":"1446.11202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2187421$4EC0265E-1071-4570-88ED-A31BF858B6DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91482bf2eae6c80c1ae8cf6fbbbdf05d4c821cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1634417,"id":"Q1634417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$985ED0F4-88CE-440F-B35D-1CB77970CD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a28d607fab8d6d302277345b9c856bdf4e0ba1f5","datavalue":{"value":{"entity-type":"item","numeric-id":784724,"id":"Q784724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$32BB5755-4415-4B77-9C8D-790268380B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a64f186b0df4f2722583de887e2b521d90e8d092","datavalue":{"value":{"entity-type":"item","numeric-id":724877,"id":"Q724877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$07ECCC97-434B-495C-9338-29AD4BF44C02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$3420F3F4-1639-47ED-8CEE-429379566567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"619850bdbc73c156157342f3f9792dd54aecedb2","datavalue":{"value":{"time":"+2020-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2187421$A049E436-DD37-44F1-A37F-CA92885B5E7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6659ef5e0f949d88a835ddedb237bf79886b4ad7","datavalue":{"value":"https://arxiv.org/abs/1907.02914","type":"string"},"datatype":"url"},"type":"statement","id":"Q2187421$90C83CDA-0B48-4479-9E52-869BD01FF483","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fe2dee5b33957304adb3ad00b498287c4372402","datavalue":{"value":"Let \\(K\\) be a number field with ring of integers \\(\\mathcal{O}_{K}\\). For an ideal \\(\\mathfrak{a} \\subseteq \\mathcal{O}_{K}\\) let \\(\\mathrm{N}(\\mathfrak{a})\\) denote its norm. Let \\(\\mathcal{P}\\) denote the set of prime ideals of \\(\\mathcal{O}_{K}\\) and let \\(S \\subseteq \\mathcal{P}\\). For \\(X \\in \\mathbb{R}\\) define \\(\\pi_{S}(K ; X) = \\# \\{ \\mathfrak{p} \\in S \\, : \\, \\mathrm{N}(\\mathfrak{p}) \\leq X \\}\\) and \\(\\pi(K ; X) = \\pi_{\\mathcal{P}}(K ; X)\\). The \\textit{natural density} of \\(S\\) is defined to be \\[ \\delta(S) := \\lim_{X \\rightarrow \\infty} \\frac{\\pi_{S}(K ; X)}{\\pi(K ; X)}. \\] This density does not necessarily exist for arbitrary sets \\(S\\).  An ideal \\(\\mathfrak{a} \\subseteq \\mathcal{O}_{K}\\) is said to be \\textit{distinguishable} if there exists a unique prime ideal \\(\\mathfrak{p} \\supseteq \\mathfrak{a}\\) attaining the minimal norm of all such primes. For \\(\\mathfrak{a}\\) distinguishable, let \\(\\mathfrak{p}_{\\mathrm{min}}(\\mathfrak{a})\\) denote this minimal prime. Define \\[ D(K,S) := \\{ \\mathfrak{a} \\subseteq \\mathcal{O}_{K} \\text{ is distinguishable}:\\mathfrak{p}_{\\min}(\\mathfrak{a}) \\in S \\}. \\] The following is a natural generalisation of the M\u00f6bius function to ideals \\(\\mathfrak{a} \\subseteq \\mathcal{O}_{K}\\):  \\[ \\mu_{K}(\\mathfrak{a}):=\\left\\{\\begin{array}{ll}1 & \\text{if } \\mathfrak{a} = \\mathcal{O}_{K},\\\\ 0 & \\text{if } \\mathfrak{a} \\subseteq \\mathfrak{p}^{2} \\text{ for some prime } \\mathfrak{p},\\\\ (-1)^{k} & \\text{if } \\mathfrak{a}=\\mathfrak{p}_{1} \\cdots \\mathfrak{p}_{k} \\text{ is a product of distinct primes.} \\end{array}\\right. \\] The main theorem of the article under review is as follows. Fix a number field \\(K\\) and a subset \\(S \\subseteq \\mathcal{P}\\). If \\(S\\) has natural density \\(\\delta(S)\\) then  \\[ -  \\lim_{X \\rightarrow \\infty} \\sum_{\\stackrel{2 \\leq \\mathrm{N}(\\mathfrak{a}) \\leq X}{\\mathfrak{a} \\in D(K,S)}} \\frac{\\mu_{K}(\\mathfrak{a})}{\\mathrm{N}(\\mathfrak{a})} = \\delta(S). \\] The authors discuss several interesting applications and new examples arising from this result. These include formulas for densities of primes in Sato-Tate intervals for elliptic curves without CM as well as densities of primes in Beatty sequences. For example, if \\(\\mathcal{B}_{\\pi} = \\{ 3, 31, \\dots \\}\\) denotes the set of primes of the form \\(\\lfloor \\pi n \\rfloor\\) for \\(n \\in \\mathbb{N}\\) then we have \\[ - \\sum_{\\stackrel{n \\geq 2}{p_{\\min}(n) \\in \\mathcal{B}_{\\pi}}} \\frac{\\mu(n)}{n} = \\frac{1}{\\pi}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2187421$426EA269-A2A5-4E5A-B339-409F7D7815D7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5be609b924c7fcf940e90e396ae180ef21c829f5","datavalue":{"value":{"entity-type":"item","numeric-id":351772,"id":"Q351772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$EA42E583-587E-4AED-8930-593B30EB90A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94c22661f4e1ca017a1a5fb9e08782c3fc6df71e","datavalue":{"value":"11R44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2187421$FC55A522-A4E2-4D99-9111-E5870EDE34C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"826e6ca0fc4fadd831c81051e838fccf63d2b3b6","datavalue":{"value":"11R45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2187421$39CEEFC3-92E8-4269-8510-3992A898EABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"165dab6e5762f960e258aaf8bf0a544755ee4ce5","datavalue":{"value":"7207326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2187421$AECE88C5-05D4-469A-9844-054044BBC19C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c39c86ea369346fddec724730cc36e29b5464d","datavalue":{"value":"Axer's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2187421$89A0DE8D-BBBD-4647-B881-2724959DC211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379272f926eea761941679f116e9dbee4c3f3d1e","datavalue":{"value":"M\u00f6bius function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2187421$19E2FAE7-9385-4E8F-B2AB-8EFF61812E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa56fdc36e38753a24ca03d0015d02ead09a0c56","datavalue":{"value":"natural density","type":"string"},"datatype":"string"},"type":"statement","id":"Q2187421$5537DBE2-673E-4724-B7E4-0A4136589922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd10ab560c1d90dc6b9ad97cb3b102896f713d6","datavalue":{"value":"prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2187421$B96ABF78-4A76-43EB-A69D-2CC55CF4FFFF","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":"Q2187421$C20542F1-0592-4EC0-8F03-66D2DC91CABF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c55e22e85f3166891e21559a3f40764176d0f8da","datavalue":{"value":"W3023355065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2187421$AF8ADA97-5B8F-46E2-A810-16E18A6E4B63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39dd2c6637548221c1d71bf41a8d6ead7c1f503d","datavalue":{"value":{"entity-type":"item","numeric-id":1238834,"id":"Q1238834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$77FD882C-8E3C-45E3-8AF0-3A7E9ED2BA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c79c161a062a6d78e73fbb89856abdc4fd5ace","datavalue":{"value":{"entity-type":"item","numeric-id":3615234,"id":"Q3615234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$570B3690-F69B-4088-A100-EA127B8D8B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5abd85e39df3b448091833f0a56b88fa3f14987","datavalue":{"value":{"entity-type":"item","numeric-id":533368,"id":"Q533368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$73C87328-587F-4C23-96E2-905F4CC64DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a71dbc1405929a7ecea2a86422427423a02337","datavalue":{"value":{"entity-type":"item","numeric-id":680064,"id":"Q680064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$33CED0FE-519D-46F9-BDCC-37E9C55D7EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fb8c56899b67d85ad02bac52b375801a70b014","datavalue":{"value":{"entity-type":"item","numeric-id":2646926,"id":"Q2646926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$9BDB0363-B281-42CD-9BCF-84520F915793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac43218f0ffd63f9d630612791b99b4f02e48fe","datavalue":{"value":{"entity-type":"item","numeric-id":784725,"id":"Q784725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$F6F1FF3A-031E-4292-9085-C745916F60F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def75084efbc0fbf44ea077c778b5e03e6bb2f5e","datavalue":{"value":{"entity-type":"item","numeric-id":4135671,"id":"Q4135671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$4724D2A7-876F-4CE7-A4FF-7FFFC661B6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c739f139a040bfe9262b42794900784f1489","datavalue":{"value":{"entity-type":"item","numeric-id":1803008,"id":"Q1803008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$834CB5AD-4F7A-49C5-93CB-567747297A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de16c312c17b70110fb5d1a4027e923c6771ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3600752,"id":"Q3600752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$ED7912E4-D592-4657-9026-347DC64F5E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6f1a30fbbb8a54596e17ac9acef57b107650c2","datavalue":{"value":{"entity-type":"item","numeric-id":1170294,"id":"Q1170294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$D712D98E-AEF7-4F0D-961C-DBBD29C6DD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fdce74e43fcf4e284ae4be850660dca07ed0822","datavalue":{"value":{"entity-type":"item","numeric-id":5794729,"id":"Q5794729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$D7142987-F12E-4EB0-9F04-E359BF11A134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c1230bb8d07bcf7be3ec84c198c48ce0e1b44f","datavalue":{"value":{"entity-type":"item","numeric-id":4853051,"id":"Q4853051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$4E0E1C65-EF35-479E-B3E1-1AF8595E9767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ff176fd002772e91e7d35d29df945a6c7eeb17","datavalue":{"value":{"entity-type":"item","numeric-id":2316317,"id":"Q2316317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$85F41040-9DAD-4AEF-89B1-2770514776CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c880cf49f43f0643a056a8a63eacc008b797385","datavalue":{"value":{"entity-type":"item","numeric-id":3552492,"id":"Q3552492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2187421$C6F2F1A0-97A7-4F1E-9C12-5A0A164839CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4b18da18be84264ec6ca02880d4b460e7fa38d6","datavalue":{"value":"10.1007/S00013-020-01458-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2187421$C546E1C4-43BC-4A82-9E41-AC70CA64C0F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05dc134f9c5cea903b5e27b4a1b839f40de50095","datavalue":{"value":{"entity-type":"item","numeric-id":1644637,"id":"Q1644637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45353f1ae4f1ed6f4d3b216a368f82aaae11724","datavalue":{"value":{"amount":"+0.759070873260498","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":"Q2187421$35CB5BAC-CA85-4306-8224-235FCAC16EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b80bd6e5a5f7c0ce123bdc4470649690236dec6","datavalue":{"value":{"entity-type":"item","numeric-id":2316317,"id":"Q2316317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08108ad3c38a7756b7aef5b22270975cfb2d6f4a","datavalue":{"value":{"amount":"+0.7541710734367371","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":"Q2187421$BE8E9282-64D3-406E-BA1A-F679A6BFB83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b481a9023f9ad041bfb5ecda18aebf4f92000cd8","datavalue":{"value":{"entity-type":"item","numeric-id":3101577,"id":"Q3101577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30db240fb6f4511d97e666e30726d9b3937fbff","datavalue":{"value":{"amount":"+0.751118540763855","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":"Q2187421$F09F45EA-B92D-4D84-BF43-A1353A8E1825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9f988465b43d6a21e1499f3024b4ee993149a7","datavalue":{"value":{"entity-type":"item","numeric-id":2041121,"id":"Q2041121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c621e9a5799464b579639875edea38e11e726c","datavalue":{"value":{"amount":"+0.7376599907875061","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":"Q2187421$6BBC9252-AFA9-4D4C-9DEB-DBD04CF57E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d900a48ea3a04e0c49f713474ee273360565f964","datavalue":{"value":{"entity-type":"item","numeric-id":2220454,"id":"Q2220454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0221e7afacdf110c2a0c741617ea1cb62237e9","datavalue":{"value":{"amount":"+0.7366217374801636","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":"Q2187421$41331282-3288-4C98-B04A-3408DDD2626A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2187421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2187421"}}}}}