{"@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/Q818705","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q818705","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q818705","kernelVersion":"v1","immutable":true,"modified":"2025-07-08T18:19:00Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q818705","name":"Approximate distributive laws and finite equational bases for finite algebras in congruence-distributive varieties","headline":"Approximate distributive laws and finite equational bases for finite algebras in congruence-distributive varieties","description":"scientific article; zbMATH DE number 5013975","url":"https://portal.mardi4nfdi.de/entity/Q818705","datePublished":"2006-03-21","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q790853"},{"@id":"https://portal.mardi4nfdi.de/entity/Q230381"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q178112"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00012-005-1928-Y","url":"https://doi.org/10.1007/S00012-005-1928-Y"},"sameAs":["https://doi.org/10.1007/S00012-005-1928-Y"],"comment":"An operational unary polynomial on an algebra \\({A}\\) is defined to be a polynomial function obtained by freezing all entries except one in a basic operation on \\({A}\\). Let \\(O_A\\) be the set of all operational polynomials of \\({A}\\). For \\(\\alpha\\in\\text{ Eqv}(A)\\) let \\(\\mathcal{O}_{\\alpha}\\) be the equivalence relation on \\(A\\) generated by \\(\\alpha\\cup\\{\\langle p(\\alpha),q(\\alpha)\\rangle:p\\in O_A,\\langle a,b\\rangle\\in\\alpha\\}\\). Let \\(M\\) be a positive integer. An algebra \\({A}\\) is said to have Mal'tsev depth at most \\(M\\) if \\({\\mathcal O}^{M+1}={\\mathcal O}^M\\) on \\(\\text{Eqv}(A)\\). The authors consider certain conditions dealing with equivalence relations and the operator \\(\\mathcal{O}\\) which they denote as approximate distributive laws. These conditions are applied to give constructive proofs of the following results: (1) Let \\(\\mathcal{V}\\) be a congruence-distributive locally finite variety. If the Mal'tsev depths of finitely subdirectly irreducible members of \\(\\mathcal{V}\\) are bounded by \\(N\\), then all members of \\(\\mathcal{V}\\) have Mal'tsev depth bounded by \\(N+D\\), where \\(D\\) is the maximum depth of the designated Jónsson terms for \\(\\mathcal{V}\\). (2) A congruence-distributive variety of finite type that is generated by a finite algebra is finitely based."},"provenance":{"prov:generatedAtTime":"2025-07-08T18:19:00Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}