Small clones and the projection property

From MaRDI portal
Publication:992011

DOI10.1007/S00012-010-0063-6zbMATH Open1205.08002arXiv0705.1519OpenAlexW2083535322MaRDI QIDQ992011FDOQ992011

Ivo G. Rosenberg, Maurice Pouzet

Publication date: 8 September 2010

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: In 1986, the second author classified the minimal clones on a finite universe into five types. We extend this classification to infinite universes and to multiclones. We show that every non-trivial clone contains a "small" clone of one of the five types. From it we deduce, in part, an earlier result, namely that if mathcalC is a clone on a universe A with at least two elements, that contains all constant operations, then all binary idempotent operations are projections and some m-ary idempotent operation is not a projection some mgeq3 if and only if there is a Boolean group G on A for which mathcalC is the set of all operations f(x1,...,xn) of the form a+sumiinIxi for ainA and Isubseteq1,...,n.


Full work available at URL: https://arxiv.org/abs/0705.1519





Cites Work


Cited In (2)


   Recommendations





This page was built for publication: Small clones and the projection property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q992011)