Small clones and the projection property

DOI10.1007/S00012-010-0063-6MaRDI QIDQ992011zbMATH OpenOpenAlexFDO

Authors Maurice Pouzet, Ivo G. Rosenberg

Publication date 8 September 2010

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

Boolean groupclonemulticloneprojection

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Finitary algebras (08A62)

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(x_1,\mathrm{...},x_n)$ of the form $a+su{m}_{iinI}{x}_i$ for $ainA$ and $Isubseteq1,\mathrm{...},n$.

Review text

The classification of minimal clones on finite universes into five types, due to the second author [in: L. Szabó et al. (eds.), Universal algebra, Colloq., Szeged/Hung. 1983, Colloq. Math. Soc. János Bolyai 43, 405--427 (1986; Zbl 0603.08005)], is extended to infinite universes and to multiclones: Every non-trivial clone contains a ``small clone of one of the five types. This result permits an alternate view of the projection property treated in a previous paper by the authors and \textit{M. G. Stone} [Algebra Univers. 36, No. 2, 159--184 (1996; Zbl 0901.08001)].

Recommendations

• PROJECTIVE CLONE HOMOMORPHISMS
• scientific article; zbMATH DE number 3993661
• A generalisation of the Clunie-Sheil-Small theorem
• scientific article; zbMATH DE number 480529
• scientific article; zbMATH DE number 3960988
• Projections of measures with small supports
• scientific article; zbMATH DE number 3923039
• scientific article; zbMATH DE number 151668
• Small projective modules
• scientific article; zbMATH DE number 3997881

Cites work

• A projection property
• Algebras which are independently generated by every n elements
• Braids and their monotone clones
• scientific article; zbMATH DE number 430398 (Why is no real title available?)
• scientific article; zbMATH DE number 1924164 (Why is no real title available?)
• scientific article; zbMATH DE number 1423234 (Why is no real title available?)

Cited in

(3)

• Generalizations of Świerczkowski's lemma and the arity gap of finite functions
• All centralising monoids with majority witnesses on a four-element set
• On an SI^*-interval of rank-2 multioperations

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)