{"entities":{"Q2480765":{"pageid":2491508,"ns":120,"title":"Item:Q2480765","lastrevid":50326289,"modified":"2026-01-13T20:10:07Z","type":"item","id":"Q2480765","labels":{"en":{"language":"en","value":"Sparse and slender subsets of monoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5258579"}},"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":"Q2480765$2ACD323E-307E-47B9-A2A8-04073E664BE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50222f9772e794d53dd9fb138aa210c64114c6d9","datavalue":{"value":{"text":"Sparse and slender subsets of monoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2480765$9D90D66B-8EEA-4B76-9D1B-7F2F2F35BA5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4949d3b7c5d325889ee1a000d874c1e5565e09b9","datavalue":{"value":"1149.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480765$0864F4C5-CFA0-4F48-9F7F-EA8919119301","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"963c638c9ff10e13f8c063500013690e36a32a43","datavalue":{"value":{"entity-type":"item","numeric-id":221693,"id":"Q221693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$09E88291-A7E0-43E3-89FC-F68D0D8C7710","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":"Q2480765$A958924E-9233-42B9-AF91-DB5716BCEEC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75beb6032318b2d8517c0143c6afc0207210466c","datavalue":{"value":{"time":"+2008-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2480765$EC0D9692-A1C7-40B6-9B72-9C28F7DFE2B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7a91bb734ca30fb9fe1399ed41e20e63501623a","datavalue":{"value":"There are generalized the notions of sparse and slender sets for arbitrary monoids and characterized the unambiguous rational sets which are sparse or slender.   Let \\(M\\) be a free monoid. A language \\(L\\subseteq M\\) is called sparse if there is a polynomial \\(p(x)\\) such that for all \\(n\\), \\(L\\) contains at most \\(p(n)\\) words of length \\(n\\). Further, \\(L\\) is called slender if there is a positive integer \\(q\\) such that for all \\(n\\), \\(L\\) contains at most \\(q\\) words of length \\(n\\) [see \\textit{G. P\u0103un} and \\textit{A. Salomaa}, Discrete Appl. Math. 61, No. 3, 257-270 (1995; Zbl 0831.68057)]. Let \\(M\\) be a monoid. Instead of the length there is considered an arbitrary morphism \\(\\varphi\\colon M\\to\\mathbb{N}^k\\), where \\(\\mathbb{N}^k\\) is the additive monoid of \\(k\\)-tuples of nonnegative integers. A subset \\(S\\subseteq M\\) is called \\(\\varphi\\)-sparse if there is a polynomial \\(p(x_1,\\dots,x_k)\\) such that for all \\((a_1,\\dots,a_k)\\in\\mathbb{N}^k\\) the number of elements \\(s\\in S\\) with \\(\\varphi(s)=(a_1,\\dots,a_k)\\) is less than \\(p(a_1,\\dots,a_k)\\). Similarly, a subset \\(S\\subseteq M\\) is called \\(\\varphi\\)-slender if there is a positive integer \\(q\\) such that for all \\((a_1,\\dots,a_k)\\in\\mathbb{N}^k\\) the number of elements \\(s\\in S\\) with \\(\\varphi(s)=(a_1,\\dots,a_k)\\) is at most \\(q\\). A subset \\(S\\subseteq M\\) is called an `unambiguous multiple loop set', if there exist \\(u_1,v_1,\\dots,u_n,v_n,u_{n+1}\\in M\\) such that \\(S=u_1v^*_1\\cdots u_nv^*_nu_{n+1}\\) and, furthermore, \\(u_1v^{i_1}_1\\cdots u_nv^{i_n}_nu_{n+1}\\neq u_1v^{j_1}_1\\cdots u_nv^{j_n}_nu_{n+1}\\) whenever \\((i_1,\\dots,i_n)\\neq(j_1,\\dots,j_n)\\). The families of unambiguous rational subsets of \\(M\\) were defined by \\textit{S. Eilenberg} [Automata, languages, and machines, Vol. A, Pure Appl. Math. 58. New York-London: Academic Press (1974; Zbl 0317.94045)].   The main result is the following Theorem. Let \\(M\\) be a monoid and \\(\\varphi\\colon M\\to\\mathbb{N}^k\\) be a monoid morphism. Let \\(S\\) be an unambiguous rational set of \\(M\\). Then \\(S\\) is \\(\\varphi\\)-sparse if and only if \\(S\\) is a finite disjoint union of unambiguous multiple loop sets of finite degrees.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480765$7C7B737B-EBD8-4917-AE6C-ED9D37E85A65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480765$3ECC86B7-B1CD-48B2-9940-1AD72C27D646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480765$3DF2576C-EFEA-4F95-95CD-62F3EBF93193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480765$4CC8E2A1-8CF5-479D-8D43-51596328C568","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5211544fdbf8434db92298e37e8625bd02e74009","datavalue":{"value":"5258579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480765$D23D5B09-53B1-4C1B-8911-6785814C12F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480765$247CA419-133E-4FE1-9C24-338AC7C92698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8a3771d592253533a2e546c05e00722cd3a680","datavalue":{"value":"languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480765$DE0B41B1-710B-4CFC-8AA9-ABF4FC4EDD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f9c360f9cf0aa737b4330d0010d528db332efd","datavalue":{"value":"unambiguous rational sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480765$C6361701-42D3-46A3-8C68-1AD75996702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d52ace7a2b142f90cb2af2e4a76e639ac8fe48","datavalue":{"value":"sparse sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480765$5C478395-E09D-48BE-8B66-F9292E2BC324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c9b6841ae2f51334b21284a27ee2e66fbd1e06","datavalue":{"value":"slender sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480765$12B37B15-5CC6-465E-9E09-27028D190422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e748b452cfee8b95c967558ea1fe9c69e8b4a62","datavalue":{"value":"multiple loop sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480765$D9DD8BC6-91EE-481F-B80D-E20DD32F606E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$4EC78F7A-9E6B-445B-96A1-C75C53A7EFA1","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":"Q2480765$A940F5A1-9E7E-4CBC-A4A5-123305582770","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7ec89daa553324b7fb20bbefc94f5c7241713e2","datavalue":{"value":"https://doi.org/10.1007/s00233-007-9009-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2480765$C6C6FD3B-17B2-433C-9384-819560D3D4AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"554b905e7abc260efe9b60848f45024213faf9b0","datavalue":{"value":"W2068842183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480765$31EF3090-BE29-40FD-8162-E8F3DDF00A92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$5CCA5E1C-DC1E-4519-855A-0D43250648F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$C3254915-62D2-40E3-9A96-0C0DA98EE8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$EC9D2733-F11F-452E-B68C-D5230C0B8EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f1c3c4ea4a388fc55b35b4656b5fa305b149b6","datavalue":{"value":{"entity-type":"item","numeric-id":5525345,"id":"Q5525345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$8A9FEBB6-16F8-42F3-863A-F85EFC25C39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7648150a544fac7ed76b421308d91b2ee9e98","datavalue":{"value":{"entity-type":"item","numeric-id":1070831,"id":"Q1070831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$957AF58F-B8C3-4D4E-B0FD-39782BB77333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d39fe137969e5dd7963f5aa7f4d22a6e40c83a","datavalue":{"value":{"entity-type":"item","numeric-id":1915514,"id":"Q1915514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$8EAA6EF3-57E3-4079-9D9E-2CEE27FC1879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1f054a4c0266dd963db4fbece9a6b999aa19aa","datavalue":{"value":{"entity-type":"item","numeric-id":4362736,"id":"Q4362736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$2B64475D-D422-4D63-AC77-5937B764DB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390758c39d83b84d74f157a6e27f3dbb520f6c16","datavalue":{"value":{"entity-type":"item","numeric-id":4941154,"id":"Q4941154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$712F5CC5-3A97-4735-8DE0-85D42FCBB19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc4eedcde6d23efdc747858310f08cb9703c4591","datavalue":{"value":{"entity-type":"item","numeric-id":3345795,"id":"Q3345795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$341C592C-3DE8-406B-A199-A88B135363F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0c070725aebc7ead1c0f3f9d66af86fac9f436","datavalue":{"value":{"entity-type":"item","numeric-id":1897353,"id":"Q1897353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$825C857B-7C30-4950-9EF7-0FFE0343A4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e01f3e393a04c89a0db79ba7f174614853e9a1","datavalue":{"value":{"entity-type":"item","numeric-id":1333266,"id":"Q1333266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480765$1A7180DE-9C07-4FF0-919A-24F1896D9347","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cad4cca0c38bec5a955d97c0f257f0640ce463c","datavalue":{"value":"10.1007/S00233-007-9009-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480765$26B40214-5205-42BA-A151-C0151F473CB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c394f0793f4749610936f713a05cfb75875b797d","datavalue":{"value":{"entity-type":"item","numeric-id":970110,"id":"Q970110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1142c6ce97b9ec80f32eeb5018a11be67906b99","datavalue":{"value":{"amount":"+0.7375175952911377","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":"Q2480765$5BA8A6F6-BA12-4758-B237-DF2F6DC75D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ab0224caab75ddcc7ac7fc46d7578ced87ee83","datavalue":{"value":{"entity-type":"item","numeric-id":3742754,"id":"Q3742754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda533fb1471941d465b045d6f6e1111062132f5","datavalue":{"value":{"amount":"+0.7371557950973511","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":"Q2480765$03E07377-B789-4F30-8B63-2211C03AC945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50beed4902f0345a8b4511afd3e4183d7249b29d","datavalue":{"value":{"entity-type":"item","numeric-id":4038715,"id":"Q4038715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b874c35ab547448102b1e79f96c9d46fa42a51b","datavalue":{"value":{"amount":"+0.734297513961792","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":"Q2480765$B7A6FA9D-F45D-4772-B12A-50DABDF34BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c3236964a5beada385d2910c9fe5635e8a6b74","datavalue":{"value":{"entity-type":"item","numeric-id":2490812,"id":"Q2490812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b874c35ab547448102b1e79f96c9d46fa42a51b","datavalue":{"value":{"amount":"+0.734297513961792","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":"Q2480765$81DA6790-4BB2-4E53-AA71-6F7040AB9A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7bbcedbbdc5dfd86136dc2b952dfe161b582474","datavalue":{"value":{"entity-type":"item","numeric-id":1331892,"id":"Q1331892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e47f53ee62b7f81eb5e23cded7183b8d97f845","datavalue":{"value":{"amount":"+0.7295563220977783","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":"Q2480765$6A437A3C-B609-42C0-98CB-0A8F4E6326D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2480765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2480765"}}}}}