{"entities":{"Q1966158":{"pageid":1976900,"ns":120,"title":"Item:Q1966158","lastrevid":47448997,"modified":"2026-01-01T19:00:56Z","type":"item","id":"Q1966158","labels":{"en":{"language":"en","value":"Categorical equivalence of algebras with a majority term"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407109"}},"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":"Q1966158$32A3E631-CC71-4380-8DFC-111E9021E99C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a87468d6d38afa53dbeb0ffdccf4fdda6d11a218","datavalue":{"value":{"text":"Categorical equivalence of algebras with a majority term","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1966158$B487755C-EB96-4BD8-AE61-561347015C80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"898ae97acac4f5c8d486217a270068e1dcaf9b0e","datavalue":{"value":"0936.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966158$BB0791E5-26D9-448A-BC3C-E3DEC2289B0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966158$86A85A03-0DBB-4671-A41A-4A0BD7814C3D","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":"Q1966158$575A6CDD-F24D-499D-9AFC-AA17A129C285","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b67edb7c6ba470465e19f8a68d18347f5f95336","datavalue":{"value":{"time":"+2000-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1966158$5332CEDC-0DB7-48F6-B7FA-1C44BA4461D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b4768cbf24da9f2e6562a74f6740b0c979b2bfe","datavalue":{"value":"The variety generated by an algebra \\(A\\) is denoted by \\(V(A)\\). Two algebras \\(A,B\\) are categorically equivalent, in symbols \\(A\\equiv _C B\\), if there is an equivalence of categories \\(F:V(A)\\rightarrow V(B)\\) such that \\(F(A)=B\\). For an algebra \\(A\\), the set of all compatible relations on \\(A\\) forms a Krasner algebra \\(K(A)\\). For finite algebras \\(A, B\\), O. L\u00fcders recently proved: \\(A\\equiv _C B\\) iff \\(K(A)\\cong K(B)\\). The author simplifies this for particular cases:    Theorem 2.1. Let \\(A\\) be a finite, subalgebra-primal algebra. Then \\(A\\equiv _C B\\) iff \\(B\\) is finite, subalgebra-primal and \\( \\langle \\text{Sub}A;\\cap , E(A)\\rangle \\cong \\langle \\text{Sub}B;\\cap ,E(B)\\rangle \\), where \\(E(A)\\) is the set of all singleton subuniverses of \\(A\\).    Theorem 2.3. Let \\(A\\) be a finite algebra with a majority term. Then \\(A\\equiv _C B\\) iff \\(B\\) is finite, has a majority term and for Krasner algebras of binary relations: \\(S_2(A)\\cong S_2(B)\\).    Theorem 3.8 gives a complete list of all possible finite algebras categorically equivalent to a finite algebra \\(A\\) with a majority term whose \\(S_2(A)\\) is generated by a single relation.    Let be \\(Q(K) = \\{A/\\theta\\); \\(A\\in K\\) and \\(\\theta \\in \\text{Con }A\\}\\).    Theorem 4.3. Let a finite algebra \\(A\\) generate an arithmetical variety. Then \\(A\\equiv _C B\\) iff \\(B\\) is a finite algebra generating an arithmetical variety and the categories \\(Q(\\text{Sub}(A))\\), \\(Q(\\text{Sub}(B))\\) are isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966158$0DA347E2-498E-4394-BD12-593B6F79D277","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966158$80D4A088-E38F-4BBB-9509-76FC87E38091","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966158$26BFF21B-5FD3-41C9-8031-4FA9BAD52021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966158$B45120B2-E7AC-43C6-BC5B-783A1EADB7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966158$B8856530-303D-46A9-95AE-DA9B5B385FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966158$94180D9F-E11F-4EF5-B8E0-39CFF90EC1E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3538e37ddf9c3932ea4f766a8bbaa10ddfba9cfa","datavalue":{"value":"1407109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966158$DF12D376-4441-454A-84E9-9CE5F5A0B3C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cc0ed36ee4965ad8aee72282e0c2f3ed238b66f","datavalue":{"value":"Krasner algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966158$3B5CA6DE-5C0B-495C-B207-B30B382EC349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04388f9e5e1a783c71568d6857dc6bc7fe8cdd5d","datavalue":{"value":"equivalence of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966158$E5E731F4-E4AA-46A4-869E-DD8B0D67C605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee769e6ecc288fa532221c741e304e7724e36d5","datavalue":{"value":"majority term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966158$6210CCF7-52EA-40AA-903E-ECA6B5365629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5648ab283eff56c16126cc5578d6e77ca4ac21ec","datavalue":{"value":"arithmetical algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966158$1CD4BD0C-21ED-4477-81BC-BD53966C117F","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":"Q1966158$63326C8E-E0C0-4C2E-AFBC-F3DC2DE3C13C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c738cbe34d41820ccc8fe77b39cbd3c8fc75edf","datavalue":{"value":"https://doi.org/10.1007/s000120050087","type":"string"},"datatype":"url"},"type":"statement","id":"Q1966158$8CA452EA-BE6B-46E1-A795-9603F47BAB41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd3ec82f462c61b63e9476894b60dfbc701a90cb","datavalue":{"value":"W2149118376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966158$B658EF7C-4E17-4727-AB33-C45F635C8C13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab2b2525c619a13bbca436d26e46fbaa337925b0","datavalue":{"value":"10.1007/S000120050087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966158$342E2E00-9549-46EF-B184-33A7DBF040DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f68969106ae34b0484d4d8700a78caf155b0c5e","datavalue":{"value":{"entity-type":"item","numeric-id":4399374,"id":"Q4399374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f1b3709c3d726b342303c8d727467d77c6e50f","datavalue":{"value":{"amount":"+0.8541788458824158","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":"Q1966158$A91D68F4-23C8-4BB6-821E-C451C0C68064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52dcb02c0a0844789ff7325b7187319258d8518","datavalue":{"value":{"entity-type":"item","numeric-id":4236211,"id":"Q4236211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f1b3709c3d726b342303c8d727467d77c6e50f","datavalue":{"value":{"amount":"+0.8541788458824158","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":"Q1966158$C0A933E9-F0B9-4F59-9798-3FB0DEA9F26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095e0cc5286f547d61c6f152e156c7093325314","datavalue":{"value":{"entity-type":"item","numeric-id":1771863,"id":"Q1771863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6a88c0b0c4b190e4d1d7b1757c856beea77e78","datavalue":{"value":{"amount":"+0.8529958128929138","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":"Q1966158$3ED5ED51-D4E5-4A04-BAE1-433109DBA18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07831dc0d12df863b580ee3c47424cf59acb1b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4029596,"id":"Q4029596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672304e4be176e84505be465e722282c66b7e1eb","datavalue":{"value":{"amount":"+0.8433615565299988","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":"Q1966158$97889B40-680A-4D8E-8FE2-EFDB462A144D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f65a5c11b32de8205bd22ee180ccd02e0dea7ae","datavalue":{"value":{"entity-type":"item","numeric-id":4700367,"id":"Q4700367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe24471fe6502bfacd8143b851b757556421589","datavalue":{"value":{"amount":"+0.8411182761192322","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":"Q1966158$8EDE93FB-00D2-4811-8CAD-F73179D8EB8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1966158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1966158"}}}}}