版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
1、§8 群的自同構(gòu)群 給定一個群,可以有各種方式產(chǎn)生新的群。比如,給定群的任何一個正規(guī)子群,就可以產(chǎn)生一個商群,它就是一種新的群。本節(jié)要講的自同構(gòu)群也是一種產(chǎn)生新的群 的方法。1. 自同構(gòu)群的定義:定理1 設(shè)是一個有代數(shù)運算的集合(不必是群),則的全體自同構(gòu)關(guān)于變換的乘法作成一個群,稱為的自同構(gòu)群。證明 設(shè)是的任意兩個自同構(gòu),則,有 ,即也是的一個自同構(gòu)。這表明,全體自同構(gòu)關(guān)于變換的乘法封閉。 又因為有,故即也是的一個自同構(gòu)。群的定義的第3條成立。另外,變換的乘法顯然滿足結(jié)合律,且恒等變換就是單位元,群的定義的第1、2條也成立。所以,的全體自同構(gòu)關(guān)于變換的乘法作成一個群。注意:前面有的
2、全體雙射關(guān)于變換的乘法作成一個群,記為,稱為的對稱群。定理1表明的自同構(gòu)群是的一個子群。推論1 群(在定理1中?。┑娜w自同構(gòu)關(guān)于變換的乘法作成一個群。這個群叫作群的自同構(gòu)群,記作。由上面,如果,則。例1 求Klein四元群 的自同構(gòu)群。 解 。由于是自同構(gòu),必有(幺元變成幺元)。又由于是雙射,因此,其中 是的全排列。每個全排列不一定都是自同構(gòu),但根據(jù)的運算特點,可以驗證這些全排列都是的自同構(gòu)。 例如,設(shè),則可以驗證它是的自同構(gòu): ,.由于的全排列共有6 個,與同構(gòu),因此的全體自同構(gòu)也有6 個,。2.循環(huán)群的自同構(gòu)群 定理2 (1)無限循環(huán)群的自同構(gòu)群是一個2階循環(huán)群; (2)階循環(huán)群的自同構(gòu)
3、群是一個階的群,其中 是歐拉函數(shù)(即小于且與互素的正整數(shù)的個數(shù))。證明 由于在同構(gòu)映射下,循環(huán)群的生成元與生成元相對應(yīng),而生成元的對應(yīng)關(guān)系完全決定了群中其它元素的對應(yīng)關(guān)系。因此,一個循環(huán)求有多少個生成元就有多少個自同構(gòu)。例如,設(shè)是由生成的循環(huán)群,則當(dāng)是小于且與互素的正整數(shù)時,也是的生成元,即。此時,令,則有,且時,即是的自同構(gòu)。由于無限循環(huán)群只有2個生成元,階循環(huán)群只有個生成元,所以其自同構(gòu)群分別為2階循環(huán)群和階的群。 例2 (1)求,4階循環(huán)群的自同構(gòu)群。解 ,兩個生成元為,從而,其中是恒等置換,。(2)求,5階循環(huán)群的自同構(gòu)群。 ,4個生成元為,從而,其中,是恒等置換, ,。推論2 無限循
4、環(huán)群的自同構(gòu)群與3階循環(huán)群的自同構(gòu)群同構(gòu)。證明 由定理2知,這兩種群的自同構(gòu)群都是2階群,2是素數(shù),所有2階群都彼此同構(gòu),都與2次單位根群同構(gòu)。注意:定理2說明一件事實,即不同的循環(huán)群其自同構(gòu)群可以相同。3. 內(nèi)自同構(gòu)群定理3 設(shè)是一個群,則(1)是的一個自同構(gòu),稱為的內(nèi)自同構(gòu);(2)的全體內(nèi)自同構(gòu)關(guān)于變換的乘法作成一個群,稱為 的內(nèi)自同構(gòu)群,記為;(3)。證明 (1)易知是的一個雙射變換。又 ,所以是的一個自同構(gòu)。(2)設(shè)與是的任何兩個自同構(gòu),則, , 即有仍是一個內(nèi)自同構(gòu),此表明關(guān)于變換的乘法封閉。又易知,且是幺元,結(jié)合律顯然成立,所以關(guān)于變換的乘法作成一個群。(3),。令,即,則,由的任
5、意性有,所以。 注意:設(shè),則有,即,亦即對的任何內(nèi)自同構(gòu)都保持不變;反之,若的一個子群有此性質(zhì),則它必是的正規(guī)子群。這就是說,的正規(guī)子群就是對的任何內(nèi)自同構(gòu)都保持不變的子群:。因此,也常稱正規(guī)子群為不變子群。群的中心: 稱為群的中心,即群的中心就是與的所有元素都可交換的元素組成的集合。 根據(jù)中心的定義,顯然有。定理4. 證明 利用同態(tài)基本定理。 令 ,顯然,這樣定義的是滿射。由定理3知,即 ,所以是滿同態(tài)。又 。由同態(tài)基本定理,有注意:定理4表明,要求的內(nèi)自同構(gòu)群,只需求出的中心,再作商群,即得,所以求一個群的內(nèi)自同構(gòu)群相對容易些。但是要求出一個群的自同構(gòu)群,一般來說是非常困難的。這是因為,在
6、大多數(shù)情況下,一個群本身的性質(zhì)不能轉(zhuǎn)移到它的自同構(gòu)群上去。例如,由例1知,交換群的自同構(gòu)群可以是非交換群,;推論2表明,不同構(gòu)的群它們的自同構(gòu)群可以同構(gòu)。但是,有些群如素數(shù)階循環(huán)群的自同構(gòu)群能夠完全確定。定理4. 設(shè)是由生成的階循環(huán)群,是素數(shù),則是階的群,且。 這里,乘法指模乘法。 證明 略。4。正規(guī)子群的推廣 前面有,正規(guī)子群就是對的所有內(nèi)自同構(gòu)都保持不變的子群,將這一概念推廣就得到:(1)特征子群:對群的所有自同構(gòu)都保持不變的子群叫做的一個特征子群,即都有。 例3,任何群的中心都是的特征子群。 證明 只需證明都有,亦即,都有。驗證:, , 所以,結(jié)論成立。 注意:顯然,特征子群一定是正規(guī)子
7、群;但反之不成立, 即正規(guī)子群不一定是特征子群。 例如,取,則(是交換群)。取,則前面例1已驗證是的一個自同構(gòu),對此自同構(gòu) ,所以不是特征子群。(2)全特征子群:設(shè)。如果對的所有自同態(tài)都保持不變,即對的每個自同態(tài)都有,則稱為 的一個全特征子群。 例4 證明:循環(huán)群的子群都是全特征子群。 證明 由于循環(huán)群的子群還是循環(huán)群,所以可設(shè)。例是任何自同態(tài),則存在,使得 。于是,有,所以是的一個全特征子群。 注意:顯然,全特征子群一定是特征子群;但反之不成立,即特征子群不一定是全特征子群。 例如,群的中心總是特征子群(例3),但不一定是全特征子群。 例5 有理數(shù)域上的2階線性群的中心(高等代數(shù)結(jié)論), 則不是全特征子群。 證明 首先,即為有理數(shù)域上的2階
溫馨提示
- 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)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年度個人股權(quán)轉(zhuǎn)讓與股權(quán)激勵計劃合同4篇
- 2025年在線娛樂服務(wù)合同
- 2025年借殼上市銷售協(xié)議
- 2025年化工品供應(yīng)協(xié)議
- 2025年辦公用品采購合同
- 2025年倉庫租賃業(yè)務(wù)保密協(xié)議
- 2025年度互聯(lián)網(wǎng)數(shù)據(jù)中心(IDC)運營管理合同范本4篇
- 二零二五版智慧小區(qū)門禁系統(tǒng)采購與維護協(xié)議4篇
- 二零二五年度二手船舶購置協(xié)議材料船舶買賣3篇
- 2025版儲罐租賃及物聯(lián)網(wǎng)技術(shù)應(yīng)用合同3篇
- 餐廚垃圾收運安全操作規(guī)范
- 皮膚內(nèi)科過敏反應(yīng)病例分析
- 電影《獅子王》的視聽語言解析
- 妊娠合并低鉀血癥護理查房
- 煤礦反三違培訓(xùn)課件
- 向流程設(shè)計要效率
- 2024年中國航空發(fā)動機集團招聘筆試參考題庫含答案解析
- 當(dāng)代中外公司治理典型案例剖析(中科院研究生課件)
- 動力管道設(shè)計手冊-第2版
- 2022年重慶市中考物理試卷A卷(附答案)
- Python繪圖庫Turtle詳解(含豐富示例)
評論
0/150
提交評論