{"entities":{"Q5964490":{"pageid":8141292,"ns":120,"title":"Item:Q5964490","lastrevid":58634691,"modified":"2026-04-06T02:47:12Z","type":"item","id":"Q5964490","labels":{"en":{"language":"en","value":"On \\(F\\)-inverse covers of finite-above inverse monoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6547258"}},"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":"Q5964490$A5C9365E-D895-4F56-B338-C2AF2B64C3EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb9018405942fac690bda00d80e6b61176234c13","datavalue":{"value":{"text":"On \\(F\\)-inverse covers of finite-above inverse monoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5964490$65BCC1A9-31E0-4C95-90A5-E157CAAAB95B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"450c43c5afd125cac8c750a3c8a88249311c5b65","datavalue":{"value":"1344.20080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964490$6CA46FEB-497E-429B-A106-CB79D2AED71E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c12a74e199755604110d1524d1b6e6d94c98cac4","datavalue":{"value":{"entity-type":"item","numeric-id":250197,"id":"Q250197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$A65486E9-E706-423D-9F6F-A3CE238674AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4680592e77eb41e883036117ce86292621affd5","datavalue":{"value":{"entity-type":"item","numeric-id":250198,"id":"Q250198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$1624D3D5-3F83-4026-BAEB-50A304ECA8A5","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":"Q5964490$79027BFD-927E-4875-B5CC-F1135DED11C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc8310cd0eec5f330aa7dd984cfc910fe7b2b999","datavalue":{"value":{"time":"+2016-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5964490$DE4D63C5-3942-4C5D-B18F-27AA6DB76C9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03ef20941c17bab771347d49b64e0df52e0a731b","datavalue":{"value":"https://arxiv.org/abs/1511.09378","type":"string"},"datatype":"url"},"type":"statement","id":"Q5964490$C980F543-0B27-4665-95F9-C1078C3F51FB","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":"Q5964490$30E55090-D5E2-44A0-A7EA-B8765344209C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964490$B136888E-B143-4912-AEE7-F201EA052685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964490$FFBD59E7-E0BE-435B-8722-A194EB28948F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ae9b2b8c1866fefe82084024c2c0c52b69b0150","datavalue":{"value":"6547258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964490$D25DAB7D-5801-4B8D-8D81-DE464CE0ABB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"060ce824deb8af6c5788954915ec956076a07536","datavalue":{"value":"finite-above inverse monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964490$B8207B01-9EAC-4A74-B244-0F3873CB1653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5ca82d0d04353c524d4790e9905eaab5278a96","datavalue":{"value":"\\(E\\)-unitary inverse monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964490$52C33182-2E34-4D20-BF6F-646C49427D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d6213979ff431f32ba91338fd9013ee111102f3","datavalue":{"value":"\\(F\\)-inverse covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964490$2625496F-EE2E-4DE8-AA8E-A0004EED10F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"570dfff71a8a5f2e618141e9cfbaf1b9ce03e3b2","datavalue":{"value":"quasi-\\(X\\)-generated monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964490$4435439C-1127-48D3-A399-7890918A5C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edd8c4965a8f6543b234b65e83b6527b5b5472aa","datavalue":{"value":"natural partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964490$49F66817-A61C-4C0A-B124-1827748A9A86","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":"Q5964490$D6AAD6AB-8A75-4852-BBF7-DF2F4618E83F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a9c28a849edb6ec6245f0c60eff03d3a990d86a","datavalue":{"value":"W2182298152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964490$13BEAAA2-E852-4732-8CC9-F7FE7C96C17D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4b58eef69ca002442fc8892d8951907306aa68","datavalue":{"value":{"entity-type":"item","numeric-id":3209328,"id":"Q3209328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$43293AA6-E374-4B72-A8CC-C2FB854C7081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9ab7bb5b2394110d9b55bf93bbb70b9faef159","datavalue":{"value":{"entity-type":"item","numeric-id":2581279,"id":"Q2581279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$FA1DB275-F579-44B7-AD9A-01B4624EB9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$00207095-0766-4AEB-B1E9-48DD3FF360CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2adfe32f3460cdcaad3cc10403641b3dd69fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4271218,"id":"Q4271218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$8A6352F4-A892-4023-A4CD-C8B66E84C980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$4B93BB23-330A-483E-8A1E-584CA82D370C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591acc9a9079565e6cb573cd174a8a8f2edd393f","datavalue":{"value":{"entity-type":"item","numeric-id":1122663,"id":"Q1122663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$4D894D49-BEAE-4559-9379-2EC34FDD6BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f782003373ac45ea291149864f875aee1615cb0c","datavalue":{"value":{"entity-type":"item","numeric-id":579421,"id":"Q579421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$F3DE13FB-35BD-45FC-9F8A-F77C0D4595E2","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":"Q5964490$61EF0B59-948E-47E1-8F6A-04DEEAAB6FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4106ee1359f86fe88fb498711e75cf06db6594e","datavalue":{"value":{"entity-type":"item","numeric-id":581545,"id":"Q581545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964490$E5F25FDD-F9B3-4864-A092-9BDD7FA3BBEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bba65003314bb8c9e404683ea0ea062375faa72f","datavalue":{"value":"10.1016/J.JALGEBRA.2015.11.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964490$8B2B7461-DCF2-4F18-AFEF-38FE83AC8D15","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"624c2f66a759528813745510e81fd0001565cec9","datavalue":{"value":"An inverse monoid \\(M\\) is called: 1) \\textit{finite above} if the set \\(m^\\omega=\\{n\\in M:n\\geq m\\}\\) is finite for every \\(m\\in M\\) and 2) \\textit{F-inverse} if each class of the least group congruence has a greatest element with respect to the natural partial order. Let \\(v\\in M/\\sigma\\) be a \\(\\sigma\\)-class (\\(\\sigma\\) is a smallest group congruence on \\(M\\)) and let \\(h(a,b;v)\\) be a least upper bound of the set of idempotents \\(\\{d^{-1}ab^{-1}d:d\\in\\max v\\}\\) with \\(a\\sigma b\\) (\\(\\max v\\) denotes the set of maximal elements of \\(v\\)). Now (C) denotes the following condition: \\(c\\cdot h(a,b;v)\\cdot c^{-1}b\\not\\leq a\\) for some \\(c\\in\\max v\\). If \\(M\\) is generated by \\(A\\cup E(M)\\) for a subset \\(A\\subseteq M\\) then \\(M\\) is called \\textit{quasi-\\(A\\)-generated}.NEWLINENEWLINE Four equivalent conditions for a quasi-\\(A\\)-generated finite-above \\(E\\)-unitary inverse monoid to have an \\(F\\)-inverse cover via a group variety are found. Restricting to the varieties of Abelian groups, it is proved that if \\(M\\) is a finite-above \\(E\\)-unitary inverse monoid such that for some \\(a,b\\in\\max M\\) with \\(a\\sigma b\\) and for some \\(v\\in M/\\sigma\\), condition (C) is satisfied, then \\(M\\) has no \\(F\\)-inverse cover via Abelian groups. An example is constructed showing that for any group \\(G\\), there exist finite-above \\(E\\)-unitary inverse monoids with greatest group homomorphic image \\(G\\) that fail to be \\(F\\)-inverse but admit \\(F\\)-inverse covers via Abelian groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964490$405AB84A-9994-4DE9-830D-46E21699D8D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7313a99cbece7ea48d5265382b61e95909262982","datavalue":{"value":{"entity-type":"item","numeric-id":2581279,"id":"Q2581279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbc0d468665a1a272c68607bdf389497a76cf26","datavalue":{"value":{"amount":"+0.9091265797615052","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":"Q5964490$5A47AE09-0FB0-4C3E-A89C-E480D392E64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998cc6e686f6768f0fe1935c3695ee4ab1e7edbf","datavalue":{"value":{"entity-type":"item","numeric-id":3643583,"id":"Q3643583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20439c6589dd6a39ea4a2783963f730f6d66cf5d","datavalue":{"value":{"amount":"+0.891507089138031","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":"Q5964490$8BA20E62-9F0E-4E0E-B7C0-5073709A54FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a8ee2739a1bb5dbdae3837ef972d8b840ba6c7","datavalue":{"value":{"entity-type":"item","numeric-id":309948,"id":"Q309948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a04c0952716609851eaf4ef1baf421e5d4b0690","datavalue":{"value":{"amount":"+0.8625980019569397","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":"Q5964490$80B23E13-0582-4F44-AD45-57388E44471F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7d4eaddb93a98d64e32b519002f2a616918d90","datavalue":{"value":{"entity-type":"item","numeric-id":5014756,"id":"Q5014756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f7cabfc3bd60e08b945b68eea3f0c2c7a33fa4","datavalue":{"value":{"amount":"+0.8546624183654785","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":"Q5964490$6C07415F-36BA-4421-A2C6-69A93F5E560D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5356321c263a01336a1d3998b2230955314cc12","datavalue":{"value":{"entity-type":"item","numeric-id":3322300,"id":"Q3322300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0634f3171c2effc19fb77ffb7aa0cfc9e860f0","datavalue":{"value":{"amount":"+0.7614530324935913","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":"Q5964490$4830DF66-E7AA-4E01-A16A-B08858DB2C63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5964490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5964490"}}}}}