{"entities":{"Q1318964":{"pageid":1329714,"ns":120,"title":"Item:Q1318964","lastrevid":68452125,"modified":"2026-04-12T23:48:07Z","type":"item","id":"Q1318964","labels":{"en":{"language":"en","value":"Solid varieties of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549065"}},"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":"Q1318964$C38B37FE-C581-4F58-8892-C49E8164A215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d7f0a7de94283e94e9d4ef83a2791c79184223a","datavalue":{"value":{"text":"Solid varieties of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318964$366523C0-9669-468B-B2D4-DB22640B649F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26f3bad81dbe11f7d42672fb2cc145c4349e5a7f","datavalue":{"value":"0797.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318964$8B9B1908-C416-45E4-AAB1-AAE9D8956C19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6da78bf4c21e38fa0f2e7045c5097ca6b4271509","datavalue":{"value":"10.1007/BF02573671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318964$2DA9DBE0-DE58-4E50-8E2E-804DECBB9E80","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":"Q1318964$95E5E252-0AE2-4304-AA12-6F1A6C44540C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4191656b1a8adf58cf26181dfbc61e7e91bb410","datavalue":{"value":{"time":"+1994-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318964$98D02534-0690-4685-8C1B-8C1F0295BF05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bdbfd4ad9387647bb76c7dfff57b1ee9403f185","datavalue":{"value":"https://eudml.org/doc/135313","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318964$B01C7ED4-3841-4FE3-BB18-723C55742906","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"389e0621cc1b062ec3cd52736b2b6cc13e4561e2","datavalue":{"value":"Let \\(\\tau = (n_ i)_{i \\in I}\\) be a type and \\((f_ i)_{i \\in I}\\) operation symbols such that the arity of \\(f_ i\\) is \\(n_ i\\). Let \\(W_ \\tau(X)\\) be the set of all terms of type \\(\\tau\\) in an alphabet \\(X\\). A map \\(\\sigma: (f_ i)_{i \\in I} \\to W_{\\tau}(X)\\) is a hypersubstitution. If \\(t \\approx t'\\) is an equation, then \\(\\Xi[t \\approx t']\\) denotes the set of all equations obtained from \\(t \\approx t'\\) by hypersubstitution. The equation \\(t \\approx t'\\) is a type \\(\\tau\\) hyperidentity of an algebra \\(A\\) if \\(A\\) satisfies all the equations in \\(\\Xi[t \\approx t']\\). Similarly, an equation is a hyperidentity of a variety \\(V\\) if it is a hyperidentity of every algebra in \\(V\\). A variety \\(V\\) of type \\(\\tau\\) is solid if every identity of \\(V\\) is also a type \\(\\tau\\) hyperidentity in \\(V\\).   It was shown by \\textit{K. Denecke, D. Lau, R. P\u00f6schel} and \\textit{D. Schwiegert} [Contrib. Gen. Algebra 7, 97-118 (1991; Zbl 0759.08005)] that a variety is solid if and only if it is a hypervariety. This paper gives other results of this nature for algebras in general, and then turns to a study of solid varieties of semigroups. Many new examples of such varieties are given, and a picture of the bottom of the lattice of such varieties is produced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318964$070DB57D-330A-44E5-B482-008DC1F7037A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318964$CA202BAB-9F8B-4F5B-8BF3-B2E198B6749C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318964$5BA6F504-0638-4DBA-ADE5-E3DB6BDDEBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318964$5F64340E-FA80-4FC9-AFCB-2CC103BA8190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c23ae6262891c42eb9ef6a2f94e6869ee49d0995","datavalue":{"value":"549065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318964$9C8CF970-0E56-455A-9F36-BEE9DD6AA94D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792f6aba47a2a8b885c06cfa6cd7bb9cf63f7176","datavalue":{"value":"lattice of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318964$11C0E106-A3D2-4C1B-AA3C-20361D68B7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a2d99dd366e12ee8fd608e27922f0828010815","datavalue":{"value":"type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318964$0749970C-8FC4-407C-B8EB-462C894E5885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fab39c845dad553a632507b70d96d8a1f3a7769","datavalue":{"value":"operation symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318964$9416D926-F996-45E9-A2FA-2FB2AD466D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ec15ba5367d75762ced6d1ca09476ef40bb008","datavalue":{"value":"hypersubstitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318964$24DDC56F-91FF-4B51-A8BF-EE1CC73D3F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19eceb28b3d4505ba888d1ace179a9bd0d9c64b5","datavalue":{"value":"hyperidentity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318964$4D941E1B-95BF-4E2D-9601-13ABD086B237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab2d6d19d706d79fff749777bd54b801474498cd","datavalue":{"value":"hypervariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318964$6FE7C7E8-B1DF-4EC5-B87E-D1C12A7E6A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8370f09846d08cccd37cf75e3140f2c65445a1d","datavalue":{"value":"solid varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318964$55263D29-1085-44D0-9262-4F007EE63435","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48a3ff1d817d1b69c87ea41d273be250b65bac94","datavalue":{"value":{"entity-type":"item","numeric-id":345246,"id":"Q345246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318964$185CD4FA-40BE-40D6-83C9-0DF3EE4B70C1","rank":"normal"},{"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":"Q1318964$7060B43B-FF32-49DC-B089-84CAA8681EF4","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":"Q1318964$6F2892A7-0298-41AD-BBB8-2088F15B176C","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":"Q1318964$C898C102-D50F-4C50-B6CC-1983131B1805","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a957ee393446dc04f0c81742a1da7b0dcaae904e","datavalue":{"value":{"entity-type":"item","numeric-id":3979090,"id":"Q3979090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318964$8C7507AC-8026-40BB-B8C3-B967D4E69FB1","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":"Q1318964$28C9C50A-1BFF-4B7B-817D-47F0E4EDFA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318964$5DEE8201-9C8A-44DC-9E1A-EE6C59BF3EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bd8713bae561f37ec040a69648560729c5284a","datavalue":{"value":{"entity-type":"item","numeric-id":4026909,"id":"Q4026909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318964$26FF4314-ED76-499F-93A7-8EDAD53B0727","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":"Q1318964$A375CAB9-AF22-4D9A-815B-6E7DB2107EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da715f322253a511046c001ef7b91c0f00738f3","datavalue":{"value":{"entity-type":"item","numeric-id":583257,"id":"Q583257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318964$ECAC8567-31A8-4CD7-862E-0402EDFE1119","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":"Q1318964$6BAE2337-87AA-4E75-9B11-FEEF631A506C","rank":"normal"}],"P1643":[{"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":"7c9eabeb1fa944c642ae7fe54b12de9dbdd688d2","datavalue":{"value":{"amount":"+0.93490195","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":"Q1318964$785E8DF3-C882-41BD-9EB4-0ED8B3636542","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":"8335614162d86e094684ea34372cedfea55ca501","datavalue":{"value":{"amount":"+0.8828912","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":"Q1318964$FA33960C-0BF9-428F-A4E7-75D3834558B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5b194c6b427bd3454f3bfd5322243336a0d50e","datavalue":{"value":{"entity-type":"item","numeric-id":4344296,"id":"Q4344296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588c77323f053369cf57b570b27dfdf500a1aad9","datavalue":{"value":{"amount":"+0.88020813","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":"Q1318964$6CBE1892-1D50-47AD-9FE1-9E5424062B4D","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":"146941b9475739f427276e9d990ba3ce572c9c17","datavalue":{"value":{"amount":"+0.8661496","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":"Q1318964$F7E4DB22-1320-4E3F-A817-D4BB3A746D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9567fb79e9cbd4de7ebb218ceb9577133fb92df5","datavalue":{"value":{"entity-type":"item","numeric-id":4527150,"id":"Q4527150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668468757c7cdc19bf629cb45fcf7883454f589f","datavalue":{"value":{"amount":"+0.86304796","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":"Q1318964$A53CC0B6-707E-421D-A10B-0B1CA54EA74E","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":"827eb93ea6d4fe682681acc8c3c15076bb2341b3","datavalue":{"value":{"amount":"+0.8621324","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":"Q1318964$468B03BC-7838-46F8-8D0C-2F9A1247A6A9","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":"b58ea41439c577a3ae4589f1d26c85b9e28a3bf8","datavalue":{"value":{"amount":"+0.8494607","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":"Q1318964$E198164F-F95C-446C-9D39-E3E9F842DB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e87fbb523474377990f03acf546519f63bb4c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4399493,"id":"Q4399493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da749059b80e7272674945e313b81fc8954332b","datavalue":{"value":{"amount":"+0.8457456","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":"Q1318964$12C6F88B-2675-40CE-9031-364D3D975014","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":"57d5e1a828ddd010a9cf69d4a2b7e2c76349600a","datavalue":{"value":{"amount":"+0.840279","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":"Q1318964$6554FD24-E959-4746-879A-6FF6BAFA725E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1242606cb781248283d14f911eb7cdcfeb714371","datavalue":{"value":{"entity-type":"item","numeric-id":4886943,"id":"Q4886943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28cb130ff66100742d7818a7044f0540ec4f39c","datavalue":{"value":{"amount":"+0.83599097","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":"Q1318964$3155D65A-2243-49A1-A362-47A157D68735","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solid varieties of semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solid_varieties_of_semigroups"}}}}}