{"entities":{"Q1270650":{"pageid":1281400,"ns":120,"title":"Item:Q1270650","lastrevid":67466754,"modified":"2026-04-12T18:09:03Z","type":"item","id":"Q1270650","labels":{"en":{"language":"en","value":"Congruence identities and their local versions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1218146"}},"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":"Q1270650$6E4C56D1-17EC-4B36-A1E6-B833E5C7F258","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7016cef72bf80668ed9892b74be6e0a9a8d4576","datavalue":{"value":{"text":"Congruence identities and their local versions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1270650$ADC4C97A-E31C-4512-BF4F-85E311BE46D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d6b8ac507a9d19820ebe45c1ba964ccb6c5a3b5","datavalue":{"value":"0910.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270650$B534D258-30CC-4E56-85E1-7CED913802BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"770befa6d24418720806251e210228d2cef86180","datavalue":{"value":"10.1023/A:1005931730835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270650$F987650A-01F7-44AA-84FA-17F74943BD72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270650$263B711C-A62C-4276-B606-DA0715C32696","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d1231d86866fb01586b04e1f50e347c0a84f9cd","datavalue":{"value":{"entity-type":"item","numeric-id":190587,"id":"Q190587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270650$E86D8D42-3674-4DDF-9E98-BCD3AF59C6B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca5f3a2c1d04c3bfd148f9eb1b9937c36c9646b","datavalue":{"value":{"time":"+1999-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1270650$9FEE4BE5-84B3-4C4A-A164-9DEA809E2869","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc0af3eccf7bd1004bf34432391f7f389d28d38d","datavalue":{"value":"Let \\(p(x_1,\\dots,x_n)\\) and \\(q(x_1,\\dots,x_n)\\) be \\(n\\)-ary terms in the operations \\(\\lor\\) (join), \\(\\land\\) (meet) and \\(\\circ\\) (relational product). An algebra \\(A\\) satisfies the congruence identity \\(p=q\\) if \\(p(\\theta_1, \\dots,\\theta_n)=q(\\theta_1,\\dots,\\theta_n)\\) for any \\(\\theta_1,\\dots,\\theta_n\\) in Con\\( A\\). If the operation \\(\\circ\\) does not occur in \\(p\\) and \\(q\\), the identity is called a lattice congruence identity. Suppose \\(A\\) has a nullary operation \\(c\\) and let \\([c]_{\\phi}\\) denote the congruence class of \\(c\\) for any \\(\\phi\\) in Con\\( A\\). We say that \\(A\\) satisfies the congruence identity \\(p=q\\) at \\(c\\) if \\([c]_{p(\\theta_1,\\dots,\\theta_n)}= [c]_{q(\\theta_1,\\dots,\\theta_n)}\\) for every \\(\\theta_1,\\dots,\\theta_n\\) of Con\\( A\\). The first theorem shows that if \\(A\\) is weakly regular, and \\(p=q\\) is a lattice identity, then \\(A\\) satisfies \\(p=q\\) if and only if it satisfies \\(p=q\\) at \\(c\\). Examples are given to show that this result is false if either the condition on \\(A\\) or the condition on \\(p=q\\) is omitted. Other results involving conditions such as permutability, and 3-permutability, which are not lattice identities, are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270650$FD481491-15CA-49D9-93CD-2458ED01F839","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270650$874CF33A-5521-42C5-A299-A300B6C91C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270650$C266BF5B-8F7A-4005-81AB-B42098398A77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7e3b858ff6eaad9d4b55ad18db48c492dcd4714","datavalue":{"value":"1218146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270650$35655CE9-3622-4B00-A851-6AB6F553B265","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c338e9ec3d656801698957f5ec7eaf1ee139cd83","datavalue":{"value":"congruence identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270650$0FC30CAC-E1A4-49EF-9B26-38AFCC289A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c8257126a12c7712f51a2925aaa8cc790ec9509","datavalue":{"value":"weakly regular algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270650$53FCAD42-086E-4F8F-AA32-2346A10BE1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afc838eee6be92dbf1ec00a7e9cf9da4c2eea9e2","datavalue":{"value":"permutability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270650$C235C995-AAE2-44EC-95C5-514F9AC69A5B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270650$28C92DE4-9C15-4807-A9CE-12AE7F2994F1","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":"Q1270650$5DAA1E78-7199-4F67-96A3-6CAD4EDC471E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f8fc557086fcc455a1faec95c4cea5bf3884dc7","datavalue":{"value":"https://doi.org/10.1023/a:1005931730835","type":"string"},"datatype":"url"},"type":"statement","id":"Q1270650$01DE33EB-DA6B-4335-BCCD-3C15353281EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7638b7ebb559e7375c04a563b8ad7829b01cd0ea","datavalue":{"value":"W156305484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270650$C26B880E-2D8C-4AD5-9D28-E1965448DF6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0122ac74a49f3ae3c80fce226d4fbaa33f4f436e","datavalue":{"value":{"entity-type":"item","numeric-id":5426242,"id":"Q5426242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6afe7409204b7446eabae07fd683950795e05f2","datavalue":{"value":{"amount":"+0.7993050813674927","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":"Q1270650$F42548C7-0CF5-45D0-B940-2A6F276487FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb932a4e7ab272be80bfa20373978c94ac8b84f9","datavalue":{"value":{"entity-type":"item","numeric-id":4673873,"id":"Q4673873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1215b889cb27ec999684e14179a2c8b3db7a9b","datavalue":{"value":{"amount":"+0.796734631061554","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":"Q1270650$64FFAD4C-EC64-446C-9AAC-439566EADE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a0810d9c4afbb5e8c964e5614f5bd00c4380c5","datavalue":{"value":{"entity-type":"item","numeric-id":3775605,"id":"Q3775605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d915ef2b32d793bd58476aef5f338b1bc2bb07","datavalue":{"value":{"amount":"+0.7803856730461121","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":"Q1270650$54224123-5A8E-4D05-86B7-B89B8726C68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d412fc015286b139f5ed22ee6b44e3bfcb3e463","datavalue":{"value":{"entity-type":"item","numeric-id":4537492,"id":"Q4537492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad9b6daeefad1a77444eb459c39134b4a273d19","datavalue":{"value":{"amount":"+0.7761606574058533","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":"Q1270650$A173BCA6-A946-49FC-BDED-6C5E25DF41E8","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":"52579c0c0ffe7fd72c49e03a56844030ac006947","datavalue":{"value":{"amount":"+0.7699739336967468","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":"Q1270650$4E17D4C9-1447-4517-A017-B7DD1BEF5AF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence identities and their local versions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_identities_and_their_local_versions"}}}}}