《近世代數(shù)》第二章 群論目錄 2.9子群的陪集_第1頁
《近世代數(shù)》第二章 群論目錄 2.9子群的陪集_第2頁
《近世代數(shù)》第二章 群論目錄 2.9子群的陪集_第3頁
《近世代數(shù)》第二章 群論目錄 2.9子群的陪集_第4頁
《近世代數(shù)》第二章 群論目錄 2.9子群的陪集_第5頁
已閱讀5頁,還剩9頁未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

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

文檔簡介

§9.子群的陪集

9.1子群的左陪集

9.2子群的右陪集

9.3子群的指數(shù)

9.4拉格朗日定理

---------------------------

在這一節(jié)里我們要利用群的一個子群來作一個的分類,然后由這個分類推出一個重要的定理.我們從等價關(guān)系開始.9.1子群的左陪集我們看一個群和的一個子群.我們規(guī)定一個的元中間的關(guān)系:,當(dāng)而且只當(dāng)?shù)臅r候

給了和,我們可以唯一決定,是不是屬于,所以是一個關(guān)系,并且:,所以Ⅰ,所以ⅡⅢ………….所以,這樣,是一個等價關(guān)系.利用這個等價關(guān)系,我們可以得到一個的分類:[a],[b],[c]……,這里稱為a的等價類(2)

引理1[a]=aH={ah|h屬于}證明:(1)定義1

由上面的等價關(guān)系所決定的類叫做子群的左陪集.由引理1左陪集既是等價類,又是子集的乘法aH.由等價類的性質(zhì)可以推出左陪集的一些重要性質(zhì):

(1)(2)(3)(5)任意兩個左陪集或者(4)例1

,,,,,,

那么(注意我們規(guī)定的乘法順序和書上的相反),,,注意(12)H=??(123)H=???(132)H=??這樣,子群把整個分成(1)H,(13)H,(23)H三個不同的左陪集.這三個左陪集放在一起顯然正是,因此,它們的確是的一個分類.9.2子群的右陪集比照左陪集,給出右陪集,以及性質(zhì)右陪集是從等價關(guān)系:

,當(dāng)而且只當(dāng)?shù)臅r候定義2由等價關(guān)系所決定的類叫做子群的右陪集.包含的陪集我們用符號來表示.性質(zhì)2(1)------(5)9.3子群的指數(shù)引理2之間存在1-1映射.證明:………..的左陪集所作成的集合記做,的右陪集所作成的集合叫做定理1和之間存在1-1映射.是一個與間的一一映射.因為:證明構(gòu)造::(1)所以右陪集的象與的選擇無關(guān),是一個到的映射;(ⅱ)的任意元是的元的象,所以是一個滿射;(ⅲ)證完.定義一個群的一個子群的右陪集(或左陪集)的個數(shù)叫做在里的指數(shù).9.4拉格朗日定理下面我們要用左陪集來證明幾個重要定理.定理2假定是一個有限群的一個子群.那么的階和它在里的指數(shù)都能整除的階,并且證明的階既是有限,的階和指數(shù)也都是有限正整數(shù).的個元被分成個左陪集,而且由引理,每一個左陪集都有個元,所以證完定理3一個有限群的任一個元的階都整除的階.證明………證完.例3對于有限群的階N的一個因子k,可以沒有k階子群,也可以沒有k階元素.例4

溫馨提示

  • 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)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論