{"entities":{"Q1355653":{"pageid":1366392,"ns":120,"title":"Item:Q1355653","lastrevid":70230285,"modified":"2026-04-13T13:21:52Z","type":"item","id":"Q1355653","labels":{"en":{"language":"en","value":"Monoids respecting \\(n\\)-chains of intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014037"}},"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":"Q1355653$BAB2D9DB-97B1-484E-B9BB-236F8511184B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"657b0a53ded0c98a8566326b0da691f1905dce50","datavalue":{"value":{"text":"Monoids respecting \\(n\\)-chains of intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355653$A3AED4CE-A8AC-4C58-8364-5156DD0B7A25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"109b7ecb87c373160a772058e3be8858381fd0f7","datavalue":{"value":"0873.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355653$7C1F74E0-EC60-43AB-ACD8-8BD20CCCD82F","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":"Q1355653$3FC22C33-562B-49C1-990B-C65F8BDF106E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115c6ab0bdd53b9213bd526331fd7f449d26ad48","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$A4D556A4-EAA5-4C86-A0E6-56672CBF1EE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$FFDD3818-A807-4EB4-A78D-690391AB5950","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"433aa66d2f94e863a4622dc29df435c2b5af321b","datavalue":{"value":{"time":"+1997-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355653$CBC31542-1830-495F-B883-27F06EC6A8C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0cfc06163e94868b49e1679543235caabd176eec","datavalue":{"value":"Let \\(\\mathbb{O}\\) (resp., \\(\\mathbb{P}\\mathbb{O}\\)) denote the monoid pseudovariety generated by all monoids of (partial) order-preserving mappings on a finite chain. Starting with these pseudovarieties, the authors construct two strict hierarchies \\(\\mathbb{O}\\subset\\mathbb{O}^2\\subset\\ldots\\subset\\mathbb{O}^n\\subset\\ldots\\) and \\(\\mathbb{P}\\mathbb{O}\\subset\\mathbb{P}\\mathbb{O}^2\\subset\\ldots\\subset\\mathbb{P}\\mathbb{O}^n\\subset\\ldots\\) of aperiodic monoid pseudovarieties both giving as the union the pseudovariety of all finite aperiodic monoids. The members of the hierarchies are defined in terms of their generating transformation monoids that respect a certain chain of interval partitions of a finite chain. On the other hand, the \\(n\\)th member of each hierarchy can be obtained as the \\(n\\)th semidirect power of the first member (Theorem 4). The second hierarchy can be obtained from the first one by semidirectly multiplying through on the left by the pseudovariety of all finite semilattices (Theorem 8). This implies that the hierarchies intermingle in the following way: \\(\\mathbb{O}\\subset\\mathbb{P}\\mathbb{O}\\subset\\mathbb{O}^2\\subseteq\\mathbb{P}\\mathbb{O}^2\\subseteq\\ldots\\subseteq\\mathbb{O}^n\\subseteq\\mathbb{P}\\mathbb{O}^n\\subseteq\\mathbb{O}^{n+1}\\subseteq\\ldots\\) (Corollary 9). The question as to whether \\(\\mathbb{O}^n\\neq\\mathbb{P}\\mathbb{O}^n\\) for all \\(n\\) remains open. The authors also find, for each \\(n\\), a pseudoidentity valid in \\(\\mathbb{O}^n\\) (Proposition 10) but not in the pseudovariety \\(\\mathbb{L}\\) of all finite \\(\\mathcal L\\)-trivial semigroups (Proposition 12) thus proving that \\(\\mathbb{L}\\) belongs to no finite level of any of the two hierarchies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355653$0ED9E21B-D78A-45D0-B0C5-13F540E677CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355653$2372A91B-E178-4544-9AE8-CA525EC9A466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355653$5982F4B6-C12B-455F-AC3B-0BEFFB4DB2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355653$9063F776-D2FD-476D-92CE-A3F7DFA1919C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355653$963A6078-09F9-4F99-8325-1C0DF3F34400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355653$FC7E9CCF-FACA-4FD6-8443-79C4D8F049AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c918af8a1043b89ee6cca95c9788d1f1f5a50692","datavalue":{"value":"1014037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355653$BFBA19DC-F464-4BB6-B1CE-BC3A8D5CCD85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fff36b85c88345bede90a8b3a2ea7ae626d84f37","datavalue":{"value":"partial order-preserving mappings of finite chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355653$1272FCC0-A279-45D8-BC1A-9C4A794C1FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa25bad791e0e2d7baeaef8c470ebdcb86f465b","datavalue":{"value":"aperiodic monoid pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355653$3830F331-DBCF-485C-9E20-5C85E61A012C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cd6dd67352ce2bc1ce0a05b81b367e25ec6cb6","datavalue":{"value":"semidirect products of pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355653$FCA9343B-03E9-452C-9249-F657D958B5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d432283c5734386ad60a6b53fc100e8665d074c","datavalue":{"value":"pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355653$2CBEFB0F-A7F1-4AB8-9461-565CEA9A2EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"969784afb222c9a7bafe029d4408952ee0ee2aea","datavalue":{"value":"generating transformation monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355653$0E53929A-B91A-4560-A06A-A78F113E2D7A","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":"Q1355653$61CFCFE2-E627-4AC6-8880-4E00E8D21C11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbdf087d8eb3447c96224ccf25a110a50b343557","datavalue":{"value":"https://doi.org/10.1006/jabr.1997.6783","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355653$FAF99905-9FAD-45FF-AA30-7E288D71C011","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4a413fb8197ff75d51278967822638e5908ae80","datavalue":{"value":"W2031718907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355653$FD3B4156-E4C5-490A-8154-85A1530B3CF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f8fae0c94dd9fb9e98c7b499f0e924fb9209a6","datavalue":{"value":{"entity-type":"item","numeric-id":1262959,"id":"Q1262959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$8281F0B6-86DC-4548-8C8D-092593F78F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7ddb5d292c18082490b45851056fb9373664e0","datavalue":{"value":{"entity-type":"item","numeric-id":4704551,"id":"Q4704551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$5085D03C-31D9-4932-BC93-B454AC3E147A","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":"Q1355653$B52DAEE1-A45C-414C-8931-FFD2F04BAB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c0ac00b309898e517ed543994c15a0924dbcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4354230,"id":"Q4354230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$72E2BC89-7F54-41F9-8D56-02BACC90D7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$93DD3200-7B40-4741-97D4-36C71797B2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f0044e92710a05b78f2b093641064c4d9c7d7b","datavalue":{"value":{"entity-type":"item","numeric-id":677105,"id":"Q677105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$1649AA27-41A1-4EA5-8415-11AC3299CBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989cf297061373146489d6f4ee1a45bae9686ba8","datavalue":{"value":{"entity-type":"item","numeric-id":4863970,"id":"Q4863970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$02289A3D-1487-4938-990B-9E83C54FD90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01b32f08130a44f4ffd0fb7baa0d3f8f650a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5526129,"id":"Q5526129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$D52EA907-637B-4F75-8144-6090FFF7C8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$F5D53E4A-9232-48EF-86C8-52BB8932099A","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":"Q1355653$1E96C12B-C392-402E-BA77-42B6A21BBDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$A1A2208C-E9B8-4005-BFBB-9FFB6F3F26CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdd39b09089ea801a08f8a3ba5a18beeadcb5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1140165,"id":"Q1140165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$C442ADE8-8F83-4149-BD9A-AA5E0F5E8E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761236e2a7a0cf08bf8b3abca6c201c57f5bf3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1111705,"id":"Q1111705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$1C9E254A-0340-4528-BBEF-2F18BC60520A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e168fe33a7620e4c39c94ec922344e0d860397b3","datavalue":{"value":{"entity-type":"item","numeric-id":1910269,"id":"Q1910269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355653$8CA649BC-D4D7-41DB-80D5-C0DB6C19B713","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8adbb0b389f4881ce76cc24ebb5b88a89bbd918d","datavalue":{"value":"10.1006/JABR.1997.6783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355653$DE9CBED2-6100-453F-8543-AFDBBCA9E703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3494cb9b73b722405d6ada5c451f65cd5d6f696","datavalue":{"value":{"entity-type":"item","numeric-id":1207707,"id":"Q1207707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05470cdb48456a51280cb505a37a6cd1f7662a7","datavalue":{"value":{"amount":"+0.7689806818962097","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":"Q1355653$45241FB6-C811-4630-8B63-3EA67A743D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cd25fb26c72219f1b3abcc735685c20f4cfb64","datavalue":{"value":{"entity-type":"item","numeric-id":677105,"id":"Q677105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99e3cb6234d250b7c1fb9639a53d45d8577e937","datavalue":{"value":{"amount":"+0.759355366230011","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":"Q1355653$C48DECF3-0476-4DDA-910B-77B6B98E8C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17c1aeeecbc587c3abb8d9e3ce618555a5bac17","datavalue":{"value":{"entity-type":"item","numeric-id":4395729,"id":"Q4395729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a913824513aaf23b805f691eff8e6542a85caf","datavalue":{"value":{"amount":"+0.7561344504356384","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":"Q1355653$D8C94798-2A7E-4A97-B93C-9B999F05E211","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monoids respecting \\(n\\)-chains of intervals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monoids_respecting_%5C(n%5C)-chains_of_intervals"}}}}}