相容關係

泛代數格理論中,相容關係(英語:tolerance relation)是指被代數結構的每個運算所保持的自反對稱關係。是同餘關係去掉遞移性的要求而得到的概念。

具體內容參考:左孝凌離散數學,石純一數理邏輯與集合論,對「相容關係與覆蓋」的再認識。注意,左孝凌和再認識一文對完全覆蓋的定義是不同的,左文定義的完全覆蓋和相容關係是一一對應的,而再認識一文定義的完全覆蓋和相容關係不是一一對應的。

定義

代數結構 上的相容關係通常定義為與 的所有運算都兼容的自反對稱關係,也可視為滿足某些條件的 覆蓋。可以證明兩個定義是相互等價的。代數結構 上的相容關係關於蘊涵構成代數格 。每個同餘關係是相容關係,因此同餘關係格 是相容關係格 的一個子集,但 不必是 的子格。[1]

作為二元關係

代數結構 上的相容關係定義為滿足以下條件的 上的二元關係 

  • 自反性)對於任意 ,有 
  • 對稱性)對於任意 ,如果 ,那麼有 
  • (相容性) 構成兩個 直積 的子代數。也就是說,對於每個 元運算 以及 ,如果 對每個 成立,那麼有 

同餘關係定義為遞移的相容關係。

作為覆蓋

代數結構 上的相容關係定義為滿足以下條件的 覆蓋[2]:307, Theorem 3

  • 對於任意 以及 ,如果 ,那麼有 
    • 特別地, 的任何兩個不同元素是不可比較的。(取 。)
  • 對於任意 ,如果 不是 的元素的子集,存在二元素子集 使得 不是 的元素的子集。
  • 對於每個 元運算 以及 ,存在 使得 。(這樣的 不一定唯一。)

集合分劃滿足定義中的前兩個條件,但是反之不然。同餘關係定義為構成分劃的相容關係。

兩種定義的等價

相容關係作為二元關係和作為覆蓋的定義是等價的。具體地,設 是一個代數結構  上的二元關係,並且是 上的相容關係。記 是由極大子集 使得對於每個  所構成的集合。使用圖論術語,  極大團的集合。在同餘關係的情形下 就是等價類組成的商集。那麼,  覆蓋,並且滿足作為覆蓋定義中的三個條件。(最後一個條件可以使用佐恩引理予以證明。)反之,設  覆蓋,並且作為覆蓋構成相容關係。定義 上的二元關係 ,使得 若且唯若存在 使得 。那麼 作為二元關係構成 上的相容關係。因此兩種定義等價。一個相容關係作為二元關係遞移關係若且唯若作為覆蓋分劃。所以同餘關係的兩種刻畫也是一致的。

關於相容關係的商代數

 代數結構 是其上的相容關係,並且設對於每個 元運算 以及 ,存在唯一的 使得有

 

那麼,這就自然地定義了 關於 商代數

 

對於同餘關係,上面的唯一性條件必然成立,並且上面定義的商代數與通常的商代數是一致的。

同餘關係不同,對於相容關係,上面的唯一性條件不一定成立;即使成立,商代數 不一定繼承用來定義 所屬的恆等式,於是 不一定仍然落入這個簇。因此,對於代數結構簇 ,我們需要考慮它可能滿足的以下兩個條件。[1]

  • (相容可分解性)對於所有 以及其上的相容關係 ,上面表述的唯一性條件成立。(從而可以定義商代數 。)
  • (強相容可分解性)對於所有 以及其上的相容關係 ,上面表述的唯一性條件成立,並且有 

前者蘊涵後者,但是反之不一定成立。

集合

集合是沒有任何運算的代數結構。此時,相容關係無非是集合上的自反對稱關係。顯然,集合簇是強相容可分解的。

中,所有相容關係是同餘關係。特別地,對於那些具有群子結構的代數結構,如向量空間布林代數也是如此。[3]:261–262因此,這些代數結構的簇也是強相容可分解的。

  是其上的相容關係。那麼 的每個元素是 凸子格。因此,對於每個 ,我們有

 

特別地,下面結果成立。

  •  若且唯若 
  • 如果 並且 ,那麼 

格簇是強相容可分解的。也就是說,給定 以及其上的相容關係 ,對於任意 ,存在唯一的 滿足

 
 

並且商代數

 

仍然構成[4][5][6]:44, Theorem 22

特別地,分配格模格關於相容關係的商格總是存在。但是這種商格不一定仍然構成分配格模格。也就是說,分配格簇和模格簇是相容可分解的,但不是強相容可分解的。[4]:40[1]其實,格簇的所有子簇是相容可分解的,但是格簇的強相容可分解子簇只有自身和由單元素格構成的平凡子簇。這是因為,所有同構於二元素格的直積的子格關於相容關係的商格的子格。[4]:40, Theorem 3

參考文獻

  1. ^ 1.0 1.1 1.2 Chajda, Ivan; Radeleczki, Sándor. Notes on tolerance factorable classes of algebras. Acta Scientiarum Mathematicarum. 2014, 80 (3-4): 389–397. ISSN 0001-6969. MR 3307031. S2CID 85560830. Zbl 1321.08002. doi:10.14232/actasm-012-861-x (英語). 
  2. ^ Chajda, Ivan; Niederle, Josef; Zelinka, Bohdan. On existence conditions for compatible tolerances. Czechoslovak Mathematical Journal. 1976, 26 (101): 304–311. ISSN 0011-4642. MR 0401561. Zbl 0333.08006. doi:10.21136/CMJ.1976.101403 (英語). 
  3. ^ Schein, Boris M. Semigroups of tolerance relations. Discrete Mathematics. 1987, 64: 253–262. ISSN 0012-365X. MR 0887364. Zbl 0615.20045. doi:10.1016/0012-365X(87)90194-4 (英語). 
  4. ^ 4.0 4.1 4.2 Czédli, Gábor. Factor lattices by tolerances. Acta Scientiarum Mathematicarum. 1982, 44: 35–42. ISSN 0001-6969. MR 0660510. Zbl 0484.06010 (英語). 
  5. ^ Grätzer, George; Wenzel, G. H. Notes on tolerance relations of lattices. Acta Scientiarum Mathematicarum. 1990, 54 (3-4): 229–240. ISSN 0001-6969. MR 1096802. Zbl 0727.06011 (英語). 
  6. ^ Grätzer, George. Lattice Theory: Foundation. Basel: Springer. 2011. ISBN 978-3-0348-0017-4. LCCN 2011921250. MR 2768581. Zbl 1233.06001. doi:10.1007/978-3-0348-0018-1 (英語).