{"entities":{"Q5939963":{"pageid":8116765,"ns":120,"title":"Item:Q5939963","lastrevid":41718014,"modified":"2025-05-07T12:48:01Z","type":"item","id":"Q5939963","labels":{"en":{"language":"en","value":"Fundamental Ehresmann semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623572"}},"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":"Q5939963$5B2F000D-362F-4923-A169-1A285B7AA919","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1090df2311c7f1eb3e821db3b83a35b7307b800","datavalue":{"value":{"text":"Fundamental Ehresmann semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5939963$8E268E6B-C717-4CD6-AAA2-2C08B03BA23F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a472f52d6ae87a7ec30c723c64791484f8adc650","datavalue":{"value":"0998.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939963$90B5A78C-CD2A-4000-A0EB-7C20D64CB60A","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":"Q5939963$B454C338-8484-44A9-8D5A-C95343E60A94","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":"Q5939963$076BF72B-2741-4E96-99D9-834218993855","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":"Q5939963$57349601-99C5-4DB9-9072-CC4B48ABD486","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c29b947d701d478aa12d107bbc6ea14baaef48c","datavalue":{"value":{"time":"+2002-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5939963$BBFB610A-C4BA-41F9-8EC5-5F5BDA41995E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"45e1f2c49b6fc684af19fa863ba0aaa4fe295d0b","datavalue":{"value":"Let \\(S\\) be a semigroup containing a semilattice of idempotents \\(E\\) as a subsemigroup. The pair \\((S,E)\\) is called Ehresmann if there are equivalences \\(\\widetilde{\\mathcal L}_E\\) and \\(\\widetilde{\\mathcal R}_E\\) on \\(S\\) such that the former is a right congruence on \\(S\\), the latter a left congruence or \\(S\\), and every \\(\\widetilde{\\mathcal L}_E\\)-class and \\(\\widetilde{\\mathcal R}_E\\)-class contains at least one member of \\(E\\). We then define \\(\\widetilde{\\mathcal H}_E=\\widetilde{\\mathcal L}_E\\cap\\widetilde{\\mathcal R}_E\\) and call \\((S,E)\\) fundamental if \\(\\mu_E\\), the largest congruence contained in \\(\\widetilde{\\mathcal H}_E\\), is trivial.   The paper develops the theory of fundamental semigroups in this context by constructing an analogue of \\(T_E\\), the Munn semigroup for inverse semigroups, in the larger context of Ehresmann semigroups. The theory is then specialised to other generalisations of inverse semigroups; in particular to so-called weakly hedged semigroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$89E75F24-1B97-4FF6-8EE6-4DD325EBDCDD","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":"Q5939963$78E273A5-F0EE-470E-A6C7-A2E4093827FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939963$89000FEB-42B0-4E54-9110-02D0F5DA6AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939963$1ABAE5F5-30A6-4638-95AF-003A1993CAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939963$5A6AA7E6-21E7-43E4-A4FD-DA5A03DC62A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"358470fae8f7ec8fc8a7b1db362f095fee70bc8d","datavalue":{"value":"1623572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939963$390762E3-8C7D-41D5-B92C-25E6C2BD9204","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c9ee186443abe7e6058ca9aeb760f7bb56a987a","datavalue":{"value":"semilattices of idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$1DA0FF16-31A9-41D5-8524-58299A5DD69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7caa6ef9b8cc7468d920ed6bdc69283bf15f101","datavalue":{"value":"equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$4215FDDD-1B8E-4F6C-8A8B-F2A20DCAE824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0de8a6f248f79b2aa8a71b8e61329ffc433f1ae","datavalue":{"value":"right congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$432E7B69-0C50-49A8-99EE-3ACB61F7A44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1850396d01ef569aa225bcde6501ad51bd4304ad","datavalue":{"value":"left congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$531373C7-6179-498B-94DD-3A6385FE5171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e73391c9e42e0d4b3fd34795edea37990ed1f3","datavalue":{"value":"fundamental semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$40825DB0-7D0C-4BAC-9A6B-1BCEB3F76EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bebeef5bd999e694aea306d42bef0ef3dc36686","datavalue":{"value":"Munn semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$8DFE0959-4B07-4DED-8E99-6FD420119D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d852cd872916699b2b6f10bc6a545388ac09d90","datavalue":{"value":"Ehresmann semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$DCD9E311-AA6A-439D-A234-CA802955BE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04914fffc87e7b23f034489f4b1cdace74bba484","datavalue":{"value":"generalisations of inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$395A0CAA-16DB-440F-B864-F0349C817927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2863168e3777ca737bd75149c2260db9fdb00c","datavalue":{"value":"weakly hedged semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939963$47DCA3E1-D461-4E09-9AEE-20CADD2446A6","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":"Q5939963$EE9B4B2A-8D5F-4AEF-8A1A-821AA86C2AC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a14466bcc0d42b30c7eb41f066778130fea22e5","datavalue":{"value":"https://doi.org/10.1007/s002330010054","type":"string"},"datatype":"url"},"type":"statement","id":"Q5939963$36488E2F-D36D-4C98-B106-CB1E5C387BAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f198cacfe5b6772da9bd1c9c1085030f973b7652","datavalue":{"value":"W2098373556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939963$7EDE200F-1D63-4158-968E-D1BF06005296","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0828cf46db4ea6ca33985e50763166780106c16","datavalue":{"value":"10.1007/S002330010054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939963$242DC08A-DDF2-4822-8B16-F580C3880687","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b102cc4c5e1caa19ef5a07ed04d6d63e2d7ee1f1","datavalue":{"value":{"entity-type":"item","numeric-id":3691944,"id":"Q3691944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2ac1d872c7170cb8a0f11a0f4b5112fa08824f","datavalue":{"value":{"amount":"+0.9484579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$6B40D394-7F3F-4E0B-9FFE-0E74BA285990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6578dfd1e65d8e1b828a76e1dba1aa1a2de2d74","datavalue":{"value":{"entity-type":"item","numeric-id":2665927,"id":"Q2665927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e506169f31eb77a206730d9ca7d947569af298","datavalue":{"value":{"amount":"+0.9343848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$94B3CB8F-D459-4781-8C41-157F31D4C22B","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":"99a9237ed28618ff55041f48617fd99e9a9b591e","datavalue":{"value":{"amount":"+0.9272045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$37912179-E29D-428B-B3E5-77582B48119D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a7933873e090d7ead926ffa76c6b8186a4baf34","datavalue":{"value":{"entity-type":"item","numeric-id":2406591,"id":"Q2406591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914bff20905694ecde15d93776e862dc29c6607f","datavalue":{"value":{"amount":"+0.9173252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$87526522-748B-4871-9F20-B78FC9159264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58aae61750d8c69f126248d7f8e8d58dbf9b56c","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536cd3a9dad95a73aa9eedb36c4a8d20678af8ea","datavalue":{"value":{"amount":"+0.9171737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$D4011AFB-6B24-43BB-91C7-062AF97BD2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52db41e74788c823acdc5e52bfffbea8e0e76f93","datavalue":{"value":{"entity-type":"item","numeric-id":519910,"id":"Q519910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f214dd186749cdc5dde7241017eb42c765db68","datavalue":{"value":{"amount":"+0.91509354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$2E9779D4-497C-4321-86DC-8C46C36BA306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41651dbb1c711e064988b4be4b9ebe51cf48cfb3","datavalue":{"value":{"entity-type":"item","numeric-id":3162354,"id":"Q3162354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84fc7e39bc5640ac422cfa0b72060c66705c4a0","datavalue":{"value":{"amount":"+0.8969947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$0E38A5A9-5F49-47E5-9733-6F8F520A5C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562633c4f0b75002fe1345eedde8c7a1d41c0202","datavalue":{"value":{"entity-type":"item","numeric-id":3356856,"id":"Q3356856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2deac02c0ecd64a9dcb6d64d2c62087158721c27","datavalue":{"value":{"amount":"+0.8969772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$CF6F31DF-2898-4B2C-9E43-43FBFBE6BFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23d09bcd1ee3d3eb70939470252953299934717","datavalue":{"value":{"entity-type":"item","numeric-id":4691320,"id":"Q4691320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21b47493bef2631e40bdc213ea370b68d20fbce","datavalue":{"value":{"amount":"+0.89358836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$4D71130A-911B-4601-A190-801FAE0C050B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5484d9af87cc0ee5331ebc4d445c07d857e052","datavalue":{"value":{"entity-type":"item","numeric-id":5886774,"id":"Q5886774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b770306f2bffd3d5aa602f998f9c7720988c7d6","datavalue":{"value":{"amount":"+0.8869467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939963$49377D2F-97EF-4ACB-A11B-21A7AFEFB933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5939963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5939963"}}}}}