本文所有内容来自上海科学技术文献出版社《离散数学》第三篇。
第三篇 代数结构
第五章 代数系统
5-1 代数系统的引入
定义 5 - 1.1
对于集合 A A A ,一个从 A n A^n A n 到 B B B 的映射,称为集合 A A A 上的一个 n n n 元运算 。如果 B ⊆ A B\subseteq A B ⊆ A ,则称该 n n n 元运算是封闭的 。
定义 5 - 1.2
一个非空集合 A A A 连同若干个定义在该集合上的运算 f 1 , f 2 , ⋯  , f k f_1,f_2,\cdots,f_k f 1 , f 2 , ⋯ , f k 所组成的系统就称为一个代数系统 ,记作 ⟨ A , f 1 , f 2 , ⋯  , f k ⟩ \langle A,f_1,f_2,\cdots,f_k\rangle ⟨ A , f 1 , f 2 , ⋯ , f k ⟩ 。
5-2 运算及其性质
定义 5 - 2.1
设 ∗ * ∗ 是定义在集合 A A A 上的二元运算,如果对于任意的 x , y ∈ A x,y\in A x , y ∈ A ,都有 x ∗ y ∈ A x*y\in A x ∗ y ∈ A ,则称二元运算 ∗ * ∗ 在 A A A 上是封闭的 。
定义 5 - 2.2
设 ∗ * ∗ 是定义在集合 A A A 上的二元运算,如果对于任意的 x , y ∈ A x,y\in A x , y ∈ A ,都有 x ∗ y = y ∗ x x*y=y*x x ∗ y = y ∗ x ,则称二元运算 ∗ * ∗ 在 A A A 上是可交换的 。
定义 5 - 2.3
设 ∗ * ∗ 是定义在集合 A A A 上的二元运算,如果对于任意的 x , y , z ∈ A x,y,z\in A x , y , z ∈ A ,都有 ( x ∗ y ) ∗ z = x ∗ ( y ∗ z ) (x*y)*z=x*(y*z) ( x ∗ y ) ∗ z = x ∗ ( y ∗ z ) ,则称二元运算 ∗ * ∗ 在 A A A 上是可结合的 。
定义 5 - 2.4
设 ∗ , △ *,\triangle ∗ , △ 是定义在集合 A A A 上的二元运算,如果对于任意的 x , y , z ∈ A x,y,z\in A x , y , z ∈ A ,都有 x ∗ ( y △ z ) = ( x ∗ y ) △ ( x ∗ z ) ( y △ z ) ∗ x = ( y ∗ x ) △ ( z ∗ x ) x*(y\triangle z)=(x*y)\triangle(x*z)\\(y\triangle z)*x=(y* x)\triangle(z*x) x ∗ ( y △ z ) = ( x ∗ y ) △ ( x ∗ z ) ( y △ z ) ∗ x = ( y ∗ x ) △ ( z ∗ x ) 则称运算 ∗ * ∗ 对于运算 △ \triangle △ 是可分配的 。
定义 5 - 2.5
设 ∗ , △ *,\triangle ∗ , △ 是定义在集合 A A A 上的两个可交换的二元运算,如果对于任意的 x , y ∈ A x,y\in A x , y ∈ A ,都有 x ∗ ( x △ y ) = x x △ ( x ∗ y ) = x x*(x\triangle y)=x\\x\triangle (x*y)=x x ∗ ( x △ y ) = x x △ ( x ∗ y ) = x 则称运算 ∗ * ∗ 和运算 △ \triangle △ 满足吸收律 。
定义 5 - 2.6
设 ∗ * ∗ 是定义在集合 A A A 上的一个二元运算,如果对于任意的 x ∈ A x\in A x ∈ A ,都有 x ∗ x = x x*x=x x ∗ x = x ,则称运算 ∗ * ∗ 是等幂的 。
定义 5 - 2.7
设 ∗ * ∗ 是定义在集合 A A A 上的一个二元运算,如果有一个元素 e l ∈ A e_l\in A e l ∈ A ,对于任意的元素 x ∈ A x\in A x ∈ A 都有 e l ∗ x = x e_l*x=x e l ∗ x = x ,则称 e l e_l e l 为 A A A 中关于运算 ∗ * ∗ 的左幺元 ;如果有一个元素 e r ∈ A e_r\in A e r ∈ A ,对于任意的元素 x ∈ A x\in A x ∈ A 都有 x ∗ e r = x x*e_r=x x ∗ e r = x ,则称 e r e_r e r 为 A A A 中关于运算 ∗ * ∗ 的右幺元 ;如果 A A A 中的一个元素 e e e ,它既是左幺元又是右幺元,则称 e e e 为 A A A 中关于运算 ∗ * ∗ 的幺元 。
定理 5 - 2.1
设 ∗ * ∗ 是定义在集合 A A A 上的一个二元运算,且在 A A A 中有关于运算 ∗ * ∗ 的左幺元 e l e_l e l 和右幺元 e r e_r e r ,则 e l = e r = e e_l=e_r=e e l = e r = e ,且 A A A 中的幺元是唯一的。
定义 5 - 2.8
设 ∗ * ∗ 是定义在集合 A A A 上的一个二元运算,如果有一个元素 θ l ∈ A \theta_l\in A θ l ∈ A ,对于任意的元素 x ∈ A x\in A x ∈ A 都有 θ l ∗ x = θ l \theta_l*x=\theta_l θ l ∗ x = θ l ,则称 θ l \theta_l θ l 为 A A A 中关于运算 ∗ * ∗ 的左零元 ;如果有一个元素 θ r ∈ A \theta_r\in A θ r ∈ A ,对于任意的元素 x ∈ A x\in A x ∈ A 都有 x ∗ θ r = θ r x*\theta_r=\theta_r x ∗ θ r = θ r ,则称 θ r \theta_r θ r 为 A A A 中关于运算 ∗ * ∗ 的右零元 ;如果 A A A 中的一个元素 θ \theta θ ,它既是左零元又是右零元,则称 θ \theta θ 为 A A A 中关于运算 ∗ * ∗ 的零元 。
定理 5 - 2.2
设 ∗ * ∗ 是定义在集合 A A A 上的一个二元运算,且在 A A A 中有关于运算 ∗ * ∗ 的左零元 θ l \theta_l θ l 和右零元 θ r \theta_r θ r ,则 θ l = θ r = θ \theta_l=\theta_r=\theta θ l = θ r = θ ,且 A A A 中的零元是唯一的。
定理 5 - 2.3
设 ⟨ A , ∗ ⟩ \langle A,* \rangle ⟨ A , ∗ ⟩ 是一个代数系统,且集合 A A A 中元素的个数大于 1 1 1 。如果该代数系统中存在幺元 e e e 和零元 θ \theta θ ,则 θ ≠ e \theta \ne e θ ̸ = e 。
证明:
反证法。设 θ = e \theta=e θ = e ,那么对于任意的 x ∈ A x\in A x ∈ A ,必有 x = e ∗ x = θ ∗ x = θ = e x=e*x=\theta*x=\theta=e x = e ∗ x = θ ∗ x = θ = e ,则 A A A 中所有元素都相同,矛盾!
定义 5 - 2.9
设代数系统 ⟨ A , ∗ ⟩ \langle A,* \rangle ⟨ A , ∗ ⟩ ,这里 ∗ * ∗ 是定义在 A A A 上的一个二元运算,且 e e e 是 A A A 中关于运算 ∗ * ∗ 的幺元。如果对于 A A A 中的一个元素 a a a 存在着 A A A 中的某个元素 b b b ,使得 b ∗ a = e b*a=e b ∗ a = e ,那么称 b b b 为 a a a 的左逆元 ;如果 a ∗ b = e a*b=e a ∗ b = e 成立,那么称 b b b 为 a a a 的右逆元 ;如果一个元素 b b b ,它既是 a a a 的左逆元又是 a a a 的右逆元,那么就称 b b b 是 a a a 的逆元 。记一个元素 x x x 的逆元为 x − 1 x^{-1} x − 1 。
定理 5 - 2.4
设代数系统 ⟨ A , ∗ ⟩ \langle A,* \rangle ⟨ A , ∗ ⟩ ,这里 ∗ * ∗ 是定义在 A A A 上的一个二元运算, A A A 中存在幺元 e e e ,且每一个元素都有左逆元。如果 ∗ * ∗ 是可结合的运算,那么,这个代数系统中任何一个元素的左逆元必定也是该元素的右逆元,且每个元素的逆元是唯一的。
证明:
设 a , b , c ∈ A a,b,c\in A a , b , c ∈ A ,且 b b b 是 a a a 的左逆元, c c c 是 b b b 的左逆元,则 e = c ∗ b = c ∗ ( ( b ∗ a ) ∗ b ) = ( ( c ∗ b ) ∗ a ) ∗ b = a ∗ b e=c*b=c*((b*a)*b)=((c*b)*a)*b=a*b e = c ∗ b = c ∗ ( ( b ∗ a ) ∗ b ) = ( ( c ∗ b ) ∗ a ) ∗ b = a ∗ b ,因此 b b b 也是 a a a 的右逆元。
设元素 a a a 有两个逆元 b , c b,c b , c ,那么 b = b ∗ e = b ∗ ( a ∗ c ) = ( b ∗ a ) ∗ c = c b=b*e=b*(a*c)=(b*a)*c=c b = b ∗ e = b ∗ ( a ∗ c ) = ( b ∗ a ) ∗ c = c ,因此, a a a 的逆元是唯一的。
5-3 半群
定义 5 - 3.1
一个代数系统 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ ,其中 S S S 是非空集合, ∗ * ∗ 是 S S S 上的二元运算,如果运算 ∗ * ∗ 是封闭的,则称代数系统 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 为广群 。
定义 5 - 3.2
一个代数系统 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ ,其中 S S S 是非空集合, ∗ * ∗ 是 S S S 上的二元运算,如果运算:
(1)运算 ∗ * ∗ 是封闭的。
(2)运算 ∗ * ∗ 是可结合的。
则称代数系统 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 为半群 。
定理 5 - 3.1
设 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 是一个半群, B ⊆ S B\subseteq S B ⊆ S 且 ∗ * ∗ 在 B B B 上是封闭的,那么 ⟨ B , ∗ ⟩ \langle B,* \rangle ⟨ B , ∗ ⟩ 也是一个半群。通常称 ⟨ B , ∗ ⟩ \langle B,* \rangle ⟨ B , ∗ ⟩ 是半群 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 的子半群 。
定理 5 - 3.2
设 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 是一个半群,如果 S S S 是一个有限集,则必有 a ∈ S a\in S a ∈ S ,使得 a ∗ a = a a*a=a a ∗ a = a 。
证明:
对于有限集 S S S 中的任意元素 b b b ,必存在 j > i j>i j > i ,使得 b i = b j b^i=b^j b i = b j 。
令 p = j − i p=j-i p = j − i ,则 b i = b p ∗ b i b^i=b^p*b^i b i = b p ∗ b i ,则有 b q = b p ∗ b q , q ⩾ i b^q=b^p*b^q,q\geqslant i b q = b p ∗ b q , q ⩾ i 。
因为 p ⩾ 1 p\geqslant1 p ⩾ 1 ,所以总能找到 k ⩾ 1 k\geqslant1 k ⩾ 1 ,使得 k p ⩾ i kp\geqslant i k p ⩾ i 。
则 b k p = b p ∗ b k p = b p ∗ ( b p ∗ b k p ) = ⋯ = b k p ∗ b k p b^{kp}=b^p*b^{kp}=b^p*(b^p*b^{kp})=\cdots=b^{kp}*b^{kp} b k p = b p ∗ b k p = b p ∗ ( b p ∗ b k p ) = ⋯ = b k p ∗ b k p 。证毕。
定义 5 - 3.3
含有幺元的半群称为独异点 。
定理 5 - 3.3
设 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 是一个独异点,则在关于运算 ∗ \ast ∗ 的运算表中任何两行或两列都是不相同的。
证明: 含幺元 e e e 的一行上各列各不相同。
定理 5 - 3.4
设 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 是独异点,对于任意 a , b ∈ S a,b\in S a , b ∈ S ,且 a , b a,b a , b 均有逆元,则
(a)( a − 1 ) − 1 = a (a^{-1})^{-1}=a ( a − 1 ) − 1 = a 。
(b)a ∗ b a*b a ∗ b 有逆元,且 ( a ∗ b ) − 1 = b − 1 ∗ a − 1 (a*b)^{-1}=b^{-1}*a^{-1} ( a ∗ b ) − 1 = b − 1 ∗ a − 1 。
5-4 群与子群
定义 5 - 4.1
设 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 是一个代数系统,其中 G G G 是非空集合, ∗ * ∗ 是 G G G 上的二元运算,如果
(1)运算 ∗ * ∗ 是封闭的。
(2)运算 ∗ * ∗ 是可结合的。
(3)存在幺元 e e e 。
(4)对于每一个元素 x ∈ G x\in G x ∈ G ,存在着它的逆元 x − 1 x^{-1} x − 1 。
则称 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 是一个群 。
定义 5 - 4.2
设 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 是群。如果 G G G 是有限集,那么称 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 为有限群 , G G G 中元素的个数通常称为该有限集的阶数 ,记为 ∣ G ∣ \vert G \vert ∣ G ∣ ;如果 G G G 是无限集,则称 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 为无限群 。
定理 5 - 4.1
群中不可能有零元。
证明: 零元 θ \theta θ 不存在逆元。
定理 5 - 4.2
设 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 是一个群,对于 a , b ∈ G a,b\in G a , b ∈ G ,必存在唯一的 x ∈ G x\in G x ∈ G ,使得 a ∗ x = b a*x=b a ∗ x = b 。
定理 5 - 4.3
设 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 是一个群,对于任意的 a , b , c ∈ G a,b,c\in G a , b , c ∈ G ,如果有 a ∗ b = a ∗ c a*b=a*c a ∗ b = a ∗ c 或者 b ∗ a = c ∗ a b*a=c*a b ∗ a = c ∗ a ,则必有 b = c b=c b = c (消去律 )。
定义 5 - 4.3
设 S S S 是一个非空集合,从集合 S S S 到 S S S 的一个双射称为 S S S 的一个置换 。
定理 5 - 4.4
群 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 的运算表中的每一行或每一列都是 G G G 的元素的一个置换。
证明:
先用反证法证明运算表中任一行或任一列所含 G G G 中的一个元素不可能多于一次。
其次,证明 G G G 中的每一个元素都在运算表的每一行和每一列中出现。
最后利用定理 5 - 3.3 即证。
定义 5 - 4.4
代数系统 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 中,如果存在 a ∈ G a\in G a ∈ G ,有 a ∗ a = a a*a=a a ∗ a = a ,则称 a a a 为等幂元 。
定理 5 - 4.5
在群 ⟨ A , ∗ ⟩ \langle A,* \rangle ⟨ A , ∗ ⟩ 中,除幺元 e e e 外,不可能有任何别的等幂元。
证明: e ≠ a = e ∗ a = ( a − 1 ∗ a ) ∗ a = a − 1 ∗ ( a ∗ a ) = a − 1 ∗ a = e e\ne a=e*a=(a^{-1}*a)*a=a^{-1}*(a*a)=a^{-1}*a=e e ̸ = a = e ∗ a = ( a − 1 ∗ a ) ∗ a = a − 1 ∗ ( a ∗ a ) = a − 1 ∗ a = e ,矛盾。
定义 5 - 4.5
设 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 是一个群, S S S 是 G G G 的非空子集,如果 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 也构成群,则称 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 是 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 的一个子群 。
定理 5 - 4.6
设 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 是一个群, ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 是 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 的一个子群,那么 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 中的幺元 e e e 必定也是 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 中的幺元。
证明: e G ∗ x = x = e S ∗ x ⇔ e G = e S e_G*x=x=e_S*x\Leftrightarrow e_G=e_S e G ∗ x = x = e S ∗ x ⇔ e G = e S 。
定义 5 - 4.6
设 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 是一个群, ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 是 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 的子群,如果 S = { e } S=\{e\} S = { e } 或者 S = G S=G S = G ,则称 ⟨ S , ∗ ⟩ \langle S,* \rangle ⟨ S , ∗ ⟩ 为 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 的平凡子群 。
定理 5 - 4.7
设 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 是一个群, B B B 是 G G G 的非空子集,如果 B B B 是一个有限集,那么,只要运算 ∗ * ∗ 在 B B B 上封闭, ⟨ B , ∗ ⟩ \langle B,* \rangle ⟨ B , ∗ ⟩ 必定是 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 的子群。
证明:
b ∈ B , b i = b j , i < j b\in B,b^i=b^j,i<j b ∈ B , b i = b j , i < j ,则 b i = b j − i ∗ b i b^i=b^{j-i}*b^i b i = b j − i ∗ b i ,则 b j − i b^{j-i} b j − i 是幺元。
如果 j − i > 1 j-i>1 j − i > 1 ,则由 b j − i = b ∗ b j − i − 1 b^{j-i}=b*b^{j-i-1} b j − i = b ∗ b j − i − 1 可知 b j − i − 1 b^{j-i-1} b j − i − 1 是 b b b 的逆元;
如果 j − i = 1 j-i=1 j − i = 1 ,则由 b i = b ∗ b i b^i=b*b^i b i = b ∗ b i 可知 b b b 是幺元,逆元是它本身。
定理 5 - 4.8
设 ⟨ G , △ ⟩ \langle G,\triangle \rangle ⟨ G , △ ⟩ 是群, S S S 是 G G G 的非空子集,如果对于 S S S 中的任意元素 a a a 和 b b b 有 a △ b − 1 ∈ S a\triangle b^{-1}\in S a △ b − 1 ∈ S ,则 ⟨ S , △ ⟩ \langle S,\triangle \rangle ⟨ S , △ ⟩ 是 ⟨ G , △ ⟩ \langle G,\triangle \rangle ⟨ G , △ ⟩ 的子群。
证明:
首先证明, G G G 中的幺元也是 S S S 中的幺元( a △ a − 1 = e ∈ S a\triangle a^{-1}=e\in S a △ a − 1 = e ∈ S )。
其次证明, S S S 中的每一元素都有逆元( a − 1 = e △ a − 1 ∈ S a^{-1}=e\triangle a^{-1}\in S a − 1 = e △ a − 1 ∈ S )。
最后证明, △ \triangle △ 在 S S S 上是封闭的( a △ b = a △ ( b − 1 ) − 1 ∈ S a\triangle b=a\triangle(b^{-1})^{-1}\in S a △ b = a △ ( b − 1 ) − 1 ∈ S )。
5-5 阿贝尔群和循环群
定义 5 - 5.1
如果群 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 中的运算 ∗ * ∗ 是可交换的,则称该群为阿贝尔群 ,或称交换群 。
定理 5 - 5.1
群 ⟨ G , ∗ ⟩ \langle G,*\rangle ⟨ G , ∗ ⟩ 是阿贝尔群的充要条件是对任意的 a , b ∈ G a,b\in G a , b ∈ G ,有 ( a ∗ b ) ∗ ( a ∗ b ) = ( a ∗ a ) ∗ ( b ∗ b ) (a*b)*(a*b)=(a*a)*(b*b) ( a ∗ b ) ∗ ( a ∗ b ) = ( a ∗ a ) ∗ ( b ∗ b ) 。
证明:
(1)充分性
a ∗ ( a ∗ b ) ∗ b = ( a ∗ a ) ∗ ( b ∗ b ) = ( a ∗ b ) ∗ ( a ∗ b ) = a ∗ ( b ∗ a ) ∗ b \begin{aligned}a*(a*b)*b&=(a*a)*(b*b)\\&=(a*b)*(a*b)\\&=a*(b*a)*b\end{aligned} a ∗ ( a ∗ b ) ∗ b = ( a ∗ a ) ∗ ( b ∗ b ) = ( a ∗ b ) ∗ ( a ∗ b ) = a ∗ ( b ∗ a ) ∗ b 两边同乘逆元,则有 a ∗ b = b ∗ a a*b=b*a a ∗ b = b ∗ a 。
(2)必要性
( a ∗ a ) ∗ ( b ∗ b ) = a ∗ ( a ∗ b ) ∗ b = a ∗ ( b ∗ a ) ∗ b = ( a ∗ b ) ∗ ( a ∗ b ) \begin{aligned}(a*a)*(b*b)&=a*(a*b)*b\\&=a*(b*a)*b\\&=(a*b)*(a*b)\end{aligned} ( a ∗ a ) ∗ ( b ∗ b ) = a ∗ ( a ∗ b ) ∗ b = a ∗ ( b ∗ a ) ∗ b = ( a ∗ b ) ∗ ( a ∗ b )
定义 5 - 5.2
设 ⟨ G , ∗ ⟩ \langle G,* \rangle ⟨ G , ∗ ⟩ 为群,若在 G G G 中存在一个元素 a a a ,使得 G G G 中的任意元素都由 a a a 的幂组成,则称该群为循环群 ,元素 a a a 称为循环群 G G G 的生成元 。
定理 5 - 5.2
任何一个循环群必定是阿贝尔群。
证明:
设 x = a r , y = a s x=a^r,y=a^s x = a r , y = a s ,则 x ∗ y = a r ∗ a s = a r + s = a s + r = a s ∗ a r = y ∗ x x*y=a^r*a^s=a^{r+s}=a^{s+r}=a^s*a^r=y*x x ∗ y = a r ∗ a s = a r + s = a s + r = a s ∗ a r = y ∗ x 。
定理 5 - 5.3
设 ⟨ G , ∗ ⟩ \langle G,*\rangle ⟨ G , ∗ ⟩ 是一个由元素 a ∈ G a\in G a ∈ G 生成的有限循环群。如果 G G G 的阶数是 n n n ,即 ∣ G ∣ = n \vert G\vert=n ∣ G ∣ = n ,则 a n = e a^n=e a n = e ,且 G = { a , a 2 , a 3 , ⋯  , a n − 1 , a n = e } G=\{a,a^2,a^3,\cdots,a^{n-1},a^n=e\} G = { a , a 2 , a 3 , ⋯ , a n − 1 , a n = e } 其中, e e e 是 ⟨ G , ∗ ⟩ \langle G,*\rangle ⟨ G , ∗ ⟩ 中的幺元, n n n 是使 a n = e a^n=e a n = e 的最小正整数(称 n n n 为元素 a a a 的阶)。
证明:
假设存在 m < n m<n m < n 满足 a m = e a^m=e a m = e 。
那么,由于 ⟨ G , ∗ ⟩ \langle G,*\rangle ⟨ G , ∗ ⟩ 是一个循环群,所以 G G G 中的任何元素都能表示成 a k a^k a k ,其中 k = m q + r , q ∈ I , 0 ⩽ r < m k=mq+r,q\in I,0\leqslant r<m k = m q + r , q ∈ I , 0 ⩽ r < m 。
因此, G G G 中所有元素都能表示成 a r a^r a r ,则 G G G 中最多只有 m m m 个不同的元素,与 ∣ G ∣ = n \vert G\vert=n ∣ G ∣ = n 矛盾!
*5-6 置换群与伯恩赛德定理
定义 5 - 6.1
设 π 1 , π 2 ∈ S n \pi_1,\pi_2\in S_n π 1 , π 2 ∈ S n , S n S_n S n 上的二元运算 ∘ \circ ∘ 和 ⋄ \diamond ⋄ ,使得 π 1 ∘ π 2 \pi_1\circ\pi_2 π 1 ∘ π 2 和 π 2 ⋄ π 1 \pi_2\diamond\pi_1 π 2 ⋄ π 1 都表示对 S S S 的元素先应用置换 π 2 \pi_2 π 2 ,接着再应用置换 π 1 \pi_1 π 1 所得到的置换。二元运算 ∘ \circ ∘ 和 ⋄ \diamond ⋄ 分别称为左复合 和右复合 。
定理 5 - 6.1
⟨ S n , ∘ ⟩ \langle S_n,\circ\rangle ⟨ S n , ∘ ⟩ 是一个群,其中 ∘ \circ ∘ 是置换的左复合运算。
证明:
(1)首先证明 ∘ \circ ∘ 在 S n S_n S n 上的封闭性。
设 π 2 ( a ) = c , π 2 ( b ) = d , a ≠ b \pi_2(a)=c,\pi_2(b)=d,a\ne b π 2 ( a ) = c , π 2 ( b ) = d , a ̸ = b ,则显然 c ≠ d c\ne d c ̸ = d 。
同理,若 π 1 ( c ) = e , π 1 ( d ) = f \pi_1(c)=e,\pi_1(d)=f π 1 ( c ) = e , π 1 ( d ) = f ,则 e ≠ f e\ne f e ̸ = f ,因此 π 1 ∘ π 2 ∈ S n \pi_1\circ\pi_2\in S_n π 1 ∘ π 2 ∈ S n 。
(2)其次证明 ∘ \circ ∘ 在 S n S_n S n 上是可结合的。
设 π 3 ( x ) = y , π 2 ( y ) = z , π 1 ( z ) = w \pi_3(x)=y,\pi_2(y)=z,\pi_1(z)=w π 3 ( x ) = y , π 2 ( y ) = z , π 1 ( z ) = w ,则 ( π 1 ∘ π 2 ) ∘ π 3 ( x ) = ( π 1 ∘ π 2 ) y = π 1 ( z ) = w (\pi_1\circ\pi_2)\circ\pi_3(x)=(\pi_1\circ\pi_2)y=\pi_1(z)=w ( π 1 ∘ π 2 ) ∘ π 3 ( x ) = ( π 1 ∘ π 2 ) y = π 1 ( z ) = w π 1 ∘ ( π 2 ∘ π 3 ( x ) ) = π 1 ∘ ( π 2 ( y ) ) = π 1 ( z ) = w \pi_1\circ(\pi_2\circ\pi_3(x))=\pi_1\circ(\pi_2(y))=\pi_1(z)=w
π 1 ∘ ( π 2 ∘ π 3 ( x ) ) = π 1 ∘ ( π 2 ( y ) ) = π 1 ( z ) = w (3)接着证明 S n S_n S n 中存在幺元 π e \pi_e π e 。
显然,满足 ∀ π x ∈ S n , π e ∘ π x = π x \forall \pi_x\in S_n,\pi_e\circ\pi_x=\pi_x ∀ π x ∈ S n , π e ∘ π x = π x 的 π e \pi_e π e 即为幺元。
(4)最后,证明 S n S_n S n 中所有元素存在逆元。
∀ π ∈ S , ∃ π − 1 ∈ S n \forall\pi\in S,\exist\pi^{-1}\in S_n ∀ π ∈ S , ∃ π − 1 ∈ S n ,使得 π ( x ) = y → π − 1 ( y ) = x \pi(x)=y\rightarrow\pi^{-1}(y)=x π ( x ) = y → π − 1 ( y ) = x 。
定义 5 - 6.2
⟨ S n , ∗ ⟩ \langle S_n,*\rangle ⟨ S n , ∗ ⟩ 的任何一个子群,称为集合 S S S 上的一个置换群 。特别地,置换群 ⟨ S n , ∘ ⟩ \langle S_n,\circ\rangle ⟨ S n , ∘ ⟩ 称为集合 S S S 的对称群 。
定义 5 - 6.3
设 ⟨ G , ∗ ⟩ \langle G,*\rangle ⟨ G , ∗ ⟩ 是 S S S 的一个置换群,称 R = { ⟨ a , b ⟩ ∣ π ( a ) = b , π ∈ G } R=\{\langle a,b\rangle\vert\pi(a)=b,\pi\in G\} R = { ⟨ a , b ⟩ ∣ π ( a ) = b , π ∈ G } 为由 ⟨ G , ∗ ⟩ \langle G,*\rangle ⟨ G , ∗ ⟩ 所诱导的 S S S 上的二元关系 。
定理 5 - 6.2
由置换群 ⟨ G , ∘ ⟩ \langle G,\circ\rangle ⟨ G , ∘ ⟩ 所诱导的 S S S 上的二元关系是一个等价关系。
定义 5 - 6.4
如果一个置换将一个元素映照到它自身,那么,这个元素就称为在这个置换下的不变元 。
定理 5 - 6.3 (伯恩赛德定理)
由 S S S 的置换群 ⟨ G , ∘ ⟩ \langle G,\circ\rangle ⟨ G , ∘ ⟩ 诱导等价关系将 S S S 划分所得的等价类数目等于 1 ∣ G ∣ ∑ π ∈ G ψ ( π ) \frac{1}{\vert G\vert}\sum_{\pi\in G}\psi(\pi) ∣ G ∣ 1 π ∈ G ∑ ψ ( π ) 其中 ψ ( π ) \psi(\pi) ψ ( π ) 表示在置换 π \pi π 作用下的不变元的个数。
5-7 陪集与拉格朗日定理
定义 5 - 7.1
设 ⟨ G , ∗ ⟩ \langle G,*\rangle ⟨ G , ∗ ⟩ 是一个群, A , B ∈ P ( G ) A,B\in\mathscr{P}(G) A , B ∈ P ( G ) 且 A , B ≠ ∅ A,B\ne\varnothing A , B ̸ = ∅ ,记 A B = { a ∗ b ∣ a ∈ A , b ∈ B } AB=\{a*b\vert a\in A,b\in B\} A B = { a ∗ b ∣ a ∈ A , b ∈ B } 和 A − 1 = { a − 1 ∣ a ∈ A } A^{-1}=\{a^{-1}\vert a\in A\} A − 1 = { a − 1 ∣ a ∈ A } 分别称为 A , B A,B A , B 的积 和 A A A 的逆 。
定义 5 - 7.2
设 ⟨ H , ∗ ⟩ \langle H,*\rangle ⟨ H , ∗ ⟩ 是群 ⟨ G , ∗ ⟩ \langle G,*\rangle ⟨ G , ∗ ⟩ 的一个子群, a ∈ G a\in G a ∈ G ,则集合 { a } H \{a\}H { a } H ( H { a } H\{a\} H { a } )称为由 a a a 所确定的 H H H 在 G G G 中的左(右)陪集 ,简称为 H H H 关于 a a a 的左(右)陪集,记为 a H aH a H ( H a Ha H a )。元素 a a a 称为陪集 a H aH a H ( H a Ha H a )的代表元素 。
定理 5 - 7.1 (拉格朗日定理)
设 ⟨ H , ∗ ⟩ \langle H,*\rangle ⟨ H , ∗ ⟩ 是群 ⟨ G , ∗ ⟩ \langle G,*\rangle ⟨ G , ∗ ⟩ 的一个子群,那么
(a) R = { ⟨ a , b ⟩ ∣ a ∈ G , b ∈ G , a − 1 ∗ b ∈ H } R=\{\langle a,b\rangle\vert a\in G,b\in G,a^{-1}*b\in H\} R = { ⟨ a , b ⟩ ∣ a ∈ G , b ∈ G , a − 1 ∗ b ∈ H } 是 G G G 中的一个等价关系。对于 a ∈ G a\in G a ∈ G ,若记 [ a ] R = { x ∣ x ∈ G , ⟨ a , x ⟩ ∈ R } [a]_R=\{x\vert x\in G,\langle a,x\rangle\in R\} [ a ] R = { x ∣ x ∈ G , ⟨ a , x ⟩ ∈ R } ,则 [ a ] R = a H [a]_R=aH [ a ] R = a H 。
(b) 如果 G G G 是有限群, ∣ G ∣ = n \vert G\vert=n ∣ G ∣ = n ,∣ H ∣ = m \vert H\vert=m ∣ H ∣ = m ,则 m ∣ n m\mid n m ∣ n 。
5-8 同态与同构
定义 5 - 8.1
设 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 和 ⟨ B , ∗ ⟩ \langle B,*\rangle ⟨ B , ∗ ⟩ 是两个代数系统, ★ \bigstar ★ 和 ∗ * ∗ 分别是 A A A 和 B B B 上的二( n n n )元运算,设 f f f 是从 A A A 到 B B B 的一个映射,使得对任意的 a 1 , a 2 ∈ A a_1,a_2\in A a 1 , a 2 ∈ A ,有 f ( a 1 ★ a 2 ) = f ( a 1 ) ∗ f ( a 2 ) f(a_1\bigstar a_2)=f(a_1)*f(a_2) f ( a 1 ★ a 2 ) = f ( a 1 ) ∗ f ( a 2 ) ,则称 f f f 为由 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 到 ⟨ B , ∗ ⟩ \langle B,*\rangle ⟨ B , ∗ ⟩ 的一个同态映射 ,称 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 同态于 ⟨ B , ∗ ⟩ \langle B,*\rangle ⟨ B , ∗ ⟩ ,记作 A ∼ B A\sim B A ∼ B 。把 ⟨ f ( A ) , ∗ ⟩ \langle f(A),*\rangle ⟨ f ( A ) , ∗ ⟩ 称为 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 的一个同态象 。其中 f ( A ) = { x ∣ x = f ( a ) , a ∈ A } ⊆ B f(A)=\{x\vert x=f(a),a\in A\}\subseteq B f ( A ) = { x ∣ x = f ( a ) , a ∈ A } ⊆ B 。
定义 5 - 8.2
设 f f f 是由 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 到 ⟨ B , ∗ ⟩ \langle B,*\rangle ⟨ B , ∗ ⟩ 的一个同态,如果 f f f 是从 A A A 到 B B B 的一个满射,则 f f f 称为满同态 ;如果 f f f 是从 A A A 到 B B B 的一个入射,则 f f f 称为单一同态 ;如果 f f f 是从 A A A 到 B B B 的一个双射,则 f f f 称为同构映射 ,并称 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 和 ⟨ B , ∗ ⟩ \langle B,*\rangle ⟨ B , ∗ ⟩ 是同构 的,记作 A ≅ B A\cong B A ≅ B 。
定义 5 - 8.3
设 ⟨ A , ⋆ ⟩ \langle A,\star\rangle ⟨ A , ⋆ ⟩ 是一个代数系统,如果 f f f 是由 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 到 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 的同态,则称 f f f 为自同态 。如果 g g g 是由 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 到 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 的同构,则称 f f f 为自同构 。
定理 5 - 8.1
设 G G G 是代数系统的集合,则 G G G 中代数系统之间的同构关系是等价关系。
定理 5 - 8.2
设 f f f 是从代数系统 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 到代数系统 ⟨ B , ∗ ⟩ \langle B,*\rangle ⟨ B , ∗ ⟩ 的同态映射。如果 ⟨ A , ★ ⟩ \langle A,\bigstar\rangle ⟨ A , ★ ⟩ 是半群(独异点)(群),那么在 f f f 作用下,同态象 ⟨ f ( A ) , ∗ ⟩ \langle f(A),* \rangle ⟨ f ( A ) , ∗ ⟩ 也是半群(独异点)(群)。
定义 5 - 8.4
设 f f f 是由群 ⟨ G , ★ ⟩ \langle G,\bigstar\rangle ⟨ G , ★ ⟩ 到群 ⟨ G ′ , ∗ ⟩ \langle G^\prime,*\rangle ⟨ G ′ , ∗ ⟩ 的同态映射, e ′ e^\prime e ′ 是 G ′ G^\prime G ′ 中的幺元,记 Ker ( f ) = { x ∣ x ∈ G , f ( x ) = e ′ } \text{Ker}(f)=\{x\vert x\in G,f(x)=e^\prime\} Ker ( f ) = { x ∣ x ∈ G , f ( x ) = e ′ } ,称 Ker ( f ) \text{Ker}(f) Ker ( f ) 为同态映射 f f f 的核 ,简称 f f f 的同态核 。
定理 5 - 8.3
设 f f f 是由群 ⟨ G , ★ ⟩ \langle G,\bigstar\rangle ⟨ G , ★ ⟩ 到群 ⟨ G ′ , ∗ ⟩ \langle G^\prime,*\rangle ⟨ G ′ , ∗ ⟩ 的同态映射, 则 f f f 的同态核 K K K 是 G G G 的子群。
证明:
设 k 1 , k 2 ∈ K k_1,k_2\in K k 1 , k 2 ∈ K ,则 f ( k 1 ★ k 2 ) = f ( k 1 ) ∗ f ( k 2 ) = e ′ ∗ e ′ = e ′ f(k_1\bigstar k _2)=f(k_1)*f(k_2)=e^\prime*e^\prime=e^\prime f ( k 1 ★ k 2 ) = f ( k 1 ) ∗ f ( k 2 ) = e ′ ∗ e ′ = e ′ ,故 k 1 ★ k 2 ∈ K k_1\bigstar k_2\in K k 1 ★ k 2 ∈ K 。又 f ( k − 1 ) = f ( k ) − 1 = e ′ − 1 = e ′ f(k^{-1})=f^{}(k)^{-1}=e^{\prime-1}=e^\prime f ( k − 1 ) = f ( k ) − 1 = e ′ − 1 = e ′ ,故 k − 1 ∈ K k^{-1}\in K k − 1 ∈ K 。因此, ⟨ K , ★ ⟩ \langle K,\bigstar \rangle ⟨ K , ★ ⟩ 是 ⟨ G , ★ ⟩ \langle G,\bigstar \rangle ⟨ G , ★ ⟩ 的子群。
定义 5 - 8.5
设 ⟨ A , ★ ⟩ \langle A,\bigstar \rangle ⟨ A , ★ ⟩ 是一个代数系统,并设 R R R 是 A A A 上的一个等价关系。如果当 ⟨ a 1 , a 2 ⟩ , ⟨ b 1 , b 2 ⟩ ∈ R \langle a_1,a_2 \rangle,\langle b_1,b_2\rangle\in R ⟨ a 1 , a 2 ⟩ , ⟨ b 1 , b 2 ⟩ ∈ R 时,蕴涵着 ⟨ a 1 ★ b 1 , a 2 ★ b 2 ⟩ ∈ R \langle a_1\bigstar b_1,a_2\bigstar b_2\rangle\in R ⟨ a 1 ★ b 1 , a 2 ★ b 2 ⟩ ∈ R ,则称 R R R 为 A A A 上关于 ★ \bigstar ★ 的同余关系 。由这个同余关系将 A A A 划分成的等价类就称为同余类 。
定理 5 - 8.4
设 ⟨ A , ★ ⟩ \langle A,\bigstar \rangle ⟨ A , ★ ⟩ 是一个代数系统, R R R 是 A A A 上的一个同余关系, B = { A 1 , A 2 , ⋯  , A r } B=\{A_1,A_2,\cdots,A_r\} B = { A 1 , A 2 , ⋯ , A r } 是由 R R R 诱导的 A A A 的一个划分,那么,必定存在新的代数系统 ⟨ B , ∗ ⟩ \langle B,* \rangle ⟨ B , ∗ ⟩ ,它是 ⟨ A , ★ ⟩ \langle A,\bigstar \rangle ⟨ A , ★ ⟩ 的同态象。
定理 5 - 8.5
设 f f f 是由 ⟨ A , ★ ⟩ \langle A,\bigstar \rangle ⟨ A , ★ ⟩ 到 ⟨ B , ∗ ⟩ \langle B,* \rangle ⟨ B , ∗ ⟩ 的一个同态映射,如果在 A A A 上定义二元关系 R R R 为: ⟨ a , b ⟩ ∈ R \langle a,b \rangle \in R ⟨ a , b ⟩ ∈ R 当且仅当 f ( a ) = f ( b ) f(a)=f(b) f ( a ) = f ( b ) ,那么, R R R 是 A A A 上的同余类。
形象地说,一个代数系统的同态象可以看作是当抽去该系统中某些元素的次要特征的情况下,对该系统的一种粗糙描述。如果我们把属于同一个同余类的元素看作是没有区别的,那么原系统的性态可以用同余类之间的相互关系来描述。
5-9 环与域
定义 5 - 9.1
设 ⟨ A , ★ , ∗ ⟩ \langle A,\bigstar,*\rangle ⟨ A , ★ , ∗ ⟩ 是一个代数系统,如果满足:
(1) ⟨ A , ★ ⟩ \langle A,\bigstar \rangle ⟨ A , ★ ⟩ 是阿贝尔群。
(2) ⟨ A , ∗ ⟩ \langle A,* \rangle ⟨ A , ∗ ⟩ 是半群。
(3)运算 ∗ * ∗ 对于运算 ★ \bigstar ★ 是可分配的。
则称 ⟨ A , ★ , ∗ ⟩ \langle A,\bigstar,*\rangle ⟨ A , ★ , ∗ ⟩ 是环 。
定理 5 - 9.1
设 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 是一个环,则对任意的 a , b , c ∈ A a,b,c\in A a , b , c ∈ A ,有
(1) a ⋅ θ = θ ⋅ a = θ a\cdot\theta=\theta\cdot a=\theta a ⋅ θ = θ ⋅ a = θ
(2) a ⋅ ( − b ) = ( − a ) ⋅ b = − ( a ⋅ b ) a\cdot(-b)=(-a)\cdot b=-(a\cdot b) a ⋅ ( − b ) = ( − a ) ⋅ b = − ( a ⋅ b )
(3) ( − a ) ⋅ ( − b ) = a ⋅ b (-a)\cdot(-b)=a\cdot b ( − a ) ⋅ ( − b ) = a ⋅ b
(4) a ⋅ ( b − c ) = a ⋅ b − a ⋅ c a\cdot(b-c)=a\cdot b-a\cdot c a ⋅ ( b − c ) = a ⋅ b − a ⋅ c
(5) ( b − c ) ⋅ a = b ⋅ a − c ⋅ a (b-c)\cdot a=b\cdot a-c\cdot a ( b − c ) ⋅ a = b ⋅ a − c ⋅ a
其中, θ \theta θ 是加法幺元, − a -a − a 是 a a a 的加法逆元,并将 a + ( − b ) a+(-b) a + ( − b ) 记为 a − b a-b a − b 。
证明:
(1)因为 θ ⋅ a = ( θ + θ ) ⋅ a = θ ⋅ a + θ ⋅ a \theta\cdot a=(\theta+\theta)\cdot a=\theta\cdot a+\theta\cdot a θ ⋅ a = ( θ + θ ) ⋅ a = θ ⋅ a + θ ⋅ a ,由加法运算的消去律,得 θ ⋅ a = θ \theta\cdot a=\theta θ ⋅ a = θ 。同理可证 a ⋅ θ = θ a\cdot\theta=\theta a ⋅ θ = θ 。
(2)因为 a ⋅ b + a ⋅ ( − b ) = a ⋅ [ b + ( − b ) ] = a ⋅ θ = θ a\cdot b+a\cdot(-b)=a\cdot[b+(-b)]=a\cdot\theta=\theta a ⋅ b + a ⋅ ( − b ) = a ⋅ [ b + ( − b ) ] = a ⋅ θ = θ ,所以 a ⋅ ( − b ) = − ( a ⋅ b ) a\cdot(-b)=-(a\cdot b) a ⋅ ( − b ) = − ( a ⋅ b ) 。同理可证 ( − a ) ⋅ b = − ( a ⋅ b ) (-a)\cdot b=-(a\cdot b) ( − a ) ⋅ b = − ( a ⋅ b ) 。
定义 5 - 9.2
设 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 是环。如果 ⟨ A , ⋅ ⟩ \langle A,\cdot\rangle ⟨ A , ⋅ ⟩ 是可交换的,则称 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 是交换环 。如果 ⟨ A , ⋅ ⟩ \langle A,\cdot\rangle ⟨ A , ⋅ ⟩ 含有幺元,则称 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 是含幺环 。
定义 5 - 9.3
设 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 是一个代数系统,如果满足:
(1) ⟨ A , + ⟩ \langle A,+\rangle ⟨ A , + ⟩ 是阿贝尔群。
(2) ⟨ A , ⋅ ⟩ \langle A,\cdot\rangle ⟨ A , ⋅ ⟩ 是可交换独异点,且无零因子,即对任意的 a , b ∈ A , a ≠ θ , b ≠ θ a,b\in A,a\ne\theta,b\ne\theta a , b ∈ A , a ̸ = θ , b ̸ = θ 必有 a ⋅ b ≠ θ a\cdot b\ne\theta a ⋅ b ̸ = θ 。
(3) 运算 ⋅ \cdot ⋅ 对于运算 + + + 是可分配的。
则称 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 是整环 。
定理 5 - 9.2
在整环 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 中的无零因子条件等价于乘法消去律,即对于 c ≠ θ c\ne\theta c ̸ = θ 和 c ⋅ a = c ⋅ b c\cdot a=c\cdot b c ⋅ a = c ⋅ b ,必有 a = b a=b a = b 。
定义 5 - 9.4
设 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 是一个代数系统,如果满足:
(1) ⟨ A , + ⟩ \langle A,+\rangle ⟨ A , + ⟩ 是阿贝尔群。
(2) ⟨ A − { θ } , ⋅ ⟩ \langle A-\{\theta\},\cdot\rangle ⟨ A − { θ } , ⋅ ⟩ 是阿贝尔群。
(3) 运算 ⋅ \cdot ⋅ 对于运算 + + + 是可分配的。
则称 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 是域 。
定理 5 - 9.3
域一定是整环。
定理 5 - 9.4
有限整环必定是域。
定义 5 - 9.5
设 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 和 ⟨ B , ⊕ , ⊙ ⟩ \langle B,\oplus,\odot \rangle ⟨ B , ⊕ , ⊙ ⟩ 是两个代数系统,如果一个从 A A A 到 B B B 的映射 f f f ,满足如下条件:
对任意的 a , b ∈ A a,b\in A a , b ∈ A ,有
(1) f ( a + b ) = f ( a ) ⊕ f ( b ) f(a+b)=f(a)\oplus f(b) f ( a + b ) = f ( a ) ⊕ f ( b )
(2) f ( a ⋅ b ) = f ( a ) ⊙ f ( b ) f(a\cdot b) = f(a)\odot f(b) f ( a ⋅ b ) = f ( a ) ⊙ f ( b )
则称 f f f 为由 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 到 ⟨ B , ⊕ , ⊙ ⟩ \langle B,\oplus,\odot \rangle ⟨ B , ⊕ , ⊙ ⟩ 的一个同态映射 ,并称 ⟨ f ( A ) , ⊕ , ⊙ ⟩ \langle f(A),\oplus,\odot\rangle ⟨ f ( A ) , ⊕ , ⊙ ⟩ 是 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot \rangle ⟨ A , + , ⋅ ⟩ 的同态象 。
定理 5 - 9.5
任一环的同态象是一个环。
证明:
设 ⟨ A , + , ⋅ ⟩ \langle A,+,\cdot\rangle ⟨ A , + , ⋅ ⟩ 是一个环, ⟨ B , ⊕ , ⊙ ⟩ \langle B,\oplus,\odot \rangle ⟨ B , ⊕ , ⊙ ⟩ 是其在同态映射 f f f 下的同态象。
由 ⟨ A , + ⟩ \langle A,+\rangle ⟨ A , + ⟩ 是阿贝尔群,容易证明 ⟨ B , ⊕ ⟩ \langle B,\oplus\rangle ⟨ B , ⊕ ⟩ 也是阿贝尔群。
由 ⟨ A , ⋅ ⟩ \langle A,\cdot\rangle ⟨ A , ⋅ ⟩ 是半群,容易证明 ⟨ B , ⊙ ⟩ \langle B,\odot\rangle ⟨ B , ⊙ ⟩ 也是半群。
对于任意的 b 1 , b 2 , b 3 ∈ B b_1,b_2,b_3\in B b 1 , b 2 , b 3 ∈ B ,必有相应的 a 1 , a 2 , a 3 a_1,a_2,a_3 a 1 , a 2 , a 3 ,使得 f ( a i ) = b i , ( i = 1 , 2 , 3 ) f(a_i)=b_i,(i=1,2,3) f ( a i ) = b i , ( i = 1 , 2 , 3 ) 。
于是, b 1 ⊙ ( b 2 ⊕ b 3 ) = f ( a 1 ) ⊙ ( f ( a 2 ) ⊕ f ( a 3 ) ) = f ( a 1 ) ⊙ f ( a 2 + a 3 ) = f ( a 1 ⋅ ( a 2 + a 3 ) ) = f ( ( a 1 ⋅ a 2 ) + ( a 1 ⋅ a 3 ) ) = f ( a 1 ⋅ a 2 ) ⊕ f ( a 1 ⋅ a 3 ) = ( f ( a 1 ) ⊙ f ( a 2 ) ) ⊕ ( f ( a 1 ) ⊙ f ( a 3 ) ) = ( b 1 ⊙ b 2 ) ⊕ ( b 1 ⊙ b 3 ) \begin{aligned}b_1\odot(b_2\oplus b_3)&=f(a_1)\odot(f(a_2)\oplus f(a_3))\\&=f(a_1)\odot f(a_2+a_3)\\&=f(a_1\cdot(a_2+a_3))\\&=f((a_1\cdot a_2)+(a_1\cdot a_3))\\&=f(a_1\cdot a_2)\oplus f(a_1\cdot a_3)\\&=(f(a_1)\odot f(a_2))\oplus(f(a_1)\odot f(a_3))\\&=(b_1\odot b_2)\oplus(b_1\odot b_3)\end{aligned} b 1 ⊙ ( b 2 ⊕ b 3 ) = f ( a 1 ) ⊙ ( f ( a 2 ) ⊕ f ( a 3 ) ) = f ( a 1 ) ⊙ f ( a 2 + a 3 ) = f ( a 1 ⋅ ( a 2 + a 3 ) ) = f ( ( a 1 ⋅ a 2 ) + ( a 1 ⋅ a 3 ) ) = f ( a 1 ⋅ a 2 ) ⊕ f ( a 1 ⋅ a 3 ) = ( f ( a 1 ) ⊙ f ( a 2 ) ) ⊕ ( f ( a 1 ) ⊙ f ( a 3 ) ) = ( b 1 ⊙ b 2 ) ⊕ ( b 1 ⊙ b 3 )
同理可证 ( b 2 ⊕ b 3 ) ⊙ b 1 = ( b 2 ⊙ b 1 ) ⊕ ( b 2 ⊙ b 1 ) (b_2\oplus b_3)\odot b_1=(b_2\odot b_1)\oplus(b_2\odot b_1) ( b 2 ⊕ b 3 ) ⊙ b 1 = ( b 2 ⊙ b 1 ) ⊕ ( b 2 ⊙ b 1 )
因此, ⟨ B , ⊕ , ⊙ ⟩ \langle B,\oplus,\odot \rangle ⟨ B , ⊕ , ⊙ ⟩ 也是一个环。
第六章 格和布尔代数
6-1 格的概念
定义 6 - 1.1
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 是一个偏序集,如果 A A A 中任意两个元素都有最小上界和最大下界,则称 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 为格 。
定义 6 - 1.2
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 是一个格,如果在 A A A 上定义两个二元运算 ∨ \vee ∨ 和 ∧ \wedge ∧ ,使得对于任意的 a , b ∈ A a,b\in A a , b ∈ A , a ∨ b a\vee b a ∨ b 等于 a a a 和 b b b 的最小上界, a ∧ b a\wedge b a ∧ b 等于 a a a 和 b b b 的最大下界,那么,就称 ⟨ A , ∨ , ∧ ⟩ \langle A,\vee,\wedge\rangle ⟨ A , ∨ , ∧ ⟩ 为由格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 所诱导的代数系统 。二元运算 ∨ \vee ∨ 和 ∧ \wedge ∧ 分别称为并运算 和交运算 。
定义 6 - 1.3
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 是一个格,由格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 所诱导的代数系统为 ⟨ A , ∨ , ∧ ⟩ \langle A,\vee,\wedge\rangle ⟨ A , ∨ , ∧ ⟩ ,设 B ⊆ A B\subseteq A B ⊆ A 且 B ≠ ∅ B\ne\varnothing B ̸ = ∅ ,如果 A A A 中的这两个运算 ∨ \vee ∨ 和 ∧ \wedge ∧ 是封闭的,则称 ⟨ B , ≼ ⟩ \langle B,\preccurlyeq\rangle ⟨ B , ≼ ⟩ 是 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 的子格 。
定理 6 - 1.1
在一个格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 中,对任意的 a , b ∈ A a,b\in A a , b ∈ A ,都有
(1) a ≼ a ∨ b a\preccurlyeq a\vee b a ≼ a ∨ b
(2) b ≼ a ∨ b b\preccurlyeq a\vee b b ≼ a ∨ b
(3) a ∧ b ≼ a a\wedge b \preccurlyeq a a ∧ b ≼ a
(4) a ∧ b ≼ b a\wedge b \preccurlyeq b a ∧ b ≼ b
证明:
(由定义易证。)
定理 6 - 1.2
在一个格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 中,对于 a , b , c , d ∈ A a,b,c,d\in A a , b , c , d ∈ A ,若 a ≼ b a\preccurlyeq b a ≼ b , c ≼ d c\preccurlyeq d c ≼ d ,则 a ∨ c ≼ b ∨ d a\vee c \preccurlyeq b \vee d a ∨ c ≼ b ∨ d , a ∧ c ≼ b ∧ d a\wedge c \preccurlyeq b \wedge d a ∧ c ≼ b ∧ d 。
证明:
a ≼ b ≼ b ∨ d , c ≼ d ≼ b ∨ d a \preccurlyeq b \preccurlyeq b\vee d,c \preccurlyeq d \preccurlyeq b\vee d a ≼ b ≼ b ∨ d , c ≼ d ≼ b ∨ d ,则 a ∨ c ≼ b ∨ d a\vee c \preccurlyeq b\vee d a ∨ c ≼ b ∨ d 。同理可证 a ∧ c ≼ b ∧ d a\wedge c \preccurlyeq b\wedge d a ∧ c ≼ b ∧ d
定理 6 - 1.3
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 是一个格,由格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle ⟨ A , ≼ ⟩ 所诱导的代数系统为 ⟨ A , ∨ , ∧ ⟩ \langle A,\vee,\wedge\rangle ⟨ A , ∨ , ∧ ⟩ ,则对任意的 a , b , c , d ∈ A a,b,c,d\in A a , b , c , d ∈ A ,有
(1) a ∨ b = b ∨ a a\vee b=b\vee a a ∨ b = b ∨ a (交换律)
(2) a ∨ ( b ∨ c ) = ( a ∨ b ) ∨ c a\vee(b\vee c)=(a\vee b)\vee c a ∨ ( b ∨ c ) = ( a ∨ b ) ∨ c (结合律)
(3) a ∨ a = a a\vee a=a a ∨ a = a (幂等律)
(4) a ∨ ( a ∧ b ) = a a\vee(a\wedge b)=a a ∨ ( a ∧ b ) = a (吸收律)
上述式子的对偶式也同样成立。
证明:
(1)略
(2)
b ≼ b ∨ c ≼ a ∨ ( b ∨ c ) a ≼ a ∨ ( b ∨ c ) ⇒ ( a ∨ b ) ≼ a ∨ ( b ∨ c ) \begin{aligned}&b\preccurlyeq b\vee c \preccurlyeq a \vee (b \vee c)\\&a\preccurlyeq a \vee (b \vee c) \\\Rightarrow &(a\vee b)\preccurlyeq a\vee(b\vee c)\end{aligned} ⇒ b ≼ b ∨ c ≼ a ∨ ( b ∨ c ) a ≼ a ∨ ( b ∨ c ) ( a ∨ b ) ≼ a ∨ ( b ∨ c ) 又 c ≼ b ∨ c ≼ a ∨ ( b ∨ c ) c\preccurlyeq b\vee c \preccurlyeq a\vee (b\vee c) c ≼ b ∨ c ≼ a ∨ ( b ∨ c ) 则 ( a ∨ b ) ∨ c ≼ a ∨ ( b ∨ c ) (a\vee b)\vee c\preccurlyeq a\vee (b \vee c) ( a ∨ b ) ∨ c ≼ a ∨ ( b ∨ c ) 类似可证 a ∨ ( b ∨ c ) ≼ ( a ∨ b ) ∨ c a\vee (b \vee c)\preccurlyeq (a\vee b)\vee c a ∨ ( b ∨ c ) ≼ ( a ∨ b ) ∨ c 因此 ( a ∨ b ) ∨ c = a ∨ ( b ∨ c ) (a\vee b)\vee c= a\vee (b \vee c) ( a ∨ b ) ∨ c = a ∨ ( b ∨ c ) 证毕。
(3)
a ≼ a ∨ a , a ≼ a ⇒ a ∨ a ≼ a ⇒ a = a ∨ a \begin{aligned}&a\preccurlyeq a\vee a,\\&a\preccurlyeq a \Rightarrow a\vee a \preccurlyeq a\\\Rightarrow &a=a\vee a\end{aligned} ⇒ a ≼ a ∨ a , a ≼ a ⇒ a ∨ a ≼ a a = a ∨ a 再由对偶原理, a ∧ a = a a\wedge a=a a ∧ a = a 。
(4)略
引理 6 - 1.1
设 ⟨ A , ∨ , ∧ ⟩ \langle A,\vee,\wedge\rangle ⟨ A , ∨ , ∧ ⟩ 是一个代数系统,其中 ∨ , ∧ \vee,\wedge ∨ , ∧ 都是二元运算且满足吸收性,则 ∨ \vee ∨ 和 ∧ \wedge ∧ 都满足幂等性。
证明:
由吸收性,有 a ∨ ( a ∧ b ) = a a\vee(a\wedge b)=a a ∨ ( a ∧ b ) = a 和 a ∧ ( a ∨ b ) a\wedge(a\vee b) a ∧ ( a ∨ b ) 取(1)式中 b b b 为 a ∨ b a\vee b a ∨ b 得 a ∨ ( a ∧ ( a ∨ b ) ) = a a\vee(a\wedge(a\vee b))=a a ∨ ( a ∧ ( a ∨ b ) ) = a 再由(2)式得 a ∨ a = a a\vee a=a a ∨ a = a 同理可证 a ∧ a = a a\wedge a=a a ∧ a = a
定理 6 - 1.4
设 ⟨ A , ∨ , ∧ ⟩ \langle A,\vee,\wedge\rangle ⟨ A , ∨ , ∧ ⟩ 是一个代数系统,其中 ∨ \vee ∨ ,∧ \wedge ∧ 都是二元运算且满足交换性、结合性和吸收性,则 A A A 上存在偏序关系 ≼ \preccurlyeq ≼ ,使 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个格。
定理 6 - 1.5
在一个格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 中,对任意的 a , b , c ∈ A a,b,c\in A a , b , c ∈ A ,都有 a ∨ ( b ∧ c ) ≼ ( a ∨ b ) ∧ ( a ∨ c ) a\vee(b\wedge c)\preccurlyeq(a\vee b)\wedge(a\vee c) a ∨ ( b ∧ c ) ≼ ( a ∨ b ) ∧ ( a ∨ c ) 和 ( a ∧ b ) ∨ ( a ∧ c ) ≼ a ∧ ( b ∨ c ) (a\wedge b)\vee(a\wedge c)\preccurlyeq a\wedge(b\vee c) ( a ∧ b ) ∨ ( a ∧ c ) ≼ a ∧ ( b ∨ c )
定理 6 - 1.6
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个格,那么,对于任意的 a , b ∈ A a,b\in A a , b ∈ A ,有 a ≼ b ⇔ a ∧ b = a ⇔ a ∨ b = b a \preccurlyeq b \Leftrightarrow a \wedge b = a \Leftrightarrow a \vee b = b a ≼ b ⇔ a ∧ b = a ⇔ a ∨ b = b
定理 6 - 1.7
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个格,那么,对于任意的 a , b ∈ A a,b\in A a , b ∈ A ,有 a ≼ c ⇔ a ∨ ( b ∧ c ) ≼ ( a ∨ b ) ∧ c a \preccurlyeq c \Leftrightarrow a \vee (b \wedge c) \preccurlyeq (a \vee b) \wedge c a ≼ c ⇔ a ∨ ( b ∧ c ) ≼ ( a ∨ b ) ∧ c
定义 6 - 1.4
设 ⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle ⟨ A 1 , ≼ 1 ⟩ 和 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle ⟨ A 2 , ≼ 2 ⟩ 是两个格,由它们分别诱导的代数系统为 ⟨ A 1 , ∨ 1 , ∧ 1 ⟩ \langle A_1,\vee_1,\wedge_1\rangle ⟨ A 1 , ∨ 1 , ∧ 1 ⟩ 和 ⟨ A 2 , ∨ 2 , ∧ 2 ⟩ \langle A_2,\vee_2,\wedge_2\rangle ⟨ A 2 , ∨ 2 , ∧ 2 ⟩ ,如果存在着一个从 A 1 A_1 A 1 到 A 2 A_2 A 2 的映射 f f f ,使得对于任意的 a , b ∈ A 1 a,b\in A_1 a , b ∈ A 1 有 f ( a ∨ 1 b ) = f ( a ) ∨ 2 f ( b ) f(a \vee_1 b)=f(a) \vee_2 f(b) f ( a ∨ 1 b ) = f ( a ) ∨ 2 f ( b ) f ( a ∧ 1 b ) = f ( a ) ∧ 2 f ( b ) f(a \wedge_1 b)=f(a) \wedge_2 f(b) f ( a ∧ 1 b ) = f ( a ) ∧ 2 f ( b ) 则称 f f f 为从 ⟨ A 1 , ∨ 1 , ∧ 1 ⟩ \langle A_1,\vee_1,\wedge_1\rangle ⟨ A 1 , ∨ 1 , ∧ 1 ⟩ 到 ⟨ A 2 , ∨ 2 , ∧ 2 ⟩ \langle A_2,\vee_2,\wedge_2\rangle ⟨ A 2 , ∨ 2 , ∧ 2 ⟩ 的格同态象 。此外,当 f f f 是双射时,则称 f f f 为从 ⟨ A 1 , ∨ 1 , ∧ 1 ⟩ \langle A_1,\vee_1,\wedge_1\rangle ⟨ A 1 , ∨ 1 , ∧ 1 ⟩ 到 ⟨ A 2 , ∨ 2 , ∧ 2 ⟩ \langle A_2,\vee_2,\wedge_2\rangle ⟨ A 2 , ∨ 2 , ∧ 2 ⟩ 的格同构 ,亦称 ⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle ⟨ A 1 , ≼ 1 ⟩ 和 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle ⟨ A 2 , ≼ 2 ⟩ 这两个格是同构 的。
定理 6 - 1.8
设 f f f 是格 ⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle ⟨ A 1 , ≼ 1 ⟩ 到 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle ⟨ A 2 , ≼ 2 ⟩ 的格同态,则对任意的 x , y ∈ A 1 x,y\in A_1 x , y ∈ A 1 ,如果 x ≼ 1 y x\preccurlyeq_1 y x ≼ 1 y ,必有 f ( x ) ≼ 2 f ( y ) f(x)\preccurlyeq_2 f(y) f ( x ) ≼ 2 f ( y ) 。
定理 6 - 1.9
设 ⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle ⟨ A 1 , ≼ 1 ⟩ 和 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle ⟨ A 2 , ≼ 2 ⟩ 是两个格, f f f 是从 A 1 A_1 A 1 到 A 2 A_2 A 2 的双射,则 f f f 是 ⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle ⟨ A 1 , ≼ 1 ⟩ 到 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle ⟨ A 2 , ≼ 2 ⟩ 的格同构,当且仅当对任意的 a , b ∈ A a,b\in A a , b ∈ A , a ≼ 1 b ⇔ f ( a ) ≼ 2 f ( b ) a\preccurlyeq_1 b \Leftrightarrow f(a) \preccurlyeq_2 f(b) a ≼ 1 b ⇔ f ( a ) ≼ 2 f ( b ) 。
6-2 分配格
定义 6 - 2.1
设 ⟨ A , ∨ , ∧ ⟩ \langle A,\vee,\wedge\rangle ⟨ A , ∨ , ∧ ⟩ 是由格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 所诱导的代数系统。如果 ∧ \wedge ∧ 运算和 ∨ \vee ∨ 运算在 A A A 上互相可分配,则称 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 为分配格 。
定理 6 - 2.1
如果在一个格中 ∧ \wedge ∧ 运算对于 ∨ \vee ∨ 运算是可分配的,则 ∨ \vee ∨ 运算对于 ∧ \wedge ∧ 运算也是可分配的。反之亦然。
定理 6 - 2.2
每个链一定是分配格。
定理 6 - 2.3
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个分配格,那么,对于任意的 a , b , c ∈ A a,b,c\in A a , b , c ∈ A ,如果有 a ∧ b = a ∧ c a\wedge b = a\wedge c a ∧ b = a ∧ c 和 a ∨ b = a ∨ c a\vee b = a \vee c a ∨ b = a ∨ c 成立,则必有 b = c b=c b = c 。
定义 6 - 2.2
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个格,由它所诱导的代数系统为 ⟨ A , ∨ , ∧ ⟩ \langle A,\vee,\wedge\rangle ⟨ A , ∨ , ∧ ⟩ ,如果对于任意的 a , b , c ∈ A a,b,c \in A a , b , c ∈ A ,当 b ≼ a b \preccurlyeq a b ≼ a 时,有 a ∧ ( b ∨ c ) = b ∨ ( a ∧ c ) a \wedge (b \vee c) = b \vee (a \wedge c) a ∧ ( b ∨ c ) = b ∨ ( a ∧ c ) 则称 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是模格 。
定理 6 - 2.4
格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是模格,当且仅当在 A A A 中不含有适合下述条件的元素 u , v , w u,v,w u , v , w
(1) v ≺ u v \prec u v ≺ u
(2) u ∨ w = v ∨ w , u ∧ w = v ∧ w u \vee w = v \vee w, u \wedge w = v \wedge w u ∨ w = v ∨ w , u ∧ w = v ∧ w
定理 6 - 2.5
在一般的格中,对于任意的 a , b , c a,b,c a , b , c ,有以下三个式子成立:
(1) a ∨ ( b ∧ c ) ≼ ( a ∨ b ) ∧ ( a ∨ c ) a \vee (b \wedge c) \preccurlyeq (a \vee b) \wedge (a \vee c) a ∨ ( b ∧ c ) ≼ ( a ∨ b ) ∧ ( a ∨ c )
(2) ( a ∧ b ) ∨ ( a ∧ c ) ≼ a ∧ ( b ∨ c ) (a \wedge b) \vee (a \wedge c) \preccurlyeq a \wedge (b \vee c) ( a ∧ b ) ∨ ( a ∧ c ) ≼ a ∧ ( b ∨ c )
(3) ( a ∧ b ) ∨ ( b ∧ c ) ∨ ( c ∧ a ) ≼ ( a ∨ b ) ∧ ( b ∨ c ) ∧ ( c ∨ a ) (a \wedge b) \vee (b \wedge c) \vee (c \wedge a) \preccurlyeq (a \vee b) \wedge (b \vee c) \wedge (c \vee a) ( a ∧ b ) ∨ ( b ∧ c ) ∨ ( c ∧ a ) ≼ ( a ∨ b ) ∧ ( b ∨ c ) ∧ ( c ∨ a )
对于模格,若有三个元素 a , b , c a,b,c a , b , c ,使得上述三个式子的任何一个式子把 ≼ \preccurlyeq ≼ 换成 = = = 成立,则另外两个式子中把 ≼ \preccurlyeq ≼ 换成 = = = 也必成立。
定理 6 - 2.6
分配格必定是模格。
6-3 有补格
定义 6 - 3.1
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个格,如果存在元素 a ∈ A a\in A a ∈ A ,对于任意的 x ∈ A x\in A x ∈ A ,都有 a ≼ x a\preccurlyeq x a ≼ x 则称 a a a 为格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 的全下界 ,记格的全下界为 0 0 0 。
定理 6 - 3.1
一个格若有全下界,则是唯一的。
定义 6 - 3.2
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个格,如果存在元素 b ∈ A b\in A b ∈ A ,对于任意的 x ∈ A x\in A x ∈ A ,都有 x ≼ b x\preccurlyeq b x ≼ b 则称 b b b 为格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 的全上界 ,记格的全上界为 1 1 1 。
定理 6 - 3.2
一个格若有全上界,则是唯一的。
定义 6 - 3.3
如果一个格中存在全下界和全上界,则称该格为有界格 。
定理 6 - 3.3
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个有界格,则对任意的 a ∈ A a\in A a ∈ A ,必有
(1) a ∨ 1 = 1 , a ∧ 1 = a a\vee1=1,a\wedge1=a a ∨ 1 = 1 , a ∧ 1 = a
(2) a ∨ 0 = a , a ∧ 0 = 0 a\vee0=a,a\wedge0=0 a ∨ 0 = a , a ∧ 0 = 0
定义 6 - 3.4
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个有界格,对于 A A A 中的一个元素 a a a ,如果存在 b ∈ A b\in A b ∈ A ,使得 a ∨ b = 1 a\vee b=1 a ∨ b = 1 和 a ∧ b = 0 a\wedge b=0 a ∧ b = 0 ,则称元素 b b b 是元素 a a a 的补元 。
定义 6 - 3.5
在一个有界格中,如果每个元素都至少有一个补元素,则称此格为有补格 。
定理 6 - 3.4
在有界分配格中,若有一个元素有补元素,则必是唯一的。
证明:
设 a a a 有两个补元素 b b b 和 c c c ,即有 a ∨ b = 1 , a ∧ b = 0 a \vee b =1,a \wedge b=0 a ∨ b = 1 , a ∧ b = 0 a ∨ c = 1 , a ∧ c = 0 a \vee c = 1,a \wedge c =0 a ∨ c = 1 , a ∧ c = 0 由定理 6 - 2.3 即得 b = c b=c b = c 。
定义 6 - 3.6
一个格如果它既是有补格,又是分配格,则称它为有补分配格 。我们把有补分配格中任一元素 a a a 的唯一补元记为 a ˉ \bar{a} a ˉ 。
6-4 布尔代数
定义 6 - 4.1
一个有补分配格称为布尔格 。
定义 6 - 4.2
由布尔格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ ,可以诱导一个代数系统 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ ,这个代数系统称为布尔代数 。
定理 6 - 4.1
对于布尔代数中任意两个元素 a , b a,b a , b ,必定有 ( a ˉ ) ‾ = a \overline{(\bar{a})}=a ( a ˉ ) = a a ∨ b ‾ = a ˉ ∧ b ˉ \overline{a \vee b} = \bar{a} \wedge \bar{b} a ∨ b = a ˉ ∧ b ˉ a ∧ b ‾ = a ˉ ∨ b ˉ \overline{a \wedge b} = \bar{a} \vee \bar{b} a ∧ b = a ˉ ∨ b ˉ
定义 6 - 4.3
具有有限个元素的布尔代数称为有限布尔代数 。
定义 6 - 4.4
设 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 和 ⟨ B , ∨ , ∧ , ˉ ⟩ \langle B,\vee,\wedge,\bar{\quad} \rangle ⟨ B , ∨ , ∧ , ˉ ⟩ 是两个布尔代数,如果存在着 A A A 到 B B B 的双射 f f f ,对于任意的 a , b ∈ A a,b \in A a , b ∈ A ,都有 f ( a ∨ b ) = f ( a ) ∨ f ( b ) f(a \vee b) = f(a) \vee f(b) f ( a ∨ b ) = f ( a ) ∨ f ( b ) f ( a ∧ b ) = f ( a ) ∧ f ( b ) f(a\wedge b)=f(a)\wedge f(b) f ( a ∧ b ) = f ( a ) ∧ f ( b ) f ( a ˉ ) = f ( a ) ‾ f(\bar{a})=\overline{f(a)} f ( a ˉ ) = f ( a ) 则称 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 和 ⟨ B , ∨ , ∧ , ˉ ⟩ \langle B,\vee,\wedge,\bar{\quad} \rangle ⟨ B , ∨ , ∧ , ˉ ⟩ 同构 。
定义 6 - 4.5
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个格,且具有全下界 0 0 0 ,如果有元素 a a a 盖住 0 0 0 ,则称元素 a a a 为原子 。
定理 6 - 4.2
设 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 是一个具有全下界 0 0 0 的有限格,则对于任何一个非零元素 b b b (即不等于全下界 0 0 0 的元素)至少存在一个原子 a a a ,使得 a ≼ b a \preccurlyeq b a ≼ b 。
引理 6 - 4.1
在一个布尔格中, b ∧ c ˉ = 0 b \wedge \bar{c} = 0 b ∧ c ˉ = 0 当且仅当 b ≼ c b \preccurlyeq c b ≼ c 。
引理 6 - 4.2
设 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 是一个有限布尔代数,若 b b b 是 A A A 中任意非零元素, a 1 , a 2 , ⋯  , a k a_1,a_2,\cdots, a_k a 1 , a 2 , ⋯ , a k 是 A A A 中满足 a j ≼ b a_j \preccurlyeq b a j ≼ b 的所有原子( j = 1 , 2 , ⋯  , k j=1,2,\cdots,k j = 1 , 2 , ⋯ , k ),则 b = a 1 ∨ a 2 ∨ ⋯ ∨ a k b = a_1 \vee a_2 \vee \cdots \vee a_k b = a 1 ∨ a 2 ∨ ⋯ ∨ a k 。
引理 6 - 4.3
设 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 是一个有限布尔代数, b ∈ A b \in A b ∈ A ,且 b ≠ 0 b \ne 0 b ̸ = 0 , a 1 , a 2 , ⋯  , a k a_1,a_2,\cdots,a_k a 1 , a 2 , ⋯ , a k 是满足 a i ≼ b a_i \preccurlyeq b a i ≼ b ( i = 1 , 2 , ⋯  , k i=1,2,\cdots,k i = 1 , 2 , ⋯ , k )的 A A A 中的所有原子,则 b = a 1 ∨ a 2 ∨ ⋯ ∨ a k b = a_1 \vee a_2 \vee \cdots \vee a_k b = a 1 ∨ a 2 ∨ ⋯ ∨ a k 是将 b b b 表示为原子的并的唯一形式。
引理 6 - 4.4
在一个布尔格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 中,对 A A A 中的任意一个原子 a a a 和另一个非零元素 b b b , a ≼ b a\preccurlyeq b a ≼ b 和 a ≼ b ˉ a \preccurlyeq \bar{b} a ≼ b ˉ 两式中有且仅有一式成立。
定理 6 - 4.3 (Stone 表示定理)
设 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 是由有限布尔格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 所诱导的一个有限布尔代数, S S S 是布尔格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle ⟨ A , ≼ ⟩ 中的所有原子的集合,则 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 和 ⟨ P ( S ) , ∪ , ∩ , ∼ ⟩ \langle \mathscr{P}(S),\cup,\cap,\sim \rangle ⟨ P ( S ) , ∪ , ∩ , ∼ ⟩ 同构。
6-5 布尔表达式
定义 6 - 5.1
设 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 是一个布尔代数,并在这个布尔代数上定义布尔表达式 如下:
(1) A A A 中任何元素是一个布尔表达式。
(2)任何变元是一个布尔表达式。
(3)如果 e 1 e_1 e 1 和 e 2 e_2 e 2 是布尔表达式,那么, e ˉ 1 , ( e 1 ∨ e 2 ) \bar{e}_1,(e_1 \vee e_2) e ˉ 1 , ( e 1 ∨ e 2 ) 和 ( e 1 ∧ e 2 ) (e_1 \wedge e_2) ( e 1 ∧ e 2 ) 也都是布尔表达式。
定义 6 - 5.2
一个含有 n n n 个相异变元的布尔表达式,称为含有 n n n 元的布尔表达式 。记为 E ( x 1 , x 2 , ⋯  , x n ) E(x_1,x_2,\cdots,x_n) E ( x 1 , x 2 , ⋯ , x n ) ,其中 x 1 , x 2 , ⋯  , x n x_1,x_2,\cdots,x_n x 1 , x 2 , ⋯ , x n 为变元。
定义 6 - 5.3
布尔代数 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 上的一个含有 n n n 元的布尔表达式 E ( x 1 , x 2 , ⋯  , x n ) E(x_1,x_2,\cdots,x_n) E ( x 1 , x 2 , ⋯ , x n ) 的值 是指:将 A A A 中的元素作为变元 x i x_i x i ( i = 1 , 2 , ⋯  , n i=1,2,\cdots,n i = 1 , 2 , ⋯ , n )的值来代替表达式中相应的变元(即对变元赋值),从而计算出表达式的值。
定义 6 - 5.4
设布尔代数 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 上两个 n n n 元的布尔表达式为 E 1 ( x 1 , x 2 , ⋯  , x n ) E_1(x_1,x_2,\cdots,x_n) E 1 ( x 1 , x 2 , ⋯ , x n ) 和 E 2 ( x 1 , x 2 , ⋯  , x n ) E_2(x_1,x_2,\cdots,x_n) E 2 ( x 1 , x 2 , ⋯ , x n ) ,如果对于 n n n 个变元的任意赋值 x i = x ~ i x_i=\widetilde{x}_i x i = x i , x ~ i ∈ A \widetilde{x}_i \in A x i ∈ A 时,均有 E 1 ( x ~ 1 , x ~ 2 ⋯  , x ~ n ) = E 2 ( x ~ 1 , x ~ 2 ⋯  , x ~ n ) E_1(\widetilde{x}_1,\widetilde{x}_2\cdots,\widetilde{x}_n) = E_2(\widetilde{x}_1,\widetilde{x}_2\cdots,\widetilde{x}_n) E 1 ( x 1 , x 2 ⋯ , x n ) = E 2 ( x 1 , x 2 ⋯ , x n ) 则称这两个布尔表达式是等价的,记作 E 1 ( x 1 , x 2 , ⋯  , x n ) = E 2 ( x 1 , x 2 , ⋯  , x n ) E_1(x_1,x_2,\cdots,x_n) = E_2(x_1,x_2,\cdots,x_n) E 1 ( x 1 , x 2 , ⋯ , x n ) = E 2 ( x 1 , x 2 , ⋯ , x n ) 。
定义 6 - 5.5
设 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 是一个布尔代数,一个从 A n A^n A n 到 A A A 的函数,如果它能够用 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 上的 n n n 元布尔表达式来表示,那么,这个函数就称为布尔函数 。
定理 6 - 5.1
对于两个元素的布尔代数 ⟨ { 0 , 1 } , ∨ , ∧ , ˉ ⟩ \langle \{0,1\}, \vee , \wedge,\bar{\quad} \rangle ⟨ { 0 , 1 } , ∨ , ∧ , ˉ ⟩ ,任何一个从 { 0 , 1 } n \{0,1\}^n { 0 , 1 } n 到 { 0 , 1 } \{0,1\} { 0 , 1 } 的函数都是布尔函数。
定理 6 - 5.2
设 E ( x 1 , x 2 , ⋯  , x n ) E(x_1,x_2,\cdots,x_n) E ( x 1 , x 2 , ⋯ , x n ) 是布尔代数 ⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle ⟨ A , ∨ , ∧ , ˉ ⟩ 上的任意一个布尔表达式,则它一定能写成析取范式。