{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q690103","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q690103","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q690103","kernelVersion":"v1","immutable":true,"modified":"2026-01-01T00:22:00Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q690103","name":"Coherence of diagonal subalgebras and factorable congruences","headline":"Coherence of diagonal subalgebras and factorable congruences","description":"scientific article; zbMATH DE number 446956","url":"https://portal.mardi4nfdi.de/entity/Q690103","datePublished":"1994-08-25","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q587913"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q178112"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/BF01190443","url":"https://doi.org/10.1007/BF01190443"},"sameAs":["https://doi.org/10.1007/BF01190443"],"comment":"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.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1096657"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1175936"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3315566"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1220094"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1393259"}]},"provenance":{"prov:generatedAtTime":"2026-01-01T00:22:00Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}