{"entities":{"Q1001467":{"pageid":1003315,"ns":120,"title":"Item:Q1001467","lastrevid":66034062,"modified":"2026-04-12T07:05:17Z","type":"item","id":"Q1001467","labels":{"en":{"language":"en","value":"Existence theorems for weakly symmetric operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5508760"}},"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":"Q1001467$1656ACC2-D46D-4BB0-BA86-1DE93E150FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c5133517013102caab2a1c08858496c68db1dde","datavalue":{"value":{"text":"Existence theorems for weakly symmetric operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1001467$C84AAAD5-47F8-4C53-BB92-4E7BF90836D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72916c498859e3895ffd5c91fa53eaad4d297afb","datavalue":{"value":"1186.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001467$3A68BE18-EAF8-42E1-8BE7-67A18CC0D419","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18ab44fff9c88d94f451b15a05165816cf799437","datavalue":{"value":{"entity-type":"item","numeric-id":438816,"id":"Q438816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001467$50017B54-3B24-46A9-8540-1107335E6892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001467$91DEF38E-6E87-48D7-8020-D9186212064D","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":"Q1001467$B6AA3FCE-AAA2-4A3B-8885-FCBA58B24B97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8f9771f54c3b7062e47ad7ecc3cf21334f03880","datavalue":{"value":{"time":"+2009-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1001467$F2589925-6C89-4238-8670-6034A488BEED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e1144a68ad5b32d67b8daa34c2844499fbcd547","datavalue":{"value":"http://real.mtak.hu/4595/1/1116615.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1001467$3C2F8C0F-FA0B-45CD-B807-4EA4A4F61D8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c56be0ae3efff8e64399516e5250455d1c58932","datavalue":{"value":"A \\(k\\)-ary weak near-unanimity operation (or \\(k\\)-WNU) on a set \\(A\\) is an operation \\(w\\) that satisfies the equations \\(w(x,\\dots,x)= x\\) and \\(w(y,x,\\dots, x)= w(x,y,x,\\dots, x)= w(x,x,\\dots, x,y)\\). An algebra \\({\\mathbf A}\\) is said to satisfy \\(\\text{WNU}(k)\\) if it has a \\(k\\)-WNU term operation, and likewise, a variety is said to satisfy \\(\\text{WNU}(k)\\) if it has a \\(k\\)-variable term satisfying these equations (in particular, this is a Mal'tsev condition). Congruence covers of types \\(\\mathbf 1\\) and \\(\\mathbf 2\\) -- in the sense of tame congruence theory -- are defined in the book by \\textit{D. Hobby} and \\textit{R. McKenzie} [The structure of finite algebra. Contemporary Mathematics, 76. Providence, RI: American Mathematical Society (AMS) (1988; Zbl 0721.08001)].  The main results of the present paper are as follows.   Theorem 1. Let \\({\\mathcal V}\\) be a locally finite variety, then (1)--(3) are equivalent: (1) \\({\\mathcal V}\\) omits type \\(\\mathbf 1\\). (2) There is an integer \\(k> 1\\) such that \\({\\mathcal V}\\) satisfies \\(\\text{WNU}(k)\\). (3) There is an integer \\(n> 1\\) such that \\({\\mathcal V}\\) satisfies \\(\\text{WNU}(k)\\) for all \\(k> 1\\) with \\(k\\equiv 1\\pmod n\\).  Corollary. Let \\({\\mathcal V}\\) be a locally finite, congruence-modular variety, then there is an integer \\(n> 1\\) such that \\({\\mathcal V}\\) satisfies \\(\\text{WNU}(k)\\) for all \\(k> 1\\) with \\(k\\equiv 1\\pmod n\\).  Theorem 2. Let \\({\\mathcal V}\\) be a locally finite variety, then (1)--(4) are equivalent: (1) \\({\\mathcal V}\\) omits types \\(\\mathbf 1\\) and \\(\\mathbf 2\\). (2) The congruence lattices of all algebras in \\({\\mathcal V}\\) are meet semi-distributive. (3) There is an integer \\(m> 1\\) such that \\({\\mathcal V}\\) satisfies \\(\\text{WNU}(k)\\) for all \\(k\\geq m\\). (4) For every positive integer \\(n\\) there is a positive integer \\(m\\) such that \\({\\mathcal V}\\) satisfies \\(\\text{WNU}(k)\\) for all \\(k\\) with \\(m+ 1\\leq k\\leq m+ n\\).   Theorem 3. Every congruence-distributive variety satisfies \\(\\text{WNU}(k)\\) for all integers \\(k\\geq 3\\).  In particular, Theorems 1 and 2 prove two conjectures by M. Valeriote. For the Corollary to Theorem 1, also a different proof is given along the lines of the proof of Theorem 3.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001467$9017721E-20B4-4915-9D56-D740BBDA3C8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001467$F6F4B4E2-C562-4732-88D8-1ECDC4E347DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001467$7C2BE1CA-37FE-49FB-A350-66816DFD156F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001467$9D187BB3-2771-4A47-8C71-BBF0DE81C81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001467$B2E05C8B-B1DD-48FD-AB49-4A4D754DAD7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27e327b95635c9bad10c517a38f5c05fcb35c462","datavalue":{"value":"5508760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001467$80990F6B-F552-4047-B49A-7D0124D394E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff8e727b049beb0eca0bf4018cf29869930a227","datavalue":{"value":"weak near-unanimity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001467$0B809F66-7A7A-4EA9-8E5D-6E3D8C62EEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3972b542a0c1bdd2a49e02042ba5d7b7d0ece6","datavalue":{"value":"Mal'tsev condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001467$9EA66CAE-41B1-43C6-8D8E-39CD41412392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5876c0104ab3a3f0a30993b375eb30c8538ed2a","datavalue":{"value":"tame congruence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001467$2C64DC3D-04A7-49B4-B5F6-6D0B9DAA6D93","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":"Q1001467$BAE6DD2C-61B6-488E-B6CE-2746DB08F2CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b90d62651cd252f693a23b08952d2146de6a9911","datavalue":{"value":"W1988961015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001467$6FF4A1D2-71C0-46A3-AFA2-7D33BD38FFCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6121425eadd07653cf6ee88c47bd64e69842dd53","datavalue":{"value":"10.1007/S00012-008-2122-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001467$19963B15-02F1-49E0-8844-323758778D4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ba1b9531208dd43457a957062017848bbcede6","datavalue":{"value":{"entity-type":"item","numeric-id":4847411,"id":"Q4847411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81efa047df1840743bb47b488e105b14b7aef60a","datavalue":{"value":{"amount":"+0.85833967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$6A3A5185-3FB9-4658-A0D2-73564266BAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99bca0d0080835fcce21921a33f1bc83b0611344","datavalue":{"value":{"entity-type":"item","numeric-id":790183,"id":"Q790183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820b5216e2a4f056baed51c35066782b2f013412","datavalue":{"value":{"amount":"+0.8566779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$E824D108-F947-474D-BBBA-5FB800C4FDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5571396ee42329c1f98d05b6d6152da7853f7ae3","datavalue":{"value":{"entity-type":"item","numeric-id":5928615,"id":"Q5928615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f79c350984d32554dba0883b9a837f785bf9675","datavalue":{"value":{"amount":"+0.85596454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$B10D8243-57D7-423E-B019-EDA9E6D4440E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55792ee4c8c8aa79e0a5fb238cad0e5d11ddcb68","datavalue":{"value":{"entity-type":"item","numeric-id":2396659,"id":"Q2396659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1406582ed69dfb73514b815b11d777c7823a7c7","datavalue":{"value":{"amount":"+0.8504156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$9565389E-0CAB-41D3-88C6-96D057909FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c459daa2f94ba51fe4a2dfb1b0428f251af89d00","datavalue":{"value":{"entity-type":"item","numeric-id":3798977,"id":"Q3798977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832a15e39f14e7c5d31e34c409daf0dd169e4571","datavalue":{"value":{"amount":"+0.8494723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$949D0C6A-9FD6-4141-BA8F-AAD46543BDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f565be263b50c85b82a22cec32d25ac5207c9a66","datavalue":{"value":{"entity-type":"item","numeric-id":1073063,"id":"Q1073063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719f0cd8b818a3cfdbce4c6ef7acd78f14a4bdfc","datavalue":{"value":{"amount":"+0.8487114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$3D7CFE86-E791-4821-817B-71B835AB8660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7d270bb0a03d52c3ae97cf710c9548e502c01c","datavalue":{"value":{"entity-type":"item","numeric-id":3977025,"id":"Q3977025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3a3fd07207ac73b56b3ab869059d7e8718c897","datavalue":{"value":{"amount":"+0.847998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$8771A872-255E-446C-99DE-614F9F7B9205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c10947b5430ced5c6133a6d6f0ced136f012ac","datavalue":{"value":{"entity-type":"item","numeric-id":1077693,"id":"Q1077693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6d8d296045513dc95246f9ff2111efd041324a","datavalue":{"value":{"amount":"+0.84790707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$D417D908-311F-42CB-A235-182C3771194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8198bc7aeb06660611ea45bd698711abb4b3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4027435,"id":"Q4027435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d27ad03aa33b386f550da91c97debd11f61562","datavalue":{"value":{"amount":"+0.8469702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$2733C79F-19BC-4A01-A688-35A3EFCDA0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef322deea6c9b6e402488f6da4b748b49ea81488","datavalue":{"value":{"entity-type":"item","numeric-id":4988350,"id":"Q4988350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8f8c31a2046043aafd1f0674478f6214612f9e","datavalue":{"value":{"amount":"+0.8467067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001467$9FBBFE64-B529-4457-82CA-1D831A234354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existence theorems for weakly symmetric operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existence_theorems_for_weakly_symmetric_operations"}}}}}