{"entities":{"Q2416499":{"pageid":2427242,"ns":120,"title":"Item:Q2416499","lastrevid":74010162,"modified":"2026-04-14T18:02:55Z","type":"item","id":"Q2416499","labels":{"en":{"language":"en","value":"Partial actions and an embedding theorem for inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7058277"}},"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":"Q2416499$C22FB157-1D3E-48B4-8A42-5C61E9A40610","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90f45771523cd3b2b1252f84e277573be24c6c7c","datavalue":{"value":{"text":"Partial actions and an embedding theorem for inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2416499$011A72B0-2908-4E39-8B9C-958CDFE8FB4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f928b84201372524e9bc9a7606ac01e86098f5b","datavalue":{"value":"1438.20065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2416499$675F2A4A-33D2-4ACF-9E17-2687B13A96B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6aa0b5a8973144c19db361c6a38b8bea9f8f6a8","datavalue":{"value":{"entity-type":"item","numeric-id":344882,"id":"Q344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2416499$DAD950B3-B990-41D7-AAE0-BB3E585925E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"615950119797f35f49728e278e9727b73c5c7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":168620,"id":"Q168620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2416499$34E74818-5CE2-42F3-8B7E-A9CE08D1F803","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7175bc5b448813e6c45463c465346435e9aa8168","datavalue":{"value":{"time":"+2019-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2416499$5F40BAB4-EC49-4885-B5A4-8E03B14BB317","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80c5e8d5169dd8e2703f0907fafa5f27cc4c1b73","datavalue":{"value":"https://arxiv.org/abs/1702.00059","type":"string"},"datatype":"url"},"type":"statement","id":"Q2416499$29D14E8C-4247-4724-BD20-D8D621B4086D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ecef8a072a08b4deb7ea22a7595551c0afc932fb","datavalue":{"value":"The main result of this paper asserts the following: given an inverse semigroup $S$ and an idempotent pure congruence $\\rho$ on $S$, there exists a fully strict partial action $\\tau$ of $S/\\rho$ on $E(S)$ such that $S$ embeds into $E(S)\\rtimes_{\\tau}(S/\\rho)$. Moreover, the image of this embedding can be explicitly described. \\par This result, which is a weak form of the theorem of \\textit{L. O'Carroll} [Proc. Edinb. Math. Soc., II. Ser. 20, 339--354 (1977; Zbl 0367.20049)] on idempotent pure extensions of inverse semigroups, is proved using an explicit construction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2416499$4CCF1559-136B-4045-AD78-29D7DD8DDAFC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"95517859f95e75b9e13f23d622423389fb448bc3","datavalue":{"value":{"entity-type":"item","numeric-id":206795,"id":"Q206795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2416499$299C9105-BA38-4E6A-86AF-A7DCA9D74CFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2416499$E5F92541-3D5D-4FF0-8A97-12CB73EA3621","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2372f2f409d0a729be13180570841e342e4cf0e","datavalue":{"value":"7058277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2416499$0877B218-F0D4-42B4-9776-72AC3C983027","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90835cc9cdd4d3bbfa2bca40e2d865945ff3686b","datavalue":{"value":"partial action","type":"string"},"datatype":"string"},"type":"statement","id":"Q2416499$2F9C2F85-AE59-4B13-86D9-C1E4601AD00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c02797f0d1333f502c4a18304b6dca55179997","datavalue":{"value":"group action","type":"string"},"datatype":"string"},"type":"statement","id":"Q2416499$2DC4EEDC-5D86-407A-A882-D0AB45F4AD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671b7e2851abb81699e6f9474b39e96bfcf80287","datavalue":{"value":"inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2416499$41C849B6-E4A9-413A-AD74-05D4E03CEDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2416499$0B2AABEF-DC17-4021-AE42-2941B7EB7804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f2315b98b3b5069daa48fcf8e139df6eef1965","datavalue":{"value":"idempotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2416499$8D0E8128-E4CE-4E9D-AED7-DA010FEB33DD","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":"Q2416499$A13044C6-ADA6-42A0-AED6-0352709E5897","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c8187a778f0db76766a831ecd4b938d4151bd3c","datavalue":{"value":"W2783655998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2416499$F4A567EF-7477-42F8-89FA-1857DB777633","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a3cabe8257411c3ac5c61f0f0a33023b32979efc","datavalue":{"value":"Q129157962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2416499$B01C8609-5B6B-4DA7-805B-AB9DF1BBB330","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"921018822ddf8dc1e5e7c3c376521779f8debbcd","datavalue":{"value":"10.1007/S10998-018-0257-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2416499$F193330E-B1AB-4D2D-8B12-3B76DEB595ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5164210816e6bd5d2de38919e9467029a39d0aa7","datavalue":{"value":{"entity-type":"item","numeric-id":1188319,"id":"Q1188319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95704ecb674e9d4ac14b7886cf458b3925914fab","datavalue":{"value":{"amount":"+0.7993564605712891","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":"Q2416499$B9298BE4-AD51-4859-AA08-467D01A52F91","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":"ae4bdf98906bb6e9bfff529dd1ec69f4235c4bb4","datavalue":{"value":{"amount":"+0.7953442931175232","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":"Q2416499$29709235-3025-48D9-A273-C3B18739C77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f5c19f54c1139fa84c5ba9245a0f1399525394","datavalue":{"value":{"entity-type":"item","numeric-id":1576295,"id":"Q1576295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c13b147675a981f313d296d9e7e377a1e79c94","datavalue":{"value":{"amount":"+0.7898170948028564","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":"Q2416499$E7548F7A-5922-4D95-A89A-8CE198F309AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5097b5b5a59a02ea967a97423540bb60c98bef8a","datavalue":{"value":{"entity-type":"item","numeric-id":886237,"id":"Q886237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c13b147675a981f313d296d9e7e377a1e79c94","datavalue":{"value":{"amount":"+0.7898170948028564","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":"Q2416499$A881671A-A1CA-4C9B-A31D-D89C0EF264D1","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":"a046290589b9a59035deb141663c7ee4559454c0","datavalue":{"value":{"amount":"+0.779737651348114","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":"Q2416499$4B9613C6-9EC7-43C4-8488-3EBA4CFA0C11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial actions and an embedding theorem for inverse semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_actions_and_an_embedding_theorem_for_inverse_semigroups"}}}}}