版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、離散群和子群第1頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. -吳揚(yáng)揚(yáng)制-2 8.1 半群和獨(dú)異點(diǎn) 2.可交換獨(dú)異點(diǎn)的性質(zhì)定理8.1.1 設(shè)為可交換獨(dú)異點(diǎn),T為S中所有冪等元的集合,則 T,是的子獨(dú)異點(diǎn)。證明(1) 在T上封閉 a,bT, 有aa=a, bb=b (ab)(ab) =(aa)(bb)交換性、結(jié)合性 = ab (2) eT ee=e e也是冪等元 因此T,是的子獨(dú)異點(diǎn) 分析前面例題冪等性第2頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. -吳揚(yáng)揚(yáng)制-3 8.1 半群和獨(dú)異點(diǎn) 3.半群同態(tài)(1)定義半群同態(tài)獨(dú)異點(diǎn)同態(tài)單位元映射到單位元例2:設(shè)A=,B=
2、 定義h: * N, x*, h(x)=x(串的長(zhǎng)度) x,y*, h(xoy)=xoy=x+y=h(x)+h(y)且h()=0 h是A到B的獨(dú)異點(diǎn)同態(tài)* 分析與的同構(gòu)映射h:RR+,h(x)=ex (xR)第3頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. -吳揚(yáng)揚(yáng)制-48.1 半群和獨(dú)異點(diǎn) 3.半群同態(tài)(2)其中:fx:SS,yS,fx(y)=x*y性質(zhì)定理8.1.2 半群與同態(tài)。 例3:半群,其中,S=a,b,c, *運(yùn)算定義為:* a b ca a b cb b c ac c a b定義到同態(tài)映射h: SSS,xS, h(x)=fx即 h(a)=fah(b)=fbh(c)
3、=fc其中,fa:SS,fa(a)=a*a=a, fa(b)=a*b=b, fa(c)=a*c=cfb:SS,fb(a)=b*a=b, fb(b)=b*b=c, fb(c)=b*c=afc:SS,fc(a)=c*a=c, fc(b)=c*b=a, fc(c)=c*c=b第4頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. -吳揚(yáng)揚(yáng)制-58.1 半群和獨(dú)異點(diǎn) 3.半群同態(tài)(3) 定理8.1.3 任意獨(dú)異點(diǎn)都同構(gòu)于某一變換獨(dú)異點(diǎn)。 即必與的某個(gè)子獨(dú)異點(diǎn)同構(gòu)。 其中:fa:SS,bS,fa(b)=a*b a,bS, cS, h(a*b)=h(a)oh(b)fa*b(c)=(a*b)*c且
4、faofb(c)=fa(fb(c)=fa(b*c)=a*(b*c)=(a*b)*c fa*b(c)= faofb(c) fa*b= faofb故h是從到的半群同態(tài)。證明定理:半群與同態(tài)。證 定義h:SSS, aS, h(a)=fa, 第5頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. 6 第八章 半群和群8.2 群的定義和性質(zhì) 1. 基本概念群:設(shè)為獨(dú)異點(diǎn),如果aG,a都可逆,則稱為群。阿貝爾群: 若群中的二元運(yùn)算是可交換的,則稱為可交換群,也稱阿貝爾群。例1:分析下列系統(tǒng): A=B=C=D=E=第6頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. 78.2 群的定義
5、和性質(zhì) 2. 判定定理定理8.2.1 設(shè) 為半群。若(1)有左單位元,即elA, 使得aG, 有ela=a (2)每個(gè)元素有左逆元, 即aG alG, 使得ala=el ,則 是群。證明(1) aG al是逆元. alG, aG,使aal=el.aal =el(aal) =(aal)(aal) =a(ala)al=aelal= a(elal) = aal = el al是右逆元(2) el是單位元 aG, 有ael = a(ala)= (aal)a = ela = a el是右單位元第7頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. 8 8.2 半群和獨(dú)異點(diǎn) 3.群的性質(zhì)定理8.
6、2.2 設(shè) 為半群。若a,bG,方程ax=b和ya=b在G中都有解,則 是群。性質(zhì): 設(shè) 為群。則a,bG,方程(ab)-1 =b-1a-1 ;a,bG,方程ax=b和ya=b在G中有唯一解;中消去律成立。證明:群 只有單位元素是唯一的冪等元素。 證:顯然單位元素ee = e,是冪等元素。 假設(shè)a G是冪等元素,即aa = a,于是aa = ae,由于 消去律成立,因此a = e。第8頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. 9 8.2 半群和獨(dú)異點(diǎn) 4.元素的階定義: 設(shè) 為群,aG。若 nI+,an e,則稱a的階是無(wú)限的,否則an = e的最小正整數(shù)n為a的階。A的階也稱為a的周期,常用|a|表示。第9頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. 10 8.3 子群和群同態(tài) 1.子群定義:子群和真子群的定義例定理定理定理定理例第10頁(yè),共12頁(yè),2022年,5月20日,11點(diǎn)15分,星期五. 11 8.3 子群和群同態(tài) 2.群同態(tài)定義:群同態(tài)和群同構(gòu)
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- GB/T 21551.4-2024家用和類似用途電器的抗菌、除菌、凈化功能第4部分:電冰箱的特殊要求
- 2024年道路危險(xiǎn)貨物運(yùn)輸安全協(xié)議范本3篇
- 2024建筑工程勞務(wù)承包合同協(xié)議書(shū)范本
- 2024版消防器材供貨合同
- 2024燃?xì)夤こ檀昂笃诰S護(hù)服務(wù)合同3篇
- 2025年度新型城鎮(zhèn)化建設(shè)項(xiàng)目合作合同3篇
- 2024版水泥購(gòu)銷合同參考樣本
- 二零二五年度租賃合同稅費(fèi)承擔(dān)范本6篇
- 二零二五年度班主任新手跟崗學(xué)習(xí)與技能培訓(xùn)合同3篇
- 二零二五版房地產(chǎn)交易兜底協(xié)議范本3篇
- 小學(xué)四年級(jí)小數(shù)單位換算練習(xí)題100道
- 人教版七年級(jí)下冊(cè)數(shù)學(xué)-第五章-相交線與平行線-單元檢測(cè)題
- (正式版)HGT 22820-2024 化工安全儀表系統(tǒng)工程設(shè)計(jì)規(guī)范
- 項(xiàng)目質(zhì)量管理的溝通與協(xié)調(diào)機(jī)制
- 中醫(yī)常見(jiàn)的護(hù)理診斷及護(hù)理措施
- 設(shè)備技改方案范文
- 員工穩(wěn)定性保障措施及優(yōu)化方案
- 采煤機(jī)機(jī)械說(shuō)明書(shū)樣本
- 慢性腎衰竭病人的護(hù)理教學(xué)
- 《中華民族共同體概論》考試復(fù)習(xí)題庫(kù)(含答案)
- 軟件產(chǎn)品分析報(bào)告
評(píng)論
0/150
提交評(píng)論