{"entities":{"Q1300534":{"pageid":1311284,"ns":120,"title":"Item:Q1300534","lastrevid":43014205,"modified":"2025-07-16T21:47:09Z","type":"item","id":"Q1300534","labels":{"en":{"language":"en","value":"Power exponents of aperiodic pseudovarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1330649"}},"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":"Q1300534$ECBF1370-83AC-4473-8766-18524732238B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a76aa9c7488d8abccf3b29fe2bf907df5a63a97d","datavalue":{"value":{"text":"Power exponents of aperiodic pseudovarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1300534$11C2D82A-8011-41C9-8DD6-D0C2407E9022","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92427295f1d7785bc2c5b4187af0825766b21148","datavalue":{"value":"0948.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300534$E2D27F80-281D-4E0C-A014-CD561D3C9C74","rank":"normal"}],"P16":[{"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":"Q1300534$FD09288E-C2C2-4E82-8AC9-79A511C34BD3","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":"Q1300534$F909927F-92EC-4166-8459-06346AC87F84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df2c237657e5eb37bf427bcd7d37c4f135361239","datavalue":{"value":{"time":"+2000-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1300534$B0093C52-7775-4A4E-8F86-50B3B94C23C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"401fa7c30172672774d8c27f4cd9ae1f7eeb2ff2","datavalue":{"value":"For a given algebraic structure \\(A\\) the power set \\({\\mathcal P}(A)\\) carries a natural structure of the same type. For a pseudovariety \\(V\\) let \\({\\mathcal P}V\\) denote the pseudovariety generated by all \\({\\mathcal P}(A)\\) with \\(A\\in V\\). The exponent of \\(V\\) is the least integer \\(n\\geq 0\\) such that \\({\\mathcal P}^nV\\) is the pseudovariety \\(S\\) of all finite semigroups. It was shown [\\textit{J. Almeida}, Semigroup Forum 33, 375-390 (1986; Zbl 0588.20034)] that the iteration of the power operator on pseudovarieties of semigroups stabilizes at the end of three steps. Moreover, for non-permutative pseudovarieties, the stabilization occurs at the pseudovariety \\(S\\). The present paper shows how to compute the exponent of a non-permutative pseudovariety of aperiodic semigroups.   Let \\(Y\\) be the semigroup \\(\\langle e,s,f:e^2=e,\\;f^2=f,\\;esf=s,\\;ef=fe=0\\rangle\\), \\(Q\\) be the semigroup \\(\\langle e,s,t:e^2=e,\\;es=s,\\;te=t,\\;se=et=0\\rangle\\), \\(D\\) be the five-element semigroup which coincides with \\(D_2\\) from \\textit{A. V. Tishchenko} and \\textit{M. V. Volkov} [Izv. Vyssh. Uchebn. Zaved., Mat. 1995, No. 1(392), 91-99 (1995; Zbl 0846.20063)], \\(D^\\rho\\) be its dual, \\(T=F_3(LeSNB)\\) be the free 3-generated semigroup of the pseudovariety of all finite left seminormal bands and \\(T^\\rho\\) be its dual. Let \\(V\\) be a non-permutative pseudovariety of aperiodic semigroups. Then (a) \\(V\\) does not have exponent \\(0\\); (b) \\(V\\) has exponent 1 iff the five-element Brandt semigroup \\(B_2\\) belongs to \\(V\\); (c) \\(V\\) has exponent 2 iff \\(B_2\\not\\in V\\) and at least one of the semigroups \\(Y\\), \\(Q\\), \\(D\\), \\(D^\\rho\\), \\(T\\), \\(T^\\rho\\) belongs to \\(V\\); (d) \\(V\\) has exponent 3 iff none of the semigroups in (c) belongs to \\(V\\). In particular, the exponent of a decidable non-permutative aperiodic pseudovariety is computable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300534$ED46C3DC-505F-4BD7-A548-49C5A551E327","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300534$1FF9B54A-5884-4CEA-B7D0-C5B3155E25A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300534$B86084FF-FF5A-4D3F-B455-089F8E572A58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f6a9f73007756f5c4abc407e772415bd556b463","datavalue":{"value":"1330649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300534$4E83EDF7-6E0F-43C3-9AD7-C91F0B953E68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300534$525CBB36-55F7-429B-A3A9-4C7DC3F30818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29dd9acb5da6f29f7632f13ec3c988a262dae3a2","datavalue":{"value":"pseudovarieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300534$75BE71BD-E389-4173-B98D-25904BFE8FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a493c8cfa0ee9037b585821b27df0e2c288f0a","datavalue":{"value":"exponents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300534$3535AA23-760D-4ACD-BCB5-41147F01B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ad2dcb17c4ea273d233824030531d6cd6f0b39","datavalue":{"value":"pseudovarieties of aperiodic semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300534$FB77EEE6-0232-435A-AD2A-4AE5140D1769","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":"Q1300534$829E0389-BBCC-4E02-853F-F4F230D80EE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e77074e753a726004c65a06c96c5673a9cc92b86","datavalue":{"value":"https://doi.org/10.1007/s002339900030","type":"string"},"datatype":"url"},"type":"statement","id":"Q1300534$2F9F0D75-CD36-4096-940D-63A06A39FE5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56cdcdcdbc63916d48dfbe68978d2ce17bd56735","datavalue":{"value":"W2912503510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300534$0D795087-3DAD-41B0-BE37-A4C35F8FCB39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99ac1d09330522b57adadb74384c398abb649183","datavalue":{"value":"10.1007/S002339900030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300534$463CE917-3877-472F-8AA8-B1793CF62395","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6121753f965b6d5d557f2045418dac827e24200b","datavalue":{"value":{"entity-type":"item","numeric-id":3353256,"id":"Q3353256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27bd399644937d7b90dd2f5575d6aec62ab539d","datavalue":{"value":{"amount":"+0.7943493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$CDDB251A-E867-4304-B29F-0C1AB11A6243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb80d11ad12bc45fe600e1a5769b2dabe2cb6a45","datavalue":{"value":{"entity-type":"item","numeric-id":5953372,"id":"Q5953372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512c21ae59de9cc11219aeeb41336ee24a789f1f","datavalue":{"value":{"amount":"+0.78887254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$7F651930-8D1D-4BBA-A950-7505334B0529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e77d91413f5cb1a9218449e95ba44018bcccdb1","datavalue":{"value":{"entity-type":"item","numeric-id":1969113,"id":"Q1969113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad1cb4a98644c004b0917742390d9cba2a78faa","datavalue":{"value":{"amount":"+0.78164667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$544CD140-C8B7-41BC-A0C4-A2D3E9BE8246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6375833829755bb44914395e4692577a028870f9","datavalue":{"value":{"entity-type":"item","numeric-id":1206787,"id":"Q1206787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a767b02ea2c40d66c71555feac2d7eeab69e08","datavalue":{"value":{"amount":"+0.7773041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$9D3C6989-B145-4955-A081-2F024FE44126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7302f17bd0c05a30a90d3291c1323cee39e1df","datavalue":{"value":{"entity-type":"item","numeric-id":1184166,"id":"Q1184166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0971acc6814f680ce5786578a9ad28fd43685c0","datavalue":{"value":{"amount":"+0.7476383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$FF275031-6F55-404A-99F7-E75D187C3516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac1e6c5bab9390af05ff5f63a3ab323b29fd17c","datavalue":{"value":{"entity-type":"item","numeric-id":685456,"id":"Q685456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"accf3969e82bfd7fd72c6e87480eb5511fe2b921","datavalue":{"value":{"amount":"+0.7442274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$88919393-90ED-448A-AC9D-4B5990583E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6d0ea7e1833f5e38c505442b63b987358abdf6","datavalue":{"value":{"entity-type":"item","numeric-id":4347947,"id":"Q4347947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3502e9445b9f4d42360cfc96b601045d00b551b9","datavalue":{"value":{"amount":"+0.73738277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$D79361C7-CF00-4E76-95F5-2A4E07671C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227259150f52daace88560267c3292eabe88bca6","datavalue":{"value":{"entity-type":"item","numeric-id":4025871,"id":"Q4025871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac45ded7b41603f7eeef59a4f4630c2d9d18747","datavalue":{"value":{"amount":"+0.73459995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$688F74B1-6203-4578-9CB2-34CCAF5517B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2471cd7c0d4092635ac032dadd4326bd9773051","datavalue":{"value":{"entity-type":"item","numeric-id":3758116,"id":"Q3758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7218e9d63187ad0d57f7baeae302440afc1b57c7","datavalue":{"value":{"amount":"+0.7286977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$F16F2373-E5CC-445F-B36F-D9FD89AB5C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b8b7398402156ca38eb4c275b037c1d2f287f8","datavalue":{"value":{"entity-type":"item","numeric-id":5018535,"id":"Q5018535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03261b7f9df0db5b0d2eebad3a20f8724790179","datavalue":{"value":{"amount":"+0.71924496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1300534$53B91D6E-9EFD-42ED-9912-505B8633658D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1300534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1300534"}}}}}