跳至內容

相容關係

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

泛代數格理論中,相容關係(英語: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 (英語).