{"entities":{"Q373880":{"pageid":375647,"ns":120,"title":"Item:Q373880","lastrevid":61396392,"modified":"2026-04-10T23:06:09Z","type":"item","id":"Q373880","labels":{"en":{"language":"en","value":"Injective hulls of monars over inverse semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220121"}},"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":"Q373880$5B20E2F8-D449-44DF-A358-2D67EB1482F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b16e4ee4bab64e19301c5c15df961fc878e0259","datavalue":{"value":{"text":"Injective hulls of monars over inverse semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q373880$4947EC9A-58F1-40E4-A93A-89C8C9883EAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4936d4447caed74c169e832ce79ba15e1d65fde1","datavalue":{"value":"1286.20073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$62983DA4-3BB5-4C34-8A76-72FABA058A26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dea7267854c5bcb2fa7a028843ebfb9fc60c804","datavalue":{"value":{"entity-type":"item","numeric-id":175797,"id":"Q175797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373880$E715BA1D-9DB9-436A-827F-F28271FA6A79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373880$EC1B65FC-5A2F-4814-B46A-946B169E76F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bcfbb5ee16d2a7ab6c44dcb73548f4d40646813","datavalue":{"value":{"time":"+2013-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q373880$B3FBC195-2707-4463-A775-2093C16CEFDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4690071a35261d831e2ea88dfd7c8b066d173f19","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S002186931200631X","type":"string"},"datatype":"url"},"type":"statement","id":"Q373880$61C2F2C0-756A-446B-AE98-05950F786403","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$9637C6C2-A722-48D6-ACED-B3CED88A794B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$8C36F7A6-9EAE-4E71-92F7-EB9FCFFC2F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$3A1F7E23-D01D-49B9-BB57-D26D279B5AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9577ccb6973103e8f41cb9e37851a235447d8805","datavalue":{"value":"08B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$E215B9BB-1ACB-4116-98FA-0563D500363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$F535AFD7-4E37-40DF-91A9-E9CB6D063D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$B18865F9-485D-4733-AB24-069C0946CCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$BE739E3B-11EC-4F59-BB9C-ECFE3EDC5110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8638de8fe3e18f18443c923345fccdec32d6f3cf","datavalue":{"value":"6220121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$8B7F3FED-0E8A-4FB7-A571-E29D10F31061","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67084131dceb98ce75018e53408d8ac7ed03926","datavalue":{"value":"semigroup actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q373880$6F82E892-30A4-423A-BF6F-1974B5B71719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q373880$F8F8EC43-3E84-4F8E-8FB5-60F9E1C71532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108986a6b0fcc4d3ebe53f5c1e7986421e6be04e","datavalue":{"value":"injective hulls","type":"string"},"datatype":"string"},"type":"statement","id":"Q373880$2250EED9-D7FE-4366-939B-D922594CB1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f7d3aa73fe4c57cb50d18cd5814faf9b0d6d79","datavalue":{"value":"injective monars","type":"string"},"datatype":"string"},"type":"statement","id":"Q373880$8F8DFB98-8296-4F27-8619-13F507FDCBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d852a47a0e53eb33d201bb9b1aa9786cdf5abc0","datavalue":{"value":"unary algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q373880$0A192C76-F960-4310-88D0-710E9768F977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a70d585e27ab0d9e787211329b251df4ba0d91aa","datavalue":{"value":"linearly ordered semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q373880$25F22B8E-3A0E-4B9F-A858-F591ED8D9AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700e3cc550e15b247c5ccc4e265688890d84e5c1","datavalue":{"value":"Dedekind completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q373880$F20697BC-9F30-41E1-8871-6281674008F5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373880$8856CBAF-04F9-4998-969F-5374C63C0A39","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":"Q373880$96CEAE1C-E94D-4B29-8BF6-2B7FDB3F0CF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0ebe00ebaa202b9db5fb511b04c39f002bbc9b0","datavalue":{"value":"W2045374356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$C861A9AB-9BD5-46C8-9220-B9A618546941","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"33d8b8aa77610365dee5b1626562bb24f3964b3e","datavalue":{"value":"Q122469155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$D98A2398-148B-482B-BA49-AC159D75DCEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e89d99a2d6068b42d9f14706ff0a5e43335f157a","datavalue":{"value":"10.1016/J.JALGEBRA.2012.12.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373880$22716E07-F62F-4C87-9E61-3C9B021B0B05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a242f44eb35983417f7fc38992dfd1a7dfce0aaf","datavalue":{"value":{"entity-type":"item","numeric-id":4837811,"id":"Q4837811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f470337105d00d691a620339da0c0865a964e829","datavalue":{"value":{"amount":"+0.80293405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$CBD5783C-DCA1-4D64-94D9-E7975F9A1790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e959606b79c0a01ae045e49d0ae7c97f2e7b22f0","datavalue":{"value":{"entity-type":"item","numeric-id":5465055,"id":"Q5465055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424df2cd4ee8c02d9816feef46cd4871db238cd2","datavalue":{"value":{"amount":"+0.7600382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$059A3F0D-1F3A-48F6-938D-D6EAFBE72B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb347fccc0350074ac6a1e806f68daa0eef26b4","datavalue":{"value":{"entity-type":"item","numeric-id":786012,"id":"Q786012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be1b2080477b13208331ac3415f0eb0853b4627","datavalue":{"value":{"amount":"+0.7522423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$CEA66C2A-802F-44D8-8567-D7DBD8D2AEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e92a1806339fa2d6ccca539c7e265c7c7bb594","datavalue":{"value":{"entity-type":"item","numeric-id":2887767,"id":"Q2887767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696114a3984e16893a5efef8450013f5933d2b3d","datavalue":{"value":{"amount":"+0.74041986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$95E270A1-3636-4DF3-BB67-231FE4BB2101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085274bce52e11c4a351fd336a7166f40edb10a8","datavalue":{"value":{"entity-type":"item","numeric-id":1365577,"id":"Q1365577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010a9be6d10e8f3b1a2ae3d7450e68200c01c040","datavalue":{"value":{"amount":"+0.73261875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$5D51AEB6-464A-4EFD-A95E-9A08F0A0354C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0dcf52ff3dfeed46ab51df5967fa4cc95591fd","datavalue":{"value":{"entity-type":"item","numeric-id":444685,"id":"Q444685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9480c35064b3321527990c77bf588a24e0d1d872","datavalue":{"value":{"amount":"+0.7295051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$F94E5CD9-2753-4E8E-8AAC-1B6BEAF59E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee87e57f464466047afacd2d013ffd5e7dd741fb","datavalue":{"value":{"entity-type":"item","numeric-id":1185779,"id":"Q1185779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61726cfde42af7c3eedac7162babddf958d0a240","datavalue":{"value":{"amount":"+0.7249384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$4F2C6ACE-096F-4A51-8498-61162C065C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f6d2002b55ac578a1262146e83f206f5914e95","datavalue":{"value":{"entity-type":"item","numeric-id":3775724,"id":"Q3775724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac452804fe36c82e26880d5873cf1af83385282c","datavalue":{"value":{"amount":"+0.7219665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$2C14441B-D7DF-487D-B57F-D29EF2E4A1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c84e1fcaadb1e0044704026636af96bf3857561","datavalue":{"value":{"entity-type":"item","numeric-id":1295727,"id":"Q1295727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72210c062eecea3462e88808d4f61e85d472b37","datavalue":{"value":{"amount":"+0.71981025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$77515CF5-B024-4134-A770-6E04C98FBCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8856a352132c37c5ba77918d0c065bd3c8f1068","datavalue":{"value":{"entity-type":"item","numeric-id":3762508,"id":"Q3762508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34890272e8a287965027090cc7fcf2eb5e54afd","datavalue":{"value":{"amount":"+0.7185666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373880$518320AE-6462-42C7-A491-26FDE8AB1D53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea8097fe87aafa307e3fdca5761c3a0c5ffb81ae","datavalue":{"value":"Let \\(S\\) be an inverse semigroup. Every representation \\(F\\colon S\\to\\mathcal T(A)\\) of \\(S\\) in the semigroup \\(\\mathcal T(A)\\) of all full transformations of a set \\(A\\) leads to the unary algebra \\(\\mathcal A=(A;(f_s)_{s\\in S})\\) with unary operations \\(f_s=F(s)\\) for all \\(s\\in S\\). The algebra \\(\\mathcal A\\) is called a monar over \\(S\\). The class of all monars over \\(S\\) is a variety of algebras. Thus it is possible to use the standard definition of injective algebras in a variety and to define the notions of injective monars and an injective hull of a monar.NEWLINENEWLINE The injective monars over an inverse semigroup were characterized by the author in his paper published in 1979. The author recalls the corresponding facts. The main theorem of the paper describes injective hulls of monars over \\(S\\). A special case is considered when \\(S\\) is a linearly ordered semilattice, which can be turned into a monar over \\(S\\). Particularly, it is shown that when \\(S\\) is isomorphic to a chain of rational numbers the suggested construction becomes the famous Dedekind completion of this chain, that is the chain of real numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q373880$2B96D3B3-4E00-4B1B-A512-0D27AC9DCDE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Injective hulls of monars over inverse semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Injective_hulls_of_monars_over_inverse_semigroups."}}}}}