{"entities":{"Q2443677":{"pageid":2454420,"ns":120,"title":"Item:Q2443677","lastrevid":51968675,"modified":"2026-01-20T16:00:00Z","type":"item","id":"Q2443677","labels":{"en":{"language":"en","value":"Equations implying congruence \\(n\\)-permutability and semidistributivity."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6280980"}},"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":"Q2443677$AFC8C25A-99F9-46FA-9B27-697DD956E1D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4a331a00feba72b2b9fad1ae0fc10be76108ff4","datavalue":{"value":{"text":"Equations implying congruence \\(n\\)-permutability and semidistributivity.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2443677$A15C6CB1-27F9-4135-9ED6-CC53A117545C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"094643d72e687c461f1945c04cd421e22fa5f782","datavalue":{"value":"1317.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443677$334968D2-573A-4D24-AA3A-9FE757553AF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156053345438b67d13e36c962297ad522b12dc04","datavalue":{"value":{"entity-type":"item","numeric-id":219075,"id":"Q219075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$CBC3AC49-CA61-453F-BB98-FA6D1FDC8527","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":"Q2443677$63D2D06B-A837-4F24-BE60-796FA3C17C0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0f9eadeb459885e3bd96056c7ce63a55a5683f1","datavalue":{"value":{"time":"+2014-04-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":"Q2443677$431685E9-751E-4A16-9523-E4007A2E9C96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e3e5977d6af6e904e5863c9bc80d478f0fc2ef6","datavalue":{"value":"Let \\(\\Sigma\\) be a set of identities. A variety \\(\\mathcal V\\) is said to `realize' \\(\\Sigma\\) if every function symbol occurring in \\(\\Sigma\\) can be interpreted as a term of \\(\\mathcal V\\). It is said to be `inconsistent' if \\(\\Sigma\\vDash x\\approx y\\). It is said to be `idempotent' if \\(\\Sigma\\vDash f(x,\\ldots,x)\\approx x\\) for every function symbol \\(f\\) appearing in \\(\\Sigma\\). The function symbol \\(f\\) is said to be `independent' of its first place if \\(\\Sigma\\vDash f(x,\\mathbf z)\\approx f(y,\\mathbf z)\\) for a sequence of variables \\(\\mathbf z\\) which are mutually distinct and distinct from \\(x,y\\). The function symbol \\(f\\) is said to be `weakly independent' of its first place if \\(\\Sigma\\vDash f(y,\\mathbf w)\\approx x\\) where \\(y\\neq x\\) but where \\(\\mathbf w\\) is a sequence of variables not necessarily distinct. Independent and weak independent of other places are defined in a similar way. An identity \\(s\\approx t\\) is said to be `linear' if each of the terms \\(s,t\\) has at most one occurrence in a function symbol. \\(\\Sigma\\) is said to be linear if each of its members is linear.   \\textit{T. Dent, K. A. Kearnes} and \\textit{A. Szendrei} , in a previous paper [Algebra Univers. 67, No. 4, 375-392 (2012; Zbl 1259.08004)], define the `derivative' \\(\\Sigma'\\) of \\(\\Sigma\\) and show that \\(\\Sigma'\\) inconsistent implies that any variety that realizes \\(\\Sigma\\) is congruence modular and the converse is true if \\(\\Sigma\\) is linear. If \\(\\mathcal V\\) is congruence modular then it realizes some \\(\\Sigma\\) such that \\(\\Sigma'\\) is inconsistent. If \\(\\Sigma\\) is linear and idempotent one can decide effectively if \\(\\Sigma\\) is congruence modular.   In the paper under review the author defines the order derivative \\(\\Sigma^+\\) of \\(\\Sigma\\) and shows that the results above remain true if ``congruence modularity'' is replaced by ``congruence \\(n\\)-permutable for some \\(n\\)'' and ``\\(\\Sigma'\\) inconsistent'' is replaced by ``some iterated order derivative of \\(\\Sigma\\) is inconsistent''. The author also defines the weak derivative \\(\\Sigma^*\\) of \\(\\Sigma\\) and shows that if \\(\\Sigma\\) is idempotent then, if \\(\\mathcal V\\) realizes \\(\\Sigma\\) and some iterated weak derivative of \\(\\Sigma\\) is inconsistent then \\(\\mathcal V\\) is congruence semi-distributive and if \\(\\mathcal V\\) is congruence semi-distributive then \\(\\mathcal V\\) realizes some \\(\\Sigma\\) whose \\(k\\)-th iterated weak derivative is inconsistent for some \\(k\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443677$68356BCE-364B-44AA-9C4C-9305A7829AE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443677$2B5E10DA-C2E3-4BA9-AB5E-72DBF9838C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443677$FC5408C6-F47B-4C91-8AC7-5F55EC7B13F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03c07cde4a48d330166537932cdde178a1498cfa","datavalue":{"value":"6280980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443677$56382F2F-AD69-4F79-A1B4-CBD3BB5FA3ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb29468ff33ab9f7f86f0f692f8f82873700f4ae","datavalue":{"value":"congruence modular varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443677$01780139-03B3-4BD4-8979-B1515EFE7B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82aef30095e1f60c5826f5c0e7b3fa4e6ddad59c","datavalue":{"value":"congruence \\(n\\)-permutability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443677$B65F23FF-273C-4834-ADFD-734981747040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cc2c997a496800856f5656204c09a63a1e51c3","datavalue":{"value":"congruence semidistributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443677$F4035E2C-8058-49B5-8306-FF6F102E2125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2048306a5fbfeded241883008a6cc38fadf21389","datavalue":{"value":"congruence modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443677$FCA32B93-7D1E-4E32-B872-5833FBA4AE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443677$397A3102-6C98-4509-BA03-4E4DFEF467F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f825707c2076b8a425a834771e1fad6bc90e750","datavalue":{"value":{"entity-type":"item","numeric-id":186040,"id":"Q186040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$6D091628-E4AF-4999-A992-16C885E1CADC","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":"Q2443677$18C556F1-68C5-4380-BCE5-9665CF499616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9f5c42fffda6daf184a3df93e908f02bc45b569","datavalue":{"value":"https://doi.org/10.1007/s00012-013-0256-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2443677$84FDFF1B-BCF1-42CA-943A-A8FADC591328","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b65814518e516056cab45e50eed327c27bb71f48","datavalue":{"value":"W1985413810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443677$57DEFA7F-5AA9-4936-AAC1-91A21B8B5F60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f63facb34844fa00dbd6239d710af4d4257d1ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5619138,"id":"Q5619138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$5FE09C5C-F69C-4C6D-9820-16ECE070F49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf5d69aa52fcaae24bf9fa6f4126a518e85d688","datavalue":{"value":{"entity-type":"item","numeric-id":5570948,"id":"Q5570948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$DE296AA1-CF5B-4557-80C3-B0AFF1EC9E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff8df0cc1742fde841fe100eda3e50acd9bf720","datavalue":{"value":{"entity-type":"item","numeric-id":451080,"id":"Q451080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$A1722E2E-CED3-4856-9FDB-6F3EA0FB5B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$DFBD797B-9D84-4268-925C-32A5704FBDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ada733a2a03578bcde08abb6ebc10f98c600ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5589325,"id":"Q5589325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$D59D8B58-E17E-476E-89B2-75C2E78306DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611c145da33fa32c2026270eadfa06fbe38c0efb","datavalue":{"value":{"entity-type":"item","numeric-id":1154493,"id":"Q1154493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$EF90F6E7-C3C0-4E47-B6A9-7E746B3DAA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8e001650c66b5020c519433f4a9dcc94218abb","datavalue":{"value":{"entity-type":"item","numeric-id":2264783,"id":"Q2264783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$F5E92D6F-4605-44E5-8733-329065FB6DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$409B3D28-067B-4EDA-B07D-FEF356F17689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fcd3e64ad3b0de98df61634b49a4247db9a471","datavalue":{"value":{"entity-type":"item","numeric-id":1248533,"id":"Q1248533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$F68249B0-D2D4-4B69-9367-09E652173282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6946d86cd70b1df31472de5e56aa19bc21d785","datavalue":{"value":{"entity-type":"item","numeric-id":3222326,"id":"Q3222326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$8D10C6DD-6FFC-4D19-832E-E8B72D77116E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6942914cdcc770c70ed5e1a97e4b25b80b84b4a","datavalue":{"value":{"entity-type":"item","numeric-id":4979155,"id":"Q4979155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$409CDD46-EEAA-4EA6-87FB-546C5D18A2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2576ed093c49c3a19e4ccfb584b3c402462cb50","datavalue":{"value":{"entity-type":"item","numeric-id":2351504,"id":"Q2351504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$B45F3599-DE16-4ACC-8B09-8A67201E2D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36027544cc7c5849ee89046695b3cce72e957085","datavalue":{"value":{"entity-type":"item","numeric-id":4154857,"id":"Q4154857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$418873FE-C92B-4033-813D-0E9564CE186F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2d96d19e954791c6a233dd6ee9b07baac4b8f6","datavalue":{"value":{"entity-type":"item","numeric-id":1214954,"id":"Q1214954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$7380195A-E255-40A6-A006-F531AB27E9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edba62fad18fcbc4304582c3d7a42a4c8e2978c0","datavalue":{"value":{"entity-type":"item","numeric-id":5605245,"id":"Q5605245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443677$BFA3DB07-6272-48A0-A410-16E5BDDE54A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25bae737bbefcd42f8f019f96e1883edffd2cd03","datavalue":{"value":"10.1007/S00012-013-0256-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443677$47864078-6023-45DD-9C9B-407B690B6CE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a953f7d985f6bd92362ce3c033cc0b15fc4a4be0","datavalue":{"value":{"entity-type":"item","numeric-id":799714,"id":"Q799714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6398d430189a69c41243286fb972936d2dcc25f6","datavalue":{"value":{"amount":"+0.7620556354522705","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":"Q2443677$BDF99494-4170-4F3F-A078-FDCBC86B8389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2a8312c5a3b33e9338aecc74af618058b44b87","datavalue":{"value":{"entity-type":"item","numeric-id":1842590,"id":"Q1842590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fd7d31e79821c5d67fb7626b37d39660a12a3e","datavalue":{"value":{"amount":"+0.7609785199165344","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":"Q2443677$B61C14A9-1E4D-43E4-B9E0-B0CFFF8BED67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4abaf45555755c4cee182d73bb210dd3421fcf7","datavalue":{"value":{"entity-type":"item","numeric-id":451080,"id":"Q451080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fd7d31e79821c5d67fb7626b37d39660a12a3e","datavalue":{"value":{"amount":"+0.7609785199165344","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":"Q2443677$BD7A39E7-E2D6-4216-BDFD-3946B6C8D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a801dcc0e25014b4ad83addcd2c3e58992d3f4","datavalue":{"value":{"entity-type":"item","numeric-id":841165,"id":"Q841165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45409fbad59044edd6d618ec54023828c9b81714","datavalue":{"value":{"amount":"+0.7580745816230774","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":"Q2443677$B8985493-8A8C-4037-AA77-27C3FFDDDB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f48010bd277085f2d9263b27689df04bc905ec","datavalue":{"value":{"entity-type":"item","numeric-id":4321704,"id":"Q4321704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe1a8140b2df2b7e81bc766feafdc9e9253b424","datavalue":{"value":{"amount":"+0.7554724812507629","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":"Q2443677$600F19FD-704C-4B39-B64C-93731CC74A3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2443677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2443677"}}}}}