{"entities":{"Q690103":{"pageid":691952,"ns":120,"title":"Item:Q690103","lastrevid":63510375,"modified":"2026-04-11T13:39:47Z","type":"item","id":"Q690103","labels":{"en":{"language":"en","value":"Coherence of diagonal subalgebras and factorable congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446956"}},"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":"Q690103$3E7E74A8-7000-4310-AD41-AAA1B482ECD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd11b0f86ebd0b4150a925362dd746f0c16ecb0b","datavalue":{"value":{"text":"Coherence of diagonal subalgebras and factorable congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690103$82A71460-8B95-4D5D-9EE7-62599F2B59E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54b4a3dfaa4b95560ca60315e5c482347e0ed11a","datavalue":{"value":"0794.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690103$2C74EA5E-728C-4BE8-B362-4703396B7A13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad950a7fe513eb4a4c3cd16e03122ecabef022ad","datavalue":{"value":"10.1007/BF01190443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690103$E2B04324-CF41-4B11-ADA7-9626860C0456","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":"Q690103$ED02E376-8031-4743-9C91-3756E738F53C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b36c0acfc73fce3dc47e49f6bdf7b80d5ee2307","datavalue":{"value":{"time":"+1994-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690103$1B077324-6879-4205-82E1-A79BD233E834","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb8d85788b50b0936d5b3cc2c21508a55d6811f5","datavalue":{"value":"The author shows that there is a certain kind of coherence which is equivalent to congruence permutability and congruence regularity on quasivarieties. A subalgebra \\({\\mathcal B}\\) of an algebra \\({\\mathcal A}\\) is coherent with a congruence \\(\\alpha\\in \\text{Con } {\\mathcal A}\\), if \\([b]\\alpha \\subseteq B\\) for some \\(b\\in B\\) implies that \\([x]\\alpha \\subseteq B\\) for all \\(x\\in B\\). A diagonal subalgebra \\({\\mathcal S}\\) of \\({\\mathcal A}\\times {\\mathcal A}\\) contains the diagonal \\(\\omega= \\{\\langle a,a\\rangle\\); \\(a\\in A\\}\\). Congruences on \\({\\mathcal A}\\times {\\mathcal A}\\) are called factorable if they are of the form \\(\\alpha\\times \\beta\\) (\\(\\alpha,\\beta\\in \\text{Con } {\\mathcal A}\\)). Via two local version of Geiger's theorem and a local version of Werner's theorem one obtains:   (a) The coherence of diagonal symmetric subalgebras of the square with factorable congruences of an algebra \\({\\mathcal A}\\) implies that \\({\\mathcal A}\\) has permutable and regular congruences.   (b) The coherence with factorable congruences on \\({\\mathcal A}\\times {\\mathcal A}\\) of a diagonal subalgebra \\({\\mathcal S}\\) of the square \\({\\mathcal A}\\times {\\mathcal A}\\) of a congruence regular algebra \\({\\mathcal A}\\) follows from the fact that \\({\\mathcal S}\\) has permutable congruences.   So one obtains that for a quasivariety \\(Q\\) the following conditions are equivalent:   (1) The coherence with factorable congruences on \\({\\mathcal A}\\times {\\mathcal A}\\), \\({\\mathcal A}\\in Q\\), of diagonal subalgebras of \\({\\mathcal A}\\times {\\mathcal A}\\).   (2) The coherence with factorable congruences on \\({\\mathcal A}\\times {\\mathcal A}\\), \\({\\mathcal A}\\in Q\\), of diagonal symmetric subalgebras of \\({\\mathcal A}\\times {\\mathcal A}\\).   (3) \\(Q\\) is congruence permutable and congruence regular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q690103$93EF0A12-5E88-4650-89D1-EC8D182F5B6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690103$BB6DFCE7-26F9-4745-B28F-EF1ADBF24BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690103$507EB0FB-F45E-404B-AABA-B275BED262BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690103$B1EC35A2-B542-40EF-B3B6-13933F5600E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82c71fc8e9d08c1e28866a7d27662ab64fce4c41","datavalue":{"value":"446956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690103$D1872B00-A663-4361-B80E-025A96B8B8BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q690103$C8306114-2011-46E9-947A-B3305F31C57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"488379a52d50f1ebe4a44d014baf47c7349f977c","datavalue":{"value":"congruence permutability","type":"string"},"datatype":"string"},"type":"statement","id":"Q690103$5F061FEF-AF75-4307-AEB0-5B9FCAA72224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d0d9b2eb00e370def55cc06c941e5e35aaf4c4b","datavalue":{"value":"congruence regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q690103$ECCAF584-02E8-4D03-B7D5-C685FC950E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q690103$5EA58271-24D8-4234-A77D-FE035A558434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7472bdd82910e1f2b5a2b3c00957086e5bd9802b","datavalue":{"value":"diagonal subalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q690103$2C8B040A-4160-4164-A1E4-BD240C93BB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f05015593d2a1a5aa9f61ea870f5c77b73b77c","datavalue":{"value":"diagonal symmetric subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q690103$6F6962E3-0002-4EA5-B9FD-3522A135BDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b26c7ef5e8a36e3a70cc807d887ed0c61a248c","datavalue":{"value":"factorable congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q690103$2B0DA4E2-E8A6-4254-95ED-2B5800443754","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"723540c573bc4e1096e82bffd6f02dd48ca76d10","datavalue":{"value":{"entity-type":"item","numeric-id":587913,"id":"Q587913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690103$B3FA866E-B36F-449E-BF50-A40F474155C9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690103$3F52B2E5-299E-4BAF-9481-F3865D288266","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":"Q690103$25F325AC-C303-41A5-BFDE-DD73ED34D82B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"909451392cce897fb52b276ca64c9a10b619bfb3","datavalue":{"value":{"entity-type":"item","numeric-id":1096657,"id":"Q1096657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690103$0140CA2F-8A4C-4C14-ABF5-3DFC8CFFD0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc43391d4b229a9658427575591cfba69da525","datavalue":{"value":{"entity-type":"item","numeric-id":1175936,"id":"Q1175936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690103$26AF2392-6BC4-4486-9204-35C7951D9EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7bc46d7da04e0e02b0ecfb17c1d966a3fbd633","datavalue":{"value":{"entity-type":"item","numeric-id":3315566,"id":"Q3315566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690103$F925D815-ADF4-464B-B575-1B769CC2D12F","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":"Q690103$044129DD-8F53-42EA-9B50-C77FE073A970","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":"Q690103$FC684CC0-2590-456D-8D11-3331F5FE8009","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f3d8a31ade91560a44fc3cb8a0a6aac1ea4139e","datavalue":{"value":"https://doi.org/10.1007/bf01190443","type":"string"},"datatype":"url"},"type":"statement","id":"Q690103$C2330323-0DCB-48A5-8E63-99349D26372B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29fe2f5c15fe7ddea14a894bceb3b11fefb1dcdb","datavalue":{"value":"W2029866665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690103$DA8FC078-B1E4-4863-885E-2A8191B4C4A7","rank":"normal"}],"P1643":[{"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":"9ac4530ad57afa43c9cca72c3ab9c94d73efc915","datavalue":{"value":{"amount":"+0.8779457211494446","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":"Q690103$D7E387B4-9889-445F-8C81-6EFA196A8454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080a36e1d06417fdc864adede6bdcd1cf3db168d","datavalue":{"value":{"entity-type":"item","numeric-id":792364,"id":"Q792364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7b10a230e7cb32d51a66e953411d7d5dbfce76","datavalue":{"value":{"amount":"+0.8491640686988831","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":"Q690103$AC12A6D7-1B07-4A98-9532-8926291545DF","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":"2e85c56fa844c5d26cf40198b7229f14c4cc62d7","datavalue":{"value":{"amount":"+0.8348510265350342","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":"Q690103$A96DB6F6-19B2-4AC8-8AF1-05A095DA807B","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":"bb703660a9b65ce788c5fe84e2873d6e6587ca15","datavalue":{"value":{"amount":"+0.8254790902137756","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":"Q690103$8F5992BA-677C-426B-BB51-077E2F70672C","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":"934e68b41d269056e8cd25439bd68f075e04ff7d","datavalue":{"value":{"amount":"+0.825133740901947","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":"Q690103$4B2B82FF-DAC9-4ABF-BB70-CA28597225C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence of diagonal subalgebras and factorable congruences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherence_of_diagonal_subalgebras_and_factorable_congruences"}}}}}