An algebraic theory of clones - Archive ouverte HAL Access content directly
Journal Articles Algebra Universalis Year : 2022

An algebraic theory of clones

(1) , (1)
1

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.
Not file

Dates and versions

hal-03666364 , version 1 (12-05-2022)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More