{"entities":{"Q2365284":{"pageid":2376027,"ns":120,"title":"Item:Q2365284","lastrevid":46765629,"modified":"2025-12-25T13:29:36Z","type":"item","id":"Q2365284","labels":{"en":{"language":"en","value":"The pseudovariety generated by completely \\(0\\)-simple semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 969469"}},"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":"Q2365284$C2D2E13B-FD58-4DEA-9427-CB906D8BB0CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0887e71d557993f29078048bffd783ceebfa1c78","datavalue":{"value":{"text":"The pseudovariety generated by completely \\(0\\)-simple semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2365284$FB710C5B-FD55-4404-A0A7-4EA67B893AC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fc3746008dda50b3da06e9c17468306be080145","datavalue":{"value":"0866.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365284$5520C0AB-95E5-44D8-9AC1-9C4496934122","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1201c501f1e3cb7e467203d378934ad51e777e8","datavalue":{"value":"10.1007/BF02676589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365284$E5AC1BC4-F2FE-48CB-87B6-8ECF9EC9086C","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":"Q2365284$CF962AAA-F6A7-4AF2-90D0-E906FC48E399","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb8cca7aff509b0b212f6238d3457390f886754c","datavalue":{"value":{"time":"+1997-06-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":"Q2365284$F96D0DD6-3EE2-4ACC-B82D-A62B0FC67B90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38dd79fcb703f3b01ec5bb5e75d6f0419ea84762","datavalue":{"value":"https://eudml.org/doc/135508","type":"string"},"datatype":"url"},"type":"statement","id":"Q2365284$6EA6FC6E-98EB-4547-B0E4-3A6067DFF788","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec0f68d05d7c47277b5b51b4082e6cccd72b502e","datavalue":{"value":"The author finds a finite pseudoidentity basis for the semigroup pseudovariety generated by all finite 0-simple semigroups. The basis consists of the following four pseudoidentities: (1) \\((xy)^{\\omega+1}x=xyx\\); (2) \\(x^{\\omega+2}=x^2\\); (3) \\((xyz)^\\omega xhz=xhz(xyz)^\\omega\\); (4) \\((xy)^\\omega xzx=xz(xy)^\\omega x\\). This implies that the pseudovariety in question has decidable membership.   Reviewer's remarks: 1. It can be shown that each of the pseudoidentities (3) and (4) implies the other modulo (1) and (2). The basis found in the paper can therefore be reduced to (1), (2), (3) or (1), (2), (4). 2. The results in the paper have been independently obtained by \\textit{T. E. Hall, S. I. Kublanovskij, S. Margolis, M. V. Sapir} and \\textit{P. G. Trotter} [Decidable and undecidable problems related to completely 0-simple semigroups. J. Pure Appl. Algebra (to appear)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365284$888EC852-9805-4A2A-ABE7-2DA4E3A8DBE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365284$B7773D1D-C931-4D38-91D6-8A61FBD72B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365284$0EBE7111-0FA9-4E09-B923-FFD1D6D9A9A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1fd15526e2d534a526437c509b900898b6aa396","datavalue":{"value":"969469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365284$88318E7A-F27C-475E-AE01-DD1C98C7962A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9bb04a356fea048fddcdf4bd2e5d7fa94627c88","datavalue":{"value":"finite pseudoidentity bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365284$D3BA7AF5-85AA-482D-AB9F-F7173AEB595A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bfa26d0afac90958d66bb2e51cb041830ad20c6","datavalue":{"value":"semigroup pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365284$8B90E839-2DB7-4559-AED3-68C522ADD361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"022a585c6ce1e031fbedc9b84253cac9c7efcdd4","datavalue":{"value":"finite 0-simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365284$F578336E-FB75-484C-A71E-731C1AB611B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d432283c5734386ad60a6b53fc100e8665d074c","datavalue":{"value":"pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365284$2C008114-50C1-41A2-BADE-4D4C1B4993D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ef3e83b7a5f7cdd1109cc34445c47099cc1b23","datavalue":{"value":"decidable membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365284$A5F37ED3-A76B-4644-8FB2-A4C623D48A72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08340f6b5bca7e1a88fb13b3ef8e95306f00c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":671501,"id":"Q671501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365284$AFE64A8B-9400-4E32-B4CC-978FB20C7E68","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":"Q2365284$2B3D44C1-3A8A-4E5B-970A-B6FFBDCC0902","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365284$D355D032-8F46-4256-A1BA-D3BF54402FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fcc8e820c1cc4ac6c486483d65c4601fa543e","datavalue":{"value":{"entity-type":"item","numeric-id":1235274,"id":"Q1235274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365284$61298238-2A83-47AA-BC30-6F0FFF9A9E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23918b77ccb5f7ebeeef1229d02f08d910458f9","datavalue":{"value":{"entity-type":"item","numeric-id":1358940,"id":"Q1358940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365284$84237234-6958-4FC9-8FD2-00A802BBC16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69083e34ca696bca78588de0ad8f696cfc993d0","datavalue":{"value":{"entity-type":"item","numeric-id":4300626,"id":"Q4300626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365284$64A55008-C140-46B9-BD39-F76F12D45E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365284$CF37CECF-9406-4639-A7C4-9C43301B610D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff33dd84ace13dbd432d70155312c8a1472e09f0","datavalue":{"value":{"entity-type":"item","numeric-id":4302152,"id":"Q4302152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f092b5ec99653151dc570b1d22543d2bc0f7221","datavalue":{"value":{"amount":"+0.8197017908096313","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":"Q2365284$5DA86885-42DE-4AD7-B63B-1FC9D9C5C752","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":"f1b4bd17fbc22a404456e2a9b8379e65adabbe22","datavalue":{"value":{"amount":"+0.8085828423500061","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":"Q2365284$709A761E-B6A3-4046-9A8B-29DCCA2790D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93f000203cb5ab80c49392c45b6af76ad16fcfca","datavalue":{"value":{"entity-type":"item","numeric-id":3840741,"id":"Q3840741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4f0c4961de1c72c9cce89649984cb50d7b4d0e","datavalue":{"value":{"amount":"+0.7912313342094421","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":"Q2365284$3118FA0E-CBC2-47DF-A47A-5518A92C589D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2365284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2365284"}}}}}