On the relationship of maximal C-clones and maximal clones
Mike Behrisch, Edith Vargas-García · Qucosa (Saxon State and University Library Dresden) · 2014
A restricted version of the Galois connection between polymorphisms and invariants, called Pol−CInv, is studied, where the invariant relations are restricted to so-called clausal relations. In this context, the relationship of maximal C-clones and maximal clones is investigated. It is shown that, with the exception of one special case occurring for Boolean domains, maximal C-clones are never maximal clones.:1 Introduction 2 Preliminaries 3 Proof of the main theorem 3.1 Principle of proof 3.2 Bounded orders 3.3 Non-trivial congruences 3.4 Selfdual functions 3.5 Quasilinear functions 3.6 Functions preserving central and h-regular relations 4 Concluding remarks References