Local completeness. I

Subalgebras, congruence relations (08A30) Automorphisms and endomorphisms of algebraic structures (08A35) Operations and polynomials in algebraic structures, primal algebras (08A40)

Review text

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.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Local completeness. I

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