Skip to Main content Skip to Navigation
Journal articles

An algebraic theory of clones

Abstract : We introduce the notion of clone algebra (CA), intended to found a one-sorted, purely algebraic theory of clones. CAs are defined by identities and thus form a variety in the sense of universal algebra. The most natural CAs, the ones the axioms are intended to characterise, are algebras of functions, called functional clone algebras (FCA). The universe of a FCA, called ω-clone, is a set of infinitary operations on a given set, containing the projections and closed under finitary compositions. The main result of this paper is the general representation theorem, where it is shown that every CA is isomorphic to a FCA and that the variety CA is generated by the class of finite-dimensional CAs. This implies that every ω-clone is algebraically generated by a suitable family of clones by using direct products, subalgebras and homomorphic images. We conclude the paper with two applications. In the first one, we use clone algebras to give an answer to a classical question about the lattices of equational theories. The second application is to the study of the category of all varieties of algebras.
Document type :
Journal articles
Complete list of metadata
Contributor : Equipe HAL Université Paris Cité Connect in order to contact the contributor
Submitted on : Thursday, May 12, 2022 - 1:39:49 PM
Last modification on : Tuesday, September 6, 2022 - 1:27:27 PM




Antonio Bucciarelli, Antonino Salibra. An algebraic theory of clones. Algebra Universalis, Springer Verlag, 2022, 83 (2), pp.14. ⟨10.1007/s00012-022-00770-9⟩. ⟨hal-03666364⟩



Record views