{"entities":{"Q1894688":{"pageid":1905430,"ns":120,"title":"Item:Q1894688","lastrevid":69071730,"modified":"2026-04-13T04:25:55Z","type":"item","id":"Q1894688","labels":{"en":{"language":"en","value":"A basis for the type \\(\\langle n\\rangle\\) hyperidentities of the medial variety of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 778305"}},"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":"Q1894688$6BF00B1A-FEF5-4266-A41D-8541C8F795D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8e0564507ddc8610af26c553e7cb2d8b4825831","datavalue":{"value":{"text":"A basis for the type \\(\\langle n\\rangle\\) hyperidentities of the medial variety of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894688$72C36390-B14B-4EFE-BA07-FEF163F49AC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d9e4f3b8ff9f5736c1ecc94575388137b09d1e4","datavalue":{"value":"0830.20081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894688$CEF9F84F-3AFF-4437-AE96-B7840FF38A1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4863b983dab5f4db49ae7573518e4fe3785c1e1e","datavalue":{"value":"10.1007/BF01827941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894688$5811A99F-3C0F-4E8B-BF92-C3B8C3722180","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":"Q1894688$423186C3-2F8F-4338-BA15-85447DB03096","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e8211cf89fb3e58cebf657950368971306be793","datavalue":{"value":{"entity-type":"item","numeric-id":176881,"id":"Q176881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894688$F158E851-B83D-4141-A16C-C83E1C63A675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2e4d7b864b259e9d648a2b76b651e0f4df79666","datavalue":{"value":{"time":"+1995-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894688$9B2021E5-258B-4926-BE82-CF281B0A4850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14bc02ee0256123b56f46c9560b087aae60536be","datavalue":{"value":"https://eudml.org/doc/182483","type":"string"},"datatype":"url"},"type":"statement","id":"Q1894688$C75AF992-2572-47C1-9EDE-BD1D82BC7241","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eec2d10fdfbc9aec953dfcf025c2e38142d74fba","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 medial variety \\(MV\\) of semigroups is the variety of semigroups satisfying the medial identity \\(xyzw = xzyw\\). The variety \\(MV\\) satisfies not only the type \\(\\langle 2\\rangle\\) hyperidentity \\(F(F(x,y), F(z,w)) = F(F(x,z), F(y,w))\\), but also, for \\(n \\geq 2\\), the type \\(\\langle n\\rangle\\) version  \\[ F(F(x_{11}, \\dots, x_{n1}), \\dots, F(x_{n1}, \\dots, x_{nn})) = F(F(x_{11}, \\dots, x_{n1}), \\dots, F(x_{1n}, \\dots, x_{nn})). \\]  However, \\(MV\\) satisfies other hyperidentities that are not consequences of these medial ones. In [Algebra Univers. 33, 15-25 (1995; Zbl 0820.20067)], the author proved that the type \\(\\langle 2\\rangle\\) hyperidentities of \\(MV\\) do not have a finite basis, and in this paper she extends this result to the type \\(\\langle n\\rangle\\) hyperidentities by constructing, for each \\(n\\), a countably infinite set \\(\\Sigma_n\\) of type \\(\\langle n\\rangle\\) hyperidentities which form a basis for the type \\(\\langle n\\rangle\\) hyperidentities, and showing that no finite set of type \\(\\langle n\\rangle\\) hyperidentities will suffice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894688$8CE729CD-8E33-47AF-AB9D-5FD6B9DCA0D1","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":"Q1894688$00E3933B-1CAC-44B4-B6FE-EA45423675A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894688$E8FBBDE4-6C68-4334-B1E3-C8995FE843DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b57334544bbf3d2858c9ffb26efb3a1429824417","datavalue":{"value":"778305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894688$4206D82F-CC45-408E-BC11-679797B1C167","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be029867ee060704ebe96fa7844e3b914df11d65","datavalue":{"value":"medial variety of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894688$3AAB53C5-AEEE-4D31-9F9D-3BCE38351A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0078e3cf3a6eee8917aa4e316e823a3dccb654b3","datavalue":{"value":"basis for hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894688$78275A2F-1395-4D39-878A-5942D04DBBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c679089dc806ac76fb72e999a99709b1446cc7","datavalue":{"value":"term functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894688$6734D9C7-AFED-44E0-92EF-7043CEE77280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b496dac9335311a814ee9984c6794b46ab42e24","datavalue":{"value":"medial identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894688$25872B1B-4EB9-4E37-A7B9-C241FBF3AD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2917116c3efd9bb761bad8a6e52af0d8190bed22","datavalue":{"value":"type \\(\\langle n\\rangle\\) hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894688$9B9BE8F5-FD70-486A-AEA9-24C4073439FC","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":"Q1894688$2F2084C4-A494-43D3-964D-7C065139D0F9","rank":"normal"}],"P223":[{"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":"Q1894688$3C18261E-98E5-4CFE-AB1D-DF10EAAFFCB7","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":"Q1894688$C3CF27CB-A8E8-4362-A7DA-1A946F9C905D","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":"Q1894688$657F47C9-2E27-4071-A8D5-C0864D6B59EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a32efe1cec0b09ab0c2ef2d61812ecd9a82b0ec","datavalue":{"value":{"entity-type":"item","numeric-id":1344838,"id":"Q1344838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894688$18BAF9B9-CF2E-42FC-94EE-80B1589E8938","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d833d54acc7ada87e32b22435bf5d5dabb875556","datavalue":{"value":"W2027073140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894688$D7E62093-5602-46C9-BCCF-E7C6F27828BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b545e709276665ec023319d01685e95b90cd067d","datavalue":{"value":{"entity-type":"item","numeric-id":1344838,"id":"Q1344838"},"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":"Q1894688$A7CD6BAD-A33E-4083-817D-1FE1420E3A2A","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":"2f3fe5aca76a9dc73314dd838d49eaeb4a220e5a","datavalue":{"value":{"amount":"+0.81285495","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":"Q1894688$A58775C7-A74A-4A2E-80B4-B48E3F1BA137","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":"e7b99f92433b8a83db946e13a5c3dd3bd0a500fa","datavalue":{"value":{"amount":"+0.78815","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":"Q1894688$A8E62418-2E9B-4BB6-B61D-AD6C079834E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8947fcad1906e0d87e22c40660e50743be61144","datavalue":{"value":{"entity-type":"item","numeric-id":1328444,"id":"Q1328444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e53231125f07f61f14abc25e07d7f42700bd30","datavalue":{"value":{"amount":"+0.78254044","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":"Q1894688$BD194904-DA4B-4A72-A2B4-3DB576922A86","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":"d2524d8f9c6c3843fb3c5253a1cfd4a4183a44c5","datavalue":{"value":{"amount":"+0.77783126","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":"Q1894688$B3122904-C2CB-4C33-B4FD-E2A165C0261D","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":"9594159bd0b0fc423b4c44a582e8f462c7c6e3e3","datavalue":{"value":{"amount":"+0.7739311","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":"Q1894688$B2E45254-3FF0-4BBC-97E1-D4A0100B2447","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":"543779ae99c06d256bb24658f44aa14fa582b82d","datavalue":{"value":{"amount":"+0.7725299","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":"Q1894688$9D7A53AA-F603-4118-9C9E-7425217AC9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8adb9279ca723efa5eabb1697b8308376fbbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2772743,"id":"Q2772743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7525a73d68c8ba5cf3016234169b9fa67a43a1a4","datavalue":{"value":{"amount":"+0.7673786","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":"Q1894688$9EAE08C2-C967-4FA4-BB23-ADF8682AB775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5473bfba48a528f4b2460ad0e36908daed3c574b","datavalue":{"value":{"entity-type":"item","numeric-id":1281621,"id":"Q1281621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4405ce22f087f49095c95f16802430ac75986b61","datavalue":{"value":{"amount":"+0.76313406","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":"Q1894688$DBFDB3E0-EA2F-48EC-98EF-FEE7E526EAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ab5169f8f9f71084f8bedfb24910180505b361","datavalue":{"value":{"entity-type":"item","numeric-id":861607,"id":"Q861607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a913e62b321284ec1b4a2b6200ccaa21185767b","datavalue":{"value":{"amount":"+0.76291543","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":"Q1894688$C1087A10-4BED-4D6D-951F-D9DD797FC461","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A basis for the type \\(\\langle n\\rangle\\) hyperidentities of the medial variety of semigroups","badges":[]}}}}}