{"entities":{"Q444677":{"pageid":446444,"ns":120,"title":"Item:Q444677","lastrevid":61914939,"modified":"2026-04-11T02:32:00Z","type":"item","id":"Q444677","labels":{"en":{"language":"en","value":"Constructing an ample monoid from a weak Loganathan pair"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066651"}},"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":"Q444677$BBA303E4-2BB1-4547-8B65-B9CBFCD4C514","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7000d1869ef8c11b809846e2da158b28615aa199","datavalue":{"value":{"text":"Constructing an ample monoid from a weak Loganathan pair","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444677$1D9C9CE0-EAAB-4961-AC7F-83D676AEFC44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa3feea53b39bec194eb2c063745896e5b1548b4","datavalue":{"value":"1250.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444677$93DE9AAE-C71F-478A-986E-45E5C0F7B7DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92c997b0866b173376925527a68a9fc0ffe1c49","datavalue":{"value":{"entity-type":"item","numeric-id":444676,"id":"Q444676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444677$89AD6CFC-63CD-4C05-9E9C-A048FCC4DEB3","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":"Q444677$4DCF97B1-F70F-4732-94A9-846B2E3BD3CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d101fdedee8fe26942f59fda6716c1df8d9aaf9","datavalue":{"value":{"time":"+2012-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444677$76AB05F2-FBD8-438A-8C12-78E9B19DECEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"706288289bd8abd432173e87fff1bd898b0e2946","datavalue":{"value":"Let \\(S\\) be a monoid and let \\(a{\\mathcal L}^*b\\) (\\(a{\\mathcal R}^*b\\)) if and only if \\(a{\\mathcal L}b\\) (\\(a{\\mathcal R}b\\)) in some overmonoid of \\(S\\). A monoid \\(S\\) is called abundant if each \\({\\mathcal R}^*\\)-class and each \\({\\mathcal L}^*\\)-class contains an idempotent. If the idempotents commute then an abundant monoid is called \\textit{adequate}. The (unique) idempotent in an \\({\\mathcal R}^*\\)-class (\\({\\mathcal L}^*\\)-class) of an adequate monoid is denoted by \\(a^+\\) (\\(a^*\\)). An adequate monoid \\(S\\) is called ample if \\(ea=a(ea)^*\\) and \\(ae=(ae)^+a\\) for all elements \\(a\\) and idempotents \\(e\\) of \\(S\\).  Given an ample monoid \\(S\\), the author constructs two categories \\(\\mathcal D_A(S)\\) and \\(\\mathcal D_B(S)\\) both having the set of idempotents of \\(S\\) as the set of objects, and describes the monomorphisms, epimorphisms, isomorphisms and pushouts in these categories. For a category \\(\\mathcal D\\) and for its subcategory \\(\\mathcal E\\) such that obj \\(\\mathcal E\\) = obj \\(\\mathcal D\\), a Loganathan category pair and a weak Loganathan category pair -- both denoted by (\\(\\mathcal D\\), \\(\\mathcal E\\)) -- are defined. It turned out that for \\(\\mathcal E=\\mathcal E(S)\\) with the set of morphisms Mor \\(\\mathcal E\\) = \\(\\{(e,f,f): e,f\\in \\mathcal E(S)\\) and \\(f\\leq e\\}\\), the pairs \\((\\mathcal D_A(S), \\mathcal E)\\) and \\((\\mathcal D_B(S), \\mathcal E)\\) are both weak Loganathan category pairs. Moreover, for an arbitrary weak Loganathan category pair (\\(\\mathcal D\\), \\(\\mathcal E\\)), an ample monoid \\(S[\\mathcal D,\\mathcal E]\\) can be constructed such that an arbitrary ample monoid \\(S\\) is isomorphic to \\(S[\\mathcal D_A(S), \\mathcal E]\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q444677$20F849A5-9A98-4E18-B4C5-34966AC5CD76","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444677$EF50AE28-EC98-4F97-B369-16940B54937E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444677$08DB514B-ECF4-4F7C-B2D9-B620D9B11CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444677$0FCB0221-F85D-46CE-A948-A297D4D72809","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaeaac6ec04244e15c796586bc3f0e5afc1d6757","datavalue":{"value":"6066651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444677$53EE784B-C421-40EE-94E2-8B52138320C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ed46b6d296495cd94ea4c814b567084cb976ac4","datavalue":{"value":"ample monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q444677$DC8316F1-3AED-483A-88E4-57850CF37682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"606744310faf6eb6b07d78d3d48923bc4da2d144","datavalue":{"value":"type A monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q444677$9B7E98CA-4096-4E72-8129-0D97205A7AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae42ca356c58a6d471c86ee75d15ad634d3900eb","datavalue":{"value":"Loganathan category pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q444677$7A90EB86-7474-4619-8FFD-4EBCDBE54EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d4619d0de738d0d322687c585b33fb90556234","datavalue":{"value":"weak Loganathan category pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q444677$E2EE4894-5705-4B53-8F4D-577D8B67D157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8630d2ca9de783491c4f574396773d60747f0f46","datavalue":{"value":"abundant monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q444677$E6A4AF4B-C92E-4797-BB84-0652087735D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e801510ae228097337a63d0f1075d573bd1ae8","datavalue":{"value":"adequate monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q444677$E46DD434-916C-4F79-8CBD-E36FEAD02B50","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":"Q444677$3811C557-94E3-4B63-8CE5-031037941248","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc715c26ab8ccaf0395f6bc8f8a5fab849600f34","datavalue":{"value":"https://doi.org/10.1007/s00233-012-9391-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q444677$851FA9D2-5F58-458C-83D5-EFC7BBA525AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4d55f1217bdcf5a6e04ed2ba4ac1c3257cdc45a","datavalue":{"value":"W2054722332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444677$A412216F-AAF7-4A3D-87F0-ACFDE73D38A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b737b49c1a311488982d274907717a39bef3925","datavalue":{"value":{"entity-type":"item","numeric-id":688974,"id":"Q688974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444677$7893830E-906D-4883-914A-D97A0B5BB8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a6ff1ffa5086b147d715c5f58284ce436c3b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3937578,"id":"Q3937578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444677$41C0618D-B4EF-44D1-9B20-951D6B608AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576401767b02d3342227de46df697138dc1107ed","datavalue":{"value":{"entity-type":"item","numeric-id":3049018,"id":"Q3049018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444677$8A58CED0-43B7-43F4-A20C-D03F4488C54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444677$ADBDF76B-0CB3-43F0-B9B1-67626D7501BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d96364645d944ac35cef98626c98d92ace35730","datavalue":{"value":{"entity-type":"item","numeric-id":3743507,"id":"Q3743507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444677$C478E213-488B-4D4F-93AE-ADB2FE5153EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9be10f4e0af3c36532e3f9b68f6e029104c2c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3772417,"id":"Q3772417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444677$878BEC79-FBAE-4DB8-BDF0-01B4DA1DCC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8a33777b2382971773f736bd1c0295f383e5f9","datavalue":{"value":{"entity-type":"item","numeric-id":1096714,"id":"Q1096714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444677$61DF0E2C-DE25-4860-829C-BD68296BEC5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5373bce883ca751e547d8b8d41600a7034830d38","datavalue":{"value":"10.1007/S00233-012-9391-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444677$53F44440-ECA7-4E8A-BB42-66E7F83425D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240d7a473f473e45e64ad6933173b179630a80ef","datavalue":{"value":{"entity-type":"item","numeric-id":5481600,"id":"Q5481600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8222480adc932a773fde8b4146a35f1ed87f7f7d","datavalue":{"value":{"amount":"+0.7490299940109253","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":"Q444677$325C5341-5832-4723-B57B-358CDE31FCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30887121adf66643aea0ce0b55fb2cbbb6791d","datavalue":{"value":{"entity-type":"item","numeric-id":1096714,"id":"Q1096714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70634af43b02d1b6bde1041974e2053d22582c18","datavalue":{"value":{"amount":"+0.7440292239189148","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":"Q444677$791F9836-5249-4673-B0E6-F590F941A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c639cbd3d312ef37bcf645d475b23db506fb043a","datavalue":{"value":{"entity-type":"item","numeric-id":3637973,"id":"Q3637973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcc81458e0d6cda92581425e5afc417e15cba7b","datavalue":{"value":{"amount":"+0.726870059967041","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":"Q444677$E463DED4-4BF9-4BE5-BFDD-53368A8C368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6864b8787ff6bac19ce6977abd14e7227334eba","datavalue":{"value":{"entity-type":"item","numeric-id":4942370,"id":"Q4942370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15b4516501ef5147aab41e6d3967d87ca02b2f8","datavalue":{"value":{"amount":"+0.7112801671028137","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":"Q444677$A28CCAB1-019A-44D4-90DD-AAF91D5BF395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5056bcb5852a8c308b5d65d216a70b767808c80","datavalue":{"value":{"entity-type":"item","numeric-id":5703670,"id":"Q5703670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd102b126dae9658a480026b1226575426a783a2","datavalue":{"value":{"amount":"+0.7112798094749451","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":"Q444677$7BA650D5-622D-430F-AECD-D8BF12AADD3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing an ample monoid from a weak Loganathan pair","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_an_ample_monoid_from_a_weak_Loganathan_pair"}}}}}