{"id":"arxiv/2608.17762","url":"https://arxiv.org/abs/2608.17762","tags":["math.LO"],"score":0,"title":"Finitely Related Clones: Action Algebras and Applications to Free Algebras","domain":"math.LO","source":"arxiv","authors":["Vishwesh Tiwari"],"reviews":0,"subject":"math.LO","summary":"For finite-domain constraint satisfaction problems (CSPs), the polymorphism clone provides an algebraic framework for studying the associated constraint language. A central question in clone theory is whether a clone is finitely related, that is, whether it is determined by the operations preserving a finite set of relations. Here, we study this question through the action algebra of a clone on its own $n$-ary part. We prove that a clone $\\mathcal{C}$ on a finite domain $C$ is finitely related if and only if its action algebra $\\widetilde{\\mathcal{C}} = \\mathcal{C} \\curvearrowright…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-18","reactions":{}}