{"entities":{"Q1096714":{"pageid":1107466,"ns":120,"title":"Item:Q1096714","lastrevid":69633699,"modified":"2026-04-13T08:20:49Z","type":"item","id":"Q1096714","labels":{"en":{"language":"en","value":"Constructing inverse monoids from small categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4031932"}},"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":"Q1096714$4F9DA883-BB69-428D-AA2C-43A7653F2FE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65c53772b8d38cd55dab8ff670ed0a03744316f7","datavalue":{"value":{"text":"Constructing inverse monoids from small categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1096714$C58BF783-FD37-466C-9529-406FEA2F4867","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8716b12a46f5dd6d468a46f03d920bc0f88e662d","datavalue":{"value":"0634.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096714$89E4AD91-9DB9-45AD-BE9F-5281699665DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f23663b2656eb25636be2ea75c15f6d436ca4c5","datavalue":{"value":"10.1007/BF02575008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096714$BB8F99B9-32D4-475D-BDBC-5B6F3850A4B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef2be71a5c4c696a38e122485d5422f16667e3b","datavalue":{"value":{"entity-type":"item","numeric-id":382882,"id":"Q382882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$72ECE69D-5613-4B6F-A448-601E604966DA","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":"Q1096714$3C188678-1331-424E-AD5A-8B3B6DD45835","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":"Q1096714$0291C4E6-38A2-4465-BC1C-CC3AEAB48EB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31aca5de4ca37b32861774762ed452ba2878323a","datavalue":{"value":"https://eudml.org/doc/134888","type":"string"},"datatype":"url"},"type":"statement","id":"Q1096714$1B308006-16A5-479C-BFBD-B63F44568CF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06919edd351254ae220f114326efd3fc69fd9add","datavalue":{"value":"The concept of a division category D(S) for a given semigroup S was introduced by the author [Mem. Am. Math. Soc. 157, 1-66 (1975; Zbl 0303.20048)], and a variation was developed by \\textit{M. Loganathan} [J. Algebra 70, 375-393 (1981; Zbl 0465.20063)]. The first section of this paper begins by defining an abstract division category (ADC) to be a pair (D,I), where D is a small category having finite pushouts all of whose morphisms are epics, and I is a distinguished object such that Hom(I,X) never vanishes for any object in D. The main result in this section is Theorem 1.15 asserting that Loganathan pairs always yield an ADC. The second section presents the main construction of this work: for each pair (D,I) an inverse monoid of fractions, S[D,I], is constructed. Theorem 2.2 is the main result in this section and asserts that S[D,I] is an inverse monoid. A second result, Theorem 2.5, asserts that equivalence of two pairs, (D,I)\\(\\cong (D',I')\\), induces isomorphism of the derived monoids, S[D,I]\\(\\cong S[D',I']\\). In section 3 it is proved that there exists a canonical isomorphism \\(\\Theta\\) : \\(S\\cong S[D(s),1]\\) for a given inverse monoid S, and that two inverse monoids are isomorphic iff their induced division categories are pair equivalent. Theorem 4.4 and Corollary 4.5 provide noncanonial equivalences of (D,I) with (D(S),1), where \\(S=S[D,I]\\) and D(S) is the Loganathan category of S. In the fifth section the functor \\(\\Sigma_ 0: D\\to INV\\) from the category of abstract division categories to the category of inverse monoids is studied. The last section contains a brief study of (dual) symmetrical inverse monoids in full generality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096714$365CE007-BF1B-49FB-B0F3-8678B2EE6906","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096714$BE57E0F5-0C08-441B-AB88-0572D268A690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096714$803FEFA6-3B61-4BDA-9434-76F9562A23D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd4e31d8fa94725f43bf477f91f620176ffac883","datavalue":{"value":"4031932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096714$2A54192E-46B5-4B38-9DC4-5B3416A1545A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fade69764d2bb61d196ec35156a2c2cd8bf9e13","datavalue":{"value":"abstract division category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096714$D664F0F9-8CFD-43C7-94E6-7E302B5C29B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3094e77c0be0b32cef4a7183ce19f120aace8e","datavalue":{"value":"small category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096714$1F8A2CBA-F306-48CD-A5FD-3AA853F39CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a1dbe4fd4892b1a35dbfceb9e609deb678df9f7","datavalue":{"value":"finite pushouts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096714$F907EF0D-94DE-4D4F-AE2A-C7F1887639C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5d69dd734b189c6195913c37520d18a53b5e94e","datavalue":{"value":"Loganathan pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096714$1F8A4DA5-DEB2-4A26-AD8E-E3B150B1170C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf2a8929b11ae53f7a6095328806a82f8795681","datavalue":{"value":"inverse monoid of fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096714$2CF3477B-D058-4A34-8BCF-CCE0205A5495","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":"Q1096714$3CA96FA9-B1C3-4033-8F6B-FD9F307639E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c900cbc7073209b9f413176662bc22643e1a15","datavalue":{"value":{"entity-type":"item","numeric-id":1806055,"id":"Q1806055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$4904A410-01C8-43EB-BE97-AE502BF48FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de25bf667155e28e9429b09af04afa2cf5bb161","datavalue":{"value":{"entity-type":"item","numeric-id":5819486,"id":"Q5819486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$3B01139B-409F-430E-A2A6-5AAA4858C9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2576c07793d7542286d9fe6cfeffbec3b5ab71","datavalue":{"value":{"entity-type":"item","numeric-id":4059108,"id":"Q4059108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$64262E2F-D751-4DAA-A160-F98836444A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1858f8bab0d92034db458c1a5ffe09f29c09ea2","datavalue":{"value":{"entity-type":"item","numeric-id":1231020,"id":"Q1231020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$EED1971F-DA75-457F-A4FA-2C387C2DDF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c8e3e098cb3ab709d39aee42d2e9831aa371ac5","datavalue":{"value":{"entity-type":"item","numeric-id":1088006,"id":"Q1088006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$6D9A88CA-3F78-402B-9624-0FAC7B1FE12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e785f3d170b4a7bab27262a492da2618ee280e6","datavalue":{"value":{"entity-type":"item","numeric-id":5904814,"id":"Q5904814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$E2628261-CD06-4296-B3D3-A80BD37CFCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4702e3ace8a5ed4a669215f7b094d1c5dbd8952","datavalue":{"value":{"entity-type":"item","numeric-id":3944773,"id":"Q3944773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$BAF03FFD-5C01-446C-84AE-EEE0D89255E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346c7f4b5d7384e15d36d6ec69816aafcac27b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3037674,"id":"Q3037674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$F357CD9F-F302-4B50-9F3A-A54A651BA90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a874e508ac4f79185b6e52cf9cf9cab6e9f65","datavalue":{"value":{"entity-type":"item","numeric-id":5508993,"id":"Q5508993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096714$D85CF6BA-ADDD-4EF4-BA06-C426ED3F72A6","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":"Q1096714$AB60B01D-DAD9-4180-96F1-C2B9D08394E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13c26bcc6a3f792a971fa0110070091d2485bea","datavalue":{"value":{"entity-type":"item","numeric-id":4400095,"id":"Q4400095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c063349931bff5a18b8c05dbc8c4b72ceef08f","datavalue":{"value":{"amount":"+0.8231174945831299","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":"Q1096714$DFBCB1EC-C1A3-4D03-A30F-779519050227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6cb6e71f0ce4ee30cde2c809a5ecac65322b85","datavalue":{"value":{"entity-type":"item","numeric-id":3545893,"id":"Q3545893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203a0cad79a180d7e13d06e5f72bc0ae10b10a88","datavalue":{"value":{"amount":"+0.823117196559906","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":"Q1096714$1CD43BB1-F0B0-4613-8164-6169A9FD9812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6497a7d6b9853b5930ed1549b8e86d2ba866750","datavalue":{"value":{"entity-type":"item","numeric-id":1806055,"id":"Q1806055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0c29bd5bb3255830e318dc56957a936a7a61b1","datavalue":{"value":{"amount":"+0.783000648021698","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":"Q1096714$28A49BD1-8EE7-4D8D-8082-F173CDD0D18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d51129bc943695e00ed8f6f735c4652f107f4ba","datavalue":{"value":{"entity-type":"item","numeric-id":444677,"id":"Q444677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0c29bd5bb3255830e318dc56957a936a7a61b1","datavalue":{"value":{"amount":"+0.783000648021698","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":"Q1096714$D208E257-F4E1-4A71-94B0-55EEE8371D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c161c575c87b27e9b81b70919e6e99ecfd3ac1","datavalue":{"value":{"entity-type":"item","numeric-id":2948043,"id":"Q2948043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7764e6f009859291aad7f41052f3ebd5d99e05a1","datavalue":{"value":{"amount":"+0.7686553597450256","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":"Q1096714$8912ADE3-2EAC-4BBA-9798-B6414C0427C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing inverse monoids from small categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_inverse_monoids_from_small_categories"}}}}}