{"entities":{"Q5930161":{"pageid":8106963,"ns":120,"title":"Item:Q5930161","lastrevid":39850029,"modified":"2025-01-27T18:54:58Z","type":"item","id":"Q5930161","labels":{"en":{"language":"en","value":"On algorithmic problems for joins of pseudovarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587485"}},"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":"Q5930161$BB637620-A584-4112-947F-11FFB9223668","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92f3ae70e9e0156c2f5d0b0a32b0e3d06124d272","datavalue":{"value":{"text":"On algorithmic problems for joins of pseudovarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930161$C17A7318-93C7-499D-8CBC-2AD6F68FD87A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9db05edb62e8a1f31b44073e4332e00b05207dd","datavalue":{"value":"0980.20055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$C79EC884-E1A0-4538-A87F-FB536A58BC31","rank":"normal"}],"P16":[{"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":"Q5930161$9FC30429-962A-43B4-A75C-AFAB4806DA24","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":"Q5930161$1261A8D0-5096-4F5E-AB72-4A319C8860E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78fd3e8d72a77bab1ff9a7e922fa09d459804adf","datavalue":{"value":{"time":"+2001-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930161$F553C334-E437-472B-975F-8FC14D7079AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f48418cb9f26707ee3bf752f94d1e3e93566a89","datavalue":{"value":"As the author says, this paper generalizes and clarifies his earlier paper [Int. J. Algebra Comput. 8, No. 2, 203-231, Addendum 233-234 (1998; Zbl 0942.20041)] where he has shown that the join of the pseudovariety \\(\\mathbf J\\) of all finite \\(\\mathcal J\\)-trivial semigroups with the pseudovariety \\(\\mathbf G\\) of all finite groups has decidable membership. (Independently, the decidability of \\({\\mathbf J}\\vee{\\mathbf G}\\) has been proved by \\textit{J.~Almeida, A.~Azevedo} and \\textit{M.~Zeitoun} [Int. J. Algebra Comput. 9, No. 1, 99-112 (1999; Zbl 1012.20054)].)   For an element \\(x\\) of a finite semigroup, \\(x^\\omega\\) denotes the idempotent power of \\(x\\) and \\(x^{\\omega-1}\\) denotes the inverse of \\(xx^\\omega\\) in the maximal subgroup for which the idempotent \\(x^\\omega\\) serves as the identity. The main result of the paper under review provides sufficient conditions for the join \\({\\mathbf W}\\vee{\\mathbf V}\\) with \\({\\mathbf W}\\subseteq{\\mathbf J}\\) and \\({\\mathbf V}\\subseteq\\mathbf{CR}\\), where \\(\\mathbf{CR}\\) is the pseudovariety of all finite completely regular semigroups, to admit a recursive basis of pseudoidentities built by using only the multiplication and the operation \\(x\\mapsto x^{\\omega-1}\\). (The relation to the membership problem is that if such a basis exists and the pseudovarieties \\(\\mathbf W\\) and \\(\\mathbf V\\) are recursively enumerable then \\({\\mathbf W}\\vee{\\mathbf V}\\) has decidable membership.) For example, the conditions hold if the word problem for implicit operations on \\(\\mathbf W\\) is decidable and \\({\\mathbf V}={\\mathbf G}\\), or \\(\\mathbf V\\) is the pseudovariety of all finite Abelian groups, or \\(\\mathbf V\\) is locally finite and has a computable bound on the size of its free finitely generated objects. In particular, the join \\({\\mathbf J}\\vee{\\mathbf G}\\) has a recursive basis of the specified form while it has no finite pseudoidentity basis as was shown by \\textit{P.~G.~Trotter} and the reviewer [Semigroup Forum 52, No. 1, 83-91 (1996; Zbl 0845.20047)]. Similar techniques are applied to show the decidability of idempotent pointlikes or \\(n\\)-pointlikes for the joins \\({\\mathbf W}\\vee{\\mathbf V}\\) with \\({\\mathbf W}\\subseteq{\\mathbf J}\\) and \\({\\mathbf V}\\subseteq\\mathbf{CR}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$D36CDD6E-A4FB-447C-BE2F-478B37FDB81F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$A2710E1E-A437-4DEE-BB2B-47F4C74D5F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$2733A60D-FE04-43ED-BBFF-E3B32F249FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$60D4DD90-32C3-433D-8C03-E2062D0D039F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$FE033EAF-F478-42D2-923A-5F72A6FF3EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$75ACD591-38C1-411B-9A2C-EEDA4FCF25C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$CB19F8B9-C19D-4418-BD38-241002F8AEDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b459d6e376a8a4cef6b971b82f8048e68fe2020c","datavalue":{"value":"1587485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$68047CA6-3668-40BF-8E8C-1B27325CA8BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29dd9acb5da6f29f7632f13ec3c988a262dae3a2","datavalue":{"value":"pseudovarieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$91AD43B0-3BB6-4928-BE54-5581EA4E2ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80b2d0b4c9c0845ed47ccdaffc0d235f2249910b","datavalue":{"value":"joins of pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$B05DC156-D557-494C-AE6E-A6EB8A43DD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d89507687ef1c548dc487dc04f7d5603aa5c8fb","datavalue":{"value":"implicit operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$4B0ED933-983E-465B-99B7-D5A5618DE575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1534a5b404286d71588a0bbe8060da22acaf8d3b","datavalue":{"value":"bases of pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$9DB1F47C-FC87-4531-973C-481E15AC2F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b275a83adcec9d2e44323feba03aff54a49df5f","datavalue":{"value":"idempotent pointlikes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$F4BB58FD-0159-4A6A-B13E-3C881E54538A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4888118142d9f1732ef49082785c11775997a75","datavalue":{"value":"Malcev products","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$C38ED435-90D0-4F82-B43F-4B335494F7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c507d816bd2deedc26cafe761ebc2462e1102f","datavalue":{"value":"\\(\\mathcal J\\)-trivial semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$5CDD82B0-48E5-4392-B9EB-547446979CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558a2370682d625ad5b535fac8b043ac8c328de1","datavalue":{"value":"completely regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$CC8A0540-FF22-4DCE-8AAB-4B0E4E6CDB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ef3e83b7a5f7cdd1109cc34445c47099cc1b23","datavalue":{"value":"decidable membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$86974ECC-7786-4BE2-ADB8-07C0F6DDD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$68D6AD8F-CC50-4460-8F92-DBDFC86AF338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930161$3A35C1CA-2096-4E71-AD58-00B91A204532","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":"Q5930161$968D9F3E-4E06-4197-974D-801B9F6B4950","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6513ca4ea8b82dce2eeee90d1f8d5eb1ead631b9","datavalue":{"value":"https://doi.org/10.1007/s002330010002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5930161$A85C4C26-4356-4571-9DF3-6E71457681DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1bb532e0c137765909b0ef282fcd208ed13ab62","datavalue":{"value":"W2075032826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$3A89C023-3BDD-48F3-8CB9-518C78211D7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7dc2cf12127cd3582e1959ca4714d103f681a00","datavalue":{"value":"10.1007/S002330010002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930161$AAA0F474-FD61-4CEF-8A2E-73D419824600","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5088f3e0a94ea870684c61883d478dc4962583eb","datavalue":{"value":{"entity-type":"item","numeric-id":4513292,"id":"Q4513292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53bfc23833d1d87a8f12cd6e6dc0ca04c0b6e2a8","datavalue":{"value":{"amount":"+0.839317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$06C8B4A6-EB4D-4D73-B309-FD306D301339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1714af30d0594086669aadf560eb9552ae0b17","datavalue":{"value":{"entity-type":"item","numeric-id":3759042,"id":"Q3759042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c9b9f39d1cbb7ae9fc3b8bbfa70e83145cbfb2","datavalue":{"value":{"amount":"+0.7924284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$680B0C43-53D6-411D-B047-EED3CDC0C48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e88a2d13339c366ec7199c375daf3986db5d2","datavalue":{"value":{"entity-type":"item","numeric-id":3351422,"id":"Q3351422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8d26ae865e1c1526e8b2002b6e884bd70ca769","datavalue":{"value":{"amount":"+0.7870084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$604912E2-2795-479B-85E8-E93B1200F376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4980bff2bd1262bb522ff30e9049d3096b1246c5","datavalue":{"value":{"entity-type":"item","numeric-id":4407433,"id":"Q4407433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24294877c4ec8a5098378b684dcfb724a620215","datavalue":{"value":{"amount":"+0.78319633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$C36683FD-CB19-42D7-9BFF-A3BE46743C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840da3dda9f7f40653f3340ef696bac68e1ff38c","datavalue":{"value":{"entity-type":"item","numeric-id":4697877,"id":"Q4697877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738f502b6eac726ef0b111563d3cca624b57b85b","datavalue":{"value":{"amount":"+0.7759814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$10591C38-5047-4AEE-AFB6-6C97A665C38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45471fecf81b6d4132b3b33e7f42eff67321fb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2248226,"id":"Q2248226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bc3a436859b311ca56e451fd171a442286792a","datavalue":{"value":{"amount":"+0.77495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$87022848-B046-4CEE-961E-ABFE310C3E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82299fc9e2b49b09bf5aac556f1dcb878e03f53b","datavalue":{"value":{"entity-type":"item","numeric-id":1905975,"id":"Q1905975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a25d78e864e1174a2744ce9d13a082ec9d8c3e","datavalue":{"value":{"amount":"+0.76917815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$DB5DB613-4855-4F00-BB5C-97CD3D09EA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a86e66ac391fff35db9e202086837d278d20717","datavalue":{"value":{"entity-type":"item","numeric-id":4852667,"id":"Q4852667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a962e98786e01c0a80702f3adf7b43a490d9c3","datavalue":{"value":{"amount":"+0.76717955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$B7E0DBC8-AE6A-47F4-8565-AE2285A68976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b597af5e9c5c6042b0823020136e1ca7b0b72c","datavalue":{"value":{"entity-type":"item","numeric-id":4902679,"id":"Q4902679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e178de37409fa2508018f3fbedbdf4e573dd431c","datavalue":{"value":{"amount":"+0.7631257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$0AE89516-8668-42D1-913E-00EF0A8B2243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a87540615e6952b713911b2072d35482ac0bd61","datavalue":{"value":{"entity-type":"item","numeric-id":2003184,"id":"Q2003184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162ae878d1eef5ddfe136e62b53f87eb6d0e5a40","datavalue":{"value":{"amount":"+0.75908494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930161$5D159AC3-0F26-4C19-86EC-9CD62AFC9092","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930161"}}}}}