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. / 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.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa.de:bsz:14-qucosa-131431 |
Date | 10 January 2014 |
Creators | Behrisch, Mike, Vargas-García, Edith |
Contributors | Technische Universität Dresden, Fakultät Mathematik und Naturwissenschaften, Universidad Autónoma de la Ciudad de México, Academia de Matemáticas, Technische Universität Dresden, Fakultät Mathematik und Naturwissenschaften |
Publisher | Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | English |
Detected Language | German |
Type | doc-type:preprint |
Format | application/pdf |
Relation | dcterms:isPartOf:Preprint / Technische Universität Dresden ; MATH-AL 2014,01 |
Page generated in 0.0021 seconds