{"entities":{"Q616120":{"pageid":617896,"ns":120,"title":"Item:Q616120","lastrevid":51159305,"modified":"2026-01-17T00:03:54Z","type":"item","id":"Q616120","labels":{"en":{"language":"en","value":"On groups of hypersubstitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5833772"}},"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":"Q616120$D358F604-1E45-44EF-9A4F-185A9188451F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"580b65a947fc4de90cb35570a8e8531a07c0f19b","datavalue":{"value":{"text":"On groups of hypersubstitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616120$7C70AE3C-CA04-435C-87FC-A7D77DE6EB39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d3224ba1b7a6085fe5f949a67e33f8ade529bc3","datavalue":{"value":"1216.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616120$DCE0343D-3807-4F01-B978-2C61DE07FE66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3af2f910c65dbdd1760556e229fe43e21622227","datavalue":{"value":{"entity-type":"item","numeric-id":209617,"id":"Q209617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$20FED5F0-FD72-4E32-B51B-11636B48AA26","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":"Q616120$D92E9282-B164-4C9A-B4DF-EFC03E109ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616120$3E7B0D0A-E203-44D4-ADA5-6B2EBCE945E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e4a27f5b9b22613b0a4b4f1e8cd85e733fcad48","datavalue":{"value":"Let \\(\\tau : \\Omega \\to \\mathbb{N}\\) be a finitary type, where \\(\\Omega\\) is a set of symbols of algebraic operations and \\(\\tau (\\omega )\\) is the arity of the \\(\\omega\\). Let \\(P\\) denote the ordered set of positive integers and \\(P\\Omega \\) denote the set of \\(\\Omega\\)-words over \\(P\\). The so-called derived type \\(\\tau': P\\Omega \\to \\mathbb{N}\\) was defined in [\\textit{J. D. H. Smith} and \\textit{A. B. Romanowska}, Post-modern algebra. New York, NY: Wiley (1999; Zbl 0946.00001), \\S IV 1.3]. A hypersubstitution of type \\(\\tau \\) is a morphism \\(\\sigma : \\tau \\to \\tau '\\) in the slice category \\(\\text{Set}/N\\), that is, a function \\(\\sigma : \\Omega \\to P\\Omega \\) such that \\(\\tau ' \\circ \\sigma =\\tau\\). Each hypersubstitution \\(\\sigma : \\Omega \\to P\\Omega \\) extends to a corresponding function \\(\\hat{\\sigma} : P\\Omega \\to P\\Omega \\). Let \\(\\mathcal V\\) be a variety of algebras of type \\(\\tau\\). A hypersubstitutions \\(\\sigma\\) is called (\\(\\mathcal V\\)-)proper if \\(\\hat{\\sigma} (u)=\\hat{\\sigma} (v) \\) for every identity \\(u=v\\) of \\(\\mathcal V\\).  In the paper under review, the proper hypersubstitutions of a variety \\(\\mathcal V\\) of the kind \\(\\sigma : \\Omega \\to \\Omega \\) are considered. If hypersubstitution \\(\\sigma : \\Omega \\to \\Omega \\) is invertible and (\\(\\mathcal V \\)-)proper, it is called a \\(\\mathcal V\\)-hyperequivalence. In particular, it is proved that every monoid may be realized as a monoid of hypersubstitutions and every automorphism group of a monoid is isomorphic to the \\(\\mathcal V\\)-hyperequivalence group of some variety \\(\\mathcal V\\). Since groups of hyperequivalences can be regarded as symmetries of algebraic theories, the author takes an interest in the phenomenon of symmetry-breaking. He considers lattice theory and quasigroup theory from this point of view.","type":"string"},"datatype":"string"},"type":"statement","id":"Q616120$AD5B0D26-9118-4058-8126-314D2A213BB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616120$360D6BFD-3EC7-4406-91B9-8814DF48D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25c8936003d39e41a9c8a541470f5aac0fe1fa32","datavalue":{"value":"20B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616120$88AC6BDF-66B8-4C5F-A397-9AFC7FF414A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616120$460A1097-9E38-4381-8287-50C82DDF2196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616120$A4F1BC58-CCAF-45C4-A463-10B381A524C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92083ba54eeea902eea492b1ce16348ac2457f7d","datavalue":{"value":"5833772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616120$1BAFC11F-8968-4D4D-B459-9747E9CD1BF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ec15ba5367d75762ced6d1ca09476ef40bb008","datavalue":{"value":"hypersubstitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q616120$906A1576-D496-4B43-9A07-852D8781CA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q616120$004B066F-D31F-4CBB-9893-44E8F48CA675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9751e40fc64b559f097ced67cd2c8f328b9f12c","datavalue":{"value":"one-way function","type":"string"},"datatype":"string"},"type":"statement","id":"Q616120$DB0E0F3E-F438-438C-A4AC-1512E827E4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67c84447d295f7d9ab1bf3bb2d32335e5a0ba755","datavalue":{"value":"quasigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q616120$A481183A-9F17-4416-844E-02334E659786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974370415f03715f64eec6916f892e83db11f314","datavalue":{"value":"hyperquasigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q616120$4C1BB9CC-2FD4-468A-A6BC-12B4CE39F9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5a6149d2e4f98becb0178eea9cfe1eaac0f9cc","datavalue":{"value":"loop transversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q616120$E01EFD31-EB61-402D-AC44-918FB30B8049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b77138e7fe794a03346b172066d0811b1bd068","datavalue":{"value":"Catalan loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q616120$E37C0155-31F8-44B3-B3D2-17C635699B4D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$1DEE4402-B0B4-403F-98E4-DDEA0E58BF6A","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":"Q616120$1D26E1D2-9857-443E-BF42-2C41E83FEE91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ae18102eb6d23d830aec545208ec4f62d2279c6","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0087-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q616120$4FC1DCF6-79F0-4C0A-B1CB-C02926B1517F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ce4c38214661d649822de6a550de26a7fa206dc","datavalue":{"value":"W2079532654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616120$CFDCF560-1FAE-4D25-840D-EE773440018F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2999991a9e34dadcc8a7c2b3e971d60f274c7577","datavalue":{"value":{"entity-type":"item","numeric-id":5507586,"id":"Q5507586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$3DEA54F3-22EB-448D-BF52-1926B7467D19","rank":"normal"},{"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":"Q616120$B84A56F1-0824-46BC-B545-C07D7879E735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b39b2a2decd5fe44359081fd902bf8df2616591","datavalue":{"value":{"entity-type":"item","numeric-id":4510394,"id":"Q4510394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$C415136B-54F8-4793-ADE0-505249F3F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044b3cecefeb8535c4b79ca165875c66267695e8","datavalue":{"value":{"entity-type":"item","numeric-id":3056309,"id":"Q3056309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$74459601-7D67-4B22-82E5-C7D56242E8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"023333b1f12960ea2b44c5fbfda48c768a0fc59b","datavalue":{"value":{"entity-type":"item","numeric-id":3993246,"id":"Q3993246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$1A0FE6C5-7F66-4C70-A26F-7D39FD2820B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9840c4295565219d1cd8465930911a64bd9272fc","datavalue":{"value":{"entity-type":"item","numeric-id":3998094,"id":"Q3998094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$5DECD482-2F7B-48AB-85CA-F78CFD92E0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15a98ca881d108913b994822df14379ae7a881d","datavalue":{"value":{"entity-type":"item","numeric-id":4839138,"id":"Q4839138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$39218CED-727C-4290-B259-ED910E0A05B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b8d7d5862e2e2cbaade9b32ccef02ec0b893e9","datavalue":{"value":{"entity-type":"item","numeric-id":3568689,"id":"Q3568689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$861AEEBF-E25F-4AE3-8A3A-3A9E1F9EC852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006d0fc3182bc9cc569595fe5f93df5f6bb9ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4951437,"id":"Q4951437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$6AE8CBDD-BB92-47FA-911D-A1FB78278C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedfdeafc0ae3ad891573a8655e32815dcc7e84b","datavalue":{"value":{"entity-type":"item","numeric-id":3957942,"id":"Q3957942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$95259314-EC69-460E-8F79-EA542570D863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1746c0002a982167f6b872896509d0ce78aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":2536323,"id":"Q2536323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616120$6B0F10B5-569D-4BD2-BEC3-985FCBBF19BB","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":"Q616120$5CAA8726-277F-4051-A5C5-C5ECCFE0096F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"251ece5ca34582ad049033c77ddb0d4a3f0abd98","datavalue":{"value":"10.1007/S00012-010-0087-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616120$FE8BC73F-B559-4605-8599-3E5BF59D8326","rank":"normal"}],"P1643":[{"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":"f020a52610d6bb34f394eaf2d60aea9728e0fc0a","datavalue":{"value":{"amount":"+0.8720090389251709","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":"Q616120$D8A4F61B-6115-41A0-A6F0-95B66D327F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c323ec7b2b41a67590261d797b2a2992e5c920f","datavalue":{"value":{"entity-type":"item","numeric-id":5438768,"id":"Q5438768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f023c3349944f1fbcffa7eae2eec0fd4ac250aa","datavalue":{"value":{"amount":"+0.8465331196784973","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":"Q616120$44053C16-31BD-47F1-9E4D-D57057E70952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d688ea45e4c90b5385c3889fbbebcbe01ec9464f","datavalue":{"value":{"entity-type":"item","numeric-id":5449282,"id":"Q5449282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb08875ac10730cb7e16d044878aee820e40242","datavalue":{"value":{"amount":"+0.8461413383483887","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":"Q616120$1C624532-36AB-4FA3-A9C9-108332368A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e999c51d7824c164366abb532bba88c3bbceb1aa","datavalue":{"value":{"entity-type":"item","numeric-id":4240487,"id":"Q4240487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cefbd4d10eb820e31deefa7ae88235eb0cfe88a5","datavalue":{"value":{"amount":"+0.8375904560089111","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":"Q616120$C8124F4C-F465-44AA-AAF2-F7D175F37831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e4a397c2504e1655eabf99c45eb3b97d09851e","datavalue":{"value":{"entity-type":"item","numeric-id":4701022,"id":"Q4701022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c69939509e0aaaa3810e60b4fdc3eb36476ebf8a","datavalue":{"value":{"amount":"+0.8366615772247314","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":"Q616120$46A7FBE4-425B-4E90-BF8A-1FDE2B6D150D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:616120","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:616120"}}}}}