Prefer a chat interface with context about you and your work?
Invariance groups of functions and related Galois connections
Abstract Invariance groups of sets of Boolean functions can be characterized as Galois closures of a suitable Galois connection. We consider such groups in a much more general context using group actions of an abstract group and arbitrary functions instead of Boolean ones. We characterize the Galois closures for both …