{"entities":{"Q1344838":{"pageid":1355577,"ns":120,"title":"Item:Q1344838","lastrevid":68515395,"modified":"2026-04-13T00:13:50Z","type":"item","id":"Q1344838","labels":{"en":{"language":"en","value":"On finite hyperidentity bases for varieties of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724100"}},"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":"Q1344838$0B62C604-5EC1-44DA-BFEF-586DEC8924D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0d8a0ddbf2d732384e15ef667463d20bd599b5a","datavalue":{"value":{"text":"On finite hyperidentity bases for varieties of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344838$86B1FDE9-0E8A-4426-8DC4-2D9AEC0E7AA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0b09234fff2ed72232b35409cae6578fe7fc890","datavalue":{"value":"0820.20067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344838$68042D0B-A18C-48D8-8FD4-9B58210BB914","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4660b0fa7828206fdaa8209457bb731c4080fe6","datavalue":{"value":"10.1007/BF01190763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344838$3EBD8486-6F41-4467-B644-8101857C8064","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$0372829C-C062-495D-81C1-36233429C0F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344838$182EEB5F-CF2E-40C4-942A-9B4192421921","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01f6e645d8894bcf1fc29fda41d38ec4aa698ff1","datavalue":{"value":"An identity \\(E\\) is hypersatisfied by a variety \\(V\\) if whenever the operation symbols in \\(E\\) are replaced by term functions of \\(V\\) of the appropriate arity then the resulting identity is an identity in \\(V\\); \\(E\\) is then said to be a hyperidentity of \\(V\\). The set of all hyperidentities of \\(V\\) is denoted by \\(H(V)\\). Just as with ordinary identities it is natural to ask whether \\(H(V)\\) is finitely based. This paper considers this in the special case where \\(V\\) is a variety of semigroups. This question has already been answered in the negative for several varieties of semigroups (including the variety of all semigroups [\\textit{G. M. Bergman}, Aequationes Math. 23, 50-65 (1981; Zbl 0485.08005)]). This paper shows how Bergman's proof can be extended to cover all semigroup varieties except those satisfying an identity of the form \\(x^ 2 = x^{2+m}\\) for some positive \\(m\\). It is also shown that the variety of bands and all its subvarieties do not have finite bases of hyperidentities. In all these cases, the proofs depend on finding hyperidentities of arbitrarily high arity. The paper concludes by showing that the medial variety of semigroups (which is defined by the identity \\(xyzw = xzyw\\)) has the property that even its set of hyperidentities involving only one operation symbol, and that binary, is not finitely based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344838$224D70F3-757A-4376-8A41-A08FA40CDF23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344838$AD7F3FD1-D3EF-42E0-AAB0-70C7EB94AD00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a28a335932726b3db6c9b7dce0bca871ef0380c","datavalue":{"value":"724100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344838$9D1D24D1-C956-4546-82A8-DC74A229E0A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c679089dc806ac76fb72e999a99709b1446cc7","datavalue":{"value":"term functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344838$58CE1BBE-9CD3-458B-AC09-162229523C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ef52bedc0db72dc2f4f18042199799bed1ceb","datavalue":{"value":"hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344838$22D00E9C-6E4E-461A-A687-EA61F0C8FD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f12d439590d1f42afffcf91fb841d5dc428fe5","datavalue":{"value":"variety of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344838$5A6B1411-3646-452B-84BF-FF7109086E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a596b3eea41eb3c24ef44d19817c650922d080","datavalue":{"value":"variety of bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344838$0EF3FBED-1DCA-4521-A8F7-19F485F56A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b42dfe5f1b5bcff927a70ab55fd0647faa08e8b4","datavalue":{"value":"finite bases of hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344838$F2EB221D-E008-4125-90E2-5B296973F00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be029867ee060704ebe96fa7844e3b914df11d65","datavalue":{"value":"medial variety of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344838$E6469861-9A7D-4EBF-B42B-A499C87FF52D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"055276adb0f13cc00236038e55eb272a6721420a","datavalue":{"value":{"entity-type":"item","numeric-id":583256,"id":"Q583256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$C1FFE3F9-951F-4685-9656-2AFD10E43309","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$1D2FB433-0D70-43F9-A8F1-4DCEB5728E01","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":"Q1344838$AB007A59-6AA8-4041-B2B3-5D120B4F5D9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b73a23fc0d55f4d36ae8718b45c7ac0de288f86","datavalue":{"value":{"entity-type":"item","numeric-id":2548669,"id":"Q2548669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$52361E62-366E-41A1-8BF3-22CB5EA53A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9347c1411495654e91b571123973db958b84022","datavalue":{"value":{"entity-type":"item","numeric-id":751684,"id":"Q751684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$7DB4BFE9-3ED9-4F8E-8B71-FF6FDCAFE8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$B8A28B95-FB15-42F6-8EE4-28D2C0ED9A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2d266fa68a8ccd73501a75638b75c803b59c43","datavalue":{"value":{"entity-type":"item","numeric-id":3322157,"id":"Q3322157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$19EEBC5F-186B-4575-BE06-AF99B028420F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43645a68f02a761842016cdd513e67366168a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1167196,"id":"Q1167196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$D18ADA4C-A0D3-4448-968A-2AC0C2B8F653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af88c1283a21faafbb6a9583ddce8a4a86e15dd6","datavalue":{"value":{"entity-type":"item","numeric-id":1175932,"id":"Q1175932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$BFF7813F-CD2C-41B0-B836-CA8C0C828B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4698280a89dae7680564d10af1f5fe8f1cca2a6","datavalue":{"value":{"entity-type":"item","numeric-id":4285329,"id":"Q4285329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$E5E2F95D-B731-4E67-BF75-C48B509E6707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac688f15f2d717681a1fcdc179f03f7c00bd3732","datavalue":{"value":{"entity-type":"item","numeric-id":1894688,"id":"Q1894688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344838$49B42886-3D58-418B-87F5-B664A0A97AE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ca356c6c1f075ea3ad456fd93d0cfd912f3d064","datavalue":{"value":"https://doi.org/10.1007/bf01190763","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344838$2C19F9CD-607B-4138-A7B7-0FD55A1BFAF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70cf27d01e1b74f1a39a8e6e056d5e5a989d6df6","datavalue":{"value":"W2022206058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344838$BC8116D5-C39E-4AAE-8C91-166FED22D214","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60a103eb1ae9ebf6b0ce2328ca0dbdd5db8f6f4","datavalue":{"value":{"entity-type":"item","numeric-id":1894688,"id":"Q1894688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b21fe9e26cd12b4be0d5d94eaaaeece6c3fe933","datavalue":{"value":{"amount":"+0.871847","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":"Q1344838$A5B545CB-8385-4BFC-9472-CEFE192E05A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c22974943c456d75af0776fcfcfabe5482362c","datavalue":{"value":{"entity-type":"item","numeric-id":471269,"id":"Q471269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbea06dce56d79381e58957f2769ac7d78c6fa04","datavalue":{"value":{"amount":"+0.8354485","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":"Q1344838$95A9D1EC-D6D8-4304-9E30-8F95396F4C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46137fbf25795671f57e46b0d20f5ae69e52fbd","datavalue":{"value":{"entity-type":"item","numeric-id":4285329,"id":"Q4285329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2758fd43fee24c3fc8f12137924e9ed35dbab2e4","datavalue":{"value":{"amount":"+0.8202919","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":"Q1344838$40C2D68F-5E6C-4749-837F-E3992C9FCC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8ea39d3f1201ab02e17e6273b388d54f8f2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":5900399,"id":"Q5900399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fabca1cb64928070c75cdda097c0376f8fd464","datavalue":{"value":{"amount":"+0.80828387","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":"Q1344838$B16CFA03-3B4D-4749-A153-9B1655AC2FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4dfb956a67b897bee2a5b98c9f42dca8fd79c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3765976,"id":"Q3765976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eceaba43d05fcca759c5acc10df81e15e601b0fc","datavalue":{"value":{"amount":"+0.79371804","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":"Q1344838$1D8374CA-E78E-4069-949A-0EEFE528EA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbefc9465b454c16de8223069909b0b4bf497878","datavalue":{"value":{"entity-type":"item","numeric-id":1363436,"id":"Q1363436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd15dc9346452109a4907e4070b0d9b2bb62b83d","datavalue":{"value":{"amount":"+0.79361","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":"Q1344838$BBBDF659-5084-444A-8F5C-78713EA1B909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5acb19d263f97048ecee6307992735ea855322ae","datavalue":{"value":{"entity-type":"item","numeric-id":2413519,"id":"Q2413519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955fa4ebecde0f0bfdbcd54fa91dfda7abbefa31","datavalue":{"value":{"amount":"+0.7906352","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":"Q1344838$195947B0-D122-44F7-AD36-C32F3EB7F03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8292644caa664ba39475f8ab2310243697554dbc","datavalue":{"value":{"entity-type":"item","numeric-id":3322157,"id":"Q3322157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e30139d174a79a1ba605ec05416274fc7251a8","datavalue":{"value":{"amount":"+0.78625184","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":"Q1344838$04A6B7F9-4CFC-48D4-94A2-A61DA9CA2875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f2d7525280e4198a54c30a544c3bd274d504eb","datavalue":{"value":{"entity-type":"item","numeric-id":470979,"id":"Q470979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e26bfbe7dd9af6bbcca0bb3f6114a3b083e6504","datavalue":{"value":{"amount":"+0.78475255","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":"Q1344838$2D6AC6F3-380F-4CD9-8244-2032F9D7185A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52df956a842b64b2f62b4e17ae5b8a9f2ba77060","datavalue":{"value":{"entity-type":"item","numeric-id":1305436,"id":"Q1305436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2bc27cab94f808c070a8d837c5f5a8650c8af9c","datavalue":{"value":{"amount":"+0.77764666","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":"Q1344838$BE6E02D4-8CAA-4284-9A2C-66C0A331A972","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On finite hyperidentity bases for varieties of semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_finite_hyperidentity_bases_for_varieties_of_semigroups"}}}}}