{"entities":{"Q1175932":{"pageid":1186681,"ns":120,"title":"Item:Q1175932","lastrevid":69807258,"modified":"2026-04-13T09:31:38Z","type":"item","id":"Q1175932","labels":{"en":{"language":"en","value":"Hyperidentities for some varieties of commutative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 14883"}},"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":"Q1175932$0C2A16A5-C520-4F97-8583-66858D41693B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"983603802a68c1b954f6b6a0411ae9c07fa1ba10","datavalue":{"value":{"text":"Hyperidentities for some varieties of commutative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175932$7AB3AA43-F77E-484F-993F-46C23830562B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"157c4689488ce8e3f43ed6b255f1e5d3a6e796c7","datavalue":{"value":"0741.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175932$171CE147-359C-4EAF-9673-F94DE080A0EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6d81ac728ff0abf5647fe29c02f4c68aae069a2","datavalue":{"value":"10.1007/BF01190855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175932$8B30D899-AB3E-4C25-9581-B60B7F5E5A2D","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":"Q1175932$3B633039-D151-4BFF-B044-DCF3476E595E","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":"Q1175932$D4689756-812A-42A5-A5C8-6FDF58913DFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175932$D5218CD9-C32D-400C-88E9-2AF7275B47E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c03b63a0a32d0e23a43ebcf3989b2b45d31fe5f9","datavalue":{"value":"A hyperidentity differs from an ordinary identity in that it involves variables representing functions as well as ordinary variables and a variety \\({\\mathfrak V}\\) satisfies a hyperidentity if, whenever the variables representing functions are replaced by terms of \\({\\mathfrak V}\\) of the correct arity, then the resulting identity holds in \\({\\mathfrak V}\\). For instance, the variety of commutative semigroups satisfies the hyperidentity \\(F(G(x,y),G(z,w))=G(F(x,z),F(y,w))\\). A hypervariety is a class of varieties closed under the formation of equivalent, product, reduct and subvarieties. \\textit{W. Taylor} [Aequationes Math. 23, 30-49 (1981; Zbl 0491.08009)] showed that there is a Birkoff-type theorem for hypervarieties and identities: Theorem. Every set of hyperidentities defines a hypervariety and every hypervariety is definable by a set of hyperidentities.   This paper considers the above concepts applied to \\(L({\\mathfrak CS})\\), the lattice of varieties of commutative semigroups. For any variety \\({\\mathfrak V}\\) of semigroups, we can define a hypervariety, \\(H({\\mathfrak V})\\), which is the smallest hypervariety containing \\({\\mathfrak V}\\) and a variety \\(\\bar{\\mathfrak V}\\), the closure of \\({\\mathfrak V}\\), which is the largest variety in \\(H({\\mathfrak V})\\). Information about the closure of various varieties is obtained by first constructing hyperidentities which they satisfy. For instance, it is shown that the variety \\({\\mathfrak A}_ p\\) of abelian groups of prime exponent \\(p\\), satisfies a certain hyperidentity \\(K_ p\\), where, for example, \\(K_ 3\\) is  \\[ F(F(F(x,z_ 2),F(z_ 2,z_ 1)),F(F(z_ 2,z_ 1),F(z_ 1,y)))=F(x,y). \\]  However, other varieties of commutative semigroups, such as \\({\\mathfrak A}_ q\\), for \\(p\\neq q\\), and \\({\\mathfrak A}_{1,p}\\), defined by the identities \\(xy=yx\\), \\(x=x^{p+1}\\), do not satisfy this hyperidentity. Several other hyperidentities which distinguish hypervarieties of commutative semigroups are constructed. A sample result is: Proposition. Let \\(p\\) be prime; then the closed variety \\(\\bar{\\mathfrak A}_{1,p}\\) has precisely 32 subvarieties, of which seven are closed. Thus there are seven corresponding hypervarieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175932$E3745009-C246-4338-9747-95C1B1F27CCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175932$064C80C7-66E3-4933-9F84-6B81254AB92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175932$A6304DAE-C279-4F6B-9B9C-A5724A88D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175932$71C49B73-4E2B-4BE1-B6BB-1251F5B8B9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175932$BBD422C0-BE2D-4E6D-B8C6-E6BB01739E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175932$6B473C68-F6CF-45F4-B6D1-F1D46E07BF86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51d6fe6ac54708aad50323aaf9dbc0bcce8c6c91","datavalue":{"value":"14883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175932$975E9DF3-A99B-4271-BEDA-857522975674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b60baa86f5b0cb5df886416d7fb0a24e2e59bbe8","datavalue":{"value":"variety of commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175932$DAE3CF80-9623-4C95-AA26-F0413A537F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b21cc6b8492afdc807f33e767c7aec98ca492b","datavalue":{"value":"Birkoff-type theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175932$F81B9A27-9C02-41BE-AED4-5B1B93C80E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d43aeea253ed242ae5c9561aa51a2694fbf7c67c","datavalue":{"value":"hypervarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175932$418EFB73-DBA5-4F7F-BB16-B737B5CDC8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ef52bedc0db72dc2f4f18042199799bed1ceb","datavalue":{"value":"hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175932$B5BB85D4-6B27-4D39-9953-FB151FABF074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792f6aba47a2a8b885c06cfa6cd7bb9cf63f7176","datavalue":{"value":"lattice of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175932$BB3C3B38-DD54-4EB5-A38F-1BD005A2C89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c58eb14d9661dda73a0da1865d010509f29ff8d","datavalue":{"value":"hypervarieties of commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175932$79C799AD-3701-4F2D-9BD1-9D2FC24E7B00","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":"Q1175932$173B7E11-3986-46F9-B916-9BD2F7D2CE11","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":"Q1175932$88946A96-108B-47F3-BA63-4E7EC45F45B8","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":"Q1175932$BB510521-4547-4CA9-99F8-AAE5086986CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0069bfd44f20ffca1f13711f6ed0aaa8cdbb2345","datavalue":{"value":{"entity-type":"item","numeric-id":5632610,"id":"Q5632610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175932$FDAE3986-46AA-4D3B-A1BD-CC2F8609978D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5206c0aa409e0b45d625afcfd860e34e42cc31","datavalue":{"value":{"entity-type":"item","numeric-id":1843851,"id":"Q1843851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175932$76292D10-D005-45BE-A8B0-7AAF403859A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b25304c054e7fd66b3f98b543fcf2d21bcc256c","datavalue":{"value":{"entity-type":"item","numeric-id":5569496,"id":"Q5569496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175932$6C77290D-53D2-4709-B0BF-47A75C671125","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":"Q1175932$A26DA451-9F5F-4E88-A398-1A49A9B6919A","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":"Q1175932$8FA76DFB-11D5-472D-8BE0-FD1804C846FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71be31e6f30adafb7c57981ac14340a294a4bf28","datavalue":{"value":{"entity-type":"item","numeric-id":5758382,"id":"Q5758382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175932$D87BE898-66C7-4F94-B978-8913BF6C1DC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12ef5252feeb6dc9710efde425511e6554e5d97e","datavalue":{"value":"https://doi.org/10.1007/bf01190855","type":"string"},"datatype":"url"},"type":"statement","id":"Q1175932$3E9BCC93-0B04-4E32-817F-6CBCFA57DCD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a87f25c4d40bf1c0508bf2ba630bd6a1d960f990","datavalue":{"value":"W1995200720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175932$971F56AC-9E12-4A40-A689-EF778C994867","rank":"normal"}],"P1643":[{"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":"0a3071745e69d7ef0a743cf5c68e57d5086f385d","datavalue":{"value":{"amount":"+0.8747671246528625","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":"Q1175932$20C66244-8710-4709-AD1B-1887987DB045","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":"7351429ef380918a305297d044d81411ac568f20","datavalue":{"value":{"amount":"+0.8654851913452148","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":"Q1175932$959E2A3F-A5A5-4292-A2C2-BE1513102725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51404096e99a889492113061904b4e9218aad31a","datavalue":{"value":{"entity-type":"item","numeric-id":583257,"id":"Q583257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108f093f17b7fa636718b68a37716dd14b464642","datavalue":{"value":{"amount":"+0.8643191456794739","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":"Q1175932$ACA7CB94-C81E-4C39-83F1-98F21689223F","rank":"normal"},{"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":"4a89f56c9eab19ec852cf4582c03fd792a6bf81d","datavalue":{"value":{"amount":"+0.8643109798431396","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":"Q1175932$5DB801B0-F13D-4168-9DAE-B60EF72AD5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee78caedbbfbd70763d9368934288d00e2b187a","datavalue":{"value":{"entity-type":"item","numeric-id":3820660,"id":"Q3820660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9477dc07003ce35610a1f2968d411a90b654d215","datavalue":{"value":{"amount":"+0.8606957793235779","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":"Q1175932$BDB4E53B-85E3-417F-AF11-9C0995E038BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperidentities for some varieties of commutative semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperidentities_for_some_varieties_of_commutative_semigroups"}}}}}