{"entities":{"Q792364":{"pageid":794212,"ns":120,"title":"Item:Q792364","lastrevid":48698368,"modified":"2026-01-05T15:51:30Z","type":"item","id":"Q792364","labels":{"en":{"language":"en","value":"Coherence, regularity and permutability of congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853168"}},"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":"Q792364$E5034AA4-BC00-489B-AE9D-DC3F576F97AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca979585c72076ce6349ad7989ad893dcc173df0","datavalue":{"value":{"text":"Coherence, regularity and permutability of congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792364$5BA16644-95D9-494F-ABE4-3BF524723C11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7779d24c6a06fa18d9f14e330f1b539be478c9ce","datavalue":{"value":"0537.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792364$CB827EED-D884-4F86-9E16-55EFBD64F6DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1edcc74064e2bd1484d1c13edff0c5e4730ffe57","datavalue":{"value":"10.1007/BF01194526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792364$22F8021C-32E3-440F-A8DF-36FA74F9D497","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":"Q792364$59385361-2E49-484C-8C0D-3EC40F33BD39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792364$511FFFC8-EB72-4982-A97E-711E43C97A42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff9def6bbfd40309f848b26a67b77c3598ed4e54","datavalue":{"value":"A variety \\({\\mathcal V}\\) of algebras is regular, if any two congruences on each algebra \\({\\mathfrak A}\\in {\\mathcal V}\\) coincide whenever they have a congruence class in common. It is coherent, if for any two algebras \\({\\mathfrak A,B}\\) of \\({\\mathcal V}\\) the condition that \\({\\mathfrak A}\\subseteq {\\mathfrak B}\\) and \\({\\mathfrak A}\\) contains a class of a congruence \\(\\theta\\) on \\({\\mathfrak B}\\) implies that \\({\\mathfrak A}\\) is a union of classes of \\(\\theta\\). A variety \\({\\mathcal V}\\) is permutable, if \\(\\theta_ 1\\cdot \\theta_ 2=\\theta_ 2\\cdot \\theta_ 1\\) for any two congruences on every algebra \\({\\mathfrak A}\\in {\\mathcal V}.\\)    An algebra \\({\\mathfrak A}\\) has subalgebras closed under principal congruence classes (briefly \\({\\mathfrak A}\\) is CUT), if for every subalgebra \\({\\mathfrak B}\\) of \\({\\mathfrak A}\\), all \\(x\\in {\\mathfrak A},\\quad y\\in {\\mathfrak B},\\quad z\\in {\\mathfrak B}\\) and any algebraic functions \\(\\phi\\) over \\({\\mathfrak A}\\) the condition \\([z]_{\\theta}\\subseteq {\\mathfrak B}\\) and \\(\\phi(z,...,z)=y\\) implies \\(\\phi([z]_{\\theta})\\in {\\mathfrak B},\\) where \\(\\theta =\\theta(x,y)\\) and \\([z]_{\\theta}\\) denotes the class of \\(\\theta\\) containing z.    The main result of the paper is the following theorem. For a variety \\({\\mathcal V}\\) the following conditions are equivalent: (1) \\({\\mathcal V}\\) is coherent, (2) \\({\\mathcal V}\\) is CUT, regular and permutable, (3) there exist an \\((n+1)\\)-ary polynomial h and ternary polynomials \\(t_ i\\) over \\({\\mathcal V}\\) such that \\(t_ i(x,x,z)=z,\\quad i=1,...,n,\\quad h(y,t_ 1(x,y,z),...,t_ n(x,y,z))=x.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q792364$647910CE-1EDA-4F13-87C3-BC23DC41D923","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792364$5097F63C-A09E-4C16-913A-88A85DDA7CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792364$416F5F2F-FA01-4CED-9914-AB00DFC03D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792364$EFD65D78-A4DF-47F8-94E0-942FAD6C59C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acd24913c99fcfdf9257268af7a6e19adb0cad9f","datavalue":{"value":"3853168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792364$F0411CF1-51BA-4ABC-9D89-5189B03E5831","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0253c57ff9bf990e921e427d2c6bfe23cb63e46","datavalue":{"value":"variety of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q792364$3DC899CB-4F46-455E-876C-87B24E192974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c07a10050f840c03b79a1b637b18dbfcb376341","datavalue":{"value":"subalgebras closed under principal congruence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q792364$2B87BAE5-047F-4346-8789-78685663BBCA","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":"Q792364$0965384D-2CAA-4899-854E-C9C76739303F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9b462d071c33d7d83486f9fef57845bb41d7acf","datavalue":{"value":{"entity-type":"item","numeric-id":190573,"id":"Q190573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792364$0D1C1219-4B8C-4979-B9EA-C524B3ED01DA","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":"Q792364$4E879F39-2709-421F-BBA0-5A45C2FC42C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfd02035d88c9fc3b166017bc8940c3e70491ae","datavalue":{"value":{"entity-type":"item","numeric-id":1147178,"id":"Q1147178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792364$24D97748-3A07-4758-B2B5-694F68EF9610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3953d199bf7dd7cce21eae12152364f5d266fd","datavalue":{"value":{"entity-type":"item","numeric-id":1220094,"id":"Q1220094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792364$8298D030-376C-4F4A-AD2B-7EE7EF6FEA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d31515cd3111537da5b01fd685f79276ff00fb","datavalue":{"value":{"entity-type":"item","numeric-id":1393259,"id":"Q1393259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792364$977F9E0A-7DF5-4D8F-B65B-7BC0BE3BB08A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b873ff25cac7a113a5f0640cac2a43aa348a3e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5489550,"id":"Q5489550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dace45ed81ff7f8197e01ac30bf84e34d4f76590","datavalue":{"value":{"amount":"+0.8737654685974121","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":"Q792364$6A41301B-C7E2-4AB0-BD0C-748CE70C2FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1771b3f798559838ba3f3702fd3a45cb59b35157","datavalue":{"value":{"entity-type":"item","numeric-id":3135957,"id":"Q3135957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bade11901e6ade9565500e972bb779d4ca3c3eae","datavalue":{"value":{"amount":"+0.8641869425773621","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":"Q792364$6C8E2BCC-53F2-49BA-9F56-E354D23A5558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0335f75f6ee6e9836630f2187a088276aafba4d9","datavalue":{"value":{"entity-type":"item","numeric-id":4508863,"id":"Q4508863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307495b7029cd41426efd8917a71fa8f9ac753e7","datavalue":{"value":{"amount":"+0.8618941307067871","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":"Q792364$465BCA5C-7843-49EA-92F6-FAFE87336E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34957e9ac276883b4c8b2c57c75039fcc03bf5d9","datavalue":{"value":{"entity-type":"item","numeric-id":1175936,"id":"Q1175936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86d12b367754dad54ce2243311aa57ba6772fb7","datavalue":{"value":{"amount":"+0.8578684329986572","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":"Q792364$00C0954A-8649-4727-A242-B849C3F73555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9eca3f26a3eba5da9ba6f4a64b0ccd2e6dae82","datavalue":{"value":{"entity-type":"item","numeric-id":3483335,"id":"Q3483335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8027244da7ddd445017ce94fb7f6ba3d2484f2","datavalue":{"value":{"amount":"+0.8577585220336914","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":"Q792364$41DC5B96-16AE-4827-B3AF-A667217493E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:792364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:792364"}}}}}