On the relationship of maximal C-clones and maximal clones

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 ReferencesWir untersuchen eine eingeschränkte Variante der Galoisverbindung zwischen Polymorphismen und invarianten Relationen, bezeichnet mit Pol−CInv, wobei die invarianten Relationen auf sogenannte klausale Relationen beschränkt werden. In diesem Zusammenhang wird die Beziehung zwischen maximalen C-Klonen und maximalen Klonen betrachtet. Es wird gezeigt, daß, mit Ausnahme eines Spezialfalles für Boolesche Grundmengen, maximale C-Klone niemals maximale Klone sind.: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 Reference