All minimal clones on the three-element set
All minimal clones on the three-element set
复制标题
三元素集上的所有最小克隆
作者:
B. Csákány
A clone on a set M is a set of Unitary operations on M which is closed under composition and contains all projections. The clones on M form an algebraic lattice; the atoms and the dual atoms of this lattice are called minimal clones and maximal clones on M, respectively. A full description of all clones, hence of all minimal and maximal clones for \M\ = 2 was given by Post; a complete list of all maximal clones was found by Jablonskil for \M | = 3 and by Rosenberg for any finite M (see [15], [10], and [17]). Until now, only special examples of minimal clones were known for the case |M|>2 . In this paper we determine all minimal clones on a three-element M. We use the standard universal algebraic terminology [9] except that function stands for operation and term function for polynomial. All functions (and hence all clones) are defined on the base set 3 = {0, 1, 2}. If / is a function, [ / ] is the clone generated by / i.e. the clone of all term functions of the algebra (3; / ) . Projections will also be called trivial functions. We use the notation a for the set of triplets consisting of distinct entries from 3 and i for 3\<r. In what follows we often make use of functions of the following types 1)—4). 1) Unary functions. Such a function / is denoted by u„, where «=9./(0)4+ 3. /( l )+/(2) . 2) Binary idempotent functions. Such a function with the Cayley table