




版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領
文檔簡介
代數(shù)系統(tǒng)的一般性質(zhì)嘉應1第1頁,共19頁,2023年,2月20日,星期三例6.1<Z+,+>是半群。<N,+>,<Z,+>,<Q,+>,<R,+>都是半群和獨異點,其中+表示普通加法。幺元是0。<N,+,0>,…,<R,+,0><Mn(R),·>是半群和獨異點,其中·表示矩陣乘法。矩陣乘法的幺元是n階單位矩陣E.<Mn(R),·,E><Σ*,?>是半群和獨異點,其中Σ是有窮字母表,?表示連接運算.連接運算的幺元是空串.<∑*,?,><P(B),>是半群和獨異點,其中表示集合的對稱差運算.對稱差運算的幺元是.<Zn,>是半群和獨異點,其中Zn={0,1,…,n-1},表示模n加法。模n加法的幺元是0.<Zn,,0>.2第2頁,共19頁,2023年,2月20日,星期三因為半群V=<S,?>中的運算?是可結合的,可以定義運算的冪.對任意的x∈S,規(guī)定xn是
x1=x,
xn+1=xn?x,n為正整數(shù)。易證x的冪遵從以下規(guī)律:
xn?xm=xn+m,(xn)m=xnm,n為正整數(shù).半群中運算的冪3第3頁,共19頁,2023年,2月20日,星期三在獨異點V=<S,?,e>中,如果規(guī)定x0=e(x是S中的任意元素),那么有關半群中冪的定義可以變成
x0=e
xn+1=xn?xn為非負整數(shù).而關于冪的兩個運算公式不變,只要其中的m和n是非負整數(shù)就可以了。獨異點中運算的冪4第4頁,共19頁,2023年,2月20日,星期三例5第5頁,共19頁,2023年,2月20日,星期三6第6頁,共19頁,2023年,2月20日,星期三子半群半群的子代數(shù)叫做子半群.如果V=<S,?>是半群,<T,?>就是V的子半群,需要滿足:
T是S的非空子集,
T對V中的運算?是封閉的,即可。7第7頁,共19頁,2023年,2月20日,星期三獨異點的子代數(shù)叫做子獨異點.對獨異點V=<S,?,e>,<T,?,e>構成V的子獨異點,需要滿足:
T是S的非空子集,
T要對V中的運算?封閉,
e∈T,即可。子獨異點8第8頁,共19頁,2023年,2月20日,星期三9第9頁,共19頁,2023年,2月20日,星期三試證上述定理并思考:
若干個子半群的并是子半群嗎?10第10頁,共19頁,2023年,2月20日,星期三積半群定義設V1=<S1,?>,V2=<S2,*>為半群,則V1×V2=<
S1×S2,·>也是半群,且對任意<a,b>,<c,d>∈S1×S2有
<a,b>·<c,d>=<a?c,b*d>稱V1×V2為V1和V2的積半群.11第11頁,共19頁,2023年,2月20日,星期三半群同態(tài)定義設V1=<S1,?>,V2=<S2,*>為半群,
:S1→S2,且對任意x,y∈S1有
(x?y)=(x)*(y)則稱為半群V1到V2的同態(tài).12第12頁,共19頁,2023年,2月20日,星期三例半群V=<S,.>,其中S=.是矩陣乘法。令
:S→S,那么有
==
=這說明是半群V的自同態(tài),但不是滿自同態(tài)13第13頁,共19頁,2023年,2月20日,星期三獨異點的積代數(shù)設V1=<S1,?,e1>,V2=<S2,*,e2>是獨異點,則它們的積代數(shù)是
V1×V2=<S1×S2,.,<e1,e2>>其中的·定義與積半群一樣.即:對任意<a,b>,<c,d>∈S1×S2有
<a,b>·<c,d>=<a?c,b*d>14第14頁,共19頁,2023年,2月20日,星期三V1=<S1,?,e1>,V2=<S2,*,e2>是獨異點,設
:S1→S2,如果對任意x,y∈S1都有
(x?y)=(x)*(y)
(e1)=e2,則稱為獨異點V1到V2的同態(tài)?獨異點的同態(tài)15第15頁,共19頁,2023年,2月20日,星期三例獨異點V=其中S=,.是矩陣乘法。令
:S→S,那么對任意x,y∈S都有
16第16頁,共19頁,2023年,2月20日,星期三但是而不是獨異點V的么元,因此,不是獨異點V的自同態(tài)。這就是說,如果把V看作半
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 中藥調(diào)理男性健康行業(yè)深度調(diào)研及發(fā)展戰(zhàn)略咨詢報告
- 二零二五年度餐飲服務兼職員工雇傭合同
- 二零二五年度辦公室租賃合同租賃合同解除與賠償范本
- 二零二五年度手房銀行按揭購房合同法律效力確認與解釋協(xié)議
- 2025年度緊急疏散車輛搭車安全免責及應急處理協(xié)議
- 產(chǎn)業(yè)合作條約協(xié)議
- 二零二五年度政府項目對公打款監(jiān)管協(xié)議
- 二零二五年度高端設備委托加工保密協(xié)議
- 個人信用貸款合同履約金約定
- 保姆解雇程序協(xié)議
- 2023年高三新高考英語復習備考策略及方法指導(深度課件)
- 數(shù)字信號處理(課件)
- 社會主義核心價值觀-團課課件
- 城市社會學(2015)課件
- 年產(chǎn)2萬噸馬來酸二乙酯技改建設項目環(huán)評報告書
- 中國古代文論教程完整版課件
- 中班美工區(qū)角活動教案10篇
- SJG 103-2021 無障礙設計標準-高清現(xiàn)行
- 皇冠假日酒店智能化系統(tǒng)安裝工程施工合同范本
- 路面工程重點、關鍵、和難點工程的施工方案(技術標)
- 合肥市城市大腦·數(shù)字底座白皮書2020
評論
0/150
提交評論