{"entities":{"Q5952240":{"pageid":8129042,"ns":120,"title":"Item:Q5952240","lastrevid":97688138,"modified":"2026-06-05T15:14:00Z","type":"item","id":"Q5952240","labels":{"en":{"language":"en","value":"Studying semigroups of mappings using quasi-identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1688636"}},"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":"Q5952240$589A7031-D3AC-480E-B948-9729E6FDBE5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ed205e2c145d5900e6bc12a0d446029fc9aa17e","datavalue":{"value":{"text":"Studying semigroups of mappings using quasi-identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952240$B29AD072-C166-41D6-B454-BD091516DB3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85147fbc84b3039bdd410ced5748ac7459da52b2","datavalue":{"value":"1014.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952240$9822F227-9DFF-4AA3-BA44-1E767E04468B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6b8f421ff10d9195ff8a26ef6bde6b145c1923","datavalue":{"value":{"entity-type":"item","numeric-id":323014,"id":"Q323014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952240$931F6325-06E3-4967-B362-8FED9508D1EB","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":"Q5952240$B625BD6E-6CEA-4923-B850-F384BB4FFE15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1ace7b5fa5cb53a6c5a725daaeb2e05de89fdd6","datavalue":{"value":{"time":"+2003-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952240$AB05ABBF-9712-4275-9ABF-FA38C0409F68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9c893f989b4cefc6046d663c38841771e3ea50b","datavalue":{"value":"A \\(pq\\)-variety \\(V\\) is a class of finite semigroups closed under the formation of subsemigroups and finitary direct products; (equivalently \\(V\\) is defined by a set of quasi-identities, that is identities that are formal consequences of a list of other identities. For example, left cancellativity: \\((xy=xz\\to y=z)\\)).   Let \\(C\\) denote a finite chain, \\(P\\) a finite poset. Denote by \\(O(P)\\) [resp. \\(OE(P)\\)] the semigroup of all order-preserving [resp. all order-preserving decreasing] maps on \\(P\\). Let the \\(pq\\)-varieties generated by the \\(OE(P)\\), the \\(OE(C)\\), and the \\(O(C)\\) be denoted respectively by \\(J^\\flat_p\\), \\(J^\\flat_c\\), and \\(O^\\flat\\). Let \\(J\\) denote the \\(pq\\)-variety of all \\(\\mathcal J\\)-trivial semigroups.   It is proved that no semigroup class lying in the interval \\([J^\\flat_c,J^\\flat_p\\vee O^\\flat]\\) can be defined among all finite semigroups by any system of quasi-identities involving only finitely many variables. The second main result is that the interval \\([J^\\flat_p,J]\\) contains a chain of \\(pq\\)-varieties isomorphic to the chain of the reals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952240$D9A5FA6C-E7E5-40BE-9490-E7532D84FBBD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952240$37F9E505-DEB9-4765-A797-84423FC53327","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952240$B25996A6-8A17-479D-8C56-5A0FC18DB129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952240$5E787AB7-5A56-4725-B122-CFF2EAE633A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952240$195A1883-2DD5-49A2-9A06-026196F5287F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9c60863f83d5b632b55a469d75f5a3f61551583","datavalue":{"value":"1688636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952240$E78014FC-94FA-412C-963C-3C6DCFE1BF0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc4db0624c88a579aacb9789de789559813a7ee","datavalue":{"value":"order-preserving decreasing maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952240$7A0BC674-376B-499F-BF58-3CAF981BCCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9181933e4d83cc19d6e0eedc9c792b9eccf22a65","datavalue":{"value":"\\(pq\\)-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952240$7CAE5079-A48D-4284-B225-D9A131DEB408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952240$FA7199C6-9602-45DC-927C-1697680579A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb02c5c07c8f3975e80e6e8fc9b19e1b7b0e7e99","datavalue":{"value":"quasi-identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952240$78443A4E-ABE0-48A1-A206-8B158FAE6F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e997fdc97bfe1d6c8fe1946e86f5be57a55fa343","datavalue":{"value":"finite chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952240$E366660D-B5A0-4E53-9A14-EE49D2DE672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713ceb79a10f8309ceb9a2e4a915c2f3d6536608","datavalue":{"value":"finite posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952240$53F07C08-5724-49E5-A972-38F34ADC5EC5","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":"Q5952240$70280379-C5A2-4DC8-A9DD-4A3ED2A57C8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac98aba29682338a977d187987c6d72a0403c2ff","datavalue":{"value":"https://doi.org/10.1007/s002330010058","type":"string"},"datatype":"url"},"type":"statement","id":"Q5952240$BD0CD27B-6FA2-4B5F-ABEE-FDCE300A8412","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c30672c39e5557f0091eb01c5857380b45362daf","datavalue":{"value":"W2050468525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952240$53EB9BAF-564B-4CBB-A837-C600A1117E79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdee24592dee2cb46b007b7298d0b4170d32ecd2","datavalue":{"value":"10.1007/S002330010058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952240$E3EDE545-0D6D-40D2-8C1A-28EB7E134C89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11479ffb75174510f3c6bfcc83953a18218b146d","datavalue":{"value":{"entity-type":"item","numeric-id":4260310,"id":"Q4260310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdab1db8e4d04c27b2e507ffd1ee5bf4d1174a5","datavalue":{"value":{"amount":"+0.8040145039558411","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":"Q5952240$E94AC8F5-B87E-4BD0-AA12-129A262B20AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6894f53007dc552a0dbbe0355d04add6530b3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1941754,"id":"Q1941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086d56d1fe43ce1c962915b61a1a9eee76425f1b","datavalue":{"value":{"amount":"+0.7995274662971497","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":"Q5952240$F183E256-03D2-48E2-A70A-B0EF9EF0698D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fbe52954767847d206bf51a702a9b7542e3425d","datavalue":{"value":{"entity-type":"item","numeric-id":3699023,"id":"Q3699023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9249bd50681f92962003483a04d7f2e1dbe59521","datavalue":{"value":{"amount":"+0.7818628549575806","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":"Q5952240$385471BA-E578-4CF6-919F-2761E046A70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414be5f208a83a04418d308c921c567c05a86f30","datavalue":{"value":{"entity-type":"item","numeric-id":3973319,"id":"Q3973319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e5c0890d0ecd2ef373718742ba1b41a1e35e2f","datavalue":{"value":{"amount":"+0.7779949903488159","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":"Q5952240$258D1C7E-5A0C-4CBC-B30E-E1DFFAD36280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ee289142e1c2fbb553474bb080dc0014e5334a","datavalue":{"value":{"entity-type":"item","numeric-id":1822633,"id":"Q1822633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf537238844c1c486535c7679c4b580943dda4f","datavalue":{"value":{"amount":"+0.7663504481315613","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":"Q5952240$3371B228-9DAA-4F5E-8F72-C3F92692F44D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Studying semigroups of mappings using quasi-identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Studying_semigroups_of_mappings_using_quasi-identities"}}}}}