{"entities":{"Q497718":{"pageid":499485,"ns":120,"title":"Item:Q497718","lastrevid":52351598,"modified":"2026-01-22T10:37:47Z","type":"item","id":"Q497718","labels":{"en":{"language":"en","value":"Ehresmann monoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6485319"}},"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":"Q497718$3BE611E2-2847-4C02-B382-92E3BADDE561","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b4dd1fcc195d9d354fed9ef2093f89261e011fc","datavalue":{"value":{"text":"Ehresmann monoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q497718$CA223192-D135-4EFB-B6C1-2D74A478BDBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23e5fb2af87c1ed09bf62a19a5743305bf3ab718","datavalue":{"value":"1336.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497718$45231607-3138-42A5-8BED-860C3D5ACFFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df5decf3fdaea153fa715ed1862405d0c1c7f94","datavalue":{"value":{"entity-type":"item","numeric-id":195277,"id":"Q195277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497718$98D1EECA-3C12-46E4-9C31-4E1439C9924F","rank":"normal"},{"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":"Q497718$32A4FBDE-3539-4102-BC28-BF7CACF1A542","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":"Q497718$5536B35A-760D-45C2-B0B3-E31A2FB2D5E3","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":"Q497718$0BF34E26-D592-4375-BAC6-26F40FF3BD01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4e0609c5a0f4d09c0becfc252b99dbb9e89f211","datavalue":{"value":{"time":"+2015-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q497718$E5E552BC-A46B-45F1-8266-2D19EA0D4879","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f41561c4cc8b9588a5ec90b488de978123da7c3","datavalue":{"value":"A left Ehresmann semigroup \\(S\\) is a semigroup equipped with an additional unary operation \\(^+\\) satisfying the following identities: \\(x^+x=x\\), \\((x^+y^+)^+=x^+y^+=y^+x^+\\), \\((xy)^+=(xy^+)^+\\). The set \\(E_S=\\{s^+\\mid s\\in S\\}\\) is called \\textit{the semilattice of projections} of \\(S\\) (under a natural partial order) or \\textit{the distinguished semilattice} of \\(S\\). Right Ehresmann semigroups are defined dually, with the unary operation \\(^*\\). Ehresmann monoids are monoids defined by the identities for left and right Ehresmann semigroups, together with the identities \\((x^*)^+=x^*\\), \\((x^+)^*=x^+\\). For a monoid \\(T\\) and a semilattice with identity \\(Y\\), let \\(T*Y\\) be their semigroup free product.   The authors show that under certain conditions, \\(\\mathcal P(T,Y)=(T*Y)/\\sim\\) is Ehresmann (resp. left or right Ehresmann), where \\(\\sim\\) is a suitably chosen congruence. An Ehresmann monoid \\(N\\) with distinguished semilattice \\(F\\) is called \\textit{a cover} of an Ehresmann monoid \\(M\\) with distinguished semilattice \\(E\\) if there exists a \\((2,1,1,0)\\)-morphism from \\(N\\) onto \\(M\\) injective on \\(F\\). It is proved that each Ehresmann monoid admits a cover of the form \\(\\mathcal P(X^*,E)\\), where \\(X\\) is a generating set of \\(M\\), \\(X^*\\) the free monoid on \\(X\\) and \\(E\\) the distinguished semilattice of \\(M\\). For a set \\(X\\), the free Ehresmann monoid on \\(X\\) is proven to be of the form \\(\\mathcal P(X^*,Y)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q497718$AE241184-2F17-4249-B564-E5E82F6DDAFB","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":"Q497718$4BA35613-C0B7-4DD9-98CB-1DBB89C53699","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497718$42BBA679-4C6D-4FF1-8445-DBEF95FBD6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497718$F7E857E9-46BD-4915-BE0E-811243F8DB20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ddabc4a316a9e5a1046e3cd416b70329d136892","datavalue":{"value":"6485319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497718$8B2C0156-11E5-4466-B7FE-1DEEA40AAED3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf69568aa32848c3fea320f4402f11610ae8186e","datavalue":{"value":"free Ehresmann monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q497718$0A836CBB-6617-46BF-A929-E17910C60C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d0365fcb9768688aee9b31b6fda6e9a606e760","datavalue":{"value":"proper monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q497718$8988AE45-55C4-4ED0-A985-1933FBF43C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f557f6a9bedec5eda9f696b9f18d67b3682f57b0","datavalue":{"value":"covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q497718$0CFAA005-3FC1-401F-9C78-A2C5BC929792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6491d6d49e673c939827a094a73c1d21db3397bb","datavalue":{"value":"left Ehresmann semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q497718$6A07D4C0-FDDC-46B4-9535-66ABC67C96EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"847c4427827c6c753c1f66c30970053d3578423d","datavalue":{"value":"right Ehresmann semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q497718$A0813848-2E2F-4E20-A421-0978943B1B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e18c623eba5d62005ca69b5291a3d005a51283c","datavalue":{"value":"free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q497718$1B9A6125-84BE-48BC-994E-FEE0352EA9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q497718$85F1F32E-7C8E-48C7-A2CF-7071DA426F32","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":"Q497718$680248DA-3B4E-4339-A6B4-A465218D37F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"335aec1031bf9ac63c076b389e3784834bbcc67b","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2015.06.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q497718$853F787D-457C-4463-BCF0-FE3E2452058B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f36d8abf0f82118bb5ae879fb142f8241e4d16d8","datavalue":{"value":"W4205567970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497718$25CFD098-2C09-4F03-88E4-759598C1B29E","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":"Q497718$3AC32E64-D8EF-49DC-B20F-16A81E4CA7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4420c22715fb0ecd5564477b4c619ca1a82e92","datavalue":{"value":{"entity-type":"item","numeric-id":425303,"id":"Q425303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497718$35282CDE-6BAA-4F5B-9DF7-AB8030DB0B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e2a13d9e6f5949b804955d39d781edac64c287","datavalue":{"value":{"entity-type":"item","numeric-id":5404925,"id":"Q5404925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497718$828E7127-3900-47FC-849E-B8E3FADC11F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c2f5866e57711df93349e266431f305eaa70d6","datavalue":{"value":{"entity-type":"item","numeric-id":4156936,"id":"Q4156936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497718$CCE7AE9B-002A-4B54-9CC0-FC1D589A8696","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":"Q497718$1B3EC38B-A046-4001-BBC2-75E2644CC10B","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":"Q497718$20A617FF-5D98-41A4-85CD-C8FF3B45C00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa4d69d0adcc118eab6a16aeaebe29b05ab0aea","datavalue":{"value":{"entity-type":"item","numeric-id":411757,"id":"Q411757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497718$E2299580-02A8-424A-9CDF-F21E2A3D0C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc237a19351491e791c2b976a6dd4fc60ed691ce","datavalue":{"value":{"entity-type":"item","numeric-id":891457,"id":"Q891457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497718$1901EA67-4F4C-4D91-AC0C-E840C34256A8","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":"Q497718$DD282EC1-C331-42CE-9C5D-79A4DF0766E0","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":"Q497718$7CC7E6F0-DECD-461A-B608-5F7441B35BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c807ee7a15bacb9d30aa76f12dd87387f0b7ce3d","datavalue":{"value":{"entity-type":"item","numeric-id":2341316,"id":"Q2341316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497718$3C6CEAC8-2989-4884-8E68-4D2D5A7D835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d96364645d944ac35cef98626c98d92ace35730","datavalue":{"value":{"entity-type":"item","numeric-id":3743507,"id":"Q3743507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497718$B0C4956A-CE58-4586-BAB2-CCCE19BABEE7","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":"Q497718$44D6781B-E256-4660-9B59-38F824245271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497718$737F3B1C-328E-4FC4-BDF1-DD4C9D9507E2","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":"Q497718$E3F497DB-FB88-4F8A-A909-BF4225E22D34","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":"Q497718$9B1833D7-799B-482E-A7D5-E8A1896090D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c79df2fec8dc11749a5ceb2a07c4e866fb20f56","datavalue":{"value":"10.1016/J.JALGEBRA.2015.06.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497718$28A86E65-6CA5-4409-9182-58FF086C8ABE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741ca52d7f312575492e8c9388f9371606cb7d2d","datavalue":{"value":{"entity-type":"item","numeric-id":411757,"id":"Q411757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3bd532916a781bbcbba8b005728b3889cd8a58","datavalue":{"value":{"amount":"+0.824657678604126","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":"Q497718$4B678CFC-31F5-4C73-BE32-513BFEA48D69","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":"d7a05e6771deac8f82da7e0bc532497ed88f8c44","datavalue":{"value":{"amount":"+0.8103875517845154","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":"Q497718$AB30B210-66B1-4516-ACA6-E2426F82F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076457bb4beb7c23285921b0c9a151d9a53f668b","datavalue":{"value":{"entity-type":"item","numeric-id":6096875,"id":"Q6096875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a900bfe7d640ce1621bfe7a4fcd34322e85523","datavalue":{"value":{"amount":"+0.8034306764602661","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":"Q497718$63AC29BF-A8E3-4FDC-893D-706A6C9B9032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585271d83678781b4255d746d065d7af8729c5de","datavalue":{"value":{"entity-type":"item","numeric-id":4909870,"id":"Q4909870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9006745a4ef62e272ddb1d4e338c9d6a8ff50a9","datavalue":{"value":{"amount":"+0.7984018325805664","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":"Q497718$B9C9AF3B-637B-48CA-8A35-1130C52B3DF8","rank":"normal"},{"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":"365cc3be43a410bf3a9a745c85387013cfdf9086","datavalue":{"value":{"amount":"+0.7967019081115723","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":"Q497718$46665BDD-571D-4FBA-9CCE-CD2DB86B5074","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:497718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:497718"}}}}}