{"entities":{"Q2716975":{"pageid":2727714,"ns":120,"title":"Item:Q2716975","lastrevid":83012459,"modified":"2026-05-06T22:42:40Z","type":"item","id":"Q2716975","labels":{"en":{"language":"en","value":"Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1599701"}},"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":"Q2716975$FFD67D4F-1C98-4961-8751-AB96F9E1A52B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56a67f963d6703235de50dac8e1ce25cfb320b87","datavalue":{"value":"0993.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716975$1FC4F9FA-EB42-48DC-A7C0-8EFA64604FDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f7bbd888efbd549955364cc0e7436fbbd6f2a1a","datavalue":{"value":"10.1017/S0013091599000486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716975$B542ED62-35E4-4B45-A923-3D713C29B360","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fa6dfa93c0f98fb266b35ce517f9afc26fbb6b6","datavalue":{"value":{"entity-type":"item","numeric-id":680242,"id":"Q680242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716975$892A1550-4CBA-4A92-88C9-BAA758AA601F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716975$B2BB4511-9767-4BA9-B179-957758F0C8BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a8fc5d857639e72f49c8b91a290053b2ba97c58","datavalue":{"value":{"time":"+2001-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2716975$B53C08A7-32F4-4296-A49F-ADD9A3C49ED4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716975$427611CD-74E9-4162-9AA4-F4E74860F3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716975$FCE68F57-67F5-4C57-91D8-FB9A7E56A377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716975$887E1BA3-FA00-4EE9-B5A8-0996980121D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716975$283B24DF-4C88-41B3-8FAD-8FEA22DB0D8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbf5583edf870dbd12c5b8cb6a87bdadc6d7de50","datavalue":{"value":"1599701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716975$A5B171E6-F6A7-4C28-B63E-225D27630790","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28a77a4a71ec767136f1130c10521ebaac60048","datavalue":{"value":"pseudovarieties of commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716975$C6136F65-F083-40DC-97FD-9448A1AB5E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43d25a44c4145eba5ad76c0dbcc5fd0871a3666","datavalue":{"value":"profinite completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716975$4FE7B8B2-A16C-4F04-A672-A50B20ABF22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d432283c5734386ad60a6b53fc100e8665d074c","datavalue":{"value":"pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716975$A18115CD-9208-482F-958F-FDFB7E90F95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716975$293342E7-AD43-4423-AAB4-04341D5F53BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd410c6c8395b358bfc818eb926bfe9ee06c8705","datavalue":{"value":"globals of pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716975$57FB8906-2C74-4ADC-9FDE-D25F3A38B862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efc41230169438e8e7250370a1efdd24419bb777","datavalue":{"value":"categorical pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716975$5FD5C360-124A-40D3-BB18-8C5D5A698654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811b95045bc20bdc3f0b1e033c4c3034e1e810fd","datavalue":{"value":"intervals in lattices of pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716975$ADE83EE4-1E08-43EC-9837-12CEC58B6F9C","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":"Q2716975$3BEDA9BF-7A19-47DC-8AA4-F1180E99B321","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc5b897f4616de9fa6c0c684cd61f2fd1700e9db","datavalue":{"value":{"text":"Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2716975$71365ADD-E64D-4B92-BEE9-8EE586975406","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9eb3ffba3972c0939723139973e105da44bf3641","datavalue":{"value":{"entity-type":"item","numeric-id":563165,"id":"Q563165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716975$E502FB1E-4513-4137-83AF-A86FF911AE3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb1c4471a52c63f5a170dc079f7c2581a42ecd95","datavalue":{"value":"The authors study pseudovarieties of commutative semigroups and their globals. Let \\(\\widehat\\mathbb{N}\\) be the profinite completion of the semiring of natural numbers \\(\\mathbb{N}\\), \\(\\mathbb{P}=\\mathbb{N}\\setminus\\{0\\}\\) and \\(\\widehat\\mathbb{P}=\\widehat\\mathbb{N}\\setminus\\{0\\}\\). For \\(m\\in\\mathbb{P}\\cup\\{0,\\omega\\}\\), where \\(\\omega\\) is the unique nonzero additive idempotent in \\(\\widehat\\mathbb{N}\\), and \\(\\pi\\in\\widehat\\mathbb{P}\\), let \\(\\mathbf{Com}_{m,\\pi}\\) denote the pseudovariety of all finite commutative semigroups satisfying the pseudoidentity \\(x^{m+\\pi}=x^m\\). \\(g\\mathbf V\\) denotes the global of the pseudovariety \\(\\mathbf V\\).NEWLINENEWLINENEWLINETheorem 1: For any integer \\(m\\geq 2\\), no pseudovariety \\(\\mathbf V\\) between \\(g\\mathbf{Com}_{m,1}\\) and \\(g\\mathbf{Com}_{m,\\omega}\\) has finite vertex rank. Theorem 2: For \\(m\\in\\mathbb{N}\\cup\\{\\omega\\}\\), \\(\\pi\\in\\widehat\\mathbb{P}\\), the following conditions are equivalent: (i) the pseudovariety of semigroupoids \\(g\\mathbf{Com}_{m,\\pi}\\) is decidable, (ii) the pseudovariety of semigroups \\(\\mathbf{Com}_{m,\\pi}\\) is decidable, (iii) it is decidable when a positive integer \\(k\\) divides \\(\\pi\\). It remains open whether for every decidable pseudovariety \\(\\mathbf V\\) of semigroups, \\(g\\mathbf V\\) is decidable. An interval in a lattice is a big gap if it contains a continuum chain as well as a continuum antichain. Theorem 3: For all \\(m\\geq 2\\), \\(k\\geq 1\\), the interval of categorical pseudovarieties between \\(g\\mathbf{Com}_{m,k}\\) and any of its successor skeleton points is a big gap.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716975$43993AE3-0701-4E5C-B27D-C2B7367332AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"542b6ea84023c152b4343da3d1339c7580f7af0e","datavalue":{"value":{"entity-type":"item","numeric-id":1180654,"id":"Q1180654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716975$CEDEFBC7-51A5-42A9-BACB-7BFDE0F5B255","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2273a925dcb504948a067abd3d1b802ee2022c69","datavalue":{"value":{"entity-type":"item","numeric-id":804712,"id":"Q804712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946de984186943ccf3daec70e009591a9b35ad28","datavalue":{"value":{"amount":"+0.8089038133621216","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":"Q2716975$C07995A5-AE20-4091-8A96-6E4C54241406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48d362905a59d4a39b221e0d8103ec1d457f74e","datavalue":{"value":{"entity-type":"item","numeric-id":949087,"id":"Q949087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65aef67f347a892e56cbbee7b827b0619ce65aff","datavalue":{"value":{"amount":"+0.7990642189979553","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":"Q2716975$8DBB4C6A-BFFC-44B3-9A8F-55FEB136F380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a86e66ac391fff35db9e202086837d278d20717","datavalue":{"value":{"entity-type":"item","numeric-id":4852667,"id":"Q4852667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1574de47bbffbb97bcbb244022609f17d7d7235c","datavalue":{"value":{"amount":"+0.7909952402114868","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":"Q2716975$910096D8-231A-41FA-A03C-DA59A18A030A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e405db90ab0641921bd27909153db37503de121","datavalue":{"value":{"entity-type":"item","numeric-id":1964132,"id":"Q1964132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1574de47bbffbb97bcbb244022609f17d7d7235c","datavalue":{"value":{"amount":"+0.7909952402114868","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":"Q2716975$C57B2783-D7CC-4252-BC9A-0E7C0C11AAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1714af30d0594086669aadf560eb9552ae0b17","datavalue":{"value":{"entity-type":"item","numeric-id":3759042,"id":"Q3759042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f148fe5d8d8c1c9fd721ea91d875479897ec9d","datavalue":{"value":{"amount":"+0.7899973392486572","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":"Q2716975$AE60E4C7-EE62-427E-A89F-FEB54C3C8C9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps","badges":[]}}}}}