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
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:27385 |
| Date | 10 January 2014 |
| Creators | Behrisch, Mike, Vargas-García, Edith |
| Contributors | Universidad Autónoma de la Ciudad de México |
| Publisher | Technische Universität Dresden |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | English |
| Detected Language | English |
| Type | doc-type:preprint, info:eu-repo/semantics/preprint, doc-type:Text |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | urn:nbn:de:bsz:14-qucosa-100659, qucosa:26311 |
Page generated in 0.002 seconds