Return to search

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
References / Wir 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
References

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:27385
Date10 January 2014
CreatorsBehrisch, Mike, Vargas-García, Edith
ContributorsUniversidad Autónoma de la Ciudad de México
PublisherTechnische Universität Dresden
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageEnglish
Detected LanguageEnglish
Typedoc-type:preprint, info:eu-repo/semantics/preprint, doc-type:Text
Rightsinfo:eu-repo/semantics/openAccess
Relationurn:nbn:de:bsz:14-qucosa-100659, qucosa:26311

Page generated in 0.002 seconds