離散數學代數系統引入及運算知識點
-
運算的性質
封閉性：對於集合中的任意元素，運算的結果仍在集合中。
結合性：對於集合中的任意元素a、b和c，(a ∘ b) ∘ c = a ∘ (b ∘ c)。
單位元：存在一個元素e，使得對於集合中的任意元素a，有e ∘ a = a ∘ e = a。
逆元：對於集合中的每個元素a，存在一個元素b使得a ∘ b = b ∘ a = e，其中e是單位元。 -
不同型別的代數系統：
半群：具有一個封閉的二元運算，且滿足結合性。
么半群：是半群，且具有單位元。
-群：是么半群，且每個元素都有逆元。
阿貝爾群（交換群）：是群，且二元運算是交換的。 -
特殊運算：
半環：具有兩個二元運算，加法和乘法，加法構成阿貝爾群，乘法是結合的，且乘法對加法滿足分配律。
格：具有兩個二元運算，通常稱為“並”和“交”，它們滿足特定的交換律、結合律和吸收律。 -
運算律：
交換律：a ∘ b = b ∘ a。
分配律：對於運算∘和，a ∘ (b * c) = (a ∘ b) * (a ∘ c)。
吸收律：對於運算∘和，a ∘ (a * b) = a 和 a * (a ∘ b) = a。
瞭解這些基本概念和性質是理解離散數學中代數系統的關鍵。在學習代數系統時，通常會透過具體的例子（如整數加法群、實數乘法半群等）來加深對概念的理解。