伽罗瓦联络格的特性

Characteristics of Galois Connection

对于任意完备格P,Q,研究Γ(P,Q)是从P到Q所有伽罗瓦联络形成的集合。在逐点序的条件下,Γ(P,Q)是一个完备格。讨论Γ(P,Q)性质中的格理论,特别是Γ(P,Q)和完备格Q在代数模和分配性之间的相互关系。伽罗瓦联络的特性对信息理论研究具有一定的理论意义。

For any complete lattice P,Q, it is studied that F（P, Q） is the set of all Galois connection formed from P to Q. Under the pointwise order condition, P（P,Q）is a complete lattice. The properties of F（P, Q） about lattice theory are discussed. In particular, the mutual relationship of Г（P,Q） and complete lattice Q is discussed between algebra module and distributive. Characteristic of Galois connection is of the theoreti- cal significance for the study of information theory.