{"entities":{"Q411757":{"pageid":413524,"ns":120,"title":"Item:Q411757","lastrevid":61654818,"modified":"2026-04-11T00:45:36Z","type":"item","id":"Q411757","labels":{"en":{"language":"en","value":"Left adequate and left Ehresmann monoids. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6029089"}},"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":"Q411757$2891F137-97C1-4F78-B556-13A22FEEE346","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a448855f0a05ce3595dbea37ee330797d1f2b05d","datavalue":{"value":{"text":"Left adequate and left Ehresmann monoids. II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q411757$1066E6D8-DB39-4509-BD45-08D70BED14AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aab9a38ee8d39f002e0b14ac86ec6c364d3a322","datavalue":{"value":"1250.20042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411757$1549FEFA-C359-4016-8412-26300EA78376","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f52ea33601b1801a124ec9bb5b7683ab84f03b69","datavalue":{"value":{"entity-type":"item","numeric-id":244464,"id":"Q244464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$AFB9B737-0704-489C-929C-E1414129DF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47bf248e9743c97a013f0458ed30a0664f014eb9","datavalue":{"value":{"entity-type":"item","numeric-id":244460,"id":"Q244460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$5CC5D7AB-4D89-424D-948C-7456491C1B01","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":"Q411757$AD4458C4-9507-44FF-A9F4-864BFFCA0A8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdd307946b0c4fd21d440328dcf2bb17a96e05e8","datavalue":{"value":{"time":"+2012-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q411757$B09D62C8-AB73-4F69-9EF6-3B90F3C5E6C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68f98e5812407b3cc27e24e3745924212476ef19","datavalue":{"value":"The first part of the article was published [in Int. J. Algebra Comput. 21, No. 7, 1259-1284 (2011; Zbl 1250.20041)]. The authors show how to construct a \\(T\\)-proper left Ehresmann monoid \\(\\mathcal P(T,Y)\\) from a monoid \\(T\\) acting via order-preserving maps on a semilattice \\(Y\\) with identity. The construction plays the role for left Ehresmann (and left adequate) monoids that the semidirect product of a group and semilattice plays for inverse monoids. It is proved that a left Ehresmann monoid \\(M\\) with a set \\(X\\) of generators has a left adequate \\(X^*\\)-proper cover \\(\\mathcal P(X^*,E)\\). By choosing a suitable semilattice \\(E_X\\) and an action of \\(X^*\\) on \\(E_X\\), the monoid \\(\\mathcal P(X^*,E_X)\\) turns to be the free left Ehresmann monoid on \\(X\\). Consequently, for any non-empty set \\(X\\), the free left Ehresmann monoid coincides with the free left adequate monoid on \\(X\\) and the class of left Ehresmann monoids is the variety generated by the quasi-variety of left adequate monoids.","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$D5DBB0B0-9944-42B1-A9BF-82E3348A2A71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$57F410D7-2BFF-4D76-BC16-BE5C7E06CCC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411757$B3F08BE1-8446-4282-9E46-69DA812D6985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411757$A1423779-E9E2-49DD-AF94-004537ABBE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411757$837B570D-C965-4291-8CAC-91B8F1553A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411757$F205CAB6-13D0-4B24-A6A5-6CFEC22978D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6435431a01325b1571a3f038008a987d6b35248b","datavalue":{"value":"6029089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411757$8F88D093-8B4C-4AF7-9CA0-D5B9DBA6AB55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b42fb469122c555d0e6ef2365255dd30db26f23e","datavalue":{"value":"left adequate monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$09EE4797-4D40-4F12-ABF4-234AA6BC2D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905994708a24f194652a51a7978fa4e9ff88a01e","datavalue":{"value":"left Ehresmann monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$0BAD7766-4752-4640-82B9-5AB01BC2837A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f86c4aa5ee1043c41cb40ef9b741f3e76c3e8c","datavalue":{"value":"left ample monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$1EB6A419-AAAB-453F-8BE8-6C7FFBA8CE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc628e161c26bb6a5c7a733ffced75f84b31926e","datavalue":{"value":"proper covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$13351E15-CAF0-4FD0-BAE5-7D80FA46B874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af0a67ceec622918cd3297d011aa481bc7839ca","datavalue":{"value":"free objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$98246162-BE5E-4D66-96AC-526C0F623DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$B907A333-5F69-4326-ABC6-22CC9AEE05BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$995159B3-9ED6-42FB-952C-DDC503E855CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$BD559DF9-CB73-443C-A990-63B3B45FF4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd753512fecb95445fc4480b0c8a09f9d42bad2","datavalue":{"value":"quasi-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q411757$1AB52958-0C6C-41FB-A389-4D716077647C","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":"Q411757$56F21906-8804-4C28-97AD-EB1F45AC0EE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"583c8eb306b9a601174e277eaa02273ac48e3f97","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2011.09.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q411757$3ABB8F65-49C0-4584-810F-7D343D77FCD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1334a7acd7523b034b4f64629c3c44a00e30894","datavalue":{"value":"W2082682599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411757$832187D3-08EC-4149-A45A-16604D427AFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bdcd6bec0074afc39f1d79fef0f741bb0d0635","datavalue":{"value":{"entity-type":"item","numeric-id":3112589,"id":"Q3112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$F1574AAD-5012-4126-9234-B992BF2C55BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576401767b02d3342227de46df697138dc1107ed","datavalue":{"value":{"entity-type":"item","numeric-id":3049018,"id":"Q3049018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$6D6D53CD-1001-4836-A343-004AA0DC629E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3afaa7ac33eec227e8d63ace3846bc169ec10ee","datavalue":{"value":{"entity-type":"item","numeric-id":3804926,"id":"Q3804926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$B66F14C9-C0C9-480E-8D3E-94ED3C9D1221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad41d7ed6062ed37e24819062319c4422c4d05f","datavalue":{"value":{"entity-type":"item","numeric-id":3976902,"id":"Q3976902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$F7762E44-EF8F-4016-8884-08D74C07ADA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65dbc3da207286a3a7d7356197c0b87ef2966f5","datavalue":{"value":{"entity-type":"item","numeric-id":3637973,"id":"Q3637973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$703745AB-8D22-43B9-9DBE-299A8BBD919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fb39b839ae13d8d61f127f7688ef73811091ac","datavalue":{"value":{"entity-type":"item","numeric-id":4942370,"id":"Q4942370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$EA127633-BDB5-499A-9616-0251B7BE55AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0206c7a299abfd7e7651dd974c81d198381bfa","datavalue":{"value":{"entity-type":"item","numeric-id":5939963,"id":"Q5939963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$7F3E346C-8031-4272-A61F-C607AB793F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce587da6831c0e816212ef17c8ea768ed05ed077","datavalue":{"value":{"entity-type":"item","numeric-id":4335558,"id":"Q4335558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$B6E02473-553B-4F71-AB70-A188C35D9396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$7D41530E-04BF-4657-9A50-AC299F4EE96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178e15c1078958b2c8a6fc7d377dc8ba928e89b1","datavalue":{"value":{"entity-type":"item","numeric-id":3094674,"id":"Q3094674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$B7C4ADB8-552E-4B17-81B3-3627EB4E75C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97ec3696f4f633599f4df87204708c5f14f832a","datavalue":{"value":{"entity-type":"item","numeric-id":5389477,"id":"Q5389477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$FCD80E23-34B0-4391-927A-2AE8A9A6B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dbbfff5d4e553b4bdc1ff9be59bec7254c2a84","datavalue":{"value":{"entity-type":"item","numeric-id":1177273,"id":"Q1177273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$10C78BAC-8FF7-4596-8205-366104F4B527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7245147d27c25e598a12a3db0ea22e7429e25e","datavalue":{"value":{"entity-type":"item","numeric-id":4050801,"id":"Q4050801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$1843C492-7B6B-477C-B59D-6F9A36B7DC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d38e9da929649dc560476f8dd6099510bad9256","datavalue":{"value":{"entity-type":"item","numeric-id":4050802,"id":"Q4050802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$07B32849-DB06-4CD2-9924-2AA0AB0205D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ccb759190ed6fe5a6f7e7ca0faf992aa8f2107","datavalue":{"value":{"entity-type":"item","numeric-id":4061136,"id":"Q4061136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$9C11FB7C-EBF3-4F05-A63F-6EE1478891BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe44b3f6e4ae048bd44468ea28c94dfaf454c20","datavalue":{"value":{"entity-type":"item","numeric-id":5921598,"id":"Q5921598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411757$1B23A645-3F9E-4AAB-A6E3-94117D39806B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15991a1d099bf8df49401c4206b80a1cdf3f4dab","datavalue":{"value":"10.1016/J.JALGEBRA.2011.09.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411757$A0A1D364-275D-4F06-A9C1-2910D80DB7B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3682352e61ddc4f78a8f04342ca1a7aad21cc7d9","datavalue":{"value":{"entity-type":"item","numeric-id":3112589,"id":"Q3112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010487fea4e4a3beca4104ac843c247c0468cc65","datavalue":{"value":{"amount":"+0.9725362062454224","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":"Q411757$DF387CA1-CBD3-4149-A2B3-9573FA02FC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df19cc02cf2f60ce42f4e562fcc783cf4d39a9ec","datavalue":{"value":{"entity-type":"item","numeric-id":5389477,"id":"Q5389477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d637116ee95a21dc8ec9a036af51a18e66b49ea0","datavalue":{"value":{"amount":"+0.90639990568161","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":"Q411757$0A8FD9A7-E3CD-4D2D-A8D6-CD0417DEDD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9719ecb2147e4edea14557f2f3766acc355d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3094674,"id":"Q3094674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7f010f0ab233b5ba6e469da9db8ba2fdc4f11d","datavalue":{"value":{"amount":"+0.8437842726707458","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":"Q411757$CF123812-6C7B-445A-8704-224B2B946E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5853bf516f9e208b9f6866efacda58bf82e44581","datavalue":{"value":{"entity-type":"item","numeric-id":1570355,"id":"Q1570355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cac8ec925f104f8d33c8a0bc57b2ba3c40eae8","datavalue":{"value":{"amount":"+0.8311434984207153","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":"Q411757$B1C938A5-6600-4EE1-A056-AE857C912F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a93c8ac1318eadb2949cc41f7d9a8ecd62d1c1c","datavalue":{"value":{"entity-type":"item","numeric-id":1786467,"id":"Q1786467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bbfbe1638cd54dd822e01a936e48109296bad1","datavalue":{"value":{"amount":"+0.8192617893218994","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":"Q411757$DB82C925-3D1D-4FA3-8BBF-F4491808494E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Left adequate and left Ehresmann monoids. II.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Left_adequate_and_left_Ehresmann_monoids._II."}}}}}