{"entities":{"Q889031":{"pageid":890879,"ns":120,"title":"Item:Q889031","lastrevid":57215184,"modified":"2026-03-27T12:12:54Z","type":"item","id":"Q889031","labels":{"en":{"language":"en","value":"Computation of delta sets of numerical monoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6505116"}},"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":"Q889031$7F17DF34-F631-48A3-8579-34D23CFDF487","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb989d410bfdc88595fbbad5774f907e8eeebbfe","datavalue":{"value":{"text":"Computation of delta sets of numerical monoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q889031$9D5650D8-AFFB-4854-ACCE-C22B962E0D02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f35f51093a55fb4d6bec9f64f4c73fd526ad748a","datavalue":{"value":"1343.20061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889031$4A30AA84-67C8-406A-962F-BF2E1503AF27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e2c00374d2ad4a6c3d7d8f7f161a75593521a8","datavalue":{"value":{"entity-type":"item","numeric-id":382944,"id":"Q382944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$4F455176-DCDC-4A04-8931-1F5404BF5941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b14ed61dbfbc348610cf9f6a19f2d1237a34a2a4","datavalue":{"value":{"entity-type":"item","numeric-id":667857,"id":"Q667857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$C32515A9-9EAA-4D14-B180-26FC03FD4624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22f9e0bec2c73c574260415b35fd5457c63bdc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1827485,"id":"Q1827485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$CC3A7DE0-6A32-41C8-BA28-AC550B2C6317","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$2517A150-4C42-40D7-84A8-3F4204CA639D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fad6c008f25017cfa696cd85c7242d003aefa905","datavalue":{"value":{"time":"+2015-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q889031$92A43F57-8AF0-48C9-86EF-74FE25E88B7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7c2c10fb3ab34363920365c45b0ca184b876278","datavalue":{"value":"https://arxiv.org/abs/1406.0280","type":"string"},"datatype":"url"},"type":"statement","id":"Q889031$55813FB1-60E5-49DB-8FBA-8F67E9B0AE42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1438fdb0566bfc9ab5209d45c56fc0f33bbbab4","datavalue":{"value":"A numerical monoid \\(S\\) is an additive submonoid of the natural numbers with finite complement. Each \\(S\\) has a unique minimal generating set \\(\\{a_1,\\ldots,a_p\\}\\) with \\(a_1<a_2<\\cdots<a_p\\) such that \\(S\\) is the set of linear combinations of elements from this set with nonnegative coefficients. The Delta set of an element \\(s\\in S\\), denoted \\(\\Delta(s)\\), is the set of differences between consecutive elements in the set of factorization lengths of \\(s\\). The Delta set of \\(S\\) is defined by \\(\\Delta(S)=\\bigcup_{s\\in S}\\Delta(s)\\). It is known that \\(\\Delta(S)\\) is finite and that every element of \\(\\Delta(S)\\) already occurs in some \\(\\Delta(s)\\) where \\(s\\) is not `too large'.   Theorem 1 in [\\textit{S. T. Chapman, R. Hoyer}, and \\textit{N. Kaplan}, Aequationes Math. 77, No. 3, 273-279 (2009; Zbl 1204.20078)] says that \\(\\Delta(S)\\) is the union of \\(\\Delta(s)\\) taken over all \\(s<2pa_2a_p^2+a_1a_p\\). The main result of this paper is to greatly improve this bound (Corollary 19) and to give a fast algorithm for computing \\(\\Delta(S)\\). This algorithm has been implemented and is publicly available. Instead of needing to compute all factorizations of all small elements of \\(S\\), this paper shows that one need only compute the complete set of factorizations for a particular set of \\(a_1\\) elements and that Delta sets of the smaller elements can be deduced from these.   \\textit{A. Geroldinger}'s structure theorem for sets of lengths [Colloq. Math. 78, No. 2, 225-259 (1998; Zbl 0926.11082)], shows that the set of factorization lengths of \\(s\\in S\\) consists of three pieces, where the middle piece is an arithmetic progression, so that all the interesting elements in \\(\\Delta(s)\\) come from the long and short factorizations. The proofs in this article progress along the same lines. The authors divide the set of factorizations into three pieces and show that the factorization lengths in the middle piece form an arithmetic progression (Definition 15 and Theorem 16). They describe how the set of `long factorizations' of \\(s\\) and of \\(s+a_1\\) and the set of `short factorizations' for \\(s\\) and \\(s+a_p\\) are related for \\(s\\) sufficiently large (Theorem 18), which leads to the proof of the main result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q889031$6B43D892-45DE-4A35-8CCF-D12CED3B5140","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8b48e54faa2c8ef3677911a6fc0ebcd55da4a85a","datavalue":{"value":{"entity-type":"item","numeric-id":436082,"id":"Q436082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$869208E6-B7DB-48F0-A372-E68C3BC071CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889031$3FFFE15C-2BB5-4C3F-A76E-E216A0B4188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889031$6C4D1A85-1F32-4E5C-80DE-667F414CCD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2b946ad1301ef968d1406c026b0caa30b1e17b8","datavalue":{"value":"20M13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889031$BB781AB4-8352-432E-8A75-01F2BA71B9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889031$2B058FC6-A1F3-47F7-AC51-133627F35A7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82d0889cba9a111dd49f4de7c83a66b40f4f1ffe","datavalue":{"value":"6505116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889031$CF14FE7A-F424-4002-B72C-F9ADFE50C0FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed2be14b2c77677227c66f257a65460d5ae587c6","datavalue":{"value":"numerical monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q889031$9B091AD1-4C72-4C47-9408-A8FE05C3C334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb9dc397b4c36b3052d89e819d100bced6e3f4f","datavalue":{"value":"numerical semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q889031$88033233-FAF9-4506-AF9F-D13539664A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c415e09347a5ca50ec6d9797bfb516ba809c97","datavalue":{"value":"delta sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q889031$26ADA01E-3846-462A-BF0C-DD7E96454193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba1f3dbe40fe9876f305ff5e12806cbf9a39e525","datavalue":{"value":"non-unique factorizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q889031$FE12B375-3F3B-4DFA-8146-EA5B4078513C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a2b81a8fb7d47d7cf54b589ba5927374dad568","datavalue":{"value":"lengths of factorizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q889031$705F9411-83A8-4AAA-A114-A37CFE12DF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q889031$97FB8C74-955C-4C6D-9969-A69FABA59B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf951728dab4ccf04e916c233f074a14dacc1ea","datavalue":{"value":"sets of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q889031$9FD187B3-7BCC-48C5-BBE7-0FF8F04D52AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22900e8e71fde5e0f90f473381cb5d80dc64b350","datavalue":{"value":{"entity-type":"item","numeric-id":25397,"id":"Q25397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$AABCF5A7-8A05-4844-B527-3FDE8AFEBB4B","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":"Q889031$DAC2FDA9-E34B-482F-A1A0-7EF1B26473A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9caee73d7788d7b34943f261fcc753cf1ea044f1","datavalue":{"value":"W2158794959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889031$D0CAD2BD-EFEC-48C1-B8BB-0FBBE19E780F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0beec64bc972a1e90c6eff394791238fd71dad3","datavalue":{"value":{"entity-type":"item","numeric-id":1011971,"id":"Q1011971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$17CE481E-896C-42FB-B7D2-4CF44885BA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6086455994b6eaf09db30aa0865bf40a65ffad","datavalue":{"value":{"entity-type":"item","numeric-id":3421582,"id":"Q3421582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$271DDED4-3282-4975-88EE-F1CE187A9485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9a3751fa56c12522b536f903cc4d6376d78d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3579925,"id":"Q3579925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$A949B73C-2A4D-4755-A5CA-3BFF270C4AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368866e14d53b60bc762628b50b654cf29d9189c","datavalue":{"value":{"entity-type":"item","numeric-id":1925583,"id":"Q1925583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$B0A8D77C-FB7F-4322-BAC4-90D843607BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0861e271e6a3f97a2be78cd5a63d03fe445013","datavalue":{"value":{"entity-type":"item","numeric-id":623510,"id":"Q623510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$4172BF58-3BCC-4125-BE91-924825796370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699154a3680b89794e742bf1ef7bf6b322992a37","datavalue":{"value":{"entity-type":"item","numeric-id":2923340,"id":"Q2923340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$90521EA7-0AAE-497E-ACE4-F8A8B8843C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4861404e50c5efca67ce9accf62570167fdaba","datavalue":{"value":{"entity-type":"item","numeric-id":1121310,"id":"Q1121310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$DFC60211-DD58-4E43-9757-664F1878E2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2a12df3b0c6bf21e99fefe3fafdbd990e4e798","datavalue":{"value":{"entity-type":"item","numeric-id":3211534,"id":"Q3211534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$137B90CF-96BF-41B7-BA75-E63FA9C7E57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda523da89b2132f7b117ca57a153eeece8f23b1","datavalue":{"value":{"entity-type":"item","numeric-id":5200682,"id":"Q5200682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$F6DD80F6-9803-415E-A336-71AB5EBB0F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2519ecb7cf0aa793fb80aa33ecb9bcc2a231b82e","datavalue":{"value":{"entity-type":"item","numeric-id":485407,"id":"Q485407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$5F3C92E0-DAC7-4692-8DBF-CCD1ABD91ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7599aea14ef9e5f9f0b5ab8e4ef971a546a20bee","datavalue":{"value":{"entity-type":"item","numeric-id":810642,"id":"Q810642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$817C9BFB-6F38-407B-9C20-7E0937C9C40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9984a92fad53ca3e5aaaa139c87fddf25ff435d8","datavalue":{"value":{"entity-type":"item","numeric-id":4951130,"id":"Q4951130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889031$E5C98298-C027-476B-92C2-3C6DB9B7B94C","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":"Q889031$20662E91-88BC-46D8-957C-9CF1C0983F65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"810bc09931e4491e40cac3f0fae196d9fe240111","datavalue":{"value":"10.1007/S00605-015-0785-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889031$94461A92-E757-4F9F-9023-A7B095C49165","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588240572544d7c3dddb66cbc3b3d23ba6aaa734","datavalue":{"value":{"entity-type":"item","numeric-id":3421582,"id":"Q3421582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22ee0ec0df787fae2e09954417f7986345a23e9","datavalue":{"value":{"amount":"+0.9065304398536682","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":"Q889031$911F0A68-4A37-47E7-9BBB-9ABE1278A1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929f3e01ed6ed44e4a375dcf4b1cb5d9f8de21e7","datavalue":{"value":{"entity-type":"item","numeric-id":2923340,"id":"Q2923340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db93ff2119a24612fe0c28e2b488652fe876c1c","datavalue":{"value":{"amount":"+0.8723247051239014","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":"Q889031$F5F650ED-A717-412F-963E-CF51BA376B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9eef19cc6a459b6a9f4cff327a78af3bbd0d560","datavalue":{"value":{"entity-type":"item","numeric-id":3579925,"id":"Q3579925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea94e61a01b53bd6431dcd47772423c0a696711","datavalue":{"value":{"amount":"+0.8707937002182007","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":"Q889031$0FCF18CC-0CAD-41C1-99F3-744241EC0685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a51ccdfb418205e80507f80597c9f0266c3c6f","datavalue":{"value":{"entity-type":"item","numeric-id":623510,"id":"Q623510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50db2eb7c8387b732b783f7e5b114b9302b25784","datavalue":{"value":{"amount":"+0.8689337968826294","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":"Q889031$9DECCC31-1B5A-4D02-9819-10095613F648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2700417b9485fe8aefcec7bf027b7665c0f409aa","datavalue":{"value":{"entity-type":"item","numeric-id":1689390,"id":"Q1689390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c283324c4b25f08063adfb981e2b9b67b4511e","datavalue":{"value":{"amount":"+0.8616757392883301","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":"Q889031$A1AC6DAB-D531-472C-8E71-54896EA435EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:889031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:889031"}}}}}