{"entities":{"Q1375904":{"pageid":1386644,"ns":120,"title":"Item:Q1375904","lastrevid":67449027,"modified":"2026-04-12T17:56:48Z","type":"item","id":"Q1375904","labels":{"en":{"language":"en","value":"Type sequences of numerical semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106577"}},"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":"Q1375904$49D8A06C-1F17-41CB-8F7D-4E9BCD360062","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a19b69ab9d15e36ada05539b88b90ba651c92a49","datavalue":{"value":{"text":"Type sequences of numerical semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1375904$08A0AF87-92A9-420C-86E7-0A838B14F077","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14b9a883aaf4f2f2c1b8896ec57df5682d464897","datavalue":{"value":"0897.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375904$C9BEEA07-6FA0-45FF-B75C-E6054CBBC3CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4da11b6cb2705328565c6a3b64fc33625f77f2d","datavalue":{"value":{"entity-type":"item","numeric-id":858722,"id":"Q858722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375904$59AF6451-1E57-4D9D-B471-79663989D546","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":"Q1375904$0E8C73AA-5426-4305-9865-18059F916D37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e144f075d6561f0baee229f11d83878c7fd2b117","datavalue":{"value":{"time":"+1998-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1375904$C7D807A3-6619-4D3E-8E3C-36F9F3D6D55C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c2a7d326f27634859fd940cb11b168ee1ef298f","datavalue":{"value":"A numerical semigroup (briefly n.s.) \\(S\\subseteq\\mathbb{N}\\cup\\{0\\}\\) is a subsemigroup of \\((\\mathbb{N},+)\\) with \\(0\\in S\\). Note that every n.s. is finitely generated. If \\(g(S)=\\max\\{x\\in\\mathbb{Z}\\setminus S\\}\\) is the so called Frobenius number of \\(S\\) and \\(n(S)=\\text{Card}(\\{0,1,\\dots,g(S)\\}\\cap S)\\) then \\(S=\\{0=s_0,s_1,\\dots,s_{n-1},s_n=g(S)+1,g(S)+2,\\dots\\}\\). Consider, for \\(i\\geq 0\\), the sets \\(S_i=\\{x\\in S\\mid x\\geq s_i\\}\\), and \\(S(i)=\\{x\\in\\mathbb{N}\\mid x+S_i\\subseteq S\\}\\). If we put, for \\(i\\geq 1\\), \\(t_i(S)=\\text{Card}(S(i)\\setminus S(i-1))\\), then the numeric sequence \\(\\{t_1,t_2,\\dots,t_{n(S)}\\}\\) is called the type sequence of \\(S\\).   After proving some general results on type sequences, the author gives a complete characterization of n.s. \\(S\\) with \\(n(S)=3\\) or \\(4\\) (the case \\(n(S)=2\\) is considered by \\textit{V. Barucci, D. E. Dobbs} and \\textit{M. Fontana} [Mem. Am. Math. Soc. 598 (1997; Zbl 0868.13003)]). These results provide a contribution towards the problem to characterize the \\(n\\)-tuples of integers which are the type sequence of a n.s. From the other results let us mention upper and lower bounds for \\(t_i(S)\\)'s. The paper finishes with an algorithm for computing the type sequence of a given n.s. The algorithm is based on a result giving the so called standard basis of a n.s.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375904$C0EC8985-3660-4F95-BAF0-BDDD679FA0D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375904$69C1FF76-0C35-467D-BC21-1338FF26249F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375904$6EF3BE18-D2D4-4F74-938A-E8500227BCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375904$D2880290-FA6D-43BA-A3DC-44BE31EEB43F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bef4e178be9a7e07b9b5cb26c1bfa02064164f6","datavalue":{"value":"1106577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375904$26D095F3-DB5F-446C-97D7-E138014B47D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb9dc397b4c36b3052d89e819d100bced6e3f4f","datavalue":{"value":"numerical semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375904$06215590-5049-4DF6-AFBF-635734A594F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9525bbb05076cf1361c76f28145bb7a0e1074264","datavalue":{"value":"subsemigroups of \\((\\mathbb{N},+)\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375904$A58BCF8E-D26C-4012-AA39-7551F2485236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06bd306a47ea825067aa05768a86e5d250c8fa9","datavalue":{"value":"Frobenius numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375904$7798B90A-BA11-431F-9D1F-FD6AD16F39EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de3d3b10bbd6abb0d7579039445df78602db7f6","datavalue":{"value":"type sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375904$3959EB6A-A9A5-4E46-8BCD-9AB4DAEBEBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4006a896ca40409deefbe70e24c8cee82d0c284c","datavalue":{"value":"standard bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375904$687EBC91-F6EA-406C-A39D-CFEACE7E1677","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac599b3b4b403e13ff34b53d17b49cf088c1290e","datavalue":{"value":{"entity-type":"item","numeric-id":587322,"id":"Q587322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375904$49E5DBA2-0CAB-4E55-A8EA-73005B0EA964","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":"Q1375904$EF28638C-8D9A-4D1E-BCD2-9DCF88589401","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea8116b22eebaf6c1879d5ab11aff15414f68fed","datavalue":{"value":"https://doi.org/10.1007/s00233-002-7001-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1375904$BD0ADA32-E534-4C0A-83C3-1A8521E1A6FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf904b638477f2740f7b36a83b9739e9c19fa7df","datavalue":{"value":"W1990820142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375904$9F2AD035-3123-46FC-BD96-38F3DF3A9283","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b8dfdad7450b64523a0e66e85138546d2e8584e","datavalue":{"value":"10.1007/S00233-002-7001-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375904$93D6331D-185A-4B87-B62F-CD29317BF47C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca20a41b75eb5bccc479c88ba7b18a3f3008dca","datavalue":{"value":{"entity-type":"item","numeric-id":1031556,"id":"Q1031556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1124fd1807d9ab20de8b12422fe7857c744d39db","datavalue":{"value":{"amount":"+0.7317201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$16A186DF-89F0-4022-A52A-1396FA116A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8a4bc13f9f48a9139a3e45d81f53aa0e3b4dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3637723,"id":"Q3637723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20dd491bcce2b484323d3798dc23eea963193ae","datavalue":{"value":{"amount":"+0.72240764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$CB0FFBCB-4FE5-4F2D-B914-2FE4486CA1F2","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":"c50562b4068afc7bbc163a704f4e586e2f1cd4fa","datavalue":{"value":{"amount":"+0.7157114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$AE1F7DA7-7CFA-4963-85DC-70DD170E0FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c77e37b2ca669fe19465a07398fbdc679e0b995","datavalue":{"value":{"entity-type":"item","numeric-id":2804216,"id":"Q2804216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b1834befc5dcec606945aefc9efcae54edeae9","datavalue":{"value":{"amount":"+0.71308374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$2C450512-5C1B-49F8-BE60-C925E4889973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bfe9d225cc943814c61f08c55990736810a54e2","datavalue":{"value":{"entity-type":"item","numeric-id":704976,"id":"Q704976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e898ec30d06a0ca0c756d866725ebeacf07479a","datavalue":{"value":{"amount":"+0.7037349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$23D3FE5B-B917-4924-A61F-6C3F585DDEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247ae483e0d5b9cb17ae07d09186c0d8005747b3","datavalue":{"value":{"entity-type":"item","numeric-id":5876723,"id":"Q5876723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3deebf5856a96e7b402d8cef8add0c7673a49e68","datavalue":{"value":{"amount":"+0.7033347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$17C7403C-5DA1-4A30-8153-CAE811EA8689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd253cad2e279f891941a05d36f13ac19bb38f1a","datavalue":{"value":{"entity-type":"item","numeric-id":2428561,"id":"Q2428561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a967bac48fc44a22246f0029157776617ace758","datavalue":{"value":{"amount":"+0.7017468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$C4F679D3-6020-4CB3-950D-4760B94D9D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6241fd0f6e5a97b84f418ae93ddc45fc536475d7","datavalue":{"value":{"entity-type":"item","numeric-id":4629550,"id":"Q4629550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2129e702afeb9fa57f1dec81acad4140c28e559d","datavalue":{"value":{"amount":"+0.7017264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$94BD2B31-8F69-4C4E-B9BB-8AC7A1BCC144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64024a1393954ba2fa1b0b3cadb74f22e666a91e","datavalue":{"value":{"entity-type":"item","numeric-id":818962,"id":"Q818962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4355f78857f30d2a7844fe0584c6800d70f6d09","datavalue":{"value":{"amount":"+0.6979143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$DE6B1FBC-4FA6-4361-A0C2-53AD88B9E062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506295657bb261b8c0c9dc95dd8080896cb736f1","datavalue":{"value":{"entity-type":"item","numeric-id":1434780,"id":"Q1434780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fba661889f5a8d129583c864334e1b46764656","datavalue":{"value":{"amount":"+0.69769716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375904$3B30C662-AC04-45B4-8405-0278FA6C4A7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type sequences of numerical semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_sequences_of_numerical_semigroups"}}}}}