{"entities":{"Q1185769":{"pageid":1196518,"ns":120,"title":"Item:Q1185769","lastrevid":70221897,"modified":"2026-04-13T13:16:39Z","type":"item","id":"Q1185769","labels":{"en":{"language":"en","value":"The local semilattices of chains of idempotents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35813"}},"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":"Q1185769$5BE211D2-0A66-4265-8B84-3C26F718619F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"988a1b4b411ec3f75aa67d8e4c1bb950762f3dae","datavalue":{"value":{"text":"The local semilattices of chains of idempotents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185769$F1819328-9576-403C-825A-7F28BA34FC57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7780d4cf981936972096c41f05fa97260a49c00","datavalue":{"value":"0752.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185769$09E29649-E181-4C25-B4BC-8CBA0FCB780E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5cbfc64f0847722e850d260ce758b40823e6d11","datavalue":{"value":"10.1007/BF02574337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185769$BF2CBB96-047A-489D-85B1-2B17B653FD52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ba683690e5b6093ed1d1d430c5c8e6cdad789b6","datavalue":{"value":{"entity-type":"item","numeric-id":244468,"id":"Q244468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$AF566D7F-4A66-4F20-9D4B-B5808830B2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec63e65f65efe45265b3817ebaa2a69696963ac7","datavalue":{"value":{"entity-type":"item","numeric-id":161570,"id":"Q161570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$3A5258EA-506D-488E-BE83-12AA856C414C","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":"Q1185769$BEF92CD8-9F82-40C9-AFB6-46C4A89AFC87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185769$1C875C9C-46BF-4B4D-AF7B-44DD40415228","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d6a1394dd703a4a7e02f3f847df0755994a75dd","datavalue":{"value":"https://eudml.org/doc/135141","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185769$431E276B-0648-4C34-9125-B55C584FC125","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec037fc0cc2c09168a0cb9bfea53247b7224d742","datavalue":{"value":"A set \\(E\\) is called dually-ordered if \\(E\\) admits two reflexive and transitive relations \\(\\to\\) and \\(\\dualrightarrow\\) such that, for all \\(e,f\\in E\\), if \\(e\\to f\\) and \\(f\\dualrightarrow e\\) then \\(e=f\\). The pair \\((\\to,\\dualrightarrow)\\) is then called a dual-ordering of \\(E\\). This concept arises naturally in (and comes from) the theory of semigroups as the set \\(E_ S\\) of idempotents of a semigroup \\(S\\) by defining for \\(e,f\\in E_ S: e\\to f\\) if \\(fe=e\\), and \\(e\\dualrightarrow f\\) if \\(ef=e\\). The first author [Proc. Workshop on monoids, Berkeley (1989)] gave necessary and sufficient conditions for a dually-ordered set \\(E\\) to come from a semigroup, in which case a partial multiplication may be defined on \\(E\\) making it into a biordered set [see \\textit{K. Nambooripad}, Structure of regular semigroups. I, Mem. Am. Math. Soc. 224 (1979; Zbl 0457.20051)]. A biordered set \\(E\\) is a local semilattice iff all the sandwich sets of \\(E\\) are singletons iff \\(E=E_ S\\) for some locally inverse semigroup \\(S\\). In this paper the set \\(C(E)\\) of all subsets \\(A\\) of a biordered set \\(E\\) such that for all \\(e,f\\in A\\) either \\(e\\rightarrowtail f\\) or \\(f\\rightarrowtail e\\) (i.e. chains of idempotents) is shown to be a local semilattice. Furthermore, it is proved that \\(C(E)\\) contains a biordered subset of which \\(E\\) is a dually-ordered homomorphic image. Finally, a sufficient condition is given for the partial multiplication on a biordered set \\(E\\) to be uniquely determined by the dual-ordering of \\(E\\). For example, this condition is satisfied on locally reduced biordered sets (like local semilattices).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185769$2FA58C7F-5E1D-460E-A3BF-5DFE2F96C80A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185769$3D025C69-6119-41CC-B192-6968A4830657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185769$FEAE3BE4-D954-4F21-9D0A-87D967744C9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e1f459b0cc7ca3edd43f781ec0cc274be2c49a2","datavalue":{"value":"35813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185769$636AB71B-792D-4C0C-BF71-AF5499E331DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b21308e1da64e2c01816d11d509446ca4324b17","datavalue":{"value":"idempotents of a semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185769$729482CB-35A0-4FAF-8A55-3DB90BB9C440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"735e4e8b12b8e50e2633dfb767af785949d427f8","datavalue":{"value":"dually-ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185769$6A583A98-EF11-44CC-A0E8-EFC496AB1C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf17fabc4f2f87bc9aef42a3c276ab30e5fc92ae","datavalue":{"value":"biordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185769$D25E9AE6-3BBD-4883-8ED3-7808A2AB809E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500d8f7184b36656080f4a9ad31c59db7719f764","datavalue":{"value":"local semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185769$66070E58-9A0B-410B-A85C-8CFEA907F972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b734d57ad1116a4f44132f0bdff2ba78fa7eaac","datavalue":{"value":"sandwich sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185769$64028595-7A93-431C-A0E6-4E31D9916FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6189d1bf6623346141d8896e3981e3c591e1a039","datavalue":{"value":"locally inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185769$86230CA3-3A1B-4F6B-981A-3C8DEC146BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"434147275a3f8644484fdb2362e8e00ab6491dc5","datavalue":{"value":"chains of idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185769$FB6857A3-1AD3-4B5E-8570-101A0799B1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ae3e7dc45b0ca67a73ef9b7f4f5c964c8fa910d","datavalue":{"value":"partial multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185769$8CB9B1B3-3B6B-48F9-81A5-252106B88AB1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$024A589A-687C-4FC1-BD19-8C4C03F50E14","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":"Q1185769$C5B3B624-FF19-4B1B-B73B-491B9A65A08D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d1e1611ec105b506c0a721c08d354aac329ec5","datavalue":{"value":{"entity-type":"item","numeric-id":1081704,"id":"Q1081704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$FDDC19B3-C9E2-44A1-BD6E-067C7262E81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea416a391e5ec44c16d441789d4c1ae18a316d8","datavalue":{"value":{"entity-type":"item","numeric-id":4271216,"id":"Q4271216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$538AFBF6-1FA6-458B-94C9-A8EA0C1527F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aff7c8dee97d4a076d9825a1b9368c8d4e617f7","datavalue":{"value":{"entity-type":"item","numeric-id":1837774,"id":"Q1837774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$28C15720-7B0F-4399-9254-22BDF4370F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2d6efc266c739bde1e8784a22fbc556a45530b","datavalue":{"value":{"entity-type":"item","numeric-id":1163652,"id":"Q1163652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$A93C1CEA-71F9-4AE1-82AF-F7A9F6C06525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e39fa8b177e774e5a994147e431c64bef813c9","datavalue":{"value":{"entity-type":"item","numeric-id":1214519,"id":"Q1214519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$F9194E53-7858-404D-92D3-B76C7FB3F2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b6d792a5c26135370eb0c591aa266992c9b2bb","datavalue":{"value":{"entity-type":"item","numeric-id":3905477,"id":"Q3905477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$6DE63195-872D-47F7-8911-E9FE5213612E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5383d85aa558e1cc65983210b7f0ccd8884cc973","datavalue":{"value":{"entity-type":"item","numeric-id":3734724,"id":"Q3734724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$3F79E831-812F-4591-922C-18003BFE9568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e880ddf7a61d439cdc181b55cc79f1bd2f010d6b","datavalue":{"value":{"entity-type":"item","numeric-id":1824704,"id":"Q1824704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$E3C9E351-3B4B-491C-A34C-360390679230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"949969da976c0ac6dcc325463520e3266a8c09f9","datavalue":{"value":{"entity-type":"item","numeric-id":1123982,"id":"Q1123982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185769$CB8684CF-C9D1-49B6-AB0B-AD1FBE7A5B33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bf2010181b286de24fb192b52d5bf7f1da7b30","datavalue":{"value":{"entity-type":"item","numeric-id":3579919,"id":"Q3579919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073b7a3c86150ca97aeb85f2bbea6c079175af06","datavalue":{"value":{"amount":"+0.7847474217414856","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":"Q1185769$546B65CF-3A0F-4102-8420-3B53F126F643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff97b62185e63fb66f36d6d4edb2c58d2ee6b5b","datavalue":{"value":{"entity-type":"item","numeric-id":3701650,"id":"Q3701650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928202bc94baf36bba25058cbef106d8ca2fca29","datavalue":{"value":{"amount":"+0.7756325602531433","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":"Q1185769$7A2236D9-912B-4004-AF8E-8C6224984BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34b0d89f19b0da6f6c3b144387bef57d261647e","datavalue":{"value":{"entity-type":"item","numeric-id":789525,"id":"Q789525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11beb8c18345a088a5fa82fc46d2f686383afb29","datavalue":{"value":{"amount":"+0.7750647068023682","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":"Q1185769$13E5353E-F8D6-439B-966D-8AC66BB5A8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f747046fec854cb8cac0055ec7fc50737aafec5","datavalue":{"value":{"entity-type":"item","numeric-id":1081704,"id":"Q1081704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45431ac4f831f590c455970d6949938a3fb090ad","datavalue":{"value":{"amount":"+0.7560839653015137","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":"Q1185769$39CE8253-19BD-4D34-81DA-616660E03893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d27fecda4c1ec82a8749c474aa595e99906893","datavalue":{"value":{"entity-type":"item","numeric-id":799820,"id":"Q799820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc41e8719182ed58044374058557376fcc6b69d","datavalue":{"value":{"amount":"+0.7550201416015625","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":"Q1185769$1831A00F-374D-4A60-9A62-D9942C629785","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The local semilattices of chains of idempotents","badges":[]}}}}}