{"entities":{"Q1305436":{"pageid":1316186,"ns":120,"title":"Item:Q1305436","lastrevid":67339548,"modified":"2026-04-12T16:58:06Z","type":"item","id":"Q1305436","labels":{"en":{"language":"en","value":"All solid varieties of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1346314"}},"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":"Q1305436$0CA015C3-4C32-48A7-BB54-378A5FB5939E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8ce12be1fa52a1473f3c36b3a8e40c6cc57e463","datavalue":{"value":{"text":"All solid varieties of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1305436$C3136768-130A-4449-84FD-A16E335C6734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"869b2a32d8f857197d13e60b1e51cc926ce74cb3","datavalue":{"value":"0935.20050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305436$F502E899-1F97-4980-9702-96CCAA354F70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4913da48f5ba38e8fa55dfbc807f9e32d04f31fe","datavalue":{"value":{"entity-type":"item","numeric-id":168365,"id":"Q168365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305436$F442A4DC-CBE1-4BC3-9F3F-7C6657EC0B5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305436$E3076C42-A1B9-454C-B265-FD20D2A1864A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ef42c3f85bfde0c050ab106cce6b093cc257881","datavalue":{"value":{"time":"+2000-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1305436$ED6C8D12-F83F-44FA-B550-28959F2A9D34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01f016fd3fe9f3688d0d0d3bb808b24c96019727","datavalue":{"value":"An identity \\(u=v\\) is said to be a hyperidentity in a variety \\(\\mathcal V\\) if \\(\\mathcal V\\) hypersatisfies \\(u=v\\) in the sense that whenever the operation symbols occurring in the terms \\(u\\) and \\(v\\) are replaced by any term (of the same type) of the appropriate arity, \\(\\mathcal V\\) satisfies the resulting identity. A variety is called solid if it hypersatisfies all its identities.   In the class of all semigroups, the greatest solid variety \\(\\mathcal H\\) has been discovered by \\textit{K. Denecke} and \\textit{J. Koppitz} [Semigroup Forum 49, No. 1, 41-48 (1994; Zbl 0806.20049)]; \\(\\mathcal H\\) is exactly the variety that hypersatisfies the associative law. The author [Algebra Universalis 36, No. 3, 363-378 (1996; Zbl 0905.20038)] has given a simple equational basis and an efficient solution to the word problem for \\(\\mathcal H\\). In the present paper he characterizes all solid varieties of semigroups. Namely, a non-trivial variety \\({\\mathcal V}\\subseteq{\\mathcal H}\\) is solid if and only if \\(\\mathcal V\\) contains all rectangular bands, is right-left dual and either consists of bands or contains a non-trivial zero multiplication semigroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305436$57561F10-A25D-43D0-86F1-EBC1B0D4D538","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305436$A407E7A2-F76F-42BC-99F3-420CDBBBA891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305436$E6983405-CF28-4BFC-A1E6-1F70C8E0BA5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11b9a6972462765b8673a16335a3f86bd4d8f01f","datavalue":{"value":"1346314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305436$210BAC14-3024-4616-AF6D-2F48C1EF996C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ef52bedc0db72dc2f4f18042199799bed1ceb","datavalue":{"value":"hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305436$ABADCC69-16FD-497F-97B6-C92603A26491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8370f09846d08cccd37cf75e3140f2c65445a1d","datavalue":{"value":"solid varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305436$BA88826B-9F43-4FB7-9D56-FD0361D200E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305436$4E32FBD1-DAAF-40A2-B952-A22D9CB136A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305436$A3081D2C-D0F4-4A71-9690-309733195EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca0202200db990bf8abc7dff14f2845a3a8a8c59","datavalue":{"value":"rectangular bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305436$0FDC0D26-8FA6-46EB-B8E8-A733FEE62970","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":"Q1305436$57EF2A7A-B9F4-4F41-BBD6-B4FC2954CA00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecbfeea6dfa95332b6e03b0c7c3ed018c75bc1f9","datavalue":{"value":"https://doi.org/10.1006/jabr.1999.7917","type":"string"},"datatype":"url"},"type":"statement","id":"Q1305436$29D8A399-1557-4C0F-81D1-1C030103E151","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a1995d7dd44467ea8f4c5ef5668adf1cdd40a85","datavalue":{"value":"W2093740572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305436$7C01F6AA-2544-408F-9A5B-34A12508017A","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":"Q1305436$4A63B50A-EA1F-4A26-8C50-3ECF187416ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080aa8748cd8a069085b6c929eb2a5333b797538","datavalue":{"value":{"entity-type":"item","numeric-id":1318964,"id":"Q1318964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305436$CD58218B-7632-43C4-8542-8B5C7B337CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2289fdc4f7e3de6e83155d777f6890a2f3d0fed1","datavalue":{"value":{"entity-type":"item","numeric-id":4839133,"id":"Q4839133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305436$2F5D70E7-764D-41D8-B594-FB1F05967E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504cf35504a558595d759ae688ce74a867b8260d","datavalue":{"value":{"entity-type":"item","numeric-id":1272220,"id":"Q1272220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305436$80D96FEE-2366-4A18-B924-2A0467D879F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88c1b7df2ac9d2b8fe29fb0962bc242a699cedb","datavalue":{"value":{"entity-type":"item","numeric-id":3138868,"id":"Q3138868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305436$C33966D6-FA1C-4A4D-8FD9-F59703B73ED3","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":"Q1305436$C59C157D-2CBF-4A17-9FE1-D2CCB88C7A9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5545eb60eb753c5c8fa4994a93ab6890401e549f","datavalue":{"value":"10.1006/JABR.1999.7917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305436$9EA5B7B3-6540-4A9C-BE5C-149166F616DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f5c3007b164ddce38b496c1773bc3b5923c5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4862259,"id":"Q4862259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82bd3d81cf011f00d76c45b17cc8cdeab897cd8d","datavalue":{"value":{"amount":"+0.9347078204154968","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":"Q1305436$265CFCA5-39BB-4901-A2F2-C2C7C98F2D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"981b7e0994dae40e2adcc46fb2b021ce08603d02","datavalue":{"value":{"entity-type":"item","numeric-id":1318964,"id":"Q1318964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44859c3516e6bc1abab56f93775021d8961515ab","datavalue":{"value":{"amount":"+0.927046537399292","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":"Q1305436$BDE94FAE-97E3-4F93-95B8-6B1BE60536E9","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":"722ec9386ea19660b8be4a7500cb4da4e7bf9ff7","datavalue":{"value":{"amount":"+0.9073339104652404","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":"Q1305436$A241E930-33B8-4F72-B535-D69BA9489B8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All solid varieties of semigroups","badges":[]}}}}}