论外部运算与关系约束之间的伽罗瓦联络：元数限制与算子分解

我们研究由“满足”关系诱导的基本伽罗瓦联络，该关系一方面涉及定义在集合 $A$ 上并在可能不同的集合 $B$ 中取值的外部运算 $A^n\rightarrow B$，另一方面涉及关系的有序对 $(R,S)$，其中 $R\subseteq A^m$ 且 $S\subseteq B^m$，称为关系约束。我们根据对应于简单闭包条件的闭包算子，分解了与此伽罗瓦联络相关的闭包映射，这些简单闭包条件描述了相应的函数与约束的伽罗瓦闭集。我们进一步通过将原始对象和对偶对象的集合限制为固定元数来考虑伽罗瓦对应。我们借助简单闭包条件的参数化类似物描述了受限的伽罗瓦闭包系统，并给出了相应伽罗瓦闭包映射的分解，类似于无限制情形中提供的分解。