群的基本概念演示文稿

群的基本概念演示文稿當(dāng)前1頁(yè)，總共77頁(yè)。（優(yōu)選）群的基本概念當(dāng)前2頁(yè)，總共77頁(yè)。

群論源于十九世紀(jì)初，起源于對(duì)代數(shù)方程的研究，它是人們對(duì)代數(shù)方程求解問(wèn)題邏輯考察的結(jié)果。群理論被公認(rèn)為十九世紀(jì)最杰出的數(shù)學(xué)成就之一。群論歷史

群論是法國(guó)傳奇式人物伽羅瓦（Galois，1811~1832年）的發(fā)明。他用該理論，具體來(lái)說(shuō)是伽羅瓦群，解決了五次方程問(wèn)題?？挛鳎ˋugustin-LouisCauchy,1789~1857年)，阿貝爾（NielsHenrikAbel，1802~1829年）等人也對(duì)群論的建立做了很多貢獻(xiàn)。當(dāng)前3頁(yè)，總共77頁(yè)。阿貝爾簡(jiǎn)介：

（阿貝爾：Abel,1802—1829）任何一部數(shù)學(xué)家詞典中的第一人，是十九世紀(jì)最偉大的數(shù)學(xué)家之一，是挪威空前絕后的最偉大的學(xué)者?！笕苏硭倪z著花了150年。不幸的挪威數(shù)學(xué)家阿貝爾當(dāng)前4頁(yè)，總共77頁(yè)。三百多年弄不清楚的問(wèn)題：五次及五次以上的方程的公式解法國(guó)數(shù)學(xué)家拉各朗日稱(chēng)這一問(wèn)題是在“向人類(lèi)的智慧挑戰(zhàn)”。1770年拉格朗日分析了二次、三次、四次方程根式解的結(jié)構(gòu)之后，提出了方程的預(yù)解式概念，并且還看出預(yù)解式和方程的各個(gè)根在排列置換下的形式不變性有關(guān)，這時(shí)他認(rèn)識(shí)到求解一般五次方程的代數(shù)方法可能不存在。代數(shù)學(xué)發(fā)展過(guò)程中：當(dāng)前5頁(yè)，總共77頁(yè)。挪威數(shù)學(xué)家阿貝爾利用置換群的理論，給出了高于四次的一般代數(shù)方程不存在代數(shù)解的證明。阿貝爾率先解決了這個(gè)引人矚目的難題?？墒?，由于阿貝爾生前只是個(gè)默默無(wú)聞的“小人物”，他的發(fā)明創(chuàng)造競(jìng)沒(méi)有引起數(shù)學(xué)界的重視。在失望、勞累、貧困的打擊下，阿貝爾不滿(mǎn)27歲就離開(kāi)了人間，使他未能徹底解決這個(gè)難題。比如說(shuō)：為什么有的特殊高次方程能用根式解呢?如何精確地判斷這些方程呢？他死后第二天，倫敦大學(xué)校長(zhǎng)的特使，手持校長(zhǎng)的邀請(qǐng)函來(lái)到挪威師范學(xué)院尋找阿貝爾當(dāng)前6頁(yè)，總共77頁(yè)。殞落的新星1832年5月30日清晨，法國(guó)巴黎郊外進(jìn)行了—場(chǎng)決斗。槍聲響后，一個(gè)青年搖搖晃晃地倒下了。第二天一早，他就匆匆離開(kāi)了人間，死時(shí)還不到21歲。死前這個(gè)青年沉痛地說(shuō)：“請(qǐng)?jiān)徫也皇菫閲?guó)犧牲。我是為一些微不足道的事而死的?！边@個(gè)因決斗而死去的青年，就是近代數(shù)學(xué)的奠基人之一、歷史上最年輕的著名數(shù)學(xué)家伽羅瓦。1811年10月25日，伽羅瓦出生在法國(guó)巴黎附近的一個(gè)小鎮(zhèn)上。當(dāng)前7頁(yè)，總共77頁(yè)。更加不幸的法國(guó)數(shù)學(xué)家伽羅瓦伽羅瓦（—）浪漫的法國(guó)人一直為他們?cè)缡诺?、劃時(shí)代的、人類(lèi)有史以來(lái)最聰明的、思想最深刻的、最倒霉的數(shù)學(xué)家感到自責(zé)?！粝铝?00頁(yè)數(shù)學(xué)文稿，被發(fā)展成一門(mén)艱深、應(yīng)用廣泛的學(xué)科----抽象代數(shù)或稱(chēng)群論。當(dāng)前8頁(yè)，總共77頁(yè)。經(jīng)常被老師斥為笨蛋小時(shí)候，伽羅瓦并末表現(xiàn)出特殊的數(shù)學(xué)才能，相反，他12歲進(jìn)入巴黎的一所公文中學(xué)后，還經(jīng)常被老師斥為笨蛋。伽羅瓦當(dāng)然不是笨蛋，他性格偏執(zhí)，對(duì)學(xué)校死板的教育方式很不適應(yīng)，漸漸地，他對(duì)很多課程都失去了興趣，學(xué)習(xí)成績(jī)一直很一般。當(dāng)前9頁(yè)，總共77頁(yè)。伽羅瓦遇到了數(shù)學(xué)教師里沙在中學(xué)的第三年，伽羅瓦遇到了數(shù)學(xué)教師里沙。里沙老師非常善于啟發(fā)學(xué)生思維，他把全部精力都傾注在學(xué)生身上，還常常利用業(yè)余時(shí)間去大學(xué)聽(tīng)課，向?qū)W生傳授新知識(shí)。很快，伽羅瓦就對(duì)數(shù)學(xué)產(chǎn)生了極大的興趣。他在里沙老師的指導(dǎo)下，迅速學(xué)完了學(xué)校的數(shù)學(xué)課程，自學(xué)了多名數(shù)學(xué)大師的著作。當(dāng)前10頁(yè)，總共77頁(yè)。他盯上了著名的世界數(shù)學(xué)難題不久，伽羅瓦的眼睛盯上了：高次方程的求根公式問(wèn)題。16世紀(jì)時(shí)，意大利數(shù)學(xué)家塔塔利亞和卡當(dāng)?shù)热?，發(fā)現(xiàn)了三次方程的求根公式。這個(gè)公式公布后沒(méi)兩年，卡當(dāng)?shù)膶W(xué)生費(fèi)拉里就找到了四次方程的求根公式。當(dāng)時(shí)，數(shù)學(xué)家們非常樂(lè)觀，以為馬上就可以寫(xiě)出五次方程、六次方程，甚至更高次方程的求根公式了。然而，時(shí)光流逝了幾百年，誰(shuí)也找不出一個(gè)這樣的求根公式。當(dāng)前11頁(yè)，總共77頁(yè)。站在巨人阿貝爾的肩膀上面這樣的求根公式究竟有沒(méi)有呢?在伽羅瓦剛上中學(xué)不久，年輕的挪威數(shù)學(xué)家阿貝爾已經(jīng)作出了回答：“沒(méi)有?！卑⒇悹枏睦碚撋嫌枰宰C明，無(wú)論怎樣用加、減、乘、除以及開(kāi)方運(yùn)算，無(wú)論將方程的系數(shù)怎樣排列，它都決不可能是一般五次方程的求根公式。當(dāng)前12頁(yè)，總共77頁(yè)。伽羅瓦向世紀(jì)難題發(fā)起了挑戰(zhàn)1828年，也就是阿貝爾去世的前一年，伽羅瓦也向這個(gè)數(shù)學(xué)難題發(fā)起了挑戰(zhàn)。他自信找到了徹底解決的方法，便將自己的觀點(diǎn)寫(xiě)成論文，寄給法國(guó)巴黎科學(xué)院。負(fù)責(zé)審查伽羅瓦論文的是柯西和泊松，他們都是當(dāng)時(shí)世界上第一流的數(shù)學(xué)家?？挛鞑幌嘈乓粋€(gè)中學(xué)生能夠解決這樣著名的難題，順手把論文扔在一邊，不久就丟失了；兩年后，伽羅瓦再次將論文送交巴黎科學(xué)院。這次，負(fù)責(zé)審查伽羅瓦論文的是傅立葉。不巧，也就是在這一年，這位年邁的著名數(shù)學(xué)家去世了。伽羅瓦的論文再一次給丟失了。當(dāng)前13頁(yè)，總共77頁(yè)。他考進(jìn)了巴黎高等師范學(xué)校伽羅瓦的論文一再被丟失的情況，使他很氣憤。這時(shí)，他已考進(jìn)了巴黎高等師范學(xué)校；并得知了阿貝爾去世的消息，同時(shí)又發(fā)現(xiàn)，阿貝爾的許多結(jié)論，他已經(jīng)在被丟失的論文中提出過(guò)。在1831年，伽羅瓦向巴黎科學(xué)院送交了第三篇論文，題目是《關(guān)于用根式解方程的可解性條件》。這一次，著名數(shù)學(xué)家泊松仔細(xì)審查了伽羅瓦的論文。當(dāng)前14頁(yè)，總共77頁(yè)。年邁的泊松感到難于理解由于論文中出現(xiàn)了“置換群”等嶄新的數(shù)學(xué)概念和方法，泊松感到難于理解。幾個(gè)月后，他將論文退還給伽羅瓦；囑咐寫(xiě)一份詳盡的闡述送來(lái)，可是，伽羅瓦已經(jīng)沒(méi)有時(shí)間了。在大學(xué)里，伽羅瓦由于積極參加資產(chǎn)階級(jí)革命活動(dòng)，被學(xué)校開(kāi)除了。當(dāng)前15頁(yè)，總共77頁(yè)。伽羅瓦預(yù)感到死亡即將來(lái)臨1831年5月和7月，他又因參加游行示威活動(dòng)兩次被捕入獄，遭受路易--菲利浦王朝的迫害，直到1832年4月29日，由于監(jiān)獄里流行傳染病，伽羅瓦才得以出獄。伽羅瓦恢復(fù)自由不到一個(gè)月，愛(ài)上了一個(gè)舞女，并因此被迫與一個(gè)軍官?zèng)Q斗。決斗前夕,伽羅瓦預(yù)感到死亡即將來(lái)臨，他匆忙將數(shù)學(xué)研究心得扼要地寫(xiě)在一張字條上，并附以自己的論文手稿，請(qǐng)他的朋友交給當(dāng)時(shí)的大數(shù)學(xué)家們。當(dāng)前16頁(yè)，總共77頁(yè)。他堅(jiān)信自己的理論正確伽羅瓦自豪地寫(xiě)道：“你可以公開(kāi)請(qǐng)求雅可比或者高斯，不是對(duì)這些東西的正確性，而是對(duì)它的重要性表示意見(jiàn)?！蔽蚁Ｍ窈竽苡腥苏J(rèn)識(shí)這些東西的奧妙，并作出恰當(dāng)?shù)慕忉尅?846年法國(guó)數(shù)學(xué)家劉維爾首先“認(rèn)識(shí)到這些東西的奧妙”，將它們發(fā)表在自已主辦的刊物上，并撰寫(xiě)序言熱情向數(shù)學(xué)界推薦。

他在天亮之前那最后幾個(gè)小時(shí)寫(xiě)出的東西，為一個(gè)折磨了數(shù)學(xué)家們幾個(gè)世紀(jì)的問(wèn)題找到了真正的答案，并且開(kāi)創(chuàng)了數(shù)學(xué)的一片新的天地。當(dāng)前17頁(yè)，總共77頁(yè)。

伽羅瓦最主要的成就是提出了群的概念，并用群論徹底解決了根式求解代數(shù)方程的問(wèn)題，而且由此發(fā)展了一整套關(guān)于群和域的理論，為了紀(jì)念他，人們稱(chēng)之為伽羅瓦理論。正是這套理論創(chuàng)立了抽象代數(shù)學(xué)，把代數(shù)學(xué)的研究推向了一個(gè)新的里程。正是這套理論為數(shù)學(xué)研究工作提供了新的數(shù)學(xué)工具—群論。它對(duì)數(shù)學(xué)分析、幾何學(xué)的發(fā)展有很大影響，并標(biāo)志著數(shù)學(xué)發(fā)展現(xiàn)代階段的開(kāi)始。當(dāng)前18頁(yè)，總共77頁(yè)。時(shí)至今日，群的概念已經(jīng)普遍地被認(rèn)為是數(shù)學(xué)及其許多應(yīng)用中最基本的概念之一。它不但滲透到諸如幾何學(xué)、代數(shù)拓?fù)鋵W(xué)、函數(shù)論、泛函分析及其他許多數(shù)學(xué)分支中而起著重要的作用，還形成了一些新學(xué)科如拓?fù)淙?、李群、代?shù)群、算術(shù)群等，并在結(jié)晶學(xué)、理論物理、量子化學(xué)以至（代數(shù)）編碼學(xué)、自動(dòng)機(jī)理論等方面，都有重要的應(yīng)用。

群論與對(duì)稱(chēng)性群論是研究系統(tǒng)對(duì)稱(chēng)性質(zhì)的數(shù)學(xué)工具。當(dāng)前19頁(yè)，總共77頁(yè)。物理學(xué)中的對(duì)稱(chēng)性和守恒定律物理學(xué)中的許多規(guī)律常常具有一些對(duì)稱(chēng)性質(zhì)，從一種對(duì)稱(chēng)性質(zhì)就可以推導(dǎo)出一種守恒定律：①空間坐標(biāo)平移不變性（系統(tǒng)拉氏函數(shù)L不變）

動(dòng)量守恒②L在空間轉(zhuǎn)動(dòng)下對(duì)稱(chēng)角動(dòng)量守恒③L在時(shí)間平移下對(duì)稱(chēng)能量守恒④空間反演（）對(duì)稱(chēng)宇稱(chēng)守恒⑤晶體平移對(duì)稱(chēng)性（平移晶格常數(shù)的整數(shù)倍）

Bloch定理⑥全同粒子交換對(duì)稱(chēng)性玻色子，費(fèi)米子⑦標(biāo)度變換對(duì)稱(chēng)性臨界現(xiàn)象，非線性物理，生命起源……當(dāng)前20頁(yè)，總共77頁(yè)。

今天，群論經(jīng)常應(yīng)用于物理領(lǐng)域。我們經(jīng)常用群論來(lái)研究對(duì)稱(chēng)性，這些對(duì)稱(chēng)性能夠反映出在某種變化下的某些變化量的性質(zhì)。它也跟物理方程聯(lián)系在一起。另外，晶體學(xué)中早期的關(guān)于晶體的各種結(jié)構(gòu)的問(wèn)題中，也是靠群論中的費(fèi)得洛夫群的研究給出了答案。群論指出，空間中互不相同的晶體結(jié)構(gòu)只有確定的230種。（230個(gè)空間群）

對(duì)稱(chēng)群理論在先進(jìn)（陶瓷）材料中的應(yīng)用當(dāng)前21頁(yè)，總共77頁(yè)。

通過(guò)對(duì)這些具有一定力學(xué)性能、物理性能的材料的微觀本質(zhì)的分析，可以反過(guò)來(lái)利用對(duì)稱(chēng)群分析看看可以通過(guò)哪些方式（如摻雜等）來(lái)改變晶體的晶格以獲得性能更佳、物理效應(yīng)更顯著的晶體。

（壓電、鐵電、熱釋電、光學(xué)性能等）對(duì)稱(chēng)性晶體結(jié)構(gòu)相似的物理性能（壓電、鐵電、熱釋電、光學(xué)性能等）對(duì)稱(chēng)性分析改變晶體的結(jié)構(gòu)提高材料的性能當(dāng)前22頁(yè)，總共77頁(yè)。2、《群論及其在物理學(xué)中的應(yīng)用》1、《群論及其在固體物理中的應(yīng)用》

（徐婉棠、喀興林編著，高教出版社）參考書(shū)：4、《線性代數(shù)》3、《物理學(xué)中的群論》

（馬中騏編著，科學(xué)出版社）（謝希德、蔣平、陸奮著）科學(xué)出版社當(dāng)前23頁(yè)，總共77頁(yè)。《群論及其在固體物理中的應(yīng)用》第一、二章：討論有限群及其表示的基本數(shù)學(xué)理論；第三、四章：討論點(diǎn)群在分析晶體宏觀性質(zhì)中的應(yīng)用；第五章：討論群論與量子力學(xué)的關(guān)系；第六章：討論空間群的不可約表示及其在能帶理論中的應(yīng)用；第七、八章：介紹晶格動(dòng)力學(xué)中的群論方法，色群及其表示理論。當(dāng)前24頁(yè)，總共77頁(yè)。第一部分群論基礎(chǔ)

第一章群的基本知識(shí)

當(dāng)前25頁(yè)，總共77頁(yè)。§1.1群一、群的定義:

有限或無(wú)限個(gè)元素（數(shù)學(xué)對(duì)象）或操作的集合{A,B,C,D…}，其中有一個(gè)與次序有關(guān)的運(yùn)算方法（群乘），具備下列條件,則構(gòu)成群（G）。集合中的元素（A,B,C,D…）稱(chēng)為群元。

1,封閉性,AB=C（AA=D）

2,結(jié)合律,A(BC)=(AB)C3,單位元（不變?cè)兀〦,EA=AE=A4,逆元A-1,AA-1=A-1A=E當(dāng)前26頁(yè)，總共77頁(yè)。二、群的性質(zhì):

1、E-1=E,單位元E的逆元仍為E,

證：（1）E-1E=EE-1=E（令：A=E，由A-1A

=AA-1=E）（2）EE-1=

E-1E=E-1

（令：A=E-1

，由EA=A

E=A）由（1）和（2）E=E-1

2、(A-1)-1=A,逆元之逆元為元素本身

證：

(A-1)-1=(A-1)-1E=(A-1)-1（A-1A)=[(A-1)-1A-1]A=EA=A3、(AB)-1=B-1A-1

證明:∵(AB)-1=(AB)-1E=(AB)-1AA-1E=(AB)-1AEA-1=(AB)-1A

（BB-1）A-1

=

(AB)-1(AB)

B-1A-1=EB-1A-1=B-1A-1

∴(AB)-1=B-1A-1當(dāng)前27頁(yè)，總共77頁(yè)。三、群階:群元的數(shù)目（g）離散的無(wú)限群（可數(shù)的無(wú)窮多）連續(xù)群（不可數(shù)的無(wú)窮多）無(wú)限群∞有限群

h（g為有限）2、交換群（阿貝爾群）：群乘與群元的順序無(wú)關(guān)

AB=BA1、群乘：將集合中的任意兩個(gè)元素構(gòu)成唯一的另一個(gè)元素的一種運(yùn)算。群乘不一定是代數(shù)運(yùn)算中的乘法（如相繼操作），也不一定滿(mǎn)足交換律。四,可換群:(Abel阿貝爾群)當(dāng)前28頁(yè)，總共77頁(yè)。五、群的實(shí)例（群元和群乘）

1,數(shù)群:

以數(shù)為群元，以數(shù)學(xué)運(yùn)算為群乘，構(gòu)成數(shù)群

例(1)：全部正負(fù)整數(shù)(包括0)的集合，群乘為加法

E=0，A=n,A-1=-n

這是離散的無(wú)限群、交換群

例(2)：全部正負(fù)整數(shù)

(不包括0)的集合，群乘為乘法

E=1，A=n,A-1=1/n

提問(wèn)：這是不是群？為什么？答案：不是，因?yàn)锳-1=1/n不是整數(shù)，A沒(méi)有逆元。當(dāng)前29頁(yè)，總共77頁(yè)。

全部正負(fù)實(shí)數(shù)(不包括0)

的集合，群乘為乘法

（構(gòu)成群-連續(xù)群）例（3）：全部正負(fù)實(shí)數(shù)的集合，群乘為數(shù)乘E=1，A=n,A-1=1/n提問(wèn)：這是不是群？為什么？答案：不是，因?yàn)楫?dāng)n=0時(shí)，A-1=1/n不在集合內(nèi)。當(dāng)n≠0時(shí)，A-1=1/n在集合內(nèi)。

例（4）集合{1，-1}在數(shù)乘運(yùn)算下構(gòu)成一個(gè)群。

例（5）集合{1，-1，i，-i}

構(gòu)成群。群元由

ik

構(gòu)成。（k=0，1，2，3）循環(huán)群：一個(gè)群的所有群元可以由某個(gè)元的冪來(lái)產(chǎn)生。如例（5）循環(huán)群都是阿貝爾群。E=1，A-1=A當(dāng)前30頁(yè)，總共77頁(yè)。2、置換群：

以變換位置的操作為群元，以相繼操作為群乘，構(gòu)成置換群例:Z3

群(三位置置換群)┌123┐∣∣表示將1、2、3處之物分別放於2、3、1處，└231┘

┌123┐【①②③】→∣∣→【③

①

②】└231┘當(dāng)前31頁(yè)，總共77頁(yè)。Z3群由以下六元素構(gòu)成：

┌123┐┌123┐┌123┐e=∣∣a=∣∣b=∣∣└123┘└321┘└132┘

┌123┐┌123┐┌123┐c=∣∣d=∣∣f=∣∣└213┘└312┘└231┘可以證明它們符合群的四個(gè)基本條件（自己證）

當(dāng)前32頁(yè)，總共77頁(yè)?！?/p>

bc=f即：當(dāng)前33頁(yè)，總共77頁(yè)。滿(mǎn)足（不滿(mǎn)足封閉性）3、矩陣群:

以方矩陣為群元，以矩陣乘法為群乘，構(gòu)成矩陣群。當(dāng)前34頁(yè)，總共77頁(yè)。d3

群

detA=1┌100┐┌010┐┌100┐e=∣010∣a=∣100∣b=∣001∣└001┘└001┘└010┘

┌001┐┌001┐┌010┐c=∣010∣d=∣100∣f=∣001∣└100┘└010┘└100┘

逆元：

b-1=bd-1=f封閉性：ad=b,bd=c,d2=f當(dāng)前35頁(yè)，總共77頁(yè)。4、

對(duì)稱(chēng)群

(這是我們最關(guān)注的)

以對(duì)稱(chēng)操作為群元，以相繼操作為群乘，構(gòu)成對(duì)稱(chēng)群例D3

群（使正三角形自身重合的對(duì)稱(chēng)操作構(gòu)成的群。）

E不動(dòng)C繞C軸轉(zhuǎn)180o

A繞A軸轉(zhuǎn)180oD順時(shí)針轉(zhuǎn)120o

（繞垂直于三角形平面的軸）

B繞B軸轉(zhuǎn)180oF逆時(shí)針轉(zhuǎn)120oacbbbbbbaaaaaccccc返回當(dāng)前36頁(yè)，總共77頁(yè)。AF當(dāng)前37頁(yè)，總共77頁(yè)。5、列表

群的名稱(chēng)群元群乘舉例數(shù)群數(shù)運(yùn)算(加、乘等)例(1)

置換群置換相繼置換Z3群矩陣群矩陣矩陣乘法d3群對(duì)稱(chēng)群對(duì)稱(chēng)操作相繼操作D3群

當(dāng)前38頁(yè)，總共77頁(yè)。六

群表及群表定理1,群表：群元的乘積表例：d3群：ad=b,bd=c,d2=fD3群:AD=B,BD=C,D2=F

EABCDF

EEABCDF

AAEDFB

C

BBFEDCA

CCDFEAB

DDC

ABFE

FFBCAED

[提問(wèn)：D3群是不是阿貝爾群？][答案：不是，因?yàn)锳B(=D)≠BA(=F)]

習(xí)題:試證明D3群群表最后一行的偶數(shù)位,即證明

FA=B,FC=A,F2=D*群表的行和列用群元素來(lái)標(biāo)記，元素A和B的乘積D=AB出現(xiàn)在A行和B列交叉處。返回當(dāng)前39頁(yè)，總共77頁(yè)。2，群表即群:群的信息全部在群表中，群表即群

[思考題：你能找出d3

,D3及Z3

群之間的內(nèi)在聯(lián)系嗎?][答案:(1)D3群的對(duì)稱(chēng)操作可視為三角形三頂點(diǎn)位置的置換；

(2)D3

群和Z3

群的操作都可表示為3×3的變換矩陣。

(3)它們的群表相同，就數(shù)學(xué)而言它們是同一群；

d3

群=Z3

群=D3

群]

3，群表定理（重排定理）

G：{E，A2，

A3，A4---------Ah}AkG:{Ak，

AkA2，AkA3，AkA4---------AkAk

}中或GAk

:{Ak，

A2AK，A3Ak，A4Ak---------AkAk

}中群中的每個(gè)元素（在每一行或每一列中）必出現(xiàn)且只出現(xiàn)一次

(只是重排)，即群G被其中的元素左乘或右乘仍為該群G.AkG=GAk

=G*當(dāng)前40頁(yè)，總共77頁(yè)。求證:GAk

=G

證明:

第一步：證明每個(gè)元素必出現(xiàn)於GAk中（即證明若元素X

G，則必X

GAk）令A(yù)r

=XAk-1

∵X，Ak-1

G,∴

Ar

G(封閉性)

則X

=

ArAk

GAk

第二步：證明每個(gè)元素只出現(xiàn)一次（即證明若又有一元素As

G使AsAk=X,則必有As

=Ar

）∵AsAk=X,又由前面可知X

=

ArAk，

∴

ArAk

=

AsAk

則Ar

=Ar（AkAk-1）=（ArAk）Ak-1=（AsAk）Ak-1

=As（AkAk-1）=

As*當(dāng)前41頁(yè)，總共77頁(yè)?！?.2

子群和陪集一，

子群(subgroup)1，定義：群G中的一些元的集合S在相同的群乘下構(gòu)成的群，為G的子群

2，顯然子群（平庸子群）：（1）E，（2）G3，子群S的條件和檢驗(yàn):（1）單位元；（2）逆元；（3）封閉性.[提問(wèn)：結(jié)合律是否需要檢驗(yàn)？為什么？][答案：群乘不變，結(jié)合律自然滿(mǎn)足]

例，[提問(wèn)：以下哪些集合是D3

群的子群？(根據(jù)群表){E}，{E，A}，{E，B}，{E，D}，{A，F(xiàn)},

{D，F(xiàn)}

{E，A，F(xiàn)}，{E，D，F(xiàn)}][答案：{E},{E,A},{E,B},{E,D,F}]*當(dāng)前42頁(yè)，總共77頁(yè)。二，陪集（coset）子群SG，又XG，但XS

則，SX為S關(guān)于X的右陪集,XS為S關(guān)于X的左陪集（若XS，則XS=SX=S）[提問(wèn):為什么?][答案:重排定理]

例：D3

群中子群的陪集（1）子群：S={E，D，F(xiàn)}；陪集：{A，B，C}（=A{E，D，F(xiàn)}={E，D，F(xiàn)}B）（2）子群：{E，A}；陪集：{B，F(xiàn)}，（=B{E，A}=F{E，A}）

{B，D}，（={E，A}B={E，A}D）

{C，D}，（=C{E，A}=D{E，A}）

[提問(wèn)：陪集是不是群？為什么？][答案:不是。因?yàn)闆](méi)有E](其普遍性證明見(jiàn)后)*S關(guān)于A的左陪集S關(guān)于B的右陪集當(dāng)前43頁(yè)，總共77頁(yè)。三，陪集定理（以右陪集為例證明，結(jié)論同樣適用于左陪集）（1）若X不是S的一個(gè)元，那么SX不是一個(gè)群。（2）G中的每一個(gè)元必然落在子群或某一個(gè)右陪集中。當(dāng)前44頁(yè)，總共77頁(yè)。（3）每一個(gè)右陪集包含s個(gè)不同的元。即在集合SX的s個(gè)元中，沒(méi)有相同的元存在。當(dāng)前45頁(yè)，總共77頁(yè)。（4）陪集SX和SY要么完全相同，要么完全不同

（即若有一共同元，則全同）證明：若有一共同元，SmX=SnY(Sm,Sn

S)

則Sm-1SmXY-1=Sm-1SnYY-1(左乘Sm-1，右乘Y-1)

因此XY-1=Sm-1Sn

S(封閉性)

則

SXY-1

=S[提問(wèn)：為什么？][答案：重排定理](只是重排,元素結(jié)合不變)

故SX=SY*

當(dāng)前46頁(yè)，總共77頁(yè)。

四,子群階定理:若子群S

群G

則子群S的階s必然是群G階g的正整因子證明：

1，群S及其陪集必然包括大群G中所有的元（群G中任何一個(gè)S以外的元素X必然在陪集SX中）

[陪集定理2]2，SX和SY要么全同，要么全不同（陪集定理4）

3，子群S與陪集SX沒(méi)有共同元（X應(yīng)不屬于S）若有Sm

=Sn

X

則X=Sn-1Sm

S，與前提矛盾

4，子群與其陪集的階相同（元素的數(shù)目相同）,皆為s

（陪集定理3）

5，由以上四點(diǎn)可知，s是g的正整因子

G=S+SX+SY+----------+SW

（g）（s）（s）（s）（s）*即：g=si(1.2-3)

當(dāng)前47頁(yè)，總共77頁(yè)?！?.3共軛元與類(lèi)一，共軛（conjugate）

1,共軛元（conjugateelement）若群G中存在一個(gè)元X，使群中的元A、B滿(mǎn)足:B=XAX-1

（A，B，XG）,那么就說(shuō)群元B與群元A共軛。若B共軛于A，則A也共軛于B，因?yàn)?，由B=XAX-1則A=X-1B(X-1)-1=

YAY-1（

Y=X-1）

其中Y=X-1，是群G中的一個(gè)元，所以A與B互為共軛元。

2,共軛的傳遞性若A與B共軛，B與C共軛，則A與C共軛證明：若B=XAX-1，C=YBY-1

則C=YBY-1=Y(XAX-1)Y-1=YXAX-1Y-1

=(YX)A(YX)-1=ZAZ-1(Z=YXG)

故C與A共軛

當(dāng)前48頁(yè)，總共77頁(yè)。3,相似矩陣

矩陣群中彼此共軛的元為彼此相似的矩陣。二,

類(lèi):

群G中彼此共軛的群元的完全集合構(gòu)成類(lèi)（C）。對(duì)于類(lèi)C,自然有XCX-1=C(X為群G中任一群元)三，類(lèi)的性質(zhì)

1,單位元自成一類(lèi)（XEX-1=E）

2,類(lèi)相互獨(dú)立，彼此無(wú)共同元[提問(wèn)：為什么？][答案：如有一共同元，則為同一類(lèi)（類(lèi)的傳遞性）]3,除E以外，所有的類(lèi)都不是群[提問(wèn)：為什么？][答案:缺E][提問(wèn):為什么缺E][答案:E自成一類(lèi)]

類(lèi)的元數(shù)hc：類(lèi)中群元的個(gè)數(shù)。當(dāng)前49頁(yè)，總共77頁(yè)。4,對(duì)于矩陣群，同類(lèi)的元具有相同的矩陣跡

(又稱(chēng)特征標(biāo)

)[提問(wèn)：為什么？[答案：矩陣相似變換，矩陣跡不變](

定義:A＝（aij）為n階方矩陣，A的主對(duì)角線元素之和稱(chēng)為A的跡，記為tr（A）。即矩陣的跡具有下述的常見(jiàn)性質(zhì)[1]：1．tr（A＋B）=tr（A）＋tr（B）

2．tr（KA）＝Ktr（A）

3．tr（AB）＝tr（BA）

4．tr（ABC）＝tr（BCA）＝tr（CAB）當(dāng)前50頁(yè)，總共77頁(yè)。四，分類(lèi)

1,基本方法：利用群表尋求共軛元，進(jìn)行分類(lèi)

2,可換群：每一元素自成一類(lèi)證明:∵XA=AX(可換群)∴(兩邊右乘X-1)

XAX-1=AXX-1=A3,轉(zhuǎn)動(dòng)群中兩轉(zhuǎn)角相同的轉(zhuǎn)動(dòng)操作，若其轉(zhuǎn)軸可由群中某一操作相互轉(zhuǎn)換，則該二轉(zhuǎn)動(dòng)操作同類(lèi)

XAX-1=B4,D3群的分類(lèi)（可自己練習(xí)）分類(lèi)方法：（1）利用群表尋求共軛元（2）根據(jù)第3條分類(lèi)結(jié)果：（1）{E}（E自成一類(lèi)）（2）{D，F(xiàn)};{A,B,C}各為一類(lèi)習(xí)題:試將D3群分類(lèi),并根據(jù)群表證明之.*當(dāng)前51頁(yè)，總共77頁(yè)。自證當(dāng)前52頁(yè)，總共77頁(yè)。(X-1)-1C-1X-1=(XCX-1)-1當(dāng)前53頁(yè)，總共77頁(yè)。3.有關(guān)類(lèi)的定理當(dāng)前54頁(yè)，總共77頁(yè)。當(dāng)前55頁(yè)，總共77頁(yè)。證明：當(dāng)前56頁(yè)，總共77頁(yè)。3當(dāng)前57頁(yè)，總共77頁(yè)。整元?jiǎng)t有：逆元（S-1X(S-1)-1=X、單位元（EXE-1=X）當(dāng)前58頁(yè)，總共77頁(yè)。為此只要證明：類(lèi)當(dāng)前59頁(yè)，總共77頁(yè)。當(dāng)前60頁(yè)，總共77頁(yè)。==g=si當(dāng)前61頁(yè)，總共77頁(yè)。(1.4-2)當(dāng)前62頁(yè)，總共77頁(yè)。=當(dāng)前63頁(yè)，總共77頁(yè)。不變子群（正規(guī)子群）一、定義：有子群NG，若XNX-1=N或XN=NX（X為G中的任一元素）則N為群G的不變子群=當(dāng)前64頁(yè)，總共77頁(yè)。二，性質(zhì)1，不變子群必包括一個(gè)或幾個(gè)完整的類(lèi)（即不變子群由完整的類(lèi)構(gòu)成）證明：若任一群元AN

則XAX-1

N（∵XNX-1=N,AN）即類(lèi)CN（∵XCX-1=C）

(即類(lèi)中若有一元素屬于N，則整個(gè)類(lèi)屬于N)2,含一個(gè)或幾個(gè)完整類(lèi)的子群是不變子群證明：若子群S=C1+C2(以?xún)蓚€(gè)類(lèi)為例)∵XC1X-1=C1，XC2

X-1=C2

∴XSX-1=X（C1+C2）X-1=XC1X-1+XC2

X-1=C1+C2

=S

即S為不變子群*當(dāng)前65頁(yè)，總共77頁(yè)。3,不變子群的兩個(gè)陪集相乘（包括自乘）必為一個(gè)陪集或不變子群自身證明：N為G的不變子群

NK和NL為N的陪集

NKNL=NKN（K-1K）L=N（KNK-1）KL=NNKL=N（KL）（NN=N）

若KL不在N中，則N（KL）是N的陪集若KL在N中，則N（KL）是N自身*例D3

群中，不變子群N={E，D，F(xiàn)}

兩陪集的乘積(NA)(NB)={E,D,F}A{E,D,F}B={E,D,F}{E,D,F}AB={E,D,F}(AB)[提問(wèn):是因?yàn)镈3

群是可換群?jiǎn)?][答案:是因?yàn)閧E,D,F}是不變子群](AB=D)={E,D,F}D(仍是N,={E,D,F})當(dāng)前66頁(yè)，總共77頁(yè)。4,不變子群的判斷判別條件:（1）由完整的類(lèi)構(gòu)成；

(缺一不可)

（2）其階是G群階的因子(子群階定理

)[提問(wèn)：下列集合中哪些是D3群的不變子群?]{E,A},{E,D},{E,A,B},{E,D,F},{A,B,C}][答案：{E，D，F(xiàn)}]({A,B,C}缺E,其余不是完整類(lèi))][提問(wèn)：{E，A，B，C}是否為不變子群？][答案：不是，其階4，不是g=6的因子]*當(dāng)前67頁(yè)，總共77頁(yè)。商群一，定義:若不變子群NG，則以N及其陪集為群元，以其乘法為群乘