{"entities":{"Q580509":{"pageid":582276,"ns":120,"title":"Item:Q580509","lastrevid":49093558,"modified":"2026-01-06T14:19:15Z","type":"item","id":"Q580509","labels":{"en":{"language":"en","value":"Completions and injective hulls of E-reflexive inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4017201"}},"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":"Q580509$99AB8614-AF87-46A1-9644-CE4CC6C922A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9720444294e4a6bed557aaca8b435c6e8cdbb23","datavalue":{"value":{"text":"Completions and injective hulls of E-reflexive inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580509$8FF813ED-5854-4C8F-A0E2-67F99F01D0C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb8f1945d78779ac90fbe9cbf3eb991bab3d6a4e","datavalue":{"value":"0626.20054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580509$FCE88A15-526B-4EF1-B6C2-BA9125B6AE48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f15947211b91da694760ee60a8012fae58ab58d4","datavalue":{"value":"10.1007/BF02575005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580509$23D4672B-3A87-46AE-B4BE-D28C5D0DE384","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7bdd9da0b69c97ee18d2e411ab0bffd78885dd6","datavalue":{"value":{"entity-type":"item","numeric-id":186409,"id":"Q186409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580509$9478C667-F875-4678-8B61-592BC6AA13E4","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":"Q580509$41BEC929-91BE-4DE2-9B60-4F6A7DDB13DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q580509$1D4DE37E-0E08-49FE-9181-30BC3C66C256","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8480451a54b838b37f21940c10d3be6b00626f88","datavalue":{"value":"https://eudml.org/doc/134885","type":"string"},"datatype":"url"},"type":"statement","id":"Q580509$1459B30B-9954-497E-850F-B86FE8A0EFF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4410c88026ff76e36a9fa660e13a8179db1f1bc","datavalue":{"value":"\\textit{B. M. Schein} proved [Czech. Math. J. 23(98), 575-610 (1973; Zbl 0273.20047)] that every inverse semigroup S has a completion C(S), which is a complete, infinitely distributive inverse semigroup w.r.t. the natural partial order on S. The author of this paper introduces a congruence \\(\\equiv\\) on C(S) for any E-reflexive inverse S and shows that then \\(C_ 0(S)=C(S)|_{\\equiv}\\) is E-reflexive, and an infinitely distributive supremum-preserving completion. It is shown, that \\(C_ 0(S)\\) is the injective hull of S in the category of left (right) S-acts, and moreover, \\(C_ 0(S)\\) with this property is uniquely determined upto a semigroup isomorphism which fixes S element-wise.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580509$8C77134C-2C02-40E8-B281-142FDE1CD22C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580509$9E01AD60-98E7-42EB-969C-3DDB3083FD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580509$49407045-178E-4FE5-9280-50B9E78680FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580509$0D25CEBF-F7CF-4B95-A243-3CC3AC2095B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93d562a3c4f881e3b638ab5dc9a3464dee17955e","datavalue":{"value":"4017201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580509$456684CF-3ABC-4C21-83AF-6182E1693BEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q580509$D3643EBE-AD61-41DF-BF16-1628E645D702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71175f280a38fdbad0dc3b0f222b0341e910b33d","datavalue":{"value":"complete, infinitely distributive inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q580509$526C35A1-B2DF-418C-A92C-45E0AA56EBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0d67b5289b3b83aef37f0de35cbfab200442bc","datavalue":{"value":"injective hull","type":"string"},"datatype":"string"},"type":"statement","id":"Q580509$C1D74C9D-566E-42A6-B3A1-103F63225C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7daa741de5a6fad9f6c65aa5d9b00171565860ac","datavalue":{"value":"S-acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q580509$FAFD713D-1397-46E7-AA58-2C6745C71EEA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c227acc315a22306e57301f5d3053041aed79565","datavalue":{"value":"Q114233782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580509$A4327F77-A6C8-427D-8EF7-9BB61CB8EE89","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e4af3c816f7ac40605750dbfec22d9e5ba7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":207731,"id":"Q207731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580509$00EBFCAD-D79F-4982-A7C6-D1648A5C20EE","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":"Q580509$F9EFB08A-18DD-4B02-A7CA-1DAA2980230A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40e3d988a4e34477876d7c709966b095e31151e","datavalue":{"value":{"entity-type":"item","numeric-id":5528689,"id":"Q5528689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580509$FDB4A0E4-B57D-4F05-B551-8DF2D936A045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b15428991de680fb4cce999f9b0041c409f25d","datavalue":{"value":{"entity-type":"item","numeric-id":5904235,"id":"Q5904235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580509$2A13FCAE-3E39-4DE7-B9F3-E2D064BCFC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580509$F7551D18-B980-494A-8868-438989A81069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ca89d9093a9d08af59389e89df877a5f9985d5","datavalue":{"value":{"entity-type":"item","numeric-id":5181881,"id":"Q5181881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580509$71E40394-1D29-4BE8-B627-7C9C9FE13C9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1935b3f0df29fb1f1cbd09c8c6d71e0f357c25","datavalue":{"value":{"entity-type":"item","numeric-id":373880,"id":"Q373880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d4a664729755e9aeaced61c5520e54f7a437c2","datavalue":{"value":{"amount":"+0.7741267085075378","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":"Q580509$E071989B-767D-4533-A423-436B0AC00465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd00646cf6a3aaae8d2773f1e7f58dac6dc5eb1e","datavalue":{"value":{"entity-type":"item","numeric-id":2460068,"id":"Q2460068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70ca6ca6a62e6dff92bab16c9ac77a9aeded86e","datavalue":{"value":{"amount":"+0.7639394402503967","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":"Q580509$88FFB1C4-D3B8-4D6A-B005-003F735F35B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74eba9e37e05e455edf22b97735cc1695994c831","datavalue":{"value":{"entity-type":"item","numeric-id":3123894,"id":"Q3123894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d86c3da3c5cfdcd18917de11499079e81e5fbe","datavalue":{"value":{"amount":"+0.7552960515022278","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":"Q580509$1AB2429B-5973-464E-A197-C8C178DC1F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60104c9bdf7ac1db7327eb7c20b8cdd2186b379d","datavalue":{"value":{"entity-type":"item","numeric-id":2373409,"id":"Q2373409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2231f631d1ab6830b2481ced2d71b14f01a5ae50","datavalue":{"value":{"amount":"+0.7534528970718384","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":"Q580509$6D71C274-008B-495E-808E-9B98C431170D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"122b142147d05c730d72c7ed9955da93d9e67f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2239394,"id":"Q2239394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6ec19e939cdec6c6eeb87fdc3a7c2043019d9c","datavalue":{"value":{"amount":"+0.7462151050567627","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":"Q580509$B6241495-3F2D-4F09-B38B-A1B2592888AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:580509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:580509"}}}}}