相关论文: A Galois connection related to restrictions of con…

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…

In this paper we focus on functions of the form $A^n\rightarrow \mathcal{P}(B)$, for possibly different arbitrary non-empty sets $A$ and $B$, and where $\mathcal{P}(B)$ denotes the set of all subsets of $B$. These mappings are called…

We study the basic Galois connection induced by the "satisfaction" relation between external operations $A^n\rightarrow B$ defined on a set $A$ and valued in a possibly different set $B$ on the one hand, and ordered pairs $(R,S)$ of…

Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ and taking values in a possibly different set $B$, where any…

We study the form of possible algebraic relations between functions satisfying linear differential equations. In particular , if f and g satisfy linear differential equations and are algebraically dependent, we give conditions on the…

We consider equations of the form Bf=g, where B is a Galois connection between lattices of functions. This includes the case where B is the Legendre-Fenchel transform, or more generally a Moreau conjugacy. We characterise the existence and…

The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations.

It is a classical result from universal algebra that the notions of polymorphisms and invariants provide a Galois connection between suitably closed classes (clones) of finitary operations $f\colon B^n\to B$, and classes (coclones) of…

Given $\texttt{S}|\texttt{R}$ a finite Galois extension of finite chain rings and $\mathcal{B}$ an $\texttt{S}$-linear code we define two Galois operators, the closure operator and the interior operator. We proof that a linear code is…

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…

We propose a classification of symmetric conservative clones with a finite carrier. For the study, we use the functional Galois connection $(Inv_Q, Pol_Q)$, which is a natural modification of the connection $(Inv, Pol)$ based on the…

We generalize the notion of complete binary relation on complete lattice to residuated lattice valued ordered sets and show its properties. Then we focus on complete fuzzy tolerances on fuzzy complete lattices and prove they are in…

Let C be an algebraically closed field and X a projective curve over C. Consider an ordinary linear differential equation, or a linear differ- ence equation, with coefficients in the field of rational functions of X, and assume that its…

We give a complete list of rational functions $A$ such that the genus $g$ of the Galois closure of $\mathbb C(z)/\mathbb C(A)$ equals zero. We also provide a geometric description of $A$ for which $g=1.$

Preclones are described as the closed classes of the Galois connection induced by a preservation relation between operations and matrix collections. The Galois closed classes of matrix collections are also described by explicit closure…

In this paper we define operations of preradicals of any abelian category. We define idempotent preradicals and radicals. We prove that every adjoint pair between abelian categories induces a Galois connection between the corresponding…

For a finite binary relation, we show a local operation which does not decrease its number of (Galois-)closed sets and eventually increases its (Vapnik-Chervonenkis)-dimension. Specifically, we show that there always exist a pair of…

We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the…

Given two $G$-Galois extensions of $\mathbb Q$, is there an extension of $\mathbb Q(t)$ that specializes to both? The equivalence relation on $G$-Galois extension of $\mathbb Q$, induced by the above question, is called $R$-equivalence. The…

Let $\rho_1$ and $\rho_2$ be a pair of residual, odd, absolutely irreducible two-dimensional Galois representations of a totally real number field $F$. In this article we propose a conjecture asserting existence of "safe" chains of…