{"entities":{"Q1570355":{"pageid":1581095,"ns":120,"title":"Item:Q1570355","lastrevid":70732089,"modified":"2026-04-13T16:23:33Z","type":"item","id":"Q1570355","labels":{"en":{"language":"en","value":"Right cancellative and left ample monoids: quasivarieties and proper covers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1471821"}},"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":"Q1570355$1B33BB7C-F578-4E1A-BA68-90E53F2B315B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cde78fa3bb35697fb7fa485826acb368a250462b","datavalue":{"value":{"text":"Right cancellative and left ample monoids: quasivarieties and proper covers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1570355$E7FB7ABA-8711-4EA8-8439-897FB00E17FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6200225c0adf2924df50149b59638bb0c438be8a","datavalue":{"value":"0959.20053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570355$5A51DAB1-E184-43A3-A486-E393650F70CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47bf248e9743c97a013f0458ed30a0664f014eb9","datavalue":{"value":{"entity-type":"item","numeric-id":244460,"id":"Q244460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$DF7BAF64-0F78-4A09-938C-36373F477BCE","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":"Q1570355$B5720D26-E8DB-4574-9CEE-EEE2918394AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33727fd4efdc98a73b6e7122a7fd24d09bc4964f","datavalue":{"value":{"time":"+2001-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1570355$EB576E6A-9841-4216-82C6-7D1E2DD8E9C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a57baf4228df1016d6afbc28d4d2c4f73100395b","datavalue":{"value":"Left ample monoids (called left type A in earlier papers by \\textit{J.~Fountain} who introduced this notion [in Q. J. Math., Oxf. II. Ser. 28, 285-300 (1977; Zbl 0377.20051)]) can be defined as monoids with commuting idempotents and an additional unary operation \\(x\\mapsto x^+\\) verifying the laws \\((x^+)^+=x^+\\), \\(x^+x=x\\), \\(xy=zy\\Rightarrow xy^+=zy^+\\), \\(x=x^2\\Rightarrow yx=(yx)^+y\\). Such monoids have proved to be related to right cancellative monoids in a way very similar to the way inverse semigroups are related to groups. In particular, the notion of a proper cover of a left ample monoid over a given quasivariety \\(\\mathcal V\\) of right cancellative monoids naturally extends the well known notion of an \\(E\\)-unitary cover of an inverse semigroup over a given variety of groups.   Studying proper covers, the author proves the following result analogous to the one obtained by \\textit{M.~Petrich} and \\textit{N.~R.~Reilly} [Acta Sci. Math. 46, 59-72 (1983; Zbl 0537.20032)] and \\textit{F.~Pastijn} [Semigroup Forum 24, 87-88 (1982; Zbl 0503.20023)] in the inverse semigroup setting: if \\(\\mathcal V\\) can be defined within the quasivariety of all right cancellative monoids by a set of identities of type \\((2,0)\\) then the class \\(\\widehat{\\mathcal V}\\) of all left ample monoids having a proper cover in \\(\\mathcal V\\) can be defined by a set of identities of type \\((2,1,0)\\) within the quasivariety of all left ample monoids, namely, by the set \\(\\{u^+v=v^+u\\mid u=v\\) is an identity in \\(\\mathcal V\\}\\) (Theorem~5.3). The free objects in \\(\\widehat{\\mathcal V}\\) are then characterized as certain graph extensions of the free objects in \\(\\mathcal V\\) (Theorem 5.4) -- the inverse forerunner of this result is due to \\textit{S.~W.~Margolis} and \\textit{J.~C.~Meakin} [J. Pure Appl. Algebra 58, No.~1, 45-76 (1989; Zbl 0676.20037)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570355$971F9EF0-79E4-4541-9F1D-927DCFD836A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570355$1FBB4E88-7AA5-4180-B1F7-73C3045033AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570355$F368ED66-53A2-4A4F-A12B-D7D647DE8922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570355$2D0EA788-515B-4733-B73C-915027136F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570355$FBDA631E-165C-40A4-9AB7-0A44BBDF96A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"566ef9661fdae76a856a7ad9225633a4a818d2d6","datavalue":{"value":"1471821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570355$97045706-B864-4B8A-932E-8EB67F88AF06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e53067e425ce420a4a7afbc6197d350a03f64ae","datavalue":{"value":"right cancellative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570355$BD517CF6-0D7F-47C0-AC91-9065ADBED677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f86c4aa5ee1043c41cb40ef9b741f3e76c3e8c","datavalue":{"value":"left ample monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570355$7228D36D-4D76-4082-A318-FFD92590A788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc628e161c26bb6a5c7a733ffced75f84b31926e","datavalue":{"value":"proper covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570355$D84E770B-31EC-4CBC-A1E2-E87423A67B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570355$04123DA2-27FD-4BAC-9618-40024C0056AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7549c306815d6c15af558b4ac6975847f985b21","datavalue":{"value":"graph expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570355$5AC427C9-177F-4874-AD58-4C0FA90B7079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570355$0844F6EC-924E-4D71-8B88-0BD4A0B33905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af0a67ceec622918cd3297d011aa481bc7839ca","datavalue":{"value":"free objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570355$4D4E21A6-ACD0-47DA-8343-10FEFC73A9DB","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":"Q1570355$699021F3-6D6B-4FF0-BA81-7EFC5356244C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9139f58efea80f0b3852d1aa796e9b6200800a36","datavalue":{"value":"https://doi.org/10.1006/jabr.1999.8265","type":"string"},"datatype":"url"},"type":"statement","id":"Q1570355$36F7B9E2-C4C3-4F1C-BB77-F54C75CAD049","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cc9d415edbb17bfd59d112685f1951972371638","datavalue":{"value":"W2054384083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570355$F5D7E10A-A24E-4036-9003-695347FA8799","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd34852102070f2b28c9cae47422fc8b6079e08","datavalue":{"value":{"entity-type":"item","numeric-id":798447,"id":"Q798447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$512818ED-C0A0-4A0E-B6CE-681A02AEB044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$328542CB-1EE3-4024-9AA3-2B14698ED4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c2f5866e57711df93349e266431f305eaa70d6","datavalue":{"value":{"entity-type":"item","numeric-id":4156936,"id":"Q4156936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$093EB6B6-98E3-46F5-80AF-A074318CD46C","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":"Q1570355$EFD381A0-D717-48F7-8D0A-EDC6D6991F92","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":"Q1570355$B09622D9-3B93-48E9-BD36-865B7B7FC694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3afaa7ac33eec227e8d63ace3846bc169ec10ee","datavalue":{"value":{"entity-type":"item","numeric-id":3804926,"id":"Q3804926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$62714D1E-1417-416A-AEAE-FAC59EB1CE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad41d7ed6062ed37e24819062319c4422c4d05f","datavalue":{"value":{"entity-type":"item","numeric-id":3976902,"id":"Q3976902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$57678EE7-F8F6-4EC1-A939-FBA108B6A059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ccd813bede35521b69cd80b7c26b6a09bbbd54","datavalue":{"value":{"entity-type":"item","numeric-id":5752753,"id":"Q5752753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$7FFDB822-6962-45AE-AE04-291CC1A4EEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d802940dcfa884e43cfdbb47bff29e13e417a9","datavalue":{"value":{"entity-type":"item","numeric-id":4277942,"id":"Q4277942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$5CB59A4C-36AE-4484-A21F-AD8C181365E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce587da6831c0e816212ef17c8ea768ed05ed077","datavalue":{"value":{"entity-type":"item","numeric-id":4335558,"id":"Q4335558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$878CCDBF-4183-4788-826E-E08085905EC3","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":"Q1570355$699266E9-2724-4B3E-8DC8-4691CD5DAC68","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":"Q1570355$00934D37-3F5C-43DA-BA8C-87D9433A6FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e8f01c73cbe91c9a8544cbc6442f795025d047","datavalue":{"value":{"entity-type":"item","numeric-id":1173162,"id":"Q1173162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$4716C56C-A1E6-4B51-B249-60F930E594A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128c1a3ada6b7541e230aeccd222b472c214a182","datavalue":{"value":{"entity-type":"item","numeric-id":3322300,"id":"Q3322300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$482CD18A-EF40-47EF-8150-C8A5C5EE8011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8bf1ce99491c524d21d059ff2aa4f3ff2735b3","datavalue":{"value":{"entity-type":"item","numeric-id":1921405,"id":"Q1921405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$AAE86187-1B67-4FB1-9A9B-38D42988ED2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2495c277a45d8d02265ce714e627ad9514a3ef","datavalue":{"value":{"entity-type":"item","numeric-id":1122666,"id":"Q1122666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570355$A1C3FA26-C943-44AA-9010-DCC213CE099B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"723ab582f9ad2db8e8a73c096f2e428db41ec8fa","datavalue":{"value":"10.1006/JABR.1999.8265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570355$BADBFB30-85BA-4006-ADEF-EE30DE710703","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":"ab47760e6f685f8993ea9cb9efbfa2cf83515aeb","datavalue":{"value":{"amount":"+0.8996978998184204","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":"Q1570355$4D1C662A-6B7E-46B8-B956-BA71ACFCBEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b5c091846999d6867dfe244bac4133075ac80e","datavalue":{"value":{"entity-type":"item","numeric-id":2491199,"id":"Q2491199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51aa9bdb32803233c2507708e6fa347653d190f1","datavalue":{"value":{"amount":"+0.8377750515937805","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":"Q1570355$74941C4B-7165-46B7-B1A2-7BABEDCE550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3682352e61ddc4f78a8f04342ca1a7aad21cc7d9","datavalue":{"value":{"entity-type":"item","numeric-id":3112589,"id":"Q3112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdcfd65ba285b63d7893fb657c34a4f625621013","datavalue":{"value":{"amount":"+0.8316355347633362","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":"Q1570355$3D74E53B-E06A-46ED-8904-F71FD60264E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2cdad70008fd6179489eb336c7c73fcf51f474","datavalue":{"value":{"entity-type":"item","numeric-id":4306170,"id":"Q4306170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37de92edbf20510001489257a214ce4083e60af6","datavalue":{"value":{"amount":"+0.8306605815887451","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":"Q1570355$5FCDBE03-23FB-4489-9620-58CA213C16BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741ca52d7f312575492e8c9388f9371606cb7d2d","datavalue":{"value":{"entity-type":"item","numeric-id":411757,"id":"Q411757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ef70ef384d6a1e8eef7011784d725d185a74a6","datavalue":{"value":{"amount":"+0.8237797021865845","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":"Q1570355$8B64842B-B03C-465A-80F3-E637DEB5F292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Right cancellative and left ample monoids: quasivarieties and proper covers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Right_cancellative_and_left_ample_monoids:_quasivarieties_and_proper_covers"}}}}}