Galois theory for sets of operations closed under permutation, cylindrification, and composition

DOI10.1007/S00012-012-0184-1zbMATH Open1257.08002OpenAlexW2038909626MaRDI QIDQ422339FDOQ422339

Authors Miguel Couceiro, Erkko Lehtonen 

Publication date 16 May 2012

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

compositionread-once functionGalois connectionfunction algebracylindrificationlinear term operationspermutation of variablessystem of pointed multisets

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Operations and polynomials in algebraic structures, primal algebras (08A40)

Abstract: We consider sets of operations on a set A that are closed under permutation of variables, addition of dummy variables and composition. We describe these closed sets in terms of a Galois connection between operations and systems of pointed multisets, and we also describe the closed sets of the dual objects by means of necessary and sufficient closure conditions. Moreover, we show that the corresponding closure systems are uncountable for every A with at least two elements.

Recommendations

• Galois theory for semiclones
• Characterization of sets of discrete functions by algebraic identities
• Closed classes of functions, generalized constraints, and clusters
• scientific article; zbMATH DE number 19609
• Galois theory for clones and superclones

Cites Work

• scientific article; zbMATH DE number 5852793 (Why is no real title available?)
• scientific article; zbMATH DE number 3968584 (Why is no real title available?)
• scientific article; zbMATH DE number 3677917 (Why is no real title available?)
• scientific article; zbMATH DE number 2118880 (Why is no real title available?)
• Closed classes of functions, generalized constraints, and clusters
• Closed systems of functions and predicates
• Closure Operators and Galois Theory in Lattices
• Function Algebras on Finite Sets
• Galois Connexions
• Galois theory for minors of finite functions
• On closed sets of relational constraints and classes of functions closed under variable substitutions
• On generalized constraints and certificates
• Universal algebra and applications in theoretical computer science

Cited In (18)

• The order of linear relational hypersubstitutions for algebraic systems
• On the efficiency of normal form systems for representing Boolean functions
• On the number of universal algebraic geometries
• Galois theory for analogical classifiers
• Semigroups of linear tree languages
• Partial clones
• Partial Menger algebras of terms
• Galois theory for finite algebras of operations and multioperations of rank 2
• The semigroup of linear terms
• Galois theory for semiclones
• A generalized superposition of linear tree languages and products of linear tree languages
• Characterization of sets of discrete functions by algebraic identities
• Some varieties of algebraic systems of type \(((n),(m))\)
• Semigroup properties of linear terms
• The partial clone of linear terms
• The partial clone of completely expanded terms
• Clone-induced approximation algebras of Bernoulli distributions
• The monoid of linear hypersubstitutions

Uses Software

• JBool

This page was built for publication: Galois theory for sets of operations closed under permutation, cylindrification, and composition

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