{"entities":{"Q1939494":{"pageid":1950236,"ns":120,"title":"Item:Q1939494","lastrevid":69106143,"modified":"2026-04-13T04:49:37Z","type":"item","id":"Q1939494","labels":{"en":{"language":"en","value":"Numerical semigroups with large embedding dimension satisfy Wilf's conjecture."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6141002"}},"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":"Q1939494$27ECB217-A155-4924-B296-C7F997106312","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6681e77f144b1ca12d6f9385a0b277b604374a61","datavalue":{"value":{"text":"Numerical semigroups with large embedding dimension satisfy Wilf's conjecture.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1939494$4FE0F888-2B9C-4FFE-99E6-BD4AC9BEA620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aaa821a72f01cdb20ef502cd3997d441ceb0084","datavalue":{"value":"1263.20058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939494$C6186E54-9946-4F7F-86C9-515433C1EC1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96eabf60cc9d1cea86668595c1aff0fda30cf72f","datavalue":{"value":{"entity-type":"item","numeric-id":590999,"id":"Q590999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939494$095E4867-E669-4271-95F2-AFDDE47DCA34","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":"Q1939494$36E0B435-6EF4-4893-AD67-C3D34D3BD0BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32836873df0c40f57cb1a44db33702027712a230","datavalue":{"value":{"time":"+2013-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1939494$579744B0-75A4-4716-B854-B9A521B9292A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44e6a1ecf8299f320eee8742dff8a450784ee697","datavalue":{"value":"https://arxiv.org/abs/1111.1863","type":"string"},"datatype":"url"},"type":"statement","id":"Q1939494$A9DB4AA3-5D06-462F-92DC-78B68DC51DF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b59a06c20e1d8b5d940868392de4801d27fb63b7","datavalue":{"value":"Let \\(S\\) be a numerical semigroup, that is, a submonoid of the set of nonnegative integers, \\(\\mathbb N\\), with finite complement in \\(\\mathbb N\\). The Frobenius number of \\(S\\), \\(F(S)\\), is largest integer not belonging to \\(S\\). The conductor of \\(S\\), \\(c(S)\\), is defined as \\(c(S)=F(S)+1\\). Notice that \\(c(S)+\\mathbb N\\subseteq S\\).   The least positive integer in \\(S\\) is the multiplicity of \\(S\\), denoted by \\(m(S)\\). Set \\(n(S)\\) to be the cardinality of the set \\(\\{s\\in S\\mid s<F(S)\\}\\).   Let \\(S^*\\) be the set of nonzero elements of \\(S\\). The unique minimal generating system of \\(S\\) is \\(S^*\\setminus (S^*+S^*)\\), and its cardinality, \\(\\nu(S)\\), is the embedding dimension of \\(S\\). Wilf's conjecture states that \\(c(S)\\leq n(S)\\nu(S)\\).   The papers by \\textit{D. E. Dobbs} and \\textit{G. L. Matthews}, [Int. J. Commut. Rings 2, No. 4, 195-202 (2003; Zbl 1165.13300)] and \\textit{N. Kaplan}, [J. Pure Appl. Algebra 216, No. 5, 1016-1032 (2012; Zbl 1255.20054)] collect several classes of numerical semigroups fulfilling Wilf's conjecture. The author adds to this list a couple of families.   The first one is the set of numerical semigroups with multiplicity less than or equal to twice the embedding dimension. In order to show that a semigroup \\(S\\) in this family satisfies Wilf's conjecture, the author proves that the conjecture holds if and only if  \\[ \\sum_{k=0}^{L-1}(n_k(S)\\nu(S)-m(S))+(n_L(S)\\nu(S)-\\rho)\\geq 0, \\]  where \\(L\\) and \\(\\rho\\) are positive integers such that \\(c(S)=Lm(S)+\\rho\\), \\(1\\leq \\rho\\leq m\\), and \\(n_k(S)\\) is the cardinality of the set \\(\\{s\\in S\\mid s<F(S),\\;km(S)\\leq s<(k+1)m(S)\\}\\). Then he describes the summands in terms of the Ap\u00e9ry set of the semigroup with respect to the multiplicity. As a consequence all numerical semigroups with multiplicity less than or equal to 8 satisfy Wilf's conjecture.   The second class presented is that of numerical semigroups generated by a generalized arithmetic sequence \\((m,hm,hm+2d,\\dots,hm+ld)\\), with \\(\\gcd(m,d)=1\\), \\(m\\geq 2\\), \\(l\\leq m-2\\). In this setting the author uses that the type of a semigroup \\(S\\) in this family (the cardinality of the set of integers \\(z\\) such that \\(z+S\\subseteq S\\), denoted \\(t(S)\\)) is less than the embedding dimension, and then the known fact that \\(c(S)\\leq n(S)(t(S)+1)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$CCA38AA5-BC7B-4A74-8170-DF05BE030EEA","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":"Q1939494$EBA0F56E-679A-456C-9968-E5F75B0EB8D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939494$A3CD5FBA-5EAC-45DF-B3EE-8A521658036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939494$B63E925C-BFDE-451A-AA7D-D604F67AA31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"221638ffca33675cdf942a4ef0bda6a6fb040b1e","datavalue":{"value":"11D07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939494$97DADFFB-E2DB-4C65-974F-669692BDDFF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d35b8b4e846b09e90dea3369834f20583f43fa4","datavalue":{"value":"6141002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939494$BAE4EB00-F3D7-4BD3-A31D-186350D15775","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb9dc397b4c36b3052d89e819d100bced6e3f4f","datavalue":{"value":"numerical semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$EF8B4230-2C66-4BD3-A902-E5EA8B0AAE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"409cc3f13067773b0a2e94d87ecbbaafe18a7eeb","datavalue":{"value":"Wilf conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$C98DF089-6069-4BEA-AA1E-63AB603E3BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06bd306a47ea825067aa05768a86e5d250c8fa9","datavalue":{"value":"Frobenius numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$58C79FC2-DC5F-469A-8867-4C7ED3F0A805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feb717045297e2311b389442e65adcd7986c8a2d","datavalue":{"value":"embedding dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$8EF2D528-5AEC-4110-AA5B-6AAA05308600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$8E0F6C29-18B9-4DE1-BCF3-3C8827C1DFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f6e5273bb9ac7549649069a899e4ede27676c0","datavalue":{"value":"Ap\u00e9ry sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$E81E4568-952A-4732-AF28-C22F9C2BDCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bee83e14a841b7ea83dd11987f1286bb7c99557","datavalue":{"value":"multiplicities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$15115BF0-8EFF-4B04-981E-A4BF604F00BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3227eb44636278d19fb0ab793746a464b0949b0","datavalue":{"value":"genera","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$785DC8C6-980E-48AE-8F9F-C0F6805D7159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"739d402838700d7aa973609d56b1740c9626d725","datavalue":{"value":"conductors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939494$DC232B67-E2D3-4684-B966-5407DB4863D8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4a679aa1e745922cffff2174b8de3f989523690b","datavalue":{"value":"Q123139105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939494$04ACCB03-A19F-49ED-AF1D-1600589E6AC4","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":"Q1939494$D83D888C-60F5-4DED-A60F-C41FE84AA339","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb03f60f2d79fe1c462d7bd80f4474292bc38509","datavalue":{"value":"W1976913230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939494$E3269AED-FBE0-43EC-8D28-78AD8F8C7D85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b127a1f52e9266c952bbfb772443887eaba23a","datavalue":{"value":{"entity-type":"item","numeric-id":3653952,"id":"Q3653952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939494$7CAF2400-66EB-4A0E-B49E-7BC4568F6BB0","rank":"normal"},{"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":"Q1939494$1537D217-B8F3-4A2A-AD78-1936EAE0B3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd25021116a78a3de37a87e9092da4dc11389a4","datavalue":{"value":{"entity-type":"item","numeric-id":3579890,"id":"Q3579890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939494$9A7908C0-FD86-48C8-A714-447673263D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ffcf9852ae1d6cf7d663c46c5d27fe8d7b17d8","datavalue":{"value":{"entity-type":"item","numeric-id":3637544,"id":"Q3637544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939494$19954546-B589-435F-8588-DFF39D250116","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":"Q1939494$25DC654C-DF0B-4B35-B6EC-6047A201D671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034aa8f306c5e06c9776ab11ffe0a6027b0f6552","datavalue":{"value":{"entity-type":"item","numeric-id":3377516,"id":"Q3377516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939494$799EDA10-239B-4B72-A74C-147815F2D54B","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":"Q1939494$236A6E5C-B1BD-4425-8F1E-A7E705179671","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":"Q1939494$E11AD378-DFBB-4C57-AC8F-E8E96340CDA3","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":"Q1939494$52FD1A24-A101-4D05-BA92-ABD53B441879","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba23718ca362af856b0a239ab5225ca4a5939a9f","datavalue":{"value":"10.1007/S00233-011-9370-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939494$4DC9A186-D4A3-4117-96F3-AD33FC5DA365","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a47176d6710bfc8031aece37be9f76f32e9189e","datavalue":{"value":{"entity-type":"item","numeric-id":4581862,"id":"Q4581862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ff49a53eb1a7763acb7df251d944ef0a4ee5ba","datavalue":{"value":{"amount":"+0.9293935894966124","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":"Q1939494$09E82ACD-0665-4899-9F10-5CCCB32D9C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44c32d828c4fb2f7d4f904c7f00b6069e6fa667","datavalue":{"value":{"entity-type":"item","numeric-id":5163431,"id":"Q5163431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b1cbfba927a5f4358166e9954c8249a6fd45de","datavalue":{"value":{"amount":"+0.9099416732788086","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":"Q1939494$1923F028-1127-4667-8754-D086744E0E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fbbd0d92a725f85020a01f27e926e49a365c55","datavalue":{"value":{"entity-type":"item","numeric-id":4985583,"id":"Q4985583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e5fc54dbb7f094e0df845cbee87c32ead23ad4","datavalue":{"value":{"amount":"+0.89914870262146","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":"Q1939494$D49F959C-E602-40DA-B42C-6A5E076EA4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4067a9138d9b4792b30d422c8b012fe193c6d49c","datavalue":{"value":{"entity-type":"item","numeric-id":305783,"id":"Q305783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a817de987c8687f51ea4216a10d436006f1e3c93","datavalue":{"value":{"amount":"+0.8823781609535217","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":"Q1939494$AD747AE0-2C0C-4AF7-B41E-59EA651D0CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5299dbea32665b059a8675160a5b9963b60c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4994032,"id":"Q4994032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a44939d23b5bb08de6ecd59bf2447ae4774cea","datavalue":{"value":{"amount":"+0.8787140250205994","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":"Q1939494$2D729F5F-ACA8-4EA7-B5DD-4CF805E60436","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Numerical semigroups with large embedding dimension satisfy Wilf's conjecture.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Numerical_semigroups_with_large_embedding_dimension_satisfy_Wilf%27s_conjecture."}}}}}