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

DOI10.1007/S00012-012-0184-1MaRDI QIDQ422339zbMATHOpenAlexFDO

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)

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

Describes a project that uses

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)