版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
第3節(jié)半群與幺半群的同態(tài)與同構(gòu)主要內(nèi)容:代數(shù)系統(tǒng)的同態(tài)與同構(gòu)半群的同態(tài)與同構(gòu)幺半群的同態(tài)與同構(gòu)1代數(shù)系統(tǒng)的同態(tài)與同構(gòu)定義1
設(shè)(A,°)和(B,)是兩個(gè)代數(shù)系統(tǒng),如果存在映射f:AB,且x,yA
有
f(x°y)=f(x)f(y),則稱f是A到B的同態(tài)映射(簡(jiǎn)稱同態(tài)),稱(A,°)與(B,)同態(tài)(有時(shí)簡(jiǎn)稱A與B同態(tài)).f(A)稱為同態(tài)象.2代數(shù)系統(tǒng)的同態(tài)與同構(gòu)同態(tài)分類:(1)
如果f是單射,則稱為單同態(tài).(2)如果f是滿射,則稱為滿同態(tài),這時(shí)稱B是A的同態(tài)像,記作AB.(3)如果f是雙射,則稱為同構(gòu),也稱代數(shù)系統(tǒng)A同構(gòu)于B,記作AB.(4)如果A=B,則稱作自同態(tài).3實(shí)例(1)設(shè)(Z,+),(Zn,).其中Z為整數(shù)集,+為普通加法;Zn={[0],[1],…,[n1]},為模n加.令
f:Z→Zn,f(x)=[x]
則f是Z到Zn的滿同態(tài).(2)設(shè)(R,+),(R*,·),其中R和R*分別為實(shí)數(shù)集與非零實(shí)數(shù)集,+和·分別表示普通加法與乘法.令f:R→R*,f(x)=ex則f是R到R*的單同態(tài).4實(shí)例(3)設(shè)(Z,+),其中Z為整數(shù)集,+為普通加法.aZ,令fa:ZZ,fa(x)=ax,那么fa
是Z的自同態(tài).當(dāng)a=0時(shí)稱f0為零同態(tài);當(dāng)a=1時(shí),稱fa為自同構(gòu);除此之外其他的fa都是單自同態(tài).
5滿同態(tài)映射保持運(yùn)算的規(guī)律定理1設(shè)V1,V2是代數(shù)系統(tǒng).o,?是V1上的二元運(yùn)算,o’,?’是V2上的二元運(yùn)算.如果f:V1V2是滿同態(tài),則(1)若運(yùn)算o滿足交換律(結(jié)合律),則運(yùn)算o’也滿足交換律(結(jié)合律).(2)若運(yùn)算o對(duì)運(yùn)算?滿足分配律,則運(yùn)算o’對(duì)運(yùn)算?’也滿足分配律.6滿同態(tài)映射保持運(yùn)算的特異元素定理2
設(shè)V1,V2是代數(shù)系統(tǒng).o,?是V1上的二元運(yùn)算,o’,?’是V2上的二元運(yùn)算.如果f:V1V2是滿同態(tài),則(1)若e為運(yùn)算o的單位元,則f(e)為運(yùn)算o’的單位元.(2)若為運(yùn)算o的零元,則f()為運(yùn)算o’的零元.(3)設(shè)uV1,若u1是
u
關(guān)于運(yùn)算o的逆元,則f(u1)是
f(u)關(guān)于運(yùn)算o’的逆元,即[f(u)]-1=f(u1).7定義2
設(shè)(A,°)和(B,)是兩個(gè)半群,如果存在f:AB,對(duì)x,yA
有
f(x°y)=f(x)f(y),則稱(A,°)與(B,)同態(tài),f稱為
A到B的一個(gè)同態(tài)映射(簡(jiǎn)稱同態(tài)),f(A)稱為同態(tài)象.半群的同構(gòu)與同態(tài)8同態(tài)分類:半群的同構(gòu)與同態(tài)如果同態(tài)f是單射,則稱f是A到B的一個(gè)單同態(tài)(映射),而稱半群A
與B單同態(tài).如果同態(tài)f是滿射,則稱f是A到B的一個(gè)滿同態(tài)(映射),而稱半群A與B
滿同態(tài),并記為A
~B.如果同態(tài)f是雙射,則稱f是A到B的一個(gè)同構(gòu)(映射),而稱半群A與B
同構(gòu),并記為A
B.如果同態(tài)f是雙射,且A=B,則稱f是A的一個(gè)自同構(gòu)(映射),而稱半群A自同構(gòu).9(1)設(shè)(Z,+),(Zn,).其中Z為整數(shù)集,+為普通加法;Zn={[0],[1],…,[n1]},為模n加.令
f:Z→Zn,f(x)=[x]那么f是Z到Zn的滿同態(tài).(3)設(shè)(Z,+),其中Z為整數(shù)集,+為普通加法.aZ,令fa:ZZ,fa(x)=ax,那么fa
是Z的自同態(tài).當(dāng)a=0時(shí)稱f0為零同態(tài);當(dāng)a=1時(shí),稱fa為自同構(gòu);除此之外其他的fa都是單自同態(tài).(2)設(shè)(R,+),(R*,·),其中R和R*分別為實(shí)數(shù)集與非零實(shí)數(shù)集,+和·分別表示普通加法與乘法.令f:R→R*,f(x)=ex則f是R到R*的單同態(tài).實(shí)例10定理4
設(shè)(A,°)是一個(gè)半群,(B,)是一個(gè)代數(shù)系。如果存在一個(gè)從A到B的滿射f,使得x,yA有
f(x°y)=f(x)
f(y),則(B,)是一個(gè)半群.定理3(半群的Cayley定理)
任意一個(gè)半群都同構(gòu)于某個(gè)變換半群。(成立嗎?)定理5
設(shè)f是半群(S1,°)到半群(S2,)的同態(tài),g是半群(S2,)到半群(S3,)的同態(tài),則f與g的合成gf是(S1,°)到(S3,)的同態(tài).半群的同構(gòu)與同態(tài)11設(shè)(A,°)和(B,)是兩個(gè)半群,f是A到B的同態(tài).則可由f確定A上的一個(gè)等價(jià)關(guān)系Ef:x,yA
xEfy(或(x,y)Ef)f(x)=f(y)下面利用A上的運(yùn)算“°”定義A/Ef上的一個(gè)代數(shù)運(yùn)算“?”:[x],[y]A/Ef
,[x]?[y]=[x°y]為了證明“?”是二元代數(shù)運(yùn)算,有兩種途徑:(1)證明a[x],b[y],總有[a°b]=[x°y],即[x]?[y]與[x],[y]的表示方式無(wú)關(guān)(實(shí)質(zhì)上就是證明映射的“單值性”).(2)證明Ef是同余關(guān)系(隨后給出定義及結(jié)論).12同余關(guān)系定義3
設(shè)是代數(shù)系(A,°)上的等價(jià)關(guān)系.a,b,c,dA,如果ab,cd,則必有a°cb°d,那么稱是A上的同余關(guān)系.[說(shuō)明]簡(jiǎn)單的說(shuō),同余關(guān)系就是可乘的等價(jià)關(guān)系.定理6
設(shè)是代數(shù)系(A,°)上的等價(jià)關(guān)系.定義:[x],[y]A/
,[x]?[y]=[x°y],則“?”是二元代數(shù)運(yùn)算是A上的同余關(guān)系.13商半群定義4設(shè)(A,°)和(B,)是兩個(gè)半群,f是A到B的同態(tài).
半群(A/Ef
,?)稱為商半群.定義5令γ:AA/Ef
,aA,γ(a)=[a],則稱γ為A到商半群A/Ef的自然同態(tài).14定義6設(shè)(M1,°,e1)和(M2,,e2)是兩個(gè)幺半群,如果存在f:M1M2
,對(duì)x,yM1有
f(e1)=e2,f(x°y)=f(x)f(y),則稱(M1,°,e1)與(M2,,e2)是同態(tài),f稱為M1到M2的一個(gè)同態(tài)映射(簡(jiǎn)稱同態(tài)),f(M1)稱為同態(tài)象.[注意](1)同態(tài)分類:同半群同態(tài).(2)兩個(gè)幺半群((M1,°,e1)和(M2,,e2))同構(gòu)定義中的條件f(e1)=e2
可以去掉,因?yàn)樗梢詮膄(x°y)=f(x)f(y)推出.幺半群的同構(gòu)與同態(tài)15定理7(幺半群的Cayley定理)
任意一個(gè)幺半群都同構(gòu)于某個(gè)變換幺半群。定理8
設(shè)(A,°,e)是一個(gè)幺半群,(B,)是一個(gè)代數(shù)系。如果存在一個(gè)從A到B的滿射f,使得x,yA有
f(x°y)=f(x)
f(y),則f(e)是(B,)的單位元,從而(B,)是一個(gè)幺半群.幺半群的同構(gòu)與同態(tài)16定理9
設(shè)(M1,°,e1)和(M2,,e2)是兩個(gè)幺半群。如果有從M1到M2的同態(tài)f
,則M1
的可逆元素x的象f(x)也可逆且
f(x-1)=[f(x)]-1.定理10
設(shè)f是幺半群(M1,°,e1)到幺半群(M2,,e2)的同態(tài),g是幺半群(M2,,e2)到幺半群(M3,,e3)的同態(tài),則f與g的合成gf是(M1,°,e1)到(M3,,e3)的同態(tài).幺半群的同構(gòu)與同態(tài)17定理11(幺半群的同態(tài)基本定理)設(shè)f是幺半群(M1,°,e1)到幺半群(M2,,e2)的同態(tài),則(1)同態(tài)象f(M1)是M2的一個(gè)子幺半群;(2)由f確定的等價(jià)關(guān)系Ef是同余關(guān)系,于是
(M1/Ef,?,[e1])是幺半群;(3)存在唯一的M1/Ef到M2的單同態(tài)β使f=βγ,
其中γ為M1到M1/Ef的自然同態(tài).(4)如果f是滿同態(tài),則M1/Ef
M2.幺半群的同態(tài)基本定理18練習(xí)設(shè)G為非0實(shí)數(shù)集R*關(guān)于普通乘法構(gòu)成的代數(shù)系統(tǒng),判斷下述函數(shù)是否為G的自同態(tài)?如果不是,說(shuō)明理由.如果是,判別它們是否為單同態(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ù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 2024蘇州智能家居系統(tǒng)裝修服務(wù)合同2篇
- 2025年度LED照明燈具生產(chǎn)與銷售合作協(xié)議3篇
- 2024甲乙雙方關(guān)于高端裝備制造與技術(shù)轉(zhuǎn)讓的協(xié)議
- 2024配電室設(shè)備安裝工程施工合同樣本
- 2024股權(quán)轉(zhuǎn)讓合同協(xié)議
- 2025年度上市公司股東持股鎖定期合同約定3篇
- 獨(dú)奏訓(xùn)練-吉他知到智慧樹章節(jié)測(cè)試課后答案2024年秋四川音樂學(xué)院
- 2025年度廠房買賣附帶環(huán)境風(fēng)險(xiǎn)評(píng)估與治理合同3篇
- 行政訴訟律師聘用合同范本
- 大學(xué)城網(wǎng)絡(luò)升級(jí)改造合同
- 中海地產(chǎn)設(shè)計(jì)管理程序
- 萬(wàn)噸鈦白粉項(xiàng)目建議
- 簡(jiǎn)譜視唱15942
- 化妝品購(gòu)銷合同范本
- 7725i進(jìn)樣閥說(shuō)明書
- 銀監(jiān)會(huì)流動(dòng)資金貸款需求量測(cè)算表
- 榴園小學(xué)寒假留守兒童工作總結(jié)(共3頁(yè))
- 初中物理-電功率大題專項(xiàng)
- 時(shí)光科技主軸S系列伺服控制器說(shuō)明書
- 社會(huì)組織績(jī)效考核管理辦法
- 蘇州智能數(shù)控機(jī)床項(xiàng)目投資計(jì)劃書(模板)
評(píng)論
0/150
提交評(píng)論