離散數(shù)學(xué)5-3-4省公開課一等獎全國示范課微課金獎_第1頁
離散數(shù)學(xué)5-3-4省公開課一等獎全國示范課微課金獎_第2頁
離散數(shù)學(xué)5-3-4省公開課一等獎全國示范課微課金獎_第3頁
離散數(shù)學(xué)5-3-4省公開課一等獎全國示范課微課金獎_第4頁
離散數(shù)學(xué)5-3-4省公開課一等獎全國示范課微課金獎_第5頁
已閱讀5頁,還剩21頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)

文檔簡介

主要內(nèi)容代數(shù)系統(tǒng)基本概念1半群與含幺半群(獨異點)2群(阿貝爾群與循環(huán)群)3子群與陪集4同態(tài)與同構(gòu)5環(huán)與域61第1頁定義1:<S,*>是一個代數(shù)系統(tǒng),S為非空集合,*是定義在S上二元運算:*是封閉代數(shù)系統(tǒng)稱為廣群;*可結(jié)合廣群稱為半群;含有幺元半群,稱為獨異點(含幺半群);*可交換(含幺)半群,稱為交換(含幺)半群。例: <R,->是代數(shù)系統(tǒng),但不是半群 因為-在R上封閉,但不可結(jié)合; <R,?>是半群,而且含有幺元1 所以也是獨異點,是可交換獨異點。2第2頁定理1:<S,*>是半群,BS,且*在B上封閉,則<B,*>是半群。通常稱<B,*>是<S,*>子半群。證實:要證實<B,*>是半群,只要證*在B上封閉、可結(jié)合 ∵<S,*>是半群,∴*在S上可結(jié)合,而BS ∴a,b,cB,有a*(b*c)=(a*b)*c, 即*在B上可結(jié)合 又∵已知*在B上封閉 ∴<B,*>是半群例: <R,?>是半群,∵區(qū)間(0,1)R,且?在(0,1)上封閉, ∴<(0,1),?>是<R,?>子半群3第3頁定理2:<S,*>是半群,若S是有限集,則必有a

S,使a*a=a。證實:對bS∵<S,*>是半群,*在S上封閉,∴b*b

S記b2=b*b,則b2*b=(b*b)*b=b*(b*b)=b*b2記b3=b2*b=b*b2……記bn=bn-1*b=b*bn-1……∵S是有限集,∴依據(jù)鴿巢原理,存在j>i,使得bi=bj記p=j-i(則p≥1),則j=p+i∴bi=bj=bp+i=bp*bi,∴bi*b=bp*bi*b∴bi+1=bp*bi+1……br=bp*br(r≥i)∵p≥1,∴總能夠找到k≥1使得kp≥i∴bkp=bp*bkp=bp*(bp*bkp)=b2p*bkp=…=bkp*bkp∵*在S上封閉,∴bkpS令a=bkp,則a*a=a4第4頁定理3:<S,*>是獨異點,則在關(guān)于*運算表中,任何兩行或兩列都是不一樣。證實:令e是<S,*>幺元,則a,bS,且a≠b, ∵e*a=a≠b=e*b,∴任意兩列都不一樣 ∵a*e=a≠b=b*e,∴任意兩行都不一樣*……e……a……b…...e……e……a……b…...a……a……………...b……b……………...5第5頁定理4:<S,*>是獨異點,a,bS,且都有逆元,則

(1)(a-1)-1=a;

(2)a*b有逆元,且(a*b)-1=b-1*a-1。證實:令e是<S,*>幺元,(1)∵a-1*a=e=a*a-1,∴a-1與a互為逆元, ∴(a-1)-1=a(2)∵(a*b)*(b-1*a-1)=a*(b*b-1)*a-1

=a*e*a-1=a*a-1=e (b-1*a-1)*(a*b)=b-1*(a-1*a)*b =b*e*b-1=b*b-1=e ∴(a*b)-1=b-1*a-16第6頁例1:<{a,b},*>是半群,其中a*a=b,求證:

(1)a*b=b*a;

(2)b*b=b。證實:(1)a*b=a*(a*a)=(a*a)*a=b*a(2)b*b=b*(a*a)=(b*a)*a ∵<{a,b},*>是半群,∴*在{a,b}上封閉, ∴b*a=a或者b*a=b 若b*a=a,則b*b=a*a=b 若b*a=b,則b*b=b*a=b7第7頁作業(yè)P190(5)8第8頁主要內(nèi)容代數(shù)系統(tǒng)基本概念1半群與含幺半群(獨異點)2群(阿貝爾群與循環(huán)群)3子群與陪集4同態(tài)與同構(gòu)5環(huán)與域69第9頁定義1:每個元素都有逆元獨異點,稱為群。定義2:若群還滿足交換律,則稱為交換群(阿貝爾群)。定義3:<G,*>是群,若G是有限集,稱<G,*>是有限群;

G中元素個數(shù)稱為該有限群階數(shù),記為|G|;

若G無限,則<G,*>稱為無限群。定義4:<G,*>是群,a是G中任意元素,nN,定義元素a冪為:

a0=e,a1=a,……,

an+1=an*a,

a-n=(a-1)n(其中a-1是a逆元) 顯然,am*ak=am+k,(am)k=amk(m,k

I)1.群概念10第10頁定義5:<G,*>是群,a是G中任意元素,若存在nZ+,使an=e,則稱元素a階是有限,最小正整數(shù)n稱為元素a階;若不存在這么正整數(shù)n,則稱元素a含有沒有限階。解:e1=e,∴e階是1 a2=a*a=b, a3=a2*a=b*a=e ∴a階是3 同理,b階也是3 a3k=e*eabeabeababbeea例:11第11頁例1:判斷<I,?>,<R,+>,<P(S),∪>,<P(S),∩>,<P(S),>是否是群?解:<I,?>,幺元是1,只有幺元有逆元,其它元素沒逆元,

∴不是群;<R,+>,幺元是0,x+(-x)=0,每個元素都有逆元,

∴是群<P(S),∪>和<P(S),∩>不是群,因為無逆元;<P(S),>是群, ∵?A=A=A?∴?是幺元 AP(S),有AA=?∴A-1=A, 每個元素都有逆元12第12頁例2:集合Zm是模m同余類組成同余類集,即

Zm={[0],[1],[2],…,[m-1]},[i]Zm,[j]Zm,定義運算:[i]+m[j]=[(i+j)modm],

[i]×m[j]=[(i×j)modm],

判斷當(dāng)m=4時代數(shù)系統(tǒng)<Zm,+m>,<Zm,×m>是否為群?證實:m=4時,運算表: 封閉、可結(jié)合、 有幺元[0]、 每個元素都有逆元

[0]-1=[0]

x≠0時,[x]-1=[4-x]∴<Z4,+4>是群,階數(shù)是4+4[0][1][2][3][0][0][1][2][3][1][1][2][3][0][2][2][3][0][1][3][3][0][1][2]13第13頁小結(jié): {群}{獨異點}{半群}{廣群}{代數(shù)系統(tǒng)} 半群在廣群基礎(chǔ)上還要求運算可結(jié)合; 獨異點在半群基礎(chǔ)上要求存在幺元; 群在獨異點基礎(chǔ)上要求每個元素都有逆元?!?[0][1][2][3][0][0][0][0][0][1][0][1][2][3][2][0][2][0][2][3][0][3][2][1] 封閉、可結(jié)合、 有幺元[1]、 但元素[0]、[2]沒有逆元 ∴<Z4,×4>不是群14第14頁2.群性質(zhì)1)群中無零元。證實:設(shè)<G,*>是群, 若|G|=1,則G唯一元素是幺元,∴無零元; 若|G|>1,設(shè)<G,*>有幺元e、零元,則≠e xG,x*=*x=≠e∴無逆元 這與<G,*>是群相矛盾,

∴<G,*>中無零元15第15頁2)<G,*>是群,a,bG,必存在唯一xG,使得a*x=b證實:

aG,設(shè)a逆元為a-1 ∵<G,*>是群,∴*在G上是封閉,∴a-1*bG 令x=a-1*b,則a*(a-1*b)=(a*a-1)*b=e*b=b

∴存在x,使得a*x=b 設(shè)另有x1G,使得a*x1=b,則有 x=a-1*b=a-1*(a*x1)=(a-1*a)*x1=

e*x1=x1

∴x=x1

∴使a*x=b成立x是唯一。說明:證實存在性時,只要找出一個滿足條件即可;證實唯一性時,通常設(shè)另一個滿足條件,再證兩個相等16第16頁3)<G,*>是群,a,b,cG,若a*b=a*c或b*a=c*a,則b=c(消去律)證實略(兩邊同時與a-1進行*運算即可)4)在群<G,*>中,只有幺元e是等冪元證實:∵e*e=e,∴e是等冪元 設(shè)有另一個等冪元a,則a*a=a ∵e*a=a=a*a,由消去律,得a=e5)在有限群<G,*>中,每個元素都含有有限階,且階數(shù)至多是|G|。(利用鴿巢原理證實)17第17頁定義6:S是一個集合,從S到S一個雙射,稱為S一個置換。例:設(shè)S={a,b,c,d} f(a)=b,f(b)=c,f(c)=d,f(d)=a是S一個置換 f(a)=d,f(b)=a,f(c)=b,f(d)=c是S另一個置換 這兩個置換可表示為:abcdbcdadabc18第18頁6)在群<G,*>運算表中每一行或每一列都是G元素一個置換。證實:(1)G中任一元素b,在G每一行中必出現(xiàn) 對

xG,由封閉性,得x-1*bG, ∵x*(x-1*b)=(x*x-1)*b=b ∴對x行,必定在x-1*b列上出現(xiàn)元素b ∴任一元素b在每一行中都會出現(xiàn)(2)G中每個元素在每行中只出現(xiàn)一次(反證法)

設(shè)cG,在對應(yīng)于a那行中出現(xiàn)兩次, 則必有b1G,b2G,且b1≠b2,使得a*b1=a*b2=c, 由消去律,得b1=b2,產(chǎn)生矛盾,∴假設(shè)錯 由(1)(2)可知運算表每一行都是G一個置換, 同理,每一列也是G一個置換。19第19頁例3:結(jié)構(gòu)一個三階群解:設(shè)e是幺元,G={e,a,b}, 結(jié)構(gòu)三階群<G,*>運算表以下:結(jié)構(gòu)方法:先寫出幺元對應(yīng)行和列運算結(jié)果

再按置換要求,填寫其它運算結(jié)果*eabeabeababbeea20第20頁3.循環(huán)群定義7:<G,*>是群,若存在aG,使得G中任意元素都由a冪組成,則稱<G,*>為循環(huán)群;元素a稱為它生成元。例:令A(yù)={2i|iI},則<A,?>是循環(huán)群,2是生成元例:<I,+>是循環(huán)群, ∵<I,+>是群,0是幺元, 10=0、11=1、12=1+1=2、 13=12+1=1+1+1=3、……、1n=n、…… 1-1=-1、1-2=(1-1)2=1-1+1-1=(-1)+(-1)=-2、……、 1-n=-n、…... ∴1是<I,+>生成元21第21頁同時: ∵(-1)0=0、(-1)1=-1、(-1)2=(-1)+(-1)=-2、……、 (-1)n=-n、…… (-1)-1=1、(-1)-2=(-1-1)2=(-1)-1+(-1)-1=1+1=2、……、 (-1)-n=n、…... ∴-1也是<I,+>生成元可見,一個循環(huán)群生成元能夠是不唯一。22第22頁定理1:任何一個循環(huán)群必是交換群。證實:設(shè)<G,*>是循環(huán)群,a是生成元,則 x,yG,必有m,nI, 使得x=am,y=an, x*y=am*an

=am+n=an+m

=an*am=y*x ∴<G,*>是交換群。23第23頁定理2:<G,*>是有限循環(huán)群,a為生成元,若|G|=n,則an=e且G

溫馨提示

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

最新文檔

評論

0/150

提交評論