Galois theory for semiclones

DOI10.1007/S00012-016-0407-YzbMATH Open1354.08002arXiv1509.06355OpenAlexW2249850528WikidataQ55670523 ScholiaQ55670523MaRDI QIDQ334979FDOQ334979

Authors: Mike Behrisch 

Publication date: 1 November 2016

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative function algebra (semiclones) and relation pair clones, respectively. Moreover, we describe the modified closure operators if only functions and relation pairs of a certain bounded arity, respectively, are considered.

Full work available at URL: https://arxiv.org/abs/1509.06355

Recommendations

• scientific article; zbMATH DE number 1775480
• Clones with nullary operations.
• Galois theory for clones and superclones
• scientific article; zbMATH DE number 1522671
• Closed classes of functions, generalized constraints, and clusters

zbMATH Keywords

Galois theoryiterative algebrarelation pair clonesemiclone

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Relational systems, laws of composition (08A02) Operations and polynomials in algebraic structures, primal algebras (08A40)

Cites Work

• A dichotomy theorem for constraint satisfaction problems on a 3-element set
• Function Algebras on Finite Sets
• A survey of clones on infinite sets
• A general Galois theory for operations and relations in arbitrary categories
• The cardinality of the set of all clones containing a given minimal clone on three elements
• Closed systems of functions and predicates
• Clones with nullary operations.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Galois theory for semiclones
• Galois theory for minors of finite functions
• Minimal functions on the random graph
• On closed sets of relational constraints and classes of functions closed under variable substitutions
• Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem
• Reconstructing the topology of clones
• Clausal relations and {C}-clones
• On Galois Connections between External Operations and Relational Constraints: Arity Restrictions and Operator Decompositions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Galois theory for sets of operations closed under permutation, cylindrification, and composition
• Title not available (Why is that?)
• Topological Birkhoff
• Closed classes of functions, generalized constraints, and clusters

Cited In (13)

• On closed sets of relational constraints and classes of functions closed under variable substitutions
• Title not available (Why is that?)
• Reconstructing the topology of clones
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semi-topological Galois Theory
• Galois theory of semilinear transformations
• Galois theory for clones and superclones
• Galois theory for semiclones
• Galois theory for sets of operations closed under permutation, cylindrification, and composition
• Title not available (Why is that?)
• Characterization of preclones by matrix collections
• Galois theory for minors of finite functions

This page was built for publication: Galois theory for semiclones

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q334979)