Local completeness. I (Q759784)

An algebra \({\mathfrak A}=<A,F>\) is locally complete if for every map \(f: A^ n\to A\) and every finite \(B\subseteq A\) there is a function g with \(g|_{B^ n}=f|_{B^ n}\). Thus for finite algebras local completeness reduces to primality. In an earlier paper the first author has provided a ''generic system'' of relations such that a finite algebra \({\mathfrak A}\) is primal iff no relation of the system is a subalgebra of a (suitable) power of \({\mathfrak A}.\) A corresponding generic system providing a test for local completeness is given in the present paper. For every algebra \(<A,F>\) which is not locally complete, there is a relation \(\rho\) from the system which is preserved by F. Many of the relations in the generic system are familiar from the earlier mentioned result but new types of relations had to be added. (Since the lattice of locally closed clones is not coatomic, the system must necessarily contain infinite sequences of relations.) The question of reducing the types of relations in the system is posed. If it is known that \({\mathfrak A}\) generates a permutable variety a short criterion is obtained: Theorem: Let \({\mathfrak A}\) generate a permutable variety, then \({\mathfrak A}\) is locally complete, iff (i) \({\mathfrak A}\) has no proper subalgebras, (ii) \({\mathfrak A}\) is simple, (iii) \({\mathfrak A}\) has no automorphism whose cycles are either all of the same prime length or all infinite and (iv) \({\mathfrak A}\) is affine with respect to no abelian elementary p-group or torsionfree and divisible group.