{"entities":{"Q818937":{"pageid":820785,"ns":120,"title":"Item:Q818937","lastrevid":64572282,"modified":"2026-04-11T20:47:47Z","type":"item","id":"Q818937","labels":{"en":{"language":"en","value":"The variety of idempotent semigroups is inherently non-finitely generated."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014168"}},"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":"Q818937$D7F4C76B-71D3-4127-98CF-82695F0D8B2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27adbd221ad798c75ad00351b429620c4e1f7efb","datavalue":{"value":{"text":"The variety of idempotent semigroups is inherently non-finitely generated.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818937$8D11D418-3D2A-494C-AECC-B1D3670C8408","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b4489c184d24775b639326376fa7663a715324a","datavalue":{"value":"1089.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818937$9B2DF27C-82BE-4B83-965A-DE31EB56FCDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db859c0333cf546169f3854aca3485a3da15e86","datavalue":{"value":{"entity-type":"item","numeric-id":305771,"id":"Q305771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818937$22CB9F9D-B48D-40C9-95B6-69D6652A66AA","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":"Q818937$D5761095-2663-4BE1-883B-7E7355B63FD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0fcdb7772aa9430d25813b6d3153f89c3c8a89","datavalue":{"value":{"time":"+2006-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818937$E412C2C9-930F-4D1B-B62E-1CDA799BF25C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4914a6fe8f048584f3450c6ae554ac5cc0fb3ad","datavalue":{"value":"The variety \\(\\mathcal E\\) of all idempotent semigroups is known to be locally finite, [see \\textit{D.~McLean}, Am. Math. Mon. 61, 110-113 (1954; Zbl 0055.01404)], while every proper subvariety of \\(\\mathcal E\\) is generated by a finite semigroup. The author proves that, in contrast, \\(\\mathcal E\\) is not contained in any variety generated by a finite semigroup. The paper also contains an elegant observation (due to R.~McKenzie) that extends the above result by showing that, moreover, \\(\\mathcal E\\) is not contained in any variety generated by a finite groupoid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q818937$92D7329B-7323-4FA5-9B3B-9A9D92520663","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818937$2C2E1322-AF50-44FD-AADC-7B56EC5DF661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818937$134A044F-FE1C-4EB7-97C2-168D1484C84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818937$FE483913-3CFD-4D8D-8623-6BA45CD15ABB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c21bfca085a4f975027a604cf43767979d9b4846","datavalue":{"value":"5014168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818937$5DCFD0F6-0F93-4000-A521-31BAEF30631F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442ec2ace9bdee263c4fcd3365a5cf7cb3b41067","datavalue":{"value":"idempotent semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q818937$5CD6F2E2-D010-4A5C-B1D0-DEB81221AD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0047358160b24dc80274ba04e0ea4fb5149336","datavalue":{"value":"locally finite varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q818937$D9B828E2-364D-4005-B421-3E9C5E5AC563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8bf61868a9f87256fa69403fcddd08b80a1ad90","datavalue":{"value":"finitely generated varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q818937$05BCD314-8E27-4C8C-97F9-54F21A37CB03","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":"Q818937$6B01ECCD-284E-40DF-B5D8-46AD09C4DD0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5561820d284205035db955ac02ee904dc43fc632","datavalue":{"value":"https://doi.org/10.1007/s00233-004-0178-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q818937$090790F5-0F75-4C7C-A589-1BDE21B31D39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6657e35e88f240d417f26e571d3a8c356f219b1","datavalue":{"value":"W2029762705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818937$9DE78682-926B-4F0A-8022-2AB3A67887FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6b8111ab30255e61e56346abd265e346c58d951","datavalue":{"value":"10.1007/S00233-004-0178-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818937$1F2CBB16-45CD-49FD-99F0-02CFF4A891B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84486fef50b455f24bbf0b2b2cb8aeb39da8873","datavalue":{"value":{"entity-type":"item","numeric-id":3094663,"id":"Q3094663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6714ec1115785004f227b02974ecc3c59aebea","datavalue":{"value":{"amount":"+0.8277041912078857","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":"Q818937$8D13F8D6-76B3-4E03-9D5E-EE2925F37ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31969041f4dd24e01c6004e8773042ac0644434","datavalue":{"value":{"entity-type":"item","numeric-id":3774026,"id":"Q3774026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ab6c495d6a909d90df4bc6cd960130730f4853","datavalue":{"value":{"amount":"+0.8208946585655212","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":"Q818937$F089A7A1-3E18-4B74-AAB9-C9638867D0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c031644286441e47f7ccac83b67ba55855bbc735","datavalue":{"value":{"entity-type":"item","numeric-id":802588,"id":"Q802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09a6f0dbffa6afa808c3e26bb26d8ab4b6cc12a","datavalue":{"value":{"amount":"+0.8034128546714783","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":"Q818937$0BC38A4E-7330-406E-A13B-E0667F4EA532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580fadc64852befac6a62702ec4b9ea59617287c","datavalue":{"value":{"entity-type":"item","numeric-id":3769093,"id":"Q3769093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21dbd6467c6729be9f5139281c70e7c993d086e4","datavalue":{"value":{"amount":"+0.7956967353820801","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":"Q818937$4BC93834-20D1-450E-ACB7-C7E9338E5F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c648fce3a54c2ebee07b542beb4a8052a07ef38","datavalue":{"value":{"entity-type":"item","numeric-id":4794335,"id":"Q4794335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b120693c021bb843dd09a0f208a527a776330093","datavalue":{"value":{"amount":"+0.795177161693573","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":"Q818937$7A8B62CD-9D48-4E12-A20D-5B2F79C2D45F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The variety of idempotent semigroups is inherently non-finitely generated.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_variety_of_idempotent_semigroups_is_inherently_non-finitely_generated."}}}}}