{"entities":{"Q2367887":{"pageid":2378630,"ns":120,"title":"Item:Q2367887","lastrevid":46299192,"modified":"2025-12-24T12:44:54Z","type":"item","id":"Q2367887","labels":{"en":{"language":"en","value":"An equivalence theorem for inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 269993"}},"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":"Q2367887$5131346A-5C74-4C22-AA38-4ABC64A08807","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d97a56aee8472024d66dea89fa7e57aa8f9e2929","datavalue":{"value":{"text":"An equivalence theorem for inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367887$38A43059-250F-40BF-B0B7-E24E90E7099F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fff6f4ad08a023402b47343200affb6cdfaeda2a","datavalue":{"value":"0784.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367887$86632F5C-CBC3-45E8-92BB-ED289EE8DF42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"839379a2dd3589d907154f1d283e36855cf1832a","datavalue":{"value":"10.1007/BF02573736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367887$B0714234-61AB-48C5-9AA7-A50B909D5F9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf80c39af231c93232f1b929a10e333bca32fadc","datavalue":{"value":{"entity-type":"item","numeric-id":180891,"id":"Q180891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$4E272C4D-1921-4CD1-B873-C3DB0226BE6A","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":"Q2367887$32BCE2EE-9E6B-477C-83CA-48B55E685C14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367887$4896A663-B4C8-4E75-8BA6-D3D543D4711C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bf41a17ad3607ac96d9587e9bd034fe2ca38103","datavalue":{"value":"https://eudml.org/doc/135249","type":"string"},"datatype":"url"},"type":"statement","id":"Q2367887$FEF2DB10-BF51-4C2F-B3BD-5992D6E877EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ed0d2cc52dae7657eb8f9cccf5d82ff1b6e3565","datavalue":{"value":"The main result is a proof of the equivalence of the category \\(S_ E\\) of \\(E\\)-unitary covers over semilattices of a fixed inverse semigroup \\(S\\) and the category \\(S_ F\\) of embeddings of \\(S\\) into factorizable semigroups.   The category \\(S_ E\\) has as objects the surjective idempotent-separating homomorphisms \\(\\theta: P\\to S\\), where \\(P\\) is an \\(E\\)-unitary inverse semigroup over a semilattice, meaning that in its corresponding McAlister triple \\((G,X,Y)\\), \\(X\\) is a meet semilattice. If \\(\\theta: P\\to S\\), \\(\\theta': P'\\to S\\) are two objects, then a morphism from \\(\\theta\\) to \\(\\theta'\\) is a homomorphism \\(\\psi: P\\to P'\\), such that \\(\\theta = \\theta'\\psi\\). The category \\(S_ F\\) has as objects embeddings \\(i:S\\to F\\), where \\(F\\) is a factorizable inverse monoid, (meaning that, for each \\(s\\) in \\(F\\), there exists \\(g\\) in \\(U=U(F)\\), the group of units of \\(F\\), such that \\(s\\leq g\\)), and \\(F\\setminus U\\) (an inverse subsemigroup of \\(F\\)) is an enlargement of \\(i(S)\\), meaning that, (a) \\(i(S)\\) is an order ideal of \\(F\\setminus U\\), (b) if \\(x\\in F\\setminus U\\), and \\(x^{-1} \\in i(S)\\), then \\(x\\in i(S)\\) and, (c) for each \\(e\\in E(F\\setminus U)\\) there exists \\(f\\in E(i(S))\\) such that \\(e{\\mathcal D}f\\). If \\(i:S\\to F\\) and \\(j:S\\to L\\) are two objects, then a morphism \\(\\delta: i\\to j\\) is a prehomomorphism \\(\\delta: F\\to L\\) (meaning that \\(\\delta(xy) \\leq \\delta(x)\\delta(y)\\), and \\(\\delta(x^{-1}) = \\delta(x)^{-1}\\) for all \\(x,y \\in F\\)) such that: (i) \\(\\delta i = j\\), (ii) \\(\\delta\\) maps the identity of \\(F\\) to the identity of \\(L\\) and, (iii) \\(\\delta\\) maps \\(F\\setminus U(F)\\) into \\(L\\setminus U(L)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367887$624720FC-636F-4283-97B3-5F75A6E20E4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367887$BDB0D8E7-1F4E-4667-B3E8-BA0BBACF332B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367887$F9937F5B-2655-47BE-AB2E-B3D8E57D3898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367887$13C06EE6-F66E-4240-9168-896C9394FBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367887$980DEF89-9B74-4F5A-AA92-08546089F07A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12a712e0d3583f47c4d654270bea3d38c35e2a02","datavalue":{"value":"269993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367887$D4B6C713-D1C6-408E-A5DE-799894A652E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367887$02DB4771-28B0-4258-A2AC-2039066B061E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0680fe0711ce57b53259f49cca5be13a0ed541","datavalue":{"value":"\\(E\\)-unitary covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367887$28BC8A53-97B6-4459-94E8-6DA97DD65B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002f4689690f66ff5ab6361d3264545d4cc2cf88","datavalue":{"value":"semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367887$0E3DAD0C-8DBF-4925-86AB-3C36618DEB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7bd08d0645482afa238d75eafdc688efacb395","datavalue":{"value":"embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367887$939572C0-B522-4E44-A007-F081610CE357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a6a552e1b67228cf005f0772a9db0467cbbd00a","datavalue":{"value":"factorizable semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367887$63CCB62C-8EE2-4373-AF24-6962771400A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ef824d4e7bf0cd3255bf8599eba2dd9b70d473","datavalue":{"value":"surjective idempotent-separating homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367887$296A0E9C-DFFC-46DD-97FA-125B1D58B12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a7cc0d656d735cd3799a3a56a504f96d21d719","datavalue":{"value":"\\(E\\)-unitary inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367887$7CCA1364-A594-49E7-9937-FA1C9DC0C169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cf5fcea4eff9ade9375084a61a0df36de6f158","datavalue":{"value":"McAlister triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367887$E87A0CFB-CB30-410C-9940-379DD62AFB1F","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":"Q2367887$C1A19F32-C14C-4A05-8465-A9962FCCBFEC","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":"Q2367887$747A811A-8DAF-479A-9785-67E8138EA995","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f025e28518e8411356d08787909851797de8c41e","datavalue":{"value":{"entity-type":"item","numeric-id":1214515,"id":"Q1214515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$7764A5BE-8C1A-4631-9CBA-127011E097D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9dd807ca245b65d93f568386a8fa7d0d31bfe78","datavalue":{"value":{"entity-type":"item","numeric-id":1145224,"id":"Q1145224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$D3068F9B-3570-44BE-BB6C-125B111618E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b503b9dd0ac53f35d2ec06092279154fbf9d84","datavalue":{"value":{"entity-type":"item","numeric-id":1326763,"id":"Q1326763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$4BFC032F-2A6D-4788-B05E-D18372C93228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064f50d613f9eaec32d6bd93b5eac3e3b3437a71","datavalue":{"value":{"entity-type":"item","numeric-id":4291607,"id":"Q4291607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$AEB46E69-2665-450C-B679-70A3B279DFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef71cc1c212608054dddd8d5261e5335e6b2845f","datavalue":{"value":{"entity-type":"item","numeric-id":1237170,"id":"Q1237170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$9B0FFFB9-601E-4DE9-8E74-96D2CAFDA19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb62114309d16a6bdea7542d83d84d97cbfcc7a","datavalue":{"value":{"entity-type":"item","numeric-id":4149907,"id":"Q4149907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$5BB81D98-3987-46ED-8834-9AD30318CE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f6ec4fe8dfae994fff88583945fbd9b4461297","datavalue":{"value":{"entity-type":"item","numeric-id":1242998,"id":"Q1242998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$34E0BD80-46CB-421B-AB66-5CEBE2F126B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$9D1C5C78-5F4F-439B-BAFB-65756CE3184C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9822fe2328bf0193249275bb452ed9fd84598fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3909232,"id":"Q3909232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$EC6A4C81-B605-4ECD-AA1E-1A1B126DF673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367887$D62D0F2D-9F27-46CF-BBEC-8BFBBDEB07FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56eef07fa3f8951f9e9d1427f788200edd37d257","datavalue":{"value":{"entity-type":"item","numeric-id":1326763,"id":"Q1326763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2b937df502b2ade9a932bcf0ce23cc98041193","datavalue":{"value":{"amount":"+0.8680809736251831","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":"Q2367887$825CC0A8-5F67-4499-9A77-EF5D38F1FE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f260e9409a666a9f20e533e134cb8fa6151c91","datavalue":{"value":{"entity-type":"item","numeric-id":579419,"id":"Q579419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77713c6af75aa799eb4f0b52d9875fb2f8da90c7","datavalue":{"value":{"amount":"+0.8196781873703003","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":"Q2367887$D5A24586-9AA9-49AE-8F83-260A8B3B39E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614b00e1ff86a3706015aa08bc9ae8a455101ef4","datavalue":{"value":{"entity-type":"item","numeric-id":4289461,"id":"Q4289461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de99a9e0acde3a7002c460368339499ab8715f66","datavalue":{"value":{"amount":"+0.8120132684707642","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":"Q2367887$C9530487-67FD-42C8-9775-28C4E5CB2CE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2367887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2367887"}}}}}