{"entities":{"Q1272134":{"pageid":1282884,"ns":120,"title":"Item:Q1272134","lastrevid":70043472,"modified":"2026-04-13T12:03:30Z","type":"item","id":"Q1272134","labels":{"en":{"language":"en","value":"Derived varieties of semigroups and groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226225"}},"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":"Q1272134$9901A3D8-7197-45C3-9CBF-CF7CA40E3828","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a4e501a2f2cb751368d7f2b833c437613e971df","datavalue":{"value":{"text":"Derived varieties of semigroups and groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272134$4EE985D8-34E9-4BC4-B5F6-26B8A864B788","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc7fd5b65bc754dc701c3be96408f6ebcff84224","datavalue":{"value":"0903.08015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272134$DE099FAF-E699-4450-AC83-93ADEADC4ED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e19d9290c7c998626a9192d3f88309fae930242","datavalue":{"value":{"entity-type":"item","numeric-id":584734,"id":"Q584734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272134$D873E199-F0D2-4ABB-B191-BDD332287C37","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":"Q1272134$64C6BDA3-E1EA-4C5A-977E-B4979FDFF08D","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":"Q1272134$8AE7C37B-C04D-42D6-849E-44BBFA804D87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272134$ADDEE591-98C5-43DC-96DF-2109E8B79452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76d2514dd8af467ae48987f6d00b5ae5d1fe9953","datavalue":{"value":"http://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4889","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272134$118889E9-52C6-408F-AFBC-B471BEFBC34E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3a1df4d069437785b60cafd883e5e6254941299","datavalue":{"value":"For a given algebra \\(A = \\langle A,f_i\\rangle \\) and any hypersubstitution \\(\\sigma \\), both of type \\(\\tau \\), denote by \\(d_{\\sigma } (A) = \\langle A,\\sigma (f_i)\\rangle \\) the \\(\\sigma \\)-derived algebra of \\(A\\). The \\(\\sigma \\)-derived variety of \\(V\\) is the variety \\(d_{\\sigma }(V)\\) generated by all \\(\\sigma \\)-derived algebras of \\(V\\). If \\(A\\) and \\(B\\) are each derived algebras of the other, we call them mutually derived.    If for a hypersubstitution \\(\\sigma \\) the algebras \\(A\\) and \\(d_{\\sigma }(A)\\) are mutually derived for every \\(A\\in V\\), the derived variety \\(d_{\\sigma } (V)\\) will be called mutually derived variety of \\(V\\). Next, \\(V\\) is called mutually solid if every mutually derived variety of \\(V\\) is contained in \\(V\\), and semisolid if every mutually derived variety of any subvariety of \\(V\\) is contained in \\(V\\).    These new concepts are weaker versions of solidity of a given variety \\(V\\).    In the paper under review the authors deal with relationships between these concepts using a number of nice and significant examples. Especially, they concentrate on the mutually solid and semisolid varieties of bands using the so-called derivation diagrams.    Among others they show that every groupoid mutually derived from an abelian group is a medial and non-idempotent quasigroup. Also they prove that derived algebras of abelian or solvable algebras are abelian or solvable too.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$4991F048-3314-4520-9075-8DB13CCB33C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272134$E190E2F7-4AD7-4EEC-8B87-27C65D67A17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272134$B31FFD37-95E5-4F6E-BCFC-686DE6701E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272134$0A8A45B0-B68E-4B06-A39E-F0B1D033F6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272134$F730FE99-F940-4A4C-94D1-164073C021BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272134$1FA2307A-99B6-4E63-ABB9-81673F3F0E00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8acd4bd03d1305cad38468a31860b025e81051e7","datavalue":{"value":"1226225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272134$2ED316CA-AA75-4083-8351-4010FDCFF801","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0773aa24b28394e58cb971e41a231c95a0018cbb","datavalue":{"value":"mutually solid variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$7760341B-013D-49DE-B1EF-F3E0477236FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a27e7ec458bfa9b8ab63e118e5b4ff9d27a3a6","datavalue":{"value":"semisolid variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$6CFC039D-7883-47B5-A285-518652B4B436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3071c008675d7b72d507697bdd1fe97300fcd612","datavalue":{"value":"derived algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$E602F4F1-F96C-4AC4-BAA8-F1A8900F6BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165e12883314f2c2219dfa0d607bca4c6ecffd7d","datavalue":{"value":"mutually derived variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$0FAFD5EA-B269-44B8-92D0-D9015F0237E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4b22f8098ebd401623f61ce88938e281f96537","datavalue":{"value":"bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$59E1C6BA-8DE1-4066-89B2-595881CA9279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb27315a8f77fc8a9643237530558ba635f10ce","datavalue":{"value":"derivation diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$A86655EA-784F-4792-804A-2F3C0742B2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcc9f78a70b8cae99c131d43b52a212c8fcb02e","datavalue":{"value":"groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$74DE19B5-0FFC-4C98-B38A-A4BAE5593E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67c84447d295f7d9ab1bf3bb2d32335e5a0ba755","datavalue":{"value":"quasigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$19B31353-4E8F-4B54-AC0A-5372525C657E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d534b119f21bb6d59d06ad827bfded0c1288613d","datavalue":{"value":"solvable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$6C104181-6ACB-41D1-8159-C06021E2F62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd95ede833b6bc5b7f637c85a2ad4049e5eee42e","datavalue":{"value":"abelian algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272134$ADEC9711-1EFF-483A-ADB7-CE1D19F40B33","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272134$658239DC-364A-418F-BB1E-47B655E5D16A","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":"Q1272134$94A37168-3470-469C-91BB-13999AE5BBD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"868851f485be996776c9fb877bbfb484d96d8657","datavalue":{"value":"W2013210896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272134$36CE62A8-80CD-4495-B0BD-068EDEECF292","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"580ef317eec2d6502a970fdb39a96f973e679484","datavalue":{"value":"10.1007/S000120050037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272134$85C7BF0E-EE9C-45F3-AC52-2222961282E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70461514b5319f34062901675177b06d22491bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4704546,"id":"Q4704546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf91ce3f5bfed4c7cab6ceb768fbdba5a6291b61","datavalue":{"value":{"amount":"+0.8465339541435242","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":"Q1272134$8ADA3CA5-C886-4896-ADB8-79A90CD31A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84dd05f2751a4c6b0069db4d3ce506f027574c67","datavalue":{"value":{"entity-type":"item","numeric-id":4224067,"id":"Q4224067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5746b20e53ddef46751fd02d5f7639a14a90df64","datavalue":{"value":{"amount":"+0.7939211130142212","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":"Q1272134$B4C1B3D1-19E3-4161-9785-EEB5E94CA3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc31701c638d1793efe9279b762fcb4a3290330","datavalue":{"value":{"entity-type":"item","numeric-id":4864479,"id":"Q4864479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8474527627688076f523dad1e6c378faeb65f6e","datavalue":{"value":{"amount":"+0.7788098454475403","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":"Q1272134$90EC3C99-F50B-4438-B34E-11F965AEC19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07ee92d15375d0be636d6c0aa58f5980118a33c","datavalue":{"value":{"entity-type":"item","numeric-id":5392570,"id":"Q5392570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5c0f7ae8a7fe157699305d207a8819b560ba83","datavalue":{"value":{"amount":"+0.7733472585678101","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":"Q1272134$E7D16E31-8E41-4FC6-99F4-329CCBDF0E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bcd31954ed53c6736947f3a7b81c841d27ca591","datavalue":{"value":{"entity-type":"item","numeric-id":1976430,"id":"Q1976430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5236dfc4724f9b380631fd4c03956f615b5546d","datavalue":{"value":{"amount":"+0.7701405882835388","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":"Q1272134$4D13D779-25D4-409B-9E2A-11855C7EED6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derived varieties of semigroups and groupoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Derived_varieties_of_semigroups_and_groupoids"}}}}}