Generalized quasiorders and the Galois connection End-gQuord

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Structure theory of algebraic structures (08A05) Operations and polynomials in algebraic structures, primal algebras (08A40) Algebraic structures (08A99)

Abstract: Equivalence relations or, more general, quasiorders (i.e., reflexive and transitive binary relations)

h o

have the property that an

n

-ary operation

f

preserves

h o

, i.e.,

f

is a polymorphism of

h o

, if and only if each translation (i.e., unary polynomial function obtained from

f

by substituting constants) preserves

h o

, i.e., it is an endomorphism of

h o

. We introduce a wider class of relations -- called generalized quasiorders -- of arbitrary arities with the same property. With these generalized quasiorders we can characterize all algebras whose clone of term operations is determined by its translations by the above property, what generalizes affine complete algebras. The results are based on the characterization of so-called u-closed monoids (i.e., the unary parts of clones with the above property) as Galois closures of the Galois connection End-gQuord, i.e., as endomorphism monoids of generalized quasiorders. The minimal u-closed monoids are described explicitly.

Recommendations

Cites work

Cited in

(1)

The minimal closed monoids for the Galois connection \(\mathrm{End}\)-\(\mathrm{Con}\).

This page was built for publication: Generalized quasiorders and the Galois connection End-gQuord

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