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

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

Erkko Lehtonen, Miguel Couceiro

Publication date: 16 May 2012

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

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.

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)

Cites Work

• 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 Connexions
• Function Algebras on Finite Sets
• Closed systems of functions and predicates
• Galois theory for minors of finite functions
• On closed sets of relational constraints and classes of functions closed under variable substitutions
• Closed classes of functions, generalized constraints, and clusters
• Universal algebra and applications in theoretical computer science
• On generalized constraints and certificates
• Closure Operators and Galois Theory in Lattices

Cited In (16)

• On the efficiency of normal form systems for representing Boolean functions
• On the number of universal algebraic geometries
• Some varieties of algebraic systems of type ((n),(m))
• Galois theory for analogical classifiers
• Semigroups of linear tree languages
• Partial clones
• Partial Menger algebras of terms
• The semigroup of linear terms
• Galois theory for semiclones
• A generalized superposition of linear tree languages and products of linear tree languages
• Semigroup properties of linear terms
• Title not available (Why is that?)
• Title not available (Why is that?)
• The partial clone of linear terms
• The partial clone of completely expanded terms
• Clone-induced approximation algebras of Bernoulli distributions

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)