其他代數系統_第1頁
其他代數系統_第2頁
其他代數系統_第3頁
其他代數系統_第4頁
其他代數系統_第5頁
已閱讀5頁,還剩39頁未讀 繼續免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

其他代數系統第一頁,共四十四頁,2022年,8月28日7.1.1環定義7.1

設有代數系統(R,+,*)如對任意a,b,c∈R滿足下列條件: 1)(R,+)是一個可換群; 2)(R,*)是一個半群; 3)運算*對+滿足分配律,即a*(b+c)=a*b+a*c(b+c)*a=b*c+c*a(使得加法單位元成為乘法零元素(R,*)不可能是群) 則稱(R,+,*)是環.在環中,a-b≡a+(-b),這里-b是b關于運算+的逆元第二頁,共四十四頁,2022年,8月28日7.1.1環定義7.2

設(R,+,*)是環,而且對*滿足交換律,則稱(R,+,*)是可換環.定義7.3

設(R,+,*)是環,(R,*)是單元半群,則稱(R,+,*)是含單位元的環.對+運算的單位元用“0”表示,對*運算的單位元用“1”表示.例:(I,+,×),(Q,+,×),(R,+,×)都是環,且是可換環及含單位元的環.第三頁,共四十四頁,2022年,8月28日7.1.1環例:設(R,+,*)是一代數系統,其中R為實數集,+為實數加法,任取a,b∈R,a*b=|a|b. 試判斷(R,+,*)是否為環.解: (R,+)是可換群,(R,*)是半群 任取a,b,c∈R,有 a*(b+c)=|a|(b+c)=|a|b+|a|c=(a*b)+(a*c) (b+c)*a=|b+c|a (b*a)+(c*a)=|b|a+|c|a |b+c|a=|b|a+|c|a不一定成立,所以*對+不是右可分配的. 所以(R,+,*)不是環.第四頁,共四十四頁,2022年,8月28日7.1.1環例(7.4):設(R,+,*)是環且對每個a∈R,有a2=a(此種環稱布爾環),試證: 1)(R,+,*)是可換環; 2)對所有a∈R,都有a+a=0.證明: 1)因為對于任意的a,b∈R,都有a+b∈R,a2=a,所以(a+b)*(a+b)=a+b =>a*a+a*b+b*a+b*b=a+b =>a+a*b+b*a+b=a+b =>a*b+b*a=0 即a*b=-b*a第五頁,共四十四頁,2022年,8月28日7.1.1環 2)因為對任意的a∈R,都有a+a∈R,a2=a,所以 (a+a)*(a+a)=a+a =>a*a+a*a+a*a+a*a=a+a =>a+a+a+a=a+a =>a+a=0 即a=-a=>b*a=-b*a 綜上有a*b=b*a,所以(R,*)滿足交換律,(R,+,*)是可換環.第六頁,共四十四頁,2022年,8月28日7.1.1環定理7.1 設(R,+,*)是環,對a,b∈R,必有 1)a*0=0*a=0 2)a*(-b)=(-a)*b=-(a*b) 3)(-a)*(-b)=a*b如果環(R,+,*)有非零元素a,b∈R,使得a*b=0,則稱(R,+,*)有零因子.第七頁,共四十四頁,2022年,8月28日7.1.1環定理7.2 環(R,+,*)無零因子當且僅當(R,+,*)滿足消去律. 即環(R,+,*)中a,b,c∈R且a≠0,有 a*b=a*c?b=c b*a=c*a?b=c證明:環(R,+,*)無零因子,令a,b,c∈R滿足a*b=a*c,a≠0,因此a*b-a*c=a*(b-c)=0,所以b=c.如果環(R,+,*)有零因子,令a,b∈R使得a*b=0,假設a≠0,有a*b=a*0=0,由消去律有b=0.同理,假設b≠0,則有a=0。這與環(R,+,*)有零因子矛盾.第八頁,共四十四頁,2022年,8月28日7.1.1環例:設I是整數集合,X={(a,b)|a∈I且b∈I},定義X上的二元運算⊕和◎如下: 設(a1,b1),(a2,b2)∈X,則有 (a1,b1)⊕(a2,b2)=(a1+b1,a2+b2) (a1,b1)◎(a2,b2)=(a1×b1,a2×b2) 其中+,×分別是算數加法和乘法運算. 試證(X,⊕,◎)是環,并求出此環的所有零因子.證明: 根據運算⊕的定義,⊕在X上封閉,且滿足交換律和結合律.第九頁,共四十四頁,2022年,8月28日7.1.1環 (X,⊕)的幺元是(0,0),任取(a,b)∈X,(a,b)的逆元是(-a,-b).所以(X,⊕)是可換群. 運算◎在X上封閉,且滿足結合律,所以(X,◎)是半群. 任取(a1,b1),(a2,b2),(a3,b3)∈X,有 (a1,b1)◎((a2,b2)⊕(a3,b3)) =(a1×a2+a1×a3,b1×b2+b1×b3) ((a1,b1)◎(a2,b2))⊕((a1,b1)◎(a3,b3)) =(a1×a2+a1×a3,b1×b2+b1×b3) 運算⊕和◎滿足交換律,可得◎對⊕是可分配的.第十頁,共四十四頁,2022年,8月28日7.1.1環 綜上,(X,⊕,◎)是環 ⊕的幺元(0,0)就是◎的零元 對于任意元素(a,0),(0,b)∈X(a≠0,b≠0),有 (a,0)◎(0,b)=(0,0) 所以所有的(a,0)及(0,b)(a≠0,b≠0)都是該環的零因子.第十一頁,共四十四頁,2022年,8月28日7.1.1環定義7.4 設(R,+,*)是環,S是R的非空子集,如子代數(S,+,*)也是環,則稱它是(R,+,*)的子環.定理7.3 設(R,+,*)是環,(S,+,*)是它的子代數,(S,+,*)是(R,+,*)的子環的充分必要條件是對任一a∈S,都有a-1∈S.(這里a-1是+運算的逆)第十二頁,共四十四頁,2022年,8月28日7.1.1環定義7.5 設(R,+,*)與(S,⊕,◎)是兩個環,f:RS是函數,如果對所有a,b∈R,有: 1)f(a+b)=f(a)⊕f(b) 2)f(a*b)=f(a)◎f(b) 則稱f是一個環同態.如f是一一對應函數,則稱f是一個環同構,或說環(R,+,*)與(S,⊕,◎)環同構,并記以 (R,+,*)

(S,⊕,◎)或簡記為為RS第十三頁,共四十四頁,2022年,8月28日7.1.2理想定義7.6環(R,+,*)的子環(D,+,*)如滿足對每個a∈R,d∈D都有a*d∈D,d*a∈D,則稱(D,+,*)是(R,+,*)的一個理想子環,或簡稱理想.如D=R或D={0}則稱(D,+,*)是(R,+,*)的平凡理想.如D≠{0}、D?R則稱(D,+,*)是(R,+,*)的真理想.第十四頁,共四十四頁,2022年,8月28日7.1.2理想若(D,+,*)是(R,+,*)的真理想,且不存在D’?D使得(D‘,+,*)是(R,+,*)的真理想,則稱(D,+,*)是(R,+,*)的最大理想.設(D,+,*)是(R,+,*)的理想,對某個g∈D有 D={r*g|r∈R}, 則稱(D,+,*)為主理想.顯然,g是(D,+,*)的生成元素.若一個環的每個理想都是主理想,則稱該環為主理想環. 如:(I,+,×)是主理想環,對每個非負整數m,子環({m×I|i∈I},+,×)都是(I,+,×)的主理想.第十五頁,共四十四頁,2022年,8月28日7.1.2理想例(7.1):試證兩個理想的交集仍構成一個理想.證明: 設(D1,+,*)和(D2,+,*)是環(R,+,*)的兩個理想,令a,b∈D1∩D2,r∈R,于是a,b∈D1,a,b∈D2,從而有: a-b,r*a,a*r∈D1 a-b,r*a,a*r∈D2 因此a-b,r*a,a*r∈D1∩D2 故(D1∩D2,+,*)是一個理想.第十六頁,共四十四頁,2022年,8月28日7.1.3整環定義7.7 設(R,+,*)是環,它有單位元、是可換環、無零因子則稱(R,+,*)是一個整環.定理7.5 (R,+,*)是一個整環,A-{0}中所有元素關于運算*均是可消去的,即對任意a,b,c∈R且a≠0,如有a*b=a*c,則必有b=c.第十七頁,共四十四頁,2022年,8月28日7.1.3整環例:判斷以下環是否是整環? 1)(I,+,×) 2)(Z6,+6,×6)3)(Z7,+7,×7)解: 1)(I,+,×)是整環.因為×可交換,1是乘法幺元,且(I,+,×)中無零因子. 2)(Z6,+6,×6)不是整環.因為[0]是×6運算的零元,而[3]×6[2]=[0],所以(Z6,+6,×6)是含零因子環. 3)(Z6,+6,×6)是整環.定理7.6 環(Zm,+m,×m)是整環的充分必要條件是m是素數.第十八頁,共四十四頁,2022年,8月28日7.1.3整環例:已知({(a,b)|a,b為整數},+,*),討論該代數系統是否為環?是否為整環?其中 (a,b)=(c,d)a=c且b=d (a,b)+(c,d)=(a+c,b+d) (a,b)*(c,d)=(ab,cd)解:設S={(a,b)|a,b為整數} 1)(S,+)為可換群,其單位元素為(0,0) 2)(S,*)對任何(a,b),(c,d),(e,f)∈S,有 ((a,b)*(c,d))*(e,f)=(ac,bd)*(e,f)=(ace,bdf) (a,b)*((c,d)*(e,f))=(a,b)*(ce,df)=(ace,bdf) 故滿足結合律,(S,*)是半群.第十九頁,共四十四頁,2022年,8月28日7.1.3整環

3)(a,b)*(c,d)+(a,b)*(e,f)=(ac,bd)+(ae,bf) =(ac+ae,bd+bf) (a,b)*((c,d)+(e,f))=(a,b)*(c+e,d+f) =(ac+ae,bd+bf)=(a,b)*(c,d)+(a,b)*(e,f)

同理可證, ((a,b)+(c,d))*(e,f)=(a,b)*(e,f)+(c,d)*(e,f)

*對+滿足分配律.

故,(S,+,*)是環.

*運算的單位元素為(1,1),但(0,1)*(1,0)=(0,0),存在零因子,所以(S,+,*)是環,不是整環.第二十頁,共四十四頁,2022年,8月28日7.1.3域定義7.8

設環(F,+,*)滿足下列條件:

1)F至少包括有一個以上元素; 2)(F,*)有單位元; 3)(F,*)是可換的; 4)(F,*)除零元素外均有逆元素.

此時稱(F,+,*)為域.設(F,+,*)是整環,|F|>1,且(F-{0},*)是群,則(F,+,*)是域.第二十一頁,共四十四頁,2022年,8月28日7.1.3域定理7.7 每個域均滿足消去律.定理7.8 域一定是整環.定理7.9 有限整環必是域. 環(Zm,+m,×m)是域的充分必要條件是m是素數.第二十二頁,共四十四頁,2022年,8月28日7.1.3域例(7.6):設(F,+,*)是域,(R,+,*)是它的子環,說明(R,+,*)是否一定為一個整環.解: 此時(R,+,*)不一定是整環. 例如:令(F,+,*)為(Q,+,*),有理數上的普通加法和乘法,是一個域. 令(R,+,*)為({2x|x∈Z},+,*),偶數集上的普通加法和乘法. 此時(R,+,*)是(F,+,*)的子環,但是不含乘法單位元,故不是整環.第二十三頁,共四十四頁,2022年,8月28日7.2格與布爾代數定義2.12集合X上的關系R如果是自反的、反對稱的、傳遞的,則稱R在X上是偏序的或稱R是集合X上的偏序關系。而稱集合X為R的偏序集用(X,R)表示.一般用符號“≤”表示偏序

(有時我們用x<y表示x≤y,且x≠y)定義2.16 設集合X有一個偏序關系“≤”且設Y是X的一個子集,則如果x∈X是Y的上界且對每一個Y的上界x’均有x≤x’,則稱x是Y的上確界;如果x∈X是Y的下界且對每一個Y的下界x’均有x’≤x,則稱x是Y的下確界.第二十四頁,共四十四頁,2022年,8月28日7.2.1格定義7.9

格是一個偏序集,其中任兩元素所構成的子集有下確界與上確界,它也可稱為偏序格.

記x,y的上確界為x∨y=lub(x,y) x,y的下確界為x∧y=glb(x,y)lub=leastupperbound上確界glb=greatestlowerbound下確界集合P上的偏序關系“≤”所構成的偏序集如它是格,可寫成

(P,∧,∨)若P中的元素有限,則P稱有限格.第二十五頁,共四十四頁,2022年,8月28日7.2.1格例:判斷下面各哈斯圖表示的偏序集合是否是格.(1)(2)(3)解:

1)不是格,a,b無上確界,e,f沒有下確界. 2)不是格,b,c和c,d沒有下確界,c,e沒有下確界和上確界. 3)不是格,d,e沒有上確界,b,c沒有下確界.aecfbdabdceabcdef第二十六頁,共四十四頁,2022年,8月28日7.2.1格

(4)(5)(6)(7)

解: (4)-(7)都是格.acdbabcdeccabdeabde第二十七頁,共四十四頁,2022年,8月28日7.2.1格(P,∧,∨)是格,M?P且M≠?,若(M,∧,∨)也構成格,則稱(M,∧,∨)是(P,∧,∨)的子格.(M,∧,∨)是(P,∧,∨)的子格的充分必要條件是M關于∧,∨是封閉的.定義7.10 設(P,∧,∨)和(L,∧,∨)是兩個格,若存在函數f:PL,使得對任意的b∈P,有 f(a∧b)=f(a)∧f(b) f(a∨b)=f(a)∨f(b) 則稱f為格P到L的格同態,或稱(P,∧,∨)與(L,∧,∨)同構.第二十八頁,共四十四頁,2022年,8月28日7.2.1格1個元素的格:2個元素的格: 3個元素的格:4個元素互不同構的格:5個元素互不同構的格:acdbabcdabcdeabdeabdeacdbeabdeccc第二十九頁,共四十四頁,2022年,8月28日7.2.1格定理7.10 設(P,∧,∨)是格,則對任意a,b,c∈P,有 a≤a∨b,b≤a∨b 或a∨b≥a,a∨b≥b a≤c且b≤c=>a∨b≤c 或c≥a且c≥b=>c≥a∨b a∧b≤a,a∧b≤b 或a≥a∧b,

b≥a∧b c≤a且c≤b=>c≤a∧b 或a≥c且b≥c=>a∧b≥c第三十頁,共四十四頁,2022年,8月28日7.2.1格例:試證,設(P,∧,∨)是格,如果a≤c,b≤d,則必有a∨b≤c∨d證明:

c≤c∨d,d≤c∨d

因為a≤c,b≤d,所以a≤c∨d,b≤c∨d a∨b是a,b的上確界,故a∨b≤c∨d.

第三十一頁,共四十四頁,2022年,8月28日7.2.1格例:證明在格中若a≤b≤c,則

1)a∨b=b∧c 2)(a∧b)∨(b∧c)=b=(a∨b)∧(a∨c)證明:1)因為a≤b,所以a∨b=b.

又因為b≤c,所以b∧c=b.

故有a∨b=b∧c2)因為(a∧b)∨(b∧c)=(a∧b)∨b=b

由a∨b=b和a∨c=c,有

(a∨b)∧(a∨c)=b∧c=b.

故(a∧b)∨(b∧c)=b=(a∨b)∧(a∨c).第三十二頁,共四十四頁,2022年,8月28日7.2.2格的基本定律對偶式:在格(P,∧,∨)中的式子里出現≤,≥,∧,∨之處分別用≥,≤,∨,∧得到的式子.一個格的哈斯圖旋轉180還是一個格.稱為原格的對偶格.定理7.11

在格(P,∧,∨)中任何一條定理對其對偶式亦是定理.定理7.12 設(P,∧,∨)是格,對每個a∈P,必有 1)a∨a=a 2)a∧a=a 即運算∧,∨滿足等冪律.第三十三頁,共四十四頁,2022年,8月28日7.2.2格的基本定律定理7.13

設(P,∧,∨)是格,對每個a,b∈P,有

1)a∨b=b∨a 2)a∧b=b∧a

即運算∧,∨滿足交換律.定理7.14

設(P,∧,∨)是格,則對每個a,b,c∈P,有

1)a∨(b∨c)=(a∨b)∨c 2)a∧(b∧c)=(a∧b)∧c

即運算∧,∨滿足結合律.第三十四頁,共四十四頁,2022年,8月28日7.2.2格的基本定律定理7.15

設(P,∧,∨)是格,對每個a,b∈P,有

1)a∨(a∧b)=a 2)a∧(a∨b)=a

即運算∧,∨滿足吸收律.定理7.16

設(P,∧,∨)是格,對每個a,b∈P,有

a∧b=a當且僅當a∨b=b第三十五頁,共四十四頁,2022年,8月28日7.2.3分配格,有界格,有補格定義7.11

如格(P,∧,∨)滿足分配律,即對任意a,b∈P,有

a∧(b∨c)=(a∧b)∨(a∧c) a∨(b∧c)=(a∨b)∧(a∨c)

則稱(P,∧,∨)是分配格.定理:每個鏈都是分配格.定義7.12

如果一個格既有下屆,又有上屆,則稱此格為有界格.第三十六頁,共四十四頁,2022年,8月28日7.2.3分配格,有界格,有補格定理7.17

設(P,∧,∨)是有界格,則對任意a∈P,有

a∨1=1 a∨0=a a∧1=a a∧0=0

其中1與0分別表示(P,∧,∨)的(全)上界與(全)下界.定理: 一個格若有上(下)界,則是唯一的.

每個有限格都是有界格.第三十七頁,共四十四頁,2022年,8月28日7.2.3分配格,有界格,有補格定義7.13

設(P,∧,∨)是有界格,如果對每個a∈P,必有∈P且滿足

a∨=1 a∧=0

則稱(P,∧,∨)是有補格,其中是a的補元素.若一個格既是有補格又是分配格,則稱此格為有補分配格,或布爾格,布爾代數.第三十八頁,共四十四頁,2022年,8月28日7.2.3分配格,有界格,有補格定理7.18

設(P,∧,∨)是有補分配格,對任一a∈P,它的補元是唯一的.定理7.18(德?摩根定理)

設(P,∧,∨)是有補分配格,則對任意a,b∈P,有

第三十九頁,共四十四頁,2022年,8月28日7.2.3分配格,有界格,有補格證明具有兩個或更多個元素的格中不存在以自身為補元的元素.證明: 凡涉及補元,該格必為有界格,對于任何一個有界格來說,均存在全上界1,全下界0,并有:

1∨1=1,1∧1=1 0∨0=0,0∧0=0

故0和1都不可能以自身為補元,所以具有兩個元素的格中不可能存在以自身為補元的元素

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論