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

projection clone Boolean group multiclone

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

m a t h c a l C

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

m g e q 3

if and only if there is a Boolean group

G

on

A

for which

m a t h c a l C

is the set of all operations

f (x_{1}, ..., x_{n})

of the form

a + s u m_{i i n I} x_{i}

for

a i n A

and

I s u b s e t e q 1, ..., n

.

Recommendations

Cites work

Cited in

(2)

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)