相容关系

在泛代数和格理论中，相容关系（）是指被代数结构的每个运算所保持的自反对称关系。是同余关系去掉传递性的要求而得到的概念。

具体内容参考：左孝凌离散数学，石纯一数理逻辑与集合论，对“相容关系与覆盖”的再认识。注意，左孝凌和再认识一文对完全覆盖的定义是不同的，左文定义的完全覆盖和相容关系是一一对应的，而再认识一文定义的完全覆盖和相容关系不是一一对应的。

定义 
代数结构上的相容关系通常定义为与的所有运算都兼容的自反对称关系，也可视为满足某些条件的的覆盖。可以证明两个定义是相互等价的。代数结构上的相容关系关于蕴涵构成代数格。每个同余关系是相容关系，因此同余关系格是相容关系格的一个子集，但不必是的子格。

作为二元关系 
代数结构上的相容关系定义为满足以下条件的上的二元关系。
 （自反性）对于任意，有。
 （对称性）对于任意，如果，那么有。
 （相容性）构成两个的直积的子代数。也就是说，对于每个元运算以及，如果对每个成立，那么有。
同余关系定义为传递的相容关系。

作为覆盖 
代数结构上的相容关系定义为满足以下条件的的覆盖。
 对于任意以及，如果，那么有。
 特别地，的任何两个不同元素是不可比较的。（取。）
 对于任意，如果不是的元素的子集，存在二元素子集使得不是的元素的子集。
 对于每个元运算以及，存在使得。（这样的不一定唯一。）
集合分划满足定义中的前两个条件，但是反之不然。同余关系定义为构成分划的相容关系。

两种定义的等价 
相容关系作为二元关系和作为覆盖的定义是等价的。具体地，设是一个代数结构，是上的二元关系，并且是上的相容关系。记是由极大子集使得对于每个有所构成的集合。使用图论术语，是图的极大团的集合。在同余关系的情形下就是等价类组成的商集。那么，是的覆盖，并且满足作为覆盖定义中的三个条件。（最后一个条件可以使用佐恩引理予以证明。）反之，设是的覆盖，并且作为覆盖构成相容关系。定义上的二元关系，使得当且仅当存在使得。那么作为二元关系构成上的相容关系。因此两种定义等价。一个相容关系作为二元关系是传递关系当且仅当作为覆盖是分划。所以同余关系的两种刻画也是一致的。

关于相容关系的商代数 
设是代数结构，是其上的相容关系，并且设对于每个元运算以及，存在唯一的使得有

那么，这就自然地定义了关于的商代数

对于同余关系，上面的唯一性条件必然成立，并且上面定义的商代数与通常的商代数是一致的。

与同余关系不同，对于相容关系，上面的唯一性条件不一定成立；即使成立，商代数不一定继承用来定义所属簇的恒等式，于是不一定仍然落入这个簇。因此，对于代数结构簇，我们需要考虑它可能满足的以下两个条件。
 （相容可分解性）对于所有以及其上的相容关系，上面表述的唯一性条件成立。（从而可以定义商代数。)
 （强相容可分解性）对于所有以及其上的相容关系，上面表述的唯一性条件成立，并且有。
前者蕴涵后者，但是反之不一定成立。

例

集合 
集合是没有任何运算的代数结构。此时，相容关系无非是集合上的自反对称关系。显然，集合簇是强相容可分解的。

群 
在群中，所有相容关系是同余关系。特别地，对于那些具有群子结构的代数结构，如环、向量空间、模、布尔代数也是如此。因此，这些代数结构的簇也是强相容可分解的。

格 
设是格，是其上的相容关系。那么的每个元素是的凸子格。因此，对于每个，我们有

特别地，下面结果成立。
 当且仅当。
 如果并且，那么。

格簇是强相容可分解的。也就是说，给定格以及其上的相容关系，对于任意，存在唯一的满足

并且商代数

仍然构成格。

特别地，分配格和模格关于相容关系的商格总是存在。但是这种商格不一定仍然构成分配格或模格。也就是说，分配格簇和模格簇是相容可分解的，但不是强相容可分解的。其实，格簇的所有子簇是相容可分解的，但是格簇的强相容可分解子簇只有自身和由单元素格构成的平凡子簇。这是因为，所有格都同构于二元素格的直积的子格关于相容关系的商格的子格。

参考文献 

泛代数
格理论
离散数学
数学关系