{"entities":{"Q2682903":{"pageid":2693646,"ns":120,"title":"Item:Q2682903","lastrevid":57574047,"modified":"2026-03-31T11:16:32Z","type":"item","id":"Q2682903","labels":{"en":{"language":"en","value":"The Frobenius problem for generalized repunit numerical semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7648665"}},"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":"Q2682903$71FBB880-181A-4947-921E-D1DCC0EF56E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60229188cb2ab30c0492a9de681cd753b9f76192","datavalue":{"value":{"text":"The Frobenius problem for generalized repunit numerical semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2682903$99D25078-AE85-4124-8EFD-179452006323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad06346f58d01375683e71532551f24621bfcba","datavalue":{"value":{"entity-type":"item","numeric-id":2682902,"id":"Q2682902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$3BBA263F-109E-4F5D-872C-C7E45A5BD473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c62659e4cc0dcab05608d1246c17958d515bc23","datavalue":{"value":{"entity-type":"item","numeric-id":1588027,"id":"Q1588027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$8FCDD92C-C15F-4775-863C-226AC54BCE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a52dce05d0e0405025e9d9c41349f25bb5e9613","datavalue":{"value":{"entity-type":"item","numeric-id":627591,"id":"Q627591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$CA1B2029-5301-4403-9746-98F36E0CFF04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5086adc351d8a2c8dba8c901eec63f5cbaf51959","datavalue":{"value":{"entity-type":"item","numeric-id":249881,"id":"Q249881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$9D57DEF5-EC73-4AA0-9387-AF2804594287","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c8e339b7d8e23c2957c5b00a51a7fa7180b9d1f","datavalue":{"value":{"time":"+2023-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2682903$15FB5449-F01C-481F-A259-4890BBF146C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71428be495b05e1fbaafb99d8c2bfac138faf15e","datavalue":{"value":"https://arxiv.org/abs/2112.01106","type":"string"},"datatype":"url"},"type":"statement","id":"Q2682903$1593F4E4-A98A-47A9-A8A9-A492EBEAA5DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8153a303f624fc5aee728b4e47587c0ae8660a32","datavalue":{"value":"Let \\(b\\) and \\(n\\) be integers greater than one, and let \\(a_1=(b^n-1)/(b-1)\\) (a repunit number; all its digits in base \\(b\\) are 1). Choose \\(a\\) coprime with \\(a_1\\), and set \\(a_i=a_{i-1}+a b^{i-2}\\), for all \\(i\\ge 2\\). Denote by \\(S_a(b,n)\\) the submonoid of \\((\\mathbb{N},+)\\) generated by the sequence \\(\\{a_i\\}_{i\\ge 1}\\) (where \\(\\mathbb{N}\\) denotes the set of nonnegative integers). The condition \\(\\gcd(a,a_1)=1\\) forces \\(\\mathbb{N}\\setminus S_a(b,n)\\) for have finitely many elements, and thus \\(S_a(b,n)\\) is a numerical semigroup.  The authors prove that the minimal generating set of \\(S_a(b,n)\\) is \\(\\{a_1,\\dots,a_n\\}\\) and, thus, the embedding dimension of this numerical semigroup is \\(n\\). These semigroups are named generalized repunit numerical semigroups, and are a generalization of Meresenne numerical semigroups and repunit numerical semigroups. They are also closed under the action of the affine map \\(x\\mapsto bx+a-(b^n-1)\\).  Given a numerical semigroup \\(S\\) and a nonzero element \\(m\\) of \\(S\\), the Ap\u00e9ry set of \\(m\\) in \\(S\\) is the set \\(\\operatorname{Ap}(S,m)=\\{ s\\in S : s - m \\not\\in S\\}\\). This set has exactly \\(m\\) elements, \\(\\max(\\operatorname{Ap}(S,m))-m\\) is precisely the largest integer not in \\(S\\), known as the Frobenius number of \\(S\\), and the cardinality of \\(\\mathbb{N}\\setminus S\\) is \\((\\sum_{w\\in \\operatorname{Ap}(S,m)} w)/m-(m-1)/2\\), known as the genus of \\(S\\) (these two expressions of the Frobenius number and genus of \\(S\\) are usually known as Selmer's formulas). Also, the set of pseudo-Frobenius numbers of \\(S\\), \\(\\operatorname{PF}(S)=\\{z\\in \\mathbb{Z}\\setminus{S}: z+(S\\setminus\\{0\\})\\subseteq S\\}=-m+\\operatorname{Maximals}_{\\le_S}(\\operatorname{Ap}(S,m)\\), where \\(\\le_S\\) is the order on \\(\\mathbb{Z}\\) induced by \\(S\\), that is, \\(a\\le_S b\\) if \\(b-a\\in S\\). The cardinality of \\(\\operatorname{PF}(S)\\) is the type of \\(S\\). For \\(m\\) equal to the multiplicity of \\(S\\) (the least positive integer in \\(S\\)), one usually writes \\(\\operatorname{Ap}(S)\\) instead of \\(\\operatorname{Ap}(S,m)\\).  The authors provide a recursive procedure to compute \\(\\operatorname{Ap}(S_a(b,n))\\) in terms \\(\\operatorname{Ap}(S_a(b,n-1))\\). With a complete description of the elements of the Ap\u00e9ry set of the multiplicity of \\(S_a(b,n)\\), formulas for the Frobenius number, genus, and pseudo-Frobenius numbers of \\(S_a(b,n)\\) are derived. In particular it is shown that the type of \\(S_a(b,n)\\) is \\(n-1\\), and consequently \\(S_a(b,n)\\) fulfills Wilf's conjecture. The authors also prove that for every element in \\(\\operatorname{Ap}(S_a(b,n))\\), all its factorizations have the same length, and thus \\(S_a(b,n)\\) is an homogeneous numerical semigroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2682903$D8D28233-FAB7-4646-A7E0-4CB4777ADE3E","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":"Q2682903$EBFDEA33-9C27-4262-9000-075EFC53B816","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2682903$715E3035-D5DE-4CAC-ABA2-47A1CBF63344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2682903$67D2153D-12A8-4151-BA09-27C8E3D5B008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b01ad1b16eab7f86b2e20d189e8d8d07f644af25","datavalue":{"value":"52B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2682903$F1D243CB-6577-4741-BFE5-12DFCC2D1F9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"630d167ce349d3d41c3b18bdc51208ec728ffc1e","datavalue":{"value":"7648665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2682903$275EE636-B5A5-42C6-84C8-73AEEAF6CA86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"192a05ff35e5bf1d3ed9b25826744378490ec154","datavalue":{"value":"numerical semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2682903$B2AD144A-B792-49B2-9F1D-961BB72C6299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f6e5273bb9ac7549649069a899e4ede27676c0","datavalue":{"value":"Ap\u00e9ry sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2682903$991B8930-CF26-4517-8523-5CFB6AEFDFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0639566545b03fe45f762adc029137417a3fad42","datavalue":{"value":"Frobenius problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2682903$1D5334C2-837A-42B5-85EB-13582E390F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c26336764c0872a3f0bba227a11d2943584171c6","datavalue":{"value":"genus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2682903$ED17EEA3-EB5F-470C-B2B0-8AF64B34D05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a2d99dd366e12ee8fd608e27922f0828010815","datavalue":{"value":"type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2682903$CC110AEB-9DF9-48C9-B941-A18BE053FD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"756e2eb3c793f70213c6852b59cd91f24797b84d","datavalue":{"value":"Wilf's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2682903$6CD05269-34DB-40B2-BED7-0B77AD939340","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":"Q2682903$647DC530-3220-463F-B479-074874B883F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f39fa77dc4c8ada8a02f191cee8b1a2ea66406a3","datavalue":{"value":"W3214765154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2682903$071986D5-6D18-4112-9921-2560B65C24AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"081812a22b5e50d18aee31fa1cfb088ff1fbedc0","datavalue":{"value":{"entity-type":"item","numeric-id":5115889,"id":"Q5115889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$617BC107-D1E5-42F0-9ECE-3689A100D6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080ddec5177df2e83dd5ba69ba8f919577638adc","datavalue":{"value":{"entity-type":"item","numeric-id":5916421,"id":"Q5916421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$832AF8FC-803F-4EF2-AB1D-FE48B521F12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b991984048161dc57d0814b81d1d0abafeb754d","datavalue":{"value":{"entity-type":"item","numeric-id":600663,"id":"Q600663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$8D30E105-BB5F-471C-8DD7-6BC38AC78361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd79b3cf83ddddd6f93196fe703db1e6612f3ec","datavalue":{"value":{"entity-type":"item","numeric-id":667858,"id":"Q667858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$47DD28BD-5637-49EE-BEC6-7250D108B183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca58840b47a56549dc44a80b36682a949c521e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4651861,"id":"Q4651861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$D6CD7698-3653-41A9-8265-B7FF79577D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c0b00a4ed62088527c3c16a142c57c099a8587","datavalue":{"value":{"entity-type":"item","numeric-id":3065700,"id":"Q3065700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$BB3B9AD7-6F87-4AC5-BD48-DD851AC27BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9076a9171c04221f361d5c20c6cd9e2d62489b96","datavalue":{"value":{"entity-type":"item","numeric-id":1745773,"id":"Q1745773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$60DECFD5-C5A9-4E7A-9A5E-788200CA290C","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":"Q2682903$25306AFB-88BD-457F-AF9B-2D885E0DBB6B","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":"Q2682903$C8EF39C8-7FAB-4B18-8280-757FBCC5D045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af821aaf83104e863b99e9e721b7918bad4ada7","datavalue":{"value":{"entity-type":"item","numeric-id":282993,"id":"Q282993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$742A952D-D561-4793-A24F-939F7C0200E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c630c29f25c1d563fc4859bc74d586f571109363","datavalue":{"value":{"entity-type":"item","numeric-id":2396186,"id":"Q2396186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$2B67D5AF-4A18-4FAD-A01D-197352B91396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c300589eeba350e76f2042c9a92336dbee1c20ff","datavalue":{"value":{"entity-type":"item","numeric-id":2979425,"id":"Q2979425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$05ADDF9B-C76C-4F69-ADA6-5B3FAECB5B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70aff6860101918cb248a7b27d83cd4d8bf4fadd","datavalue":{"value":{"entity-type":"item","numeric-id":4168966,"id":"Q4168966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$24BEFED7-D8FE-4CF9-BCB7-4A146926AF90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54ea94c3d767d28f7960f6ba5c297a660e325131","datavalue":{"value":"10.1007/S00009-022-02233-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2682903$042A378B-F5E1-4CEC-A0B0-129A169D3F56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828fd5aab5e8616e63893a5a2d7d60ec2f364939","datavalue":{"value":{"entity-type":"item","numeric-id":282993,"id":"Q282993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4fd3661c704cb0ccbcd7d1fe19eae29fc55e5f8","datavalue":{"value":{"amount":"+0.9034551978111268","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":"Q2682903$99EEA4B9-B5CF-47B6-9CD9-2F5DB033DE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238943cf35bb1120379048abdf6a9a2ef7d3e90d","datavalue":{"value":{"entity-type":"item","numeric-id":2209252,"id":"Q2209252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d7958cdb7ed724de30322e81beb6575b70f938","datavalue":{"value":{"amount":"+0.8481729030609131","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":"Q2682903$3A61617B-2DA7-42F7-AAA0-B59634BF4EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37f8e43afbdf128df37c96538757138e5ad08ee2","datavalue":{"value":{"entity-type":"item","numeric-id":640865,"id":"Q640865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e430f0aab2c20b70a2095a34b9a01ab1a4bd5d","datavalue":{"value":{"amount":"+0.8294169306755066","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":"Q2682903$68EFD6EB-4056-4AD3-921D-A7D93F8A1924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2726fb4c22d86c05d176028a805e29c5dce52d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3366756,"id":"Q3366756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf931ea8256b84d06c4bab9618bf031dc41ecb25","datavalue":{"value":{"amount":"+0.8272826075553894","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":"Q2682903$89E04441-4ADE-4377-9E5D-BEAE789A823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09f5038feda0786101dbbf990f234e2c1571381","datavalue":{"value":{"entity-type":"item","numeric-id":3060220,"id":"Q3060220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cced2a83d3c8656b2899f01a1a62e861fdbc7a5","datavalue":{"value":{"amount":"+0.8249797224998474","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":"Q2682903$064D5216-AEDF-4BB9-83F6-D6D8413E1C58","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2682903$51B0C0B8-A7B6-40EE-97D1-D328D3BE479E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2682903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2682903"}}}}}