{"entities":{"Q2248226":{"pageid":2258969,"ns":120,"title":"Item:Q2248226","lastrevid":57802044,"modified":"2026-04-02T14:30:17Z","type":"item","id":"Q2248226","labels":{"en":{"language":"en","value":"On the power pseudovariety \\(\\mathbf{PCS}\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310398"}},"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":"Q2248226$47696977-BEA4-4FF1-8247-302B145B79D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efb8adec62c20f62de2c4d42c7737968cf31b881","datavalue":{"value":{"text":"On the power pseudovariety \\(\\mathbf{PCS}\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248226$EB338BE7-A17C-4487-BB76-DA352BCD6F8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa546019262a89f2131236072200f58939d60c47","datavalue":{"value":"1306.20058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248226$E4F27819-239A-4EA8-BAC5-CC5066339CF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7b751939e213431fc6b8c680b4438ae35c1f5b6","datavalue":{"value":"10.5565/PUBLMAT_56212_08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248226$892D8665-803B-45EF-B1AE-ED7A748882D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55ad2678fd55fa4c2c2f21892f089b657041976a","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$FDEE87F6-A5F6-4520-A905-0D5D522D2879","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed4f513c94031f8bf32d9d524c1126dddff8b76b","datavalue":{"value":{"entity-type":"item","numeric-id":195374,"id":"Q195374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$C5CBF7DB-4A4D-4C99-87A3-D7BDE4013684","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248226$38249351-D838-483F-B4B7-4144C0852069","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f58303a34a37d745fe9e621fcd31eb524d38e8ff","datavalue":{"value":"https://arxiv.org/abs/1202.5511","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248226$FD6A2B2F-4D2F-4F9A-BE29-59676637E1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5ceb733369ca8f59846a6d1c0eda368097d60a1","datavalue":{"value":"https://projecteuclid.org/euclid.pm/1340127813","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248226$0C54A273-105D-450C-AC02-444624979C88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c9cacb6bb374c81a60b86f52162273987e1ef11","datavalue":{"value":"Let \\(\\mathbf{CS}\\) stand for the pseudovariety of all finite completely simple semigroups and let \\(\\mathbf{PCS}\\) be the pseudovariety generated by all power semigroups of the members of \\(\\mathbf{CS}\\). The author proves that \\(\\mathbf{PCS}\\) is equal to the Mal'cev product of the pseudovariety of all finite \\(\\mathcal J\\)-trivial semigroups with \\(\\mathbf{CS}\\), thus solving a problem raised by \\textit{J. Kad'ourek} [Monatsh. Math. 166, No. 3-4, 411-440 (2012; Zbl 1255.20051)], and provides some other Mal'cev and semidirect decompositions for \\(\\mathbf{PCS}\\) (Theorem~6) as well as various finite pseudoidentity bases for this pseudovariety (Theorem~8). These results yield transparent and efficient algorithms for deciding membership in \\(\\mathbf{PCS}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$A6AABD3A-CC98-4BD9-8E20-BED384EB2AFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248226$D02215BD-2A80-4FEF-9C2B-1260ECE2556F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248226$49FE8C31-AC8B-40D2-ABD7-2D7A33DD2E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248226$7A2C01D5-7131-4D75-817A-9A5416049D55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53f7c4a5f4e20c05fc07dd485c5d59213d1854ac","datavalue":{"value":"6310398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248226$902A4CC8-3EE0-4597-9490-3B516E785DA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f3a33b1d0f1bc50468372d7951830a7aee9083","datavalue":{"value":"pseudovarieties of finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$92C0EBD9-E460-4123-94C7-D342473AAFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1534a5b404286d71588a0bbe8060da22acaf8d3b","datavalue":{"value":"bases of pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$3C29B81B-828E-42B9-8242-D825C9B63407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2985a943b5b6c8c0ce3a86864f237a517007b9","datavalue":{"value":"power semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$F58B45F9-FCB5-4E74-B12E-AC80939A205E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1915f7425a318347bbfce6052369a611f1d8b938","datavalue":{"value":"power pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$943F1824-48AF-4269-851F-65C1838EBF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba4e7c66e506f87a77e4077b5b9d7a726a9040e","datavalue":{"value":"completely simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$520AB5E6-5876-4384-B8B0-AEA1137F0A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c507d816bd2deedc26cafe761ebc2462e1102f","datavalue":{"value":"\\(\\mathcal J\\)-trivial semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$BB483E14-3679-417F-A5D5-80811E7B51EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d39af60653478a6ab0ab6ad2010bf402d25244","datavalue":{"value":"block groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$E03DB0EC-81C9-4E9A-A4C8-A9D39DF8DE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d07adf50e077ce2d01865c224f65334e7ca19b1","datavalue":{"value":"Mal'cev products of pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$F3430BA0-9282-414E-8FEC-B72E271A7902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cd6dd67352ce2bc1ce0a05b81b367e25ec6cb6","datavalue":{"value":"semidirect products of pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248226$EF63091E-BB8E-4EB0-A181-D4E800CDA1B5","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":"Q2248226$AD968633-FACE-40B3-BC5E-06AF1C891EF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec73010f2e6ff31e8a8b3a65fbd1a9584842ba7","datavalue":{"value":{"entity-type":"item","numeric-id":4421587,"id":"Q4421587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$CA03CABD-CB3B-4103-BE15-09583B637B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc37b30bdae789bb35af7d70ef9b2601d7d24e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3365833,"id":"Q3365833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$7DE3C7C5-4B89-4413-AAB8-72388E8792D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fcde6f1121f5cf95753264b136b6dc438cfa20","datavalue":{"value":{"entity-type":"item","numeric-id":1380025,"id":"Q1380025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$F7D59231-D534-4F8B-83D0-585E7B27CEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4b58eef69ca002442fc8892d8951907306aa68","datavalue":{"value":{"entity-type":"item","numeric-id":3209328,"id":"Q3209328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$2750AC30-0256-4DA1-B2A0-4091F97B89EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df82256ec16b020b97b4cf4ab6d1dd599f6a10c8","datavalue":{"value":{"entity-type":"item","numeric-id":4806416,"id":"Q4806416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$A74BF376-C6EA-412F-BB39-AA0F4C98915D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e360f3be1f7a8b31cc5e416567132cbf03c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":2565999,"id":"Q2565999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$C1D6BF1E-D453-46E1-BCF7-7A0F82A59C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52a1f0f57537f21b91160760b2ec9dbdb6b45c8","datavalue":{"value":{"entity-type":"item","numeric-id":4354255,"id":"Q4354255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$F92E0115-E1DD-439B-A12E-9EA9D37C0868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2adfe32f3460cdcaad3cc10403641b3dd69fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4271218,"id":"Q4271218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$64ED87D5-63C0-4D48-99AC-FC3534BA6A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5911564770bbe04b92615040f25c316b3d0a4b13","datavalue":{"value":{"entity-type":"item","numeric-id":3123632,"id":"Q3123632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$BC2A7DDC-FD19-4F25-8E26-D8DC564E63B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8fc65ac85f96f9027cb995115d529f830873c9","datavalue":{"value":{"entity-type":"item","numeric-id":1910276,"id":"Q1910276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$76A29574-01EA-4373-B282-D25935DDCE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66cc15945fdbf6492d9c996e67afc519e938377a","datavalue":{"value":{"entity-type":"item","numeric-id":1922482,"id":"Q1922482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$AEB74089-2A6F-4A46-B684-4FC36291B2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad8643cf2a646d0d700aa2cdb427a9790787a6","datavalue":{"value":{"entity-type":"item","numeric-id":5302760,"id":"Q5302760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$50AD125D-C915-4124-AE6A-41D51B770437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd319e0aaf07004b0823f657af5b6fe997ef6eb5","datavalue":{"value":{"entity-type":"item","numeric-id":927284,"id":"Q927284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$320A89B1-4E3D-494E-8A94-31D56601E6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4106ee1359f86fe88fb498711e75cf06db6594e","datavalue":{"value":{"entity-type":"item","numeric-id":581545,"id":"Q581545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$2C958FE7-EE48-41DB-951E-2221F0167809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6468407fea79925550eec679c8838ea00b7831","datavalue":{"value":{"entity-type":"item","numeric-id":1207707,"id":"Q1207707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248226$A835E76F-A936-44B8-97BD-571EC85CAD67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d7e5d8b6f207d517398f19f1dc23d424a7b2d3","datavalue":{"value":{"entity-type":"item","numeric-id":2136010,"id":"Q2136010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907ea50bfca73875b0d19750e9ff5e4491f9ef22","datavalue":{"value":{"amount":"+0.9091375470161438","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":"Q2248226$FB43BBFB-D74C-4A29-8685-80191607E658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3c8326ecefcce4a8571f86ff666088a62465d9","datavalue":{"value":{"entity-type":"item","numeric-id":927284,"id":"Q927284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387104e6ac95d0d495547585e1c7d4fda205a983","datavalue":{"value":{"amount":"+0.8616345524787903","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":"Q2248226$9069D883-DF4A-4DA7-98AD-CE040521FBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f389ef6ebb4014262ea5838f193e0cc468880c5","datavalue":{"value":{"entity-type":"item","numeric-id":431180,"id":"Q431180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1cc5fe057af08eceefd6991898eb1ea78dd18b","datavalue":{"value":{"amount":"+0.8591129183769226","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":"Q2248226$4B397E85-309F-4675-87AB-47B4D5A4E674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4856fd6956a30a27b1edb59670909ac13b5461f0","datavalue":{"value":{"entity-type":"item","numeric-id":5930161,"id":"Q5930161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbfc9bbdecc45388b1e32df74332770e02b9612","datavalue":{"value":{"amount":"+0.8328126668930054","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":"Q2248226$87AFF621-E31D-42C8-8ADF-01B1D230ACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b326ad292e455d3481c836edd5a0411028ada412","datavalue":{"value":{"entity-type":"item","numeric-id":1073186,"id":"Q1073186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7dda9e21da700b020fae57a8f89c4db3a9fe3c","datavalue":{"value":{"amount":"+0.8191446661949158","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":"Q2248226$6F90222C-E187-4223-B720-A2EC20C8EA9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2248226","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2248226"}}}}}