{"entities":{"Q372348":{"pageid":374115,"ns":120,"title":"Item:Q372348","lastrevid":56830080,"modified":"2026-03-23T17:31:10Z","type":"item","id":"Q372348","labels":{"en":{"language":"en","value":"On the number of numerical semigroups \\(\\langle a,b\\rangle\\) of prime power genus."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213687"}},"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":"Q372348$797FD3D7-A047-4FFC-96A9-883AF42D6812","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14edaa68ecfeea84fd014e966c6b47251c8225f2","datavalue":{"value":{"text":"On the number of numerical semigroups \\(\\langle a,b\\rangle\\) of prime power genus.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372348$D0F4C88A-9D5A-4D15-B2CB-7A8F4502CC41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cea331f357463a87a9c3ac11ae63b68e371ad04","datavalue":{"value":"1281.20074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372348$BB87F90F-B7D7-4379-A014-5583FDFF71CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f162a365b204fccf5e9bb5c2dcfd4b10f31e740","datavalue":{"value":{"entity-type":"item","numeric-id":190538,"id":"Q190538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372348$1B56EBE8-81BF-4593-8D65-DE129BB42C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40a727a1a3eb58817a136c9fb252d43d18a2bb89","datavalue":{"value":{"entity-type":"item","numeric-id":490924,"id":"Q490924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372348$79667C9A-839D-4AC6-9513-1F4118B70842","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372348$AC0E889B-A2BF-4BA0-A3F4-44770F3DE7DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372348$020471C1-BDCC-4B98-9A5C-E625628EBCBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b668f0bbd49047e29d21a542f968f4a0c628e1c7","datavalue":{"value":"https://arxiv.org/abs/1209.3216","type":"string"},"datatype":"url"},"type":"statement","id":"Q372348$E003202F-7258-4815-9808-A3B2595BFA6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"736c1f2d04e9a27aaf344ae4771daf9d65d35331","datavalue":{"value":"Let \\(a\\) and \\(b\\) be positive integers. Then the set \\(S=\\langle a,b\\rangle=\\{xa+yb\\mid x,y\\in\\mathbb N\\}\\) (with \\(\\mathbb N\\) the set of nonnegative integers) is a submonoid of \\((\\mathbb N,+)\\) with finite complement in \\(\\mathbb N\\), that is, a numerical semigroup. The elements in the set \\(\\mathbb N\\setminus S\\) are known as gaps of \\(S\\), and its cardinality is the genus of \\(S\\), \\(g(S)\\).   The aim of this paper is to give formulas for  \\[ n(p^k,2)=\\{(a,b)\\in\\mathbb N^2\\mid\\gcd(a,b)=1,\\;g(\\langle a,b\\rangle)=p^k\\} \\]  with \\(p\\) a prime positive integer. The authors first prove that  \\[ n(p^k,2)=\\#\\{0\\leq i\\leq k\\mid\\gcd(p^i+1,2p^{k-i}+1)=1\\}. \\]  For this reason they provide alternative expressions for \\(\\gcd(p^\\alpha+1,2p^\\beta+1)\\).   With this it is shown that \\(n(p^k,2)\\) only depends of the class of \\(p\\) modulo \\(M(k)\\), which is the product of the primes dividing \\(\\prod_{i=1}^k(2^{i/\\gcd(i,k)}-(-1)^{k/\\gcd(i,k)})\\). Finally with the help of the functions \\(X_{a,q}\\) the authors provide formulas for \\(n(p^k,2)\\) for \\(k\\in\\{9,10\\}\\) and revisit the cases \\(k\\leq 8\\). For \\(q\\) a prime integer \\(X_{a,q}\\) is just the characteristic function of \\(\\mathbb Z\\setminus(a+q\\mathbb Z)\\). For \\(q=q_1^{e_1}\\cdots q_t^{e_t}\\) with \\(e_i\\) positive integers and \\(q_i\\) positive prime integers, \\(i\\in\\{1,\\ldots,k\\}\\), \\(X_{a,q}\\) is defined as \\(\\prod_{i=1}^kX_{a,q_i}\\) (so it only takes into account the square free part of \\(q\\), as \\(M(k)\\) does).   An interesting open problem is formulated in the last section of this manuscript.","type":"string"},"datatype":"string"},"type":"statement","id":"Q372348$82B64B04-9B2E-48A4-B924-F352FEACEE38","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ee588e73dcc7127454cbde4143c7df5c04a1e1f","datavalue":{"value":{"entity-type":"item","numeric-id":591273,"id":"Q591273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372348$4B907EC3-D674-45DF-91EB-D31976E2DF82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372348$7C1DE6B4-8E13-4B8A-A8F6-A7FA7834DC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f6f2e73ebe360c69b5f99d6be8e06f538650497","datavalue":{"value":"11A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372348$91812B81-8F08-41CB-979D-FAC867728785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"223fe586607c60b0738504f3419a7d40d2a118fe","datavalue":{"value":"11A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372348$2821BF4E-908F-4E3E-91A2-483D1BF866CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372348$2C2C12C0-43AA-40D0-9511-EF6564975284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cdcad505e048170500479a0cca6408c469c8f2b","datavalue":{"value":"6213687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372348$C21E9B82-5C57-4315-8866-5D87AEE84929","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb9dc397b4c36b3052d89e819d100bced6e3f4f","datavalue":{"value":"numerical semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q372348$2F004C8B-1338-4219-A3AE-0EAAE6BE06A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b293f1f5771a70dddbd6696e2af7e809343318b3","datavalue":{"value":"gaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q372348$5AB3952D-B96C-4F37-8138-F04473BC4710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c26336764c0872a3f0bba227a11d2943584171c6","datavalue":{"value":"genus","type":"string"},"datatype":"string"},"type":"statement","id":"Q372348$0F3EE2AC-53AF-403B-AE45-1C224B9AEC22","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":"Q372348$94199189-52A3-4C64-830E-BEEC1388EA42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c4bb5a0eb99fce7fd40b5aad2a7d2f0a68b6636","datavalue":{"value":"W2028572482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372348$A0B3E995-FF28-4740-9475-32DF478610BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c20afbd3259514797792c1b8d25c617b16a0729","datavalue":{"value":{"entity-type":"item","numeric-id":2481324,"id":"Q2481324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372348$D2B65E17-B2AB-4D9E-A654-B849C20AF562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44332468eba44f7cd72797e9330363e3023926b0","datavalue":{"value":{"entity-type":"item","numeric-id":1008747,"id":"Q1008747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372348$95EF5512-E45B-4CB1-B108-86F263335391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037991cdf016482e15ee37e7bf8dcf34d16408a7","datavalue":{"value":{"entity-type":"item","numeric-id":3094933,"id":"Q3094933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372348$DFC7A46C-88C4-405D-A740-6C2F4233C17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d419c36f7bef2914a509273d4f055d3ef70195a","datavalue":{"value":{"entity-type":"item","numeric-id":5704414,"id":"Q5704414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372348$966381CC-BF47-4C8F-B324-FD2D70A15DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e028ad8e046a2dbf2197aa1e15874fd3b609539","datavalue":{"value":{"entity-type":"item","numeric-id":1031556,"id":"Q1031556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372348$9886DEE4-376E-4010-B938-2FC6178644EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"219fe2c1e8679f3c204aa8e593423504207f280d","datavalue":{"value":"10.1007/S00233-012-9457-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372348$4B578DCE-811E-4E8A-9D90-AFC61C7E3023","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec707c17c22051f106148ca077e50f3300688c10","datavalue":{"value":{"entity-type":"item","numeric-id":436083,"id":"Q436083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016f037e7ac78cd444976a516eaa319a0dab6f2f","datavalue":{"value":{"amount":"+0.8341005444526672","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":"Q372348$C57753E2-0D75-45FB-A439-3F74E7AE6E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a55f9c2c17d7a630427f1e09ff6f8ffe76c328","datavalue":{"value":{"entity-type":"item","numeric-id":2404376,"id":"Q2404376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694d327edc2f0b9d2bf93a41730a7912a1cb22fa","datavalue":{"value":{"amount":"+0.8125097751617432","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":"Q372348$07318B16-0DD3-486A-8124-8DB1FAACE405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97d890991034229590009ee8d1e5b638c575b71","datavalue":{"value":{"entity-type":"item","numeric-id":3094933,"id":"Q3094933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d943d029a6b1b5d030d485b38c3b90eaf842ab32","datavalue":{"value":{"amount":"+0.8080899119377136","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":"Q372348$BEBC4ADE-1578-489F-8253-3B3130C51E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ad1d8c4ad347703ef4ff71f5e7839eaa96aaf","datavalue":{"value":{"entity-type":"item","numeric-id":5269120,"id":"Q5269120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31baa29c83ce93e66a73f23b6f60bbdefda6534","datavalue":{"value":{"amount":"+0.8050580024719238","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":"Q372348$48B171AF-B700-4007-9F9A-953764C49B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6914a1e799ad77c94645584e3ffca5205b1294","datavalue":{"value":{"entity-type":"item","numeric-id":941346,"id":"Q941346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6041fafb00807d0409eb4ae2ed782d9ff22c4cf6","datavalue":{"value":{"amount":"+0.8044460415840149","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":"Q372348$98B40C07-9DD5-4897-A0A0-4868B763E2F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:372348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:372348"}}}}}