No label defined (Q4700372)

A clone over a set \(A\) is called commutative if for any two of its operations \(f\) (\(m\)-ary) and \(g\) (\(n\)-ary) there holds \[ f(g(x_{11},\dots,x_{1n}),\dots, g(x_{m1},\dots,x_{mn}))=g(f(x_{11},\dots,x_{m1}),\dots,f(x_{1n},\dots, x_{mn})) \] for all \(x_{11},\dots,x_{mn}\in A\); it is called minimal commutative if it is an atom in the poset of all commutative clones over \(A\); and it is said to have a finite faithful representation if it is isomorphic to a clone over a finite set generated by a single operation. In the paper under review all minimal commutative clones are classified up to isomorphism. As a corollary one obtains that every such clone has a finite faithful representation.