离散数学学习笔记【第三篇】

本文所有内容来自上海科学技术文献出版社《离散数学》第三篇。

目录

  • 第三篇 代数结构
    • 第五章 代数系统
      • 5-1 代数系统的引入
      • 5-2 运算及其性质
      • 5-3 半群
      • 5-4 群与子群
      • 5-5 阿贝尔群和循环群
      • *5-6 置换群与伯恩赛德定理
      • 5-7 陪集与拉格朗日定理
      • 5-8 同态与同构
      • 5-9 环与域
    • 第六章 格和布尔代数
      • 6-1 格的概念
      • 6-2 分配格
      • 6-3 有补格
      • 6-4 布尔代数
      • 6-5 布尔表达式

第三篇 代数结构

第五章 代数系统

5-1 代数系统的引入

定义 5 - 1.1
对于集合 A A A ,一个从 A n A^n An B B B 的映射,称为集合 A A A 上的一个 n n n运算。如果 B ⊆ A B\subseteq A BA ,则称该 n n n 元运算是封闭的

定义 5 - 1.2
一个非空集合 A A A 连同若干个定义在该集合上的运算 f 1 , f 2 , ⋯   , f k f_1,f_2,\cdots,f_k f1,f2,,fk 所组成的系统就称为一个代数系统,记作 ⟨ A , f 1 , f 2 , ⋯   , f k ⟩ \langle A,f_1,f_2,\cdots,f_k\rangle A,f1,f2,,fk

5-2 运算及其性质

定义 5 - 2.1
∗ * 是定义在集合 A A A 上的二元运算,如果对于任意的 x , y ∈ A x,y\in A x,yA ,都有 x ∗ y ∈ A x*y\in A xyA ,则称二元运算 ∗ * A A A 上是封闭的

定义 5 - 2.2
∗ * 是定义在集合 A A A 上的二元运算,如果对于任意的 x , y ∈ A x,y\in A x,yA ,都有 x ∗ y = y ∗ x x*y=y*x xy=yx ,则称二元运算 ∗ * A A A 上是可交换的

定义 5 - 2.3
∗ * 是定义在集合 A A A 上的二元运算,如果对于任意的 x , y , z ∈ A x,y,z\in A x,y,zA ,都有 ( x ∗ y ) ∗ z = x ∗ ( y ∗ z ) (x*y)*z=x*(y*z) (xy)z=x(yz) ,则称二元运算 ∗ * A A A 上是可结合的

定义 5 - 2.4
∗ , △ *,\triangle , 是定义在集合 A A A 上的二元运算,如果对于任意的 x , y , z ∈ A x,y,z\in A x,y,zA ,都有 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(yz)=(xy)(xz)(yz)x=(yx)(zx) 则称运算 ∗ * 对于运算 △ \triangle 可分配的

定义 5 - 2.5
∗ , △ *,\triangle , 是定义在集合 A A A 上的两个可交换的二元运算,如果对于任意的 x , y ∈ A x,y\in A x,yA ,都有 x ∗ ( x △ y ) = x x △ ( x ∗ y ) = x x*(x\triangle y)=x\\x\triangle (x*y)=x x(xy)=xx(xy)=x 则称运算 ∗ * 和运算 △ \triangle 满足吸收律

定义 5 - 2.6
∗ * 是定义在集合 A A A 上的一个二元运算,如果对于任意的 x ∈ A x\in A xA ,都有 x ∗ x = x x*x=x xx=x ,则称运算 ∗ * 等幂的

定义 5 - 2.7
∗ * 是定义在集合 A A A 上的一个二元运算,如果有一个元素 e l ∈ A e_l\in A elA ,对于任意的元素 x ∈ A x\in A xA 都有 e l ∗ x = x e_l*x=x elx=x ,则称 e l e_l el A A A 中关于运算 ∗ * 左幺元;如果有一个元素 e r ∈ A e_r\in A erA ,对于任意的元素 x ∈ A x\in A xA 都有 x ∗ e r = x x*e_r=x xer=x ,则称 e r e_r er 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 el 和右幺元 e r e_r er ,则 e l = e r = e e_l=e_r=e el=er=e ,且 A A A 中的幺元是唯一的。

定义 5 - 2.8
∗ * 是定义在集合 A A A 上的一个二元运算,如果有一个元素 θ l ∈ A \theta_l\in A θlA ,对于任意的元素 x ∈ A x\in A xA 都有 θ l ∗ x = θ l \theta_l*x=\theta_l θlx=θl ,则称 θ l \theta_l θl A A A 中关于运算 ∗ * 左零元;如果有一个元素 θ r ∈ A \theta_r\in A θrA ,对于任意的元素 x ∈ A x\in A xA 都有 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 xA ,必有 x = e ∗ x = θ ∗ x = θ = e x=e*x=\theta*x=\theta=e x=ex=θ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 ba=e ,那么称 b b b a a a左逆元;如果 a ∗ b = e a*b=e ab=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} x1

定理 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,cA ,且 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=cb=c((ba)b)=((cb)a)b=ab ,因此 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=be=b(ac)=(ba)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 BS ∗ * 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 aS ,使得 a ∗ a = a a*a=a aa=a

证明:
对于有限集 S S S 中的任意元素 b b b ,必存在 j > i j>i j>i ,使得 b i = b j b^i=b^j bi=bj
p = j − i p=j-i p=ji ,则 b i = b p ∗ b i b^i=b^p*b^i bi=bpbi ,则有 b q = b p ∗ b q , q ⩾ i b^q=b^p*b^q,q\geqslant i bq=bpbq,qi
因为 p ⩾ 1 p\geqslant1 p1 ,所以总能找到 k ⩾ 1 k\geqslant1 k1 ,使得 k p ⩾ i kp\geqslant i kpi
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} bkp=bpbkp=bp(bpbkp)==bkpbkp 。证毕。

定义 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,bS ,且 a , b a,b a,b 均有逆元,则
(a) ( a − 1 ) − 1 = a (a^{-1})^{-1}=a (a1)1=a
(b) a ∗ b a*b ab 有逆元,且 ( a ∗ b ) − 1 = b − 1 ∗ a − 1 (a*b)^{-1}=b^{-1}*a^{-1} (ab)1=b1a1

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 xG ,存在着它的逆元 x − 1 x^{-1} x1
则称 ⟨ 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,bG ,必存在唯一的 x ∈ G x\in G xG ,使得 a ∗ x = b a*x=b ax=b

定理 5 - 4.3
⟨ G , ∗ ⟩ \langle G,* \rangle G, 是一个群,对于任意的 a , b , c ∈ G a,b,c\in G a,b,cG ,如果有 a ∗ b = a ∗ c a*b=a*c ab=ac 或者 b ∗ a = c ∗ a b*a=c*a ba=ca ,则必有 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 aG ,有 a ∗ a = a a*a=a aa=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=ea=(a1a)a=a1(aa)=a1a=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 eGx=x=eSxeG=eS

定义 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 bB,bi=bj,i<j ,则 b i = b j − i ∗ b i b^i=b^{j-i}*b^i bi=bjibi ,则 b j − i b^{j-i} bji 是幺元。
如果 j − i > 1 j-i>1 ji>1 ,则由 b j − i = b ∗ b j − i − 1 b^{j-i}=b*b^{j-i-1} bji=bbji1 可知 b j − i − 1 b^{j-i-1} bji1 b b b 的逆元;
如果 j − i = 1 j-i=1 ji=1 ,则由 b i = b ∗ b i b^i=b*b^i bi=bbi 可知 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 ab1S ,则 ⟨ 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 aa1=eS )。
其次证明, S S S 中的每一元素都有逆元( a − 1 = e △ a − 1 ∈ S a^{-1}=e\triangle a^{-1}\in S a1=ea1S )。
最后证明, △ \triangle S S S 上是封闭的( a △ b = a △ ( b − 1 ) − 1 ∈ S a\triangle b=a\triangle(b^{-1})^{-1}\in S ab=a(b1)1S )。

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,bG ,有 ( a ∗ b ) ∗ ( a ∗ b ) = ( a ∗ a ) ∗ ( b ∗ b ) (a*b)*(a*b)=(a*a)*(b*b) (ab)(ab)=(aa)(bb)

证明:
(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(ab)b=(aa)(bb)=(ab)(ab)=a(ba)b两边同乘逆元,则有 a ∗ b = b ∗ a a*b=b*a ab=ba
(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} (aa)(bb)=a(ab)b=a(ba)b=(ab)(ab)

定义 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=ar,y=as ,则 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 xy=aras=ar+s=as+r=asar=yx

定理 5 - 5.3
⟨ G , ∗ ⟩ \langle G,*\rangle G, 是一个由元素 a ∈ G a\in G aG 生成的有限循环群。如果 G G G 的阶数是 n n n ,即 ∣ G ∣ = n \vert G\vert=n G=n ,则 a n = e a^n=e an=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,a2,a3,,an1,an=e}其中, e e e ⟨ G , ∗ ⟩ \langle G,*\rangle G, 中的幺元, n n n 是使 a n = e a^n=e an=e 的最小正整数(称 n n n 为元素 a a a 的阶)。

证明:
假设存在 m < n m<n m<n 满足 a m = e a^m=e am=e
那么,由于 ⟨ G , ∗ ⟩ \langle G,*\rangle G, 是一个循环群,所以 G G G 中的任何元素都能表示成 a k a^k ak ,其中 k = m q + r , q ∈ I , 0 ⩽ r < m k=mq+r,q\in I,0\leqslant r<m k=mq+r,qI,0r<m
因此, G G G 中所有元素都能表示成 a r a^r ar ,则 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,π2Sn S n S_n Sn 上的二元运算 ∘ \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 Sn, 是一个群,其中 ∘ \circ 是置换的左复合运算。

证明:
(1)首先证明 ∘ \circ S n S_n Sn 上的封闭性。
π 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π2Sn
(2)其次证明 ∘ \circ S n S_n Sn 上是可结合的。
π 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 Sn 中存在幺元 π e \pi_e πe
显然,满足 ∀ π x ∈ S n , π e ∘ π x = π x \forall \pi_x\in S_n,\pi_e\circ\pi_x=\pi_x πxSn,πeπx=πx π e \pi_e πe 即为幺元。
(4)最后,证明 S n S_n Sn 中所有元素存在逆元。
∀ π ∈ S , ∃ π − 1 ∈ S n \forall\pi\in S,\exist\pi^{-1}\in S_n πS,π1Sn ,使得 π ( 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 Sn, 的任何一个子群,称为集合 S S S 上的一个置换群。特别地,置换群 ⟨ S n , ∘ ⟩ \langle S_n,\circ\rangle Sn, 称为集合 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) G1π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,BP(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\} AB={abaA,bB} A − 1 = { a − 1 ∣ a ∈ A } A^{-1}=\{a^{-1}\vert a\in A\} A1={a1aA} 分别称为 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 aG ,则集合 { 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 aH H a Ha Ha )。元素 a a a 称为陪集 a H aH aH H a Ha Ha )的代表元素

定理 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,baG,bG,a1bH} G G G 中的一个等价关系。对于 a ∈ G a\in G aG ,若记 [ a ] R = { x ∣ x ∈ G , ⟨ a , x ⟩ ∈ R } [a]_R=\{x\vert x\in G,\langle a,x\rangle\in R\} [a]R={xxG,a,xR} ,则 [ a ] R = a H [a]_R=aH [a]R=aH
(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 mn

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 a1,a2A ,有 f ( a 1 ★ a 2 ) = f ( a 1 ) ∗ f ( a 2 ) f(a_1\bigstar a_2)=f(a_1)*f(a_2) f(a1a2)=f(a1)f(a2) ,则称 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 AB 。把 ⟨ 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)={xx=f(a),aA}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 AB

定义 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)={xxG,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 k1,k2K ,则 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(k1k2)=f(k1)f(k2)=ee=e ,故 k 1 ★ k 2 ∈ K k_1\bigstar k_2\in K k1k2K 。又 f ( k − 1 ) = f ( k ) − 1 = e ′ − 1 = e ′ f(k^{-1})=f^{}(k)^{-1}=e^{\prime-1}=e^\prime f(k1)=f(k)1=e1=e ,故 k − 1 ∈ K k^{-1}\in K k1K 。因此, ⟨ 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 a1,a2,b1,b2R 时,蕴涵着 ⟨ a 1 ★ b 1 , a 2 ★ b 2 ⟩ ∈ R \langle a_1\bigstar b_1,a_2\bigstar b_2\rangle\in R a1b1,a2b2R ,则称 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={A1,A2,,Ar} 是由 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,bR 当且仅当 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,cA ,有
(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=(ab)
(3) ( − a ) ⋅ ( − b ) = a ⋅ b (-a)\cdot(-b)=a\cdot b (a)(b)=ab
(4) a ⋅ ( b − c ) = a ⋅ b − a ⋅ c a\cdot(b-c)=a\cdot b-a\cdot c a(bc)=abac
(5) ( b − c ) ⋅ a = b ⋅ a − c ⋅ a (b-c)\cdot a=b\cdot a-c\cdot a (bc)a=baca
其中, θ \theta θ 是加法幺元, − a -a a a a a 的加法逆元,并将 a + ( − b ) a+(-b) a+(b) 记为 a − b a-b ab

证明:
(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 ab+a(b)=a[b+(b)]=aθ=θ ,所以 a ⋅ ( − b ) = − ( a ⋅ b ) a\cdot(-b)=-(a\cdot b) a(b)=(ab) 。同理可证 ( − a ) ⋅ b = − ( a ⋅ b ) (-a)\cdot b=-(a\cdot b) (a)b=(ab)

定义 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,bA,a̸=θ,b̸=θ 必有 a ⋅ b ≠ θ a\cdot b\ne\theta ab̸=θ
(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 ca=cb ,必有 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,bA ,有
(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(ab)=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 b1,b2,b3B ,必有相应的 a 1 , a 2 , a 3 a_1,a_2,a_3 a1,a2,a3 ,使得 f ( a i ) = b i , ( i = 1 , 2 , 3 ) f(a_i)=b_i,(i=1,2,3) f(ai)=bi,(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} b1(b2b3)=f(a1)(f(a2)f(a3))=f(a1)f(a2+a3)=f(a1(a2+a3))=f((a1a2)+(a1a3))=f(a1a2)f(a1a3)=(f(a1)f(a2))(f(a1)f(a3))=(b1b2)(b1b3)

同理可证 ( 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) (b2b3)b1=(b2b1)(b2b1)
因此, ⟨ 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,bA a ∨ b a\vee b ab 等于 a a a b b b 的最小上界, a ∧ b a\wedge b ab 等于 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 BA 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,bA ,都有
(1) a ≼ a ∨ b a\preccurlyeq a\vee b aab
(2) b ≼ a ∨ b b\preccurlyeq a\vee b bab
(3) a ∧ b ≼ a a\wedge b \preccurlyeq a aba
(4) a ∧ b ≼ b a\wedge b \preccurlyeq b abb

证明:
(由定义易证。)

定理 6 - 1.2
在一个格 ⟨ A , ≼ ⟩ \langle A,\preccurlyeq\rangle A, 中,对于 a , b , c , d ∈ A a,b,c,d\in A a,b,c,dA ,若 a ≼ b a\preccurlyeq b ab c ≼ d c\preccurlyeq d cd ,则 a ∨ c ≼ b ∨ d a\vee c \preccurlyeq b \vee d acbd a ∧ c ≼ b ∧ d a\wedge c \preccurlyeq b \wedge d acbd

证明:
a ≼ b ≼ b ∨ d , c ≼ d ≼ b ∨ d a \preccurlyeq b \preccurlyeq b\vee d,c \preccurlyeq d \preccurlyeq b\vee d abbd,cdbd ,则 a ∨ c ≼ b ∨ d a\vee c \preccurlyeq b\vee d acbd 。同理可证 a ∧ c ≼ b ∧ d a\wedge c \preccurlyeq b\wedge d acbd

定理 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,dA ,有
(1) a ∨ b = b ∨ a a\vee b=b\vee a ab=ba (交换律)
(2) a ∨ ( b ∨ c ) = ( a ∨ b ) ∨ c a\vee(b\vee c)=(a\vee b)\vee c a(bc)=(ab)c (结合律)
(3) a ∨ a = a a\vee a=a aa=a (幂等律)
(4) a ∨ ( a ∧ b ) = a a\vee(a\wedge b)=a a(ab)=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} bbca(bc)aa(bc)(ab)a(bc) c ≼ b ∨ c ≼ a ∨ ( b ∨ c ) c\preccurlyeq b\vee c \preccurlyeq a\vee (b\vee c) cbca(bc) ( a ∨ b ) ∨ c ≼ a ∨ ( b ∨ c ) (a\vee b)\vee c\preccurlyeq a\vee (b \vee c) (ab)ca(bc) 类似可证 a ∨ ( b ∨ c ) ≼ ( a ∨ b ) ∨ c a\vee (b \vee c)\preccurlyeq (a\vee b)\vee c a(bc)(ab)c 因此 ( a ∨ b ) ∨ c = a ∨ ( b ∨ c ) (a\vee b)\vee c= a\vee (b \vee c) (ab)c=a(bc) 证毕。

(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} aaa,aaaaaa=aa 再由对偶原理, a ∧ a = a a\wedge a=a aa=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(ab)=a a ∧ ( a ∨ b ) a\wedge(a\vee b) a(ab) 取(1)式中 b b b a ∨ b a\vee b ab a ∨ ( a ∧ ( a ∨ b ) ) = a a\vee(a\wedge(a\vee b))=a a(a(ab))=a 再由(2)式得 a ∨ a = a a\vee a=a aa=a 同理可证 a ∧ a = a a\wedge a=a aa=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,cA ,都有 a ∨ ( b ∧ c ) ≼ ( a ∨ b ) ∧ ( a ∨ c ) a\vee(b\wedge c)\preccurlyeq(a\vee b)\wedge(a\vee c) a(bc)(ab)(ac) ( a ∧ b ) ∨ ( a ∧ c ) ≼ a ∧ ( b ∨ c ) (a\wedge b)\vee(a\wedge c)\preccurlyeq a\wedge(b\vee c) (ab)(ac)a(bc)

定理 6 - 1.6
⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle A, 是一个格,那么,对于任意的 a , b ∈ A a,b\in A a,bA ,有 a ≼ b ⇔ a ∧ b = a ⇔ a ∨ b = b a \preccurlyeq b \Leftrightarrow a \wedge b = a \Leftrightarrow a \vee b = b abab=aab=b

定理 6 - 1.7
⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle A, 是一个格,那么,对于任意的 a , b ∈ A a,b\in A a,bA ,有 a ≼ c ⇔ a ∨ ( b ∧ c ) ≼ ( a ∨ b ) ∧ c a \preccurlyeq c \Leftrightarrow a \vee (b \wedge c) \preccurlyeq (a \vee b) \wedge c aca(bc)(ab)c

定义 6 - 1.4
⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle A1,1 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle A2,2 是两个格,由它们分别诱导的代数系统为 ⟨ A 1 , ∨ 1 , ∧ 1 ⟩ \langle A_1,\vee_1,\wedge_1\rangle A1,1,1 ⟨ A 2 , ∨ 2 , ∧ 2 ⟩ \langle A_2,\vee_2,\wedge_2\rangle A2,2,2 ,如果存在着一个从 A 1 A_1 A1 A 2 A_2 A2 的映射 f f f ,使得对于任意的 a , b ∈ A 1 a,b\in A_1 a,bA1 f ( a ∨ 1 b ) = f ( a ) ∨ 2 f ( b ) f(a \vee_1 b)=f(a) \vee_2 f(b) f(a1b)=f(a)2f(b) f ( a ∧ 1 b ) = f ( a ) ∧ 2 f ( b ) f(a \wedge_1 b)=f(a) \wedge_2 f(b) f(a1b)=f(a)2f(b) 则称 f f f 为从 ⟨ A 1 , ∨ 1 , ∧ 1 ⟩ \langle A_1,\vee_1,\wedge_1\rangle A1,1,1 ⟨ A 2 , ∨ 2 , ∧ 2 ⟩ \langle A_2,\vee_2,\wedge_2\rangle A2,2,2格同态象。此外,当 f f f 是双射时,则称 f f f 为从 ⟨ A 1 , ∨ 1 , ∧ 1 ⟩ \langle A_1,\vee_1,\wedge_1\rangle A1,1,1 ⟨ A 2 , ∨ 2 , ∧ 2 ⟩ \langle A_2,\vee_2,\wedge_2\rangle A2,2,2格同构,亦称 ⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle A1,1 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle A2,2 这两个格是同构的。

定理 6 - 1.8
f f f 是格 ⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle A1,1 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle A2,2 的格同态,则对任意的 x , y ∈ A 1 x,y\in A_1 x,yA1 ,如果 x ≼ 1 y x\preccurlyeq_1 y x1y ,必有 f ( x ) ≼ 2 f ( y ) f(x)\preccurlyeq_2 f(y) f(x)2f(y)

定理 6 - 1.9
⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle A1,1 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle A2,2 是两个格, f f f 是从 A 1 A_1 A1 A 2 A_2 A2 的双射,则 f f f ⟨ A 1 , ≼ 1 ⟩ \langle A_1,\preccurlyeq_1 \rangle A1,1 ⟨ A 2 , ≼ 2 ⟩ \langle A_2,\preccurlyeq_2 \rangle A2,2 的格同构,当且仅当对任意的 a , b ∈ A a,b\in A a,bA a ≼ 1 b ⇔ f ( a ) ≼ 2 f ( b ) a\preccurlyeq_1 b \Leftrightarrow f(a) \preccurlyeq_2 f(b) a1bf(a)2f(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,cA ,如果有 a ∧ b = a ∧ c a\wedge b = a\wedge c ab=ac a ∨ b = a ∨ c a\vee b = a \vee c ab=ac 成立,则必有 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,cA ,当 b ≼ a b \preccurlyeq a ba 时,有 a ∧ ( b ∨ c ) = b ∨ ( a ∧ c ) a \wedge (b \vee c) = b \vee (a \wedge c) a(bc)=b(ac) 则称 ⟨ 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 vu
(2) u ∨ w = v ∨ w , u ∧ w = v ∧ w u \vee w = v \vee w, u \wedge w = v \wedge w uw=vw,uw=vw

定理 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(bc)(ab)(ac)
(2) ( a ∧ b ) ∨ ( a ∧ c ) ≼ a ∧ ( b ∨ c ) (a \wedge b) \vee (a \wedge c) \preccurlyeq a \wedge (b \vee c) (ab)(ac)a(bc)
(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) (ab)(bc)(ca)(ab)(bc)(ca)
对于模格,若有三个元素 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 aA ,对于任意的 x ∈ A x\in A xA ,都有 a ≼ x a\preccurlyeq x ax 则称 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 bA ,对于任意的 x ∈ A x\in A xA ,都有 x ≼ b x\preccurlyeq b xb 则称 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 aA ,必有
(1) a ∨ 1 = 1 , a ∧ 1 = a a\vee1=1,a\wedge1=a a1=1,a1=a
(2) a ∨ 0 = a , a ∧ 0 = 0 a\vee0=a,a\wedge0=0 a0=a,a0=0

定义 6 - 3.4
⟨ A , ≼ ⟩ \langle A,\preccurlyeq \rangle A, 是一个有界格,对于 A A A 中的一个元素 a a a ,如果存在 b ∈ A b\in A bA ,使得 a ∨ b = 1 a\vee b=1 ab=1 a ∧ b = 0 a\wedge b=0 ab=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 ab=1,ab=0 a ∨ c = 1 , a ∧ c = 0 a \vee c = 1,a \wedge c =0 ac=1,ac=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} ab=aˉbˉ a ∧ b ‾ = a ˉ ∨ b ˉ \overline{a \wedge b} = \bar{a} \vee \bar{b} ab=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,bA ,都有 f ( a ∨ b ) = f ( a ) ∨ f ( b ) f(a \vee b) = f(a) \vee f(b) f(ab)=f(a)f(b) f ( a ∧ b ) = f ( a ) ∧ f ( b ) f(a\wedge b)=f(a)\wedge f(b) f(ab)=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 ab

引理 6 - 4.1
在一个布尔格中, b ∧ c ˉ = 0 b \wedge \bar{c} = 0 bcˉ=0 当且仅当 b ≼ c b \preccurlyeq c bc

引理 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 a1,a2,,ak A A A 中满足 a j ≼ b a_j \preccurlyeq b ajb 的所有原子( 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=a1a2ak

引理 6 - 4.3
⟨ A , ∨ , ∧ , ˉ ⟩ \langle A,\vee,\wedge,\bar{\quad} \rangle A,,,ˉ 是一个有限布尔代数, b ∈ A b \in A bA ,且 b ≠ 0 b \ne 0 b̸=0 a 1 , a 2 , ⋯   , a k a_1,a_2,\cdots,a_k a1,a2,,ak 是满足 a i ≼ b a_i \preccurlyeq b aib 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=a1a2ak 是将 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 ab a ≼ b ˉ a \preccurlyeq \bar{b} abˉ 两式中有且仅有一式成立。

定理 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 e1 e 2 e_2 e2 是布尔表达式,那么, e ˉ 1 , ( e 1 ∨ e 2 ) \bar{e}_1,(e_1 \vee e_2) eˉ1,(e1e2) ( e 1 ∧ e 2 ) (e_1 \wedge e_2) (e1e2) 也都是布尔表达式。

定义 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(x1,x2,,xn) ,其中 x 1 , x 2 , ⋯   , x n x_1,x_2,\cdots,x_n x1,x2,,xn 为变元。

定义 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(x1,x2,,xn)是指:将 A A A 中的元素作为变元 x i x_i xi 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) E1(x1,x2,,xn) E 2 ( x 1 , x 2 , ⋯   , x n ) E_2(x_1,x_2,\cdots,x_n) E2(x1,x2,,xn) ,如果对于 n n n 个变元的任意赋值 x i = x ~ i x_i=\widetilde{x}_i xi=x i x ~ i ∈ A \widetilde{x}_i \in A x iA 时,均有 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) E1(x 1,x 2,x n)=E2(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) E1(x1,x2,,xn)=E2(x1,x2,

你可能感兴趣的:(其他笔记)