{"entities":{"Q1770600":{"pageid":1781342,"ns":120,"title":"Item:Q1770600","lastrevid":74367816,"modified":"2026-04-14T19:48:50Z","type":"item","id":"Q1770600","labels":{"en":{"language":"en","value":"An application of a theorem of Ash to finite covers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153436"}},"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":"Q1770600$CE6677E9-D007-43B4-8BBF-D9810C835F21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b9b2af3a37f8c4bc7335f7bcc8561aca7a24030","datavalue":{"value":{"text":"An application of a theorem of Ash to finite covers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770600$291CE3F0-D559-4D96-A442-7E1AFCC036B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ff8c15314a722d10e3df2e59cd0dd9597a3f481","datavalue":{"value":"1073.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770600$8EB2B2A8-9B1F-46A0-A5C7-C01BC937D9D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55ad2678fd55fa4c2c2f21892f089b657041976a","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$DED1BBD1-35D9-4F6E-856F-C3D058B7FB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f52ea33601b1801a124ec9bb5b7683ab84f03b69","datavalue":{"value":{"entity-type":"item","numeric-id":244464,"id":"Q244464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$3779DF67-36F9-492B-B125-E6EEE19B3F0A","rank":"normal"},{"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":"Q1770600$71F23FE3-D281-4FCE-B835-F10A63BEFF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a9b0b0009e7dc26ed1fb596dd0543ae0a05a62b","datavalue":{"value":{"entity-type":"item","numeric-id":172568,"id":"Q172568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$1EFB0556-20C5-49F5-A0B0-9FC28FA38483","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$FBEA972C-6632-4E2F-8B80-AFBCF986B708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770600$D47E37E4-0A3C-4E35-ABBB-963201DD3A11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"daef6c5a146064d4a2179e066cf5981b1a814b78","datavalue":{"value":"The relation \\(\\widetilde R\\) on a semigroup \\(S\\) is defined by \\(a\\widetilde Rb\\) iff \\(ea=a\\Leftrightarrow eb=b\\) for all \\(e\\in E(S)\\). A semigroup \\(S\\) is called weakly left quasi-ample (wlqa), if for all \\(a\\in S\\) the \\(\\widetilde R\\)-class of \\(a\\) contains a unique idempotent \\(a^+\\) and the ample identity \\(ae=(ae)^+a\\) holds for all \\(a\\in S\\), \\(e\\in E(S)\\); \\(S\\) is weakly left ample (wla), if the idempotents of \\(S\\) commute and \\(\\widetilde R\\) is a left congruence.   The class of wlqa semigroups is a \\((2,1)\\)-quasivariety with binary semigroup operation and unary operation \\(a\\mapsto a^+\\). This class contains the classes of groups, inverse, left ample and weakly left ample semigroups. It is shown that every finite wlqa semigroup has a finite proper wlqa cover and all wla semigroups have representations as \\((2,1)\\)-subalgebras of partial one-one transformations, where the unary operation maps a transformation \\(\\alpha\\) to the identity map on the domain of \\(\\alpha\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770600$E30329C9-779B-4536-A98F-829BCCD0AA97","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$2293861E-2390-49E0-98BA-9E8F36ADC867","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770600$1F78ED10-8C6E-4502-B396-206F60D8509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770600$3E52A395-630A-4CC4-94E7-3C2A6BAB8326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770600$B3132DA3-02A4-4C18-A574-698450090EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770600$001E05B3-502A-4B35-962C-80D3D485015A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"447a730794169815dabcf4b6ebb32300c64d312b","datavalue":{"value":"2153436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770600$EE72D4BD-E7AB-48A5-BA87-D26792DA01CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faf8468e79a01663beec97348aa6b18da393113","datavalue":{"value":"representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770600$DF0148E0-A6A8-4267-A673-005DF5AE2516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c397da033de793fe2a06b9c100fd08f213776b65","datavalue":{"value":"weakly left quasi-ample semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770600$8C2053EE-C42C-4883-842C-51D04610F2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57a8b270dbd8f48ae6b51fd3a5a750ff26e7aee","datavalue":{"value":"left ample semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770600$9BA2697C-1DB1-4287-B200-CF0A8DC3604A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae302fd6047082b031fcafb7218ee8733705567","datavalue":{"value":"finite proper covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770600$ED67BD33-BAA4-4075-B023-A01C3E00283D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770600$964A5CBB-2689-4DB8-96E2-752F6D0D00A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d2daa3ea08f38e55719c41fb9ace3b73e6ef78","datavalue":{"value":"partial transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770600$FCE30CFE-6CB7-4653-8AAF-F226C9180AFA","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":"Q1770600$79FC72D7-6C8B-40D6-9A40-4065218BEADB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"048ad731bff556e18a9cf8f633747f0600c1d913","datavalue":{"value":"https://doi.org/10.1007/s11225-005-5057-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770600$F94C2432-81B0-4D8F-99F1-46200C1FDD89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a098ebcbb0f5c795b0ffddbff12df7be6dd66d26","datavalue":{"value":"W2043257491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770600$2C0CAC28-647C-494B-9185-123D6B8D7F79","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":"Q1770600$0E56F11A-E90B-4CC4-B680-C7898E26E8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4972a13289719d53d890158dd1e722175bf98da","datavalue":{"value":{"entity-type":"item","numeric-id":4786248,"id":"Q4786248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$178FFC3C-506A-4C5E-B419-E391A01E9B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efb5ad33e53d56c2f3fb4cd1e6b1ffcc9e665dd","datavalue":{"value":{"entity-type":"item","numeric-id":1133630,"id":"Q1133630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$0B3BF309-4035-4690-A906-DF979B8E4BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ad0ca57cc94260b69461eac861924ca27ab940","datavalue":{"value":{"entity-type":"item","numeric-id":4484938,"id":"Q4484938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$BA0AFD7C-4192-43AD-B904-D6EE958056FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fb39b839ae13d8d61f127f7688ef73811091ac","datavalue":{"value":{"entity-type":"item","numeric-id":4942370,"id":"Q4942370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$18AB07E2-3B4F-4D49-8827-0FD3A6D1E785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b05049d837cf1766bd102e430a6b7411990be85","datavalue":{"value":{"entity-type":"item","numeric-id":1402898,"id":"Q1402898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$781BA22D-527A-4804-99B9-D7FDB560FCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dee0cc4f85242a055ab3e13b3e641c94e473581","datavalue":{"value":{"entity-type":"item","numeric-id":3395321,"id":"Q3395321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$319322A3-8A4D-4D71-A880-FB0EE545603A","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":"Q1770600$3C459062-581F-475B-A49A-AD1AC336E4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75481fd44954531a2ecc24d4d14181093a11270d","datavalue":{"value":{"entity-type":"item","numeric-id":4024640,"id":"Q4024640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$4E4FD816-A620-4BAB-93F0-B91EABA662BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e9d0e0b14c3ede7228b6a5ed498f6d1b7f6d94","datavalue":{"value":{"entity-type":"item","numeric-id":5931529,"id":"Q5931529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$DCA99E11-4C9A-4675-B3C3-5848C65E1C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dbbfff5d4e553b4bdc1ff9be59bec7254c2a84","datavalue":{"value":{"entity-type":"item","numeric-id":1177273,"id":"Q1177273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$D1C6E562-A67A-4E87-ADE7-DDD39448D4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7245147d27c25e598a12a3db0ea22e7429e25e","datavalue":{"value":{"entity-type":"item","numeric-id":4050801,"id":"Q4050801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$89EF6190-6B51-4648-99B7-435F7BB9FEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d38e9da929649dc560476f8dd6099510bad9256","datavalue":{"value":{"entity-type":"item","numeric-id":4050802,"id":"Q4050802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$45EB1C77-A96C-4AE6-AC32-DD3B7C79C3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e39587fbb8dbb3c01c891a726dc59cb26b03db4","datavalue":{"value":{"entity-type":"item","numeric-id":4484922,"id":"Q4484922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$38695369-0142-4D5C-A880-C22E0230EB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770600$9F08384A-F2BB-49B9-BE3A-7F8192CC5F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"949de17f5d997aff7a5446b5bc4cfa8bbdb27d97","datavalue":{"value":"10.1007/S11225-005-5057-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770600$43A65031-175D-40EC-86C7-28BDFBFC88A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7ad2e4b062df1fb1b683686d78d1a202ff4564","datavalue":{"value":{"entity-type":"item","numeric-id":1402898,"id":"Q1402898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a37c5ef28aa796f9600fbd60894482ad1f104d0","datavalue":{"value":{"amount":"+0.7940965294837952","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":"Q1770600$DFA62634-C636-4C09-9D6C-1CB6EC9C12AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23eb4973d2f8ee6b31876a75d2a7913adf70ef13","datavalue":{"value":{"entity-type":"item","numeric-id":2373414,"id":"Q2373414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35bdd0f55ae6e1f2e0a37ac400a4f5439b214f39","datavalue":{"value":{"amount":"+0.7796217203140259","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":"Q1770600$315DD47F-D5FF-45FF-BE91-92ECCDA62486","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":"0462f415dadf5c7008c8cf7a5e97d59a0b95b8bb","datavalue":{"value":{"amount":"+0.7770282626152039","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":"Q1770600$A9494143-23E3-40CA-AE0D-52CA002BAE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79ed6b18cd8af13e3456e8e043d80982ecf753e","datavalue":{"value":{"entity-type":"item","numeric-id":4484938,"id":"Q4484938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41e7c74bedfd92deaf9201eefee92ca8448c554","datavalue":{"value":{"amount":"+0.7711364030838013","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":"Q1770600$670FF93F-1405-40DB-8DD6-BE248BE390D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08107f55096c6e88ef2c6a11e95d1e04c4bda0fc","datavalue":{"value":{"entity-type":"item","numeric-id":2502254,"id":"Q2502254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156803eb15a0d4382c8b3b4399017ba7664db5c5","datavalue":{"value":{"amount":"+0.7699752449989319","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":"Q1770600$203EF65F-A3B5-48DD-B625-F634E10ECF1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An application of a theorem of Ash to finite covers.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_application_of_a_theorem_of_Ash_to_finite_covers."}}}}}