群
维基百科,自由的百科全书
群(Group)是現代代數學的基本代數結構。最早由法國數學家伽羅華提出。
目录 |
[编辑] 歷史
參見群論
[编辑] 群的概念
群是一個代數結構:它是一個非空集合S,若在集合S下定義一個代數運算,我們記作「」,且符合下列運算:
則符合上面定義的稱之為群。若除了以上幾點外還有,那麼這個群稱之為阿貝爾群(Abelian group)。
集合G中的元素個數稱為群S的階,記為。如果G中只有有限多個元素,G就被稱為有限群;如果G中有無限多個元素,G就被稱為無限群。
[编辑] 群的例子
[编辑] 基本性質
[编辑] 子群
- 概念:設G是一個群,若S是G的一個非空子集且同時S是一個群,則S稱為G的一個子群。
- 正規子群
- 陪集:設S為G的一個子群,a是G裡的一個元素,那麼子集aS稱為S在G中的一個左陪集,記做(這裡aS的意思是)。
- 若,則S稱為G的一個正規子群,此時子群S的陪集連同S組成了一個群(稱作S對G的商群,記作G / S),事實上,此時S相當於單位元。
- 關於正規子群更詳細地說明見群的同構與同態。
[编辑] 類
- 共軛:如果同一個群中的兩個元素P和Q滿足關系:P = X - 1QX,其中X也是同一個群中的元素,則稱元素P和Q共軛。
- 共軛是相互的,如果元素P與元素Q共軛,則可證明元素Q也與元素P共軛
- 共軛是可以傳遞的,如果群中的元素P與元素Q相互共軛;而元素Q又與群中另一元素R共軛,則必有P與R共軛
- 類(共軛類):在群中可以找到一個集合,這個集合中每一個元素都相互共軛,而在這個集合以外群的其他部分已經沒有任何元素與他們具有共軛關系了,則稱這個集合為群中的一個共軛類
- 同一個群的兩個類之間一定沒有共同的元素
- 群中一個元素一定屬於且僅屬於一個類,如果群中沒有元素與該元素共軛,則該元素自成一類
[编辑] 同態
- 若G,G'是群且φ:G →G' 是從G映射到G'的函數,
如果φ滿足, 且φ(ab)=φ(a)φ(b),則稱此函數φ為群同態。
- 若φ:G →G'是一個群同態,則
im(φ) = {φ(a)},稱為φ的image。
ker(φ) = {aG| φ(a)e'},e'為G'的單位元素,稱為φ的kernel。
[编辑] 同構
[编辑] 表示
- 表示:如果任何非零方陣的集合的乘法關系和給定群的乘法關系相同,則這個矩陣集合形成群的一個表示,這套矩陣的階稱為表示的維數。
- 等價表示:如果兩個同維表示的矩陣以同一相似變換相關聯,則稱這兩個表示是等價的。
- 可約表示和不可約:如果任何維數大於1的表示的所有矩陣都可以用相同的相似變換轉換為相同的塊對角矩陣結構,則稱此表示為可約表示,反之稱為不可約表示
- 特征標:在某個表示中,群元素R的對應矩陣的跡稱為元素R 在這個表示下的特征標
[编辑] 參見
群論常用術語
与抽象代数相关主题 |
代数系统 | 群 | 半群 | 环 | 整环 | 除环 | 多项式环 | 域 | 伽罗瓦域 | 本原元 | 格 |
同态 | 同构 | 商结构(商系统) |
[编辑] 參考書目
《代數學引論》 第二版 ISBN 7-04-008893-2 聶靈沼、丁石孫-{著}-,高等教育出版社出版