群
在數學中,群(英語:group)是指配備二元運算的集合,其二元運算需要具有結合律、單位元素和反元素。因為眾多數學結構都是群(如整數系配備上加法就形成一個群),因而可以簡潔地從不同的數學結構歸納出共通的結果,這使群成為當代數學的核心概念。[1][2]
很多自然界的變換(如平移、鏡射)的匯總都符合群的定義,而某群變換下保持不變的某種性質被稱為對稱性;如在空間對稱群的哪些變換下,面積或角度會保持不變,就是在研究立體幾何的對稱性。
歷史
編輯抽象群的現代概念是從多個數學領域發展出來的。[3][4][5]群論的最初動機是為了求解高於4次的多項式方程式。十九世紀法國數學家埃瓦里斯特·伽羅瓦,擴展了保羅·魯菲尼和約瑟夫·拉格朗日先前的工作,依據特定多項式方程式的根(解)的對稱群給出了對它的可解性的判別準則。這個伽羅瓦群的元素對應於根的特定置換。伽羅瓦的想法最初被同代人所拒絕,只在死後才出版。[6][7]更一般的置換群由奧古斯丁·路易·柯西專門研究。阿瑟·凱萊的「On the theory of groups, as depending on the symbolic equation θn = 1」(1854年)給出有限群的第一個抽象定義。[8]
幾何是第二個系統性的使用群,特別是對稱群的領域。這類群是菲利克斯·克萊因1872年的愛爾蘭根綱領的一部分。[9]在新型的幾何如雙曲幾何和射影幾何形成之後,克萊因利用群論以更連貫的方式來組織它們。索菲斯·李進一步發展了這些想法,在1884年創立了李群的研究。[10]
對群論有貢獻的第三個領域是數論。一些阿貝爾群結構在卡爾·弗里德里希·高斯的數論著作《算術研究》(1798年)中被隱含地用到,並被利奧波德·克羅內克更明顯地用到。[11] 1847年,恩斯特·庫默爾發展了描述用質數做因數分解的理想類群,使證明費馬大定理的早期嘗試達到了高潮。[12]
把上述各種來源融合成一個群的統一理論是從卡米爾·若爾當的「Traité des substitutions et des équations algébriques」 (1870年)開始的。[13] 瓦爾特·馮·迪克(1882年)給出了第一個抽象群的現代定義的陳述。[14]在二十世紀,群在費迪南德·格奧爾格·弗比尼斯和威廉·伯恩賽德的開拓性著作中獲得了廣泛的認識,他們研究有限群的表示理論,還有理察·布勞爾的模表示論和Issai Schur的論文。[15] 赫爾曼·外爾、埃利·嘉當和很多其他人推進了李群和更一般的局部緊群的理論。[16]它的代數對應者——代數群的理論,由克勞德·舍瓦萊(從1930年代晚期開始)和後來阿爾曼德·波萊爾和雅克·蒂茨的重要著作奠基。[17]
芝加哥大學於1960-61年舉辦的「群論年」活動促使群論家們以丹尼爾·戈倫斯坦,約翰·格里格斯·湯普森和瓦爾特·法伊特為基礎展開合作。在大量其他數學家的幫助下,他們完成了有限單純群的分類。這項工程,不論是從證明長度來說還是從參與人數來說,其浩大程度超越了之前一切的數學成果。簡化此證明的研究還在進行中。[18]群論在當下仍是一個活躍的數學分支,並仍在對其他分支產生重大影響。[a]
正式定義
編輯給定集合 ,且它配備的二元運算 滿足(其中運算結果 被簡記為 ):[19]
結合律 | 對所有 有 | |
左單位元素與左反元素 | 存在 ,對所有 有 | |
且存在 使得 |
的話,稱 是一個群。當其配備的二元運算 不是那麼重要時, 也常常簡記為 。
群運算的次序很重要,也就是說, (交換律)不一定成立。滿足交換律的群稱為交換群(或阿貝爾群,以尼爾斯·阿貝爾命名),不滿足交換律的群稱為非交換群(非阿貝爾群)。如以下面舉例一節的二面體群就不是交換群。
等價的定義
編輯上面關於單位元素和反元素的部分也可以改為:
右單位元素與右反元素 | 存在 ,對所有 有 | |
且存在 使得 |
因為不管原來的淡紫色定義,還是淡黃色的替代性定義,配上結合律都會等價於以下的定義:
單位元素與反元素 | 存在 ,對所有 有 | |
且存在 使得 |
以下是證明:
若二元運算 滿足結合律,且 對任意 有
「 」(left-1)
「存在某 使 」(left-2)
因為 是二元運算, 。所以根據(left-2),存在 滿足
這樣根據結合律和(left-1)與(left-2)有
所以左反元素必為右反元素,這樣根據結合律有
所以左單位元素必為右單位元素。
類似地,若二元運算 滿足結合律,且 對所有 有
「 」(right-1)
「存在某 ,使 」(right-2)
因為 ,所以根據(right-2)存在 滿足
所以根據結合律、(right-1)和(right-2)有
所以右反元素也為左反元素。這樣根據結合律有
所以右單位元素必為左單位元素。
再考慮到淡藍色是要求 同時為左右單位元素且存在左右反元素,這樣就證明以上三種定義在有結合律的前提下等價。
舉例
編輯整數加法群
編輯整數系 是由所有整數所組成:
- ..., −4, −3, −2, −1, 0, 1, 2, 3, 4, ...[20]
可以看出,整數系和整數的加法是可以構成群的:
- 對於任何兩個整數a和b,它們的和a + b也是整數,所以整數加法的確是個二元運算。
- 對於任何整數a, b和c,(a + b) + c = a +(b + c)。也就是說,先把a加到b,然後把它們的和加到c,所得到的結果與把a加到b與c的和是相等的。
- 如果a是任何整數,那麼0 + a = a + 0 = a。所以 0 是整數加法的單位元素,而且對所有a都存在另一個整數-a,使的a + (-a) = -a + a = 0。
實數乘法群
編輯實數集去除 0 即 R# 是在乘法 '*' 下的群。
- A1: 任何兩個 R# 的元素相乘產生 R# 的另一個元素。
- A2: (a*b)*c = a*(b*c)。
- A3: a*1 = a。因此 1 指示單位元素。
- A4: a -1*a = 1。因此 a -1 指示反元素。
二面體群
編輯以下是正方形的8個旋轉和翻轉:
id (保持原樣) |
r1 (向右旋轉90°) |
r2 (向右旋轉180°) |
r3(向右旋轉270°) |
fv (垂直翻轉) |
fh (水平翻轉) |
fd (對角翻轉) |
fc(反對角翻轉) |
注意顏色不同,「操作結果」才不同。數字只是去方便理解「操作過程」,數字有沒有顛倒不影響「操作結果」。 |
如果 和 是上述8個「操作」的其中一個,「操作的複合」 定義為先對正方形操作 之後再操作 。比如說,右旋270° ( ) 然後水平翻轉( ),等同於沿對角線的反射( ),這樣就可以表示為 。
下面的群表列出了這種「操作的複合」的所有可能結果。
先操作 | |||||||||
---|---|---|---|---|---|---|---|---|---|
id | r1 | r2 | r3 | fv | fh | fd | fc | ||
後操作 | id | id | r1 | r2 | r3 | fv | fh | fd | fc |
r1 | r1 | r2 | r3 | id | fc | fd | fv | fh | |
r2 | r2 | r3 | id | r1 | fh | fv | fc | fd | |
r3 | r3 | id | r1 | r2 | fd | fc | fh | fv | |
fv | fv | fd | fh | fc | id | r2 | r1 | r3 | |
fh | fh | fc | fv | fd | r2 | id | r3 | r1 | |
fd | fd | fh | fc | fv | r3 | r1 | id | r2 | |
fc | fc | fv | fd | fh | r1 | r3 | r2 | id |
如果取
那麼根據以上的群表, 的確是個二元運算,而且 為群(其中 符合單位元素的要求),它被稱為二面體群。注意到上表淡紫色的部分破壞了交換律,所以二面體群不是交換群。
基本性質
編輯單位元素的唯一性
編輯若群 同時有兩個單位元素 和 ,那根據定義裡對單位元素的定義,對於任意 有:
這樣的話,把 分別代換為 和 就有
所以
所以群的單位元素是唯一的,這樣根據函數符號與唯一性間的關係,可以添加新的三元函數符號 與以下的新公理(以下的合式公式 是 「 是 上的一個二元運算,且存在 的單位元素」的正式邏輯表述)
這條公理直觀上表示,只要「 是 上的一個二元運算,且存在 的單位元素」,就可以用 這個符號簡記 「 上的那個唯一單位元素」,否則取 為空集。
為了簡便起見, 通常記為 甚至是 。
反元素的唯一性
編輯在增添以上的新函數符號 和新公理的情況下,就可以證明反元素的唯一性。
若群 的某元素 有兩個反元素 和 ,那根據定義和 的新公理有
那這樣的話,依據定義裡的結合律和 的新公理有
所以任意 只有一個反元素。這樣根據函數符號與唯一性間的關係,可以添加一個三元函數符號 與以下的新公理(以下的合式公式 是 「 為一群,且 」的正式邏輯表述)
這條公理直觀上表示,只要「 為一群,且 」,就可以用 簡記 「 在 上對應的那個唯一反元素」,否則取 為空集。
簡便起見, 通常記為 。
群的冪
編輯若 為一群,可以仿造整數指數,對任意 作如下關於符號簡寫的遞迴定義
除法與減法
編輯如果群的運算可以跟直觀上的加法聯想在一起而改記為「 」或「 」,這時也會把 改記為 或 ,這時會暱稱 為減法。更有甚者, 會被記為 。
類似的,如果群的運算可以跟直觀上的乘法聯想在一起而改記為「 」或「 」,這時會把 改記為 或 ,並暱稱為除法;更有甚者, 會被記為 。
注意以上都是為了直觀理解方便所規定的簡寫,並不是斷定群的運算必然跟一般實數的加減乘除一模一樣。
基本概念
編輯要超越上述純粹符號操作水平去理解群,必須採用更加結構性的概念。[c]有一個概念性原理位於所有下列概念的底層:要發揮群提供的結構(而無結構的集合就沒有)的優勢,與群有關的構造必須與群運算兼容。下列概念中以各種方式表現了這種兼容性。例如,群可以通過叫做群同態的函數相互關聯。根據上述這個原理,要求它們以精確的意義照顧到群結構。群的結構還可以通過把它們分解成子群和商群來理解。「保持結構」的原理是在數學中反復出現的一個主題,它是靠范疇來工作的一個實例,在這裡的情況下靠群范疇。[21]
群同態
編輯群同態[g]是保持群結構的函數。兩個群之間的函數a: G → H是同態,如果等式
- a(g·k) = a(g)·a(k)
對於所有G中的元素g、k都成立,就是說在進行映射a之後還是之前進行群運算所得到的結果是一樣的。這個要求保證了a(eG) = eH,以及對於G中的所有g,都有a(g)−1 = a(g−1)。因此群同態保持了群公理提供的G的所有結構。[22]
兩個群G和H被稱為同構的,如果存在群同態a: G → H和b: H → G,使得先後(以兩種可能的次序中每個次序)應用兩個函數分別等於G和H的恆等函數。就是說,對於任何G中的g和H中h,有a(b(h)) = h和b(a(g)) = g。從抽象的觀點來看,同構的群攜帶了相同的資訊。例如,證明對於G的某個元素g有g·g = eG,等價於證明a(g)·a(g) = eH,因為應用a於第一個等式得到第二個,而應用b於第二個得到第一個。
子群
編輯非正式的說,子群是包含在更大的群G內的一個群H。[23]具體的說,G的單位元素包含在H中,並且只要h1和h2在H中,則h1· h2和h1−1也在其中,所以H的元素對於限制於H的G上的群運算確實形成了一個群。
在上面例子中,單位元素和旋轉構成了一個子群R = {id, r1, r2, r3},在上面的群表中突出為紅色:任何兩個復合的旋轉仍是一個旋轉,並且旋轉可以被相反方向上的旋轉(它的反元素)所抵消。我們可以通過以下方法檢定子集「H"是群G是子群 : 對於所有元素g, h ∈ H,只需檢查g−1h ∈ H。了解子群族對於作為一個整體來理解群是重要的。[d]
給定群G的任何子集S,由S所生成的子群是由S的元素和它們的反元素的乘積組成。它是包含S的G的最小子群。[24]在上面介紹例子中,r2和fv所生成的子群由這兩個元素本身、單位元素id和fh = fv·r2構成。這還是個群,因為結合這四個元素或它們的反元素(在這個特殊情況下,是這些相同的元素)中任何兩個仍得到這個子群中的元素。
循環群
編輯設 為一個群,若 裡面存在元素 ,使
則稱 為一個循環群。
陪集
編輯在很多情況下,需要認為兩個群元素是等同的,如果它們只差一個給定子群中的元素。例如,在上述D4中,一旦進行了翻轉,只進行旋轉運算(不再進行翻轉)正方形就永遠不能回到r2的構型,就是說旋轉運算對於是否已經進行了翻轉的問題是無關緊要的。陪集可用來把這種現象形式化:子群H定義了左陪集和右陪集,它們可以認為是把H平移了一個任意群元素g。用符號表示,H的包含g的左和右陪集分別是
- gH = {gh, }和Hg = {hg, }。[25]
任何子群H的陪集形成了G的一個劃分;就是說所有左陪集的聯集與G相等,而且兩個陪集要麼相等,要麼有空的交集。[26]第一種情況g1H = g2H出現若且唯若g1−1g2 ∈ H,就是說如果這兩個元素差異了H的一個元素。類似的考慮也適用於H的右陪集。H的左和右陪集可以相等也可以不相等。如果它們相等,就是說對於所有G中的g有gH = Hg,則H被稱為正規子群。
在前面介紹的對稱群D4中,由旋轉構成的子群R的左陪集gR要麼等於R,如果g是R自身的一個元素;要麼等於U = fvR = {fv, fd, fh, fc}(用綠色突出)。子群R還是正規的,因為fvR = U = Rfv且對於任何fv以外的元素也是類似的。
商群
編輯有時在由陪集形成的集合上可以賦予一個滿足群公理的運算而使之成為商群或因子群。這僅在子群是正規的時候才可行。給定任何正規子群N,商群定義為
- G / N = {gN, },「 模 」[27]
這個集合從最初的群G 繼承了一個群運算(有時叫做陪集乘法或陪集加法):對於所有G 中的g 和h,(gN)· (hN) =(gh)N。這個定義是由關聯任何元素g到它的陪集 gN 的映射G → G / N是群同態的想法(自身是上面提出的一般結構性考慮的一個實例)所激發的,或者是叫做泛性質的一般抽象考慮。陪集eN = N充當了這個群的單位元素,在商群中gN 的反元素是(gN)−1 =(g−1)N。[e]
· | R | U |
---|---|---|
R | R | U |
U | U | R |
商群D4 / R的群表。 |
商群D4 / R的元素是代表單位元素的R 自身和U = fvR。商群上的群運算如右側所示。例如,U·U = fvR·fvR =(fv·fv)R = R。子群R = {id, r1, r2, r3}和對應的商群都是阿貝爾群,而D4不是阿貝爾群。通過較小的群構造較大的群,例如從子群R 和商群D4 / R構造D4,被抽象為叫做半直積的概念。
商群和子群一起形成了用它的展示描述所有群的一種方法:任何群都是這個群的生成元上的自由群模以「關係」子群得到的商群。例如,二面體群D4可以由兩個元素 r 和 f 生成(比如r = r1右旋,和 f = fv 垂直)或任何其他)翻轉),這意味著正方形的所有對稱都是這兩個對稱或它們的反元素的有限復合。與關係在一起
- r 4 = f 2 = (rf )2 = 1,[28]
這個群就完全描述出來了。群的展示還可以被用來構造凱萊圖,它是一種利用圖形來輔助理解離散群的工具。
子群和商群以下列方式相互關聯:G 的子集H 可以被看作單射H → G,就是說任何目標元素都有最多一個映射到它的元素。單射的對立是滿射(所有目標的元素都被映射到了),比如規范映射G → G / N。[y]通過這些同態理解子群和商群強調了這些定義中內在的結構性概念。一般的說,同態既不是單射也不是滿射。群同態的核與像和第一同構定理研究這個現象。
共軛
編輯如果同一個群中的兩個元素p 和q 滿足關係:p = x−1qx,其中x 也是同一個群中的元素,則稱元素p 和q 共軛。共軛關係是一個等價關係,即它滿足三個性質:共軛是自反的、對稱的和遞移的。
在群中可以找到一個集合,這個集合中每一個元素都相互共軛,而在這個集合以外群的其他部分已經沒有任何元素與他們具有共軛關係了。稱這種集合為群中的一個共軛類。同一個群的兩個類之間一定沒有共同的元素。群中一個元素一定屬於且僅屬於一個類。如果群中沒有元素與該元素共軛,則該元素自成一類。
階
編輯群中元素個數稱為群G的階,記為|G|[29]
子群的階能整除這個群的階[30]
應用
編輯群的例子和應用大量存在。起點是上面介紹過的整數的群 Z 帶有加法作為群運算。如果把加法替代為乘法,就得到了乘法群。這些群是抽象代數中重要概念的前身。
群應用於很多數學領域中。數學物件的性質經常是通過將群關聯與數學物件關聯,並研究相應的群的性質來研究的。例如,儒勒·昂利·龐加萊通過引入基本群創立了現在所謂的代數拓撲。[31]通過這種連接方式,拓撲性質比如臨近和連續轉換成了群的性質。[i]例如,右側的圖像描繪了平面減去一個點的基本群的元素。這個群的元素給出為在這個區域內的環路。藍色環路被認為是零同倫(因此是無關緊要的),因為它可以收縮為一個點。圓孔的存在防止了橙色環路被收縮。橙色環路(或任何環繞這個圓孔一次的其他環路)所生成的,去掉了一個點的平面的基本群是無限循環群。基本群以這種方式探測到了這個圓孔。
在更新近的應用中,影響已經被倒轉過來,由群論背景來激發幾何結構了。[j]在類似的脈絡下,幾何群論採用了幾何概念,比如在雙曲群的研究中。[32]其他一些大量應用群論的數學分支包括代數幾何和數論。例如,古典群和皮卡德群在代數幾何上有重要應用;參見[33]
除了上述理論應用之外,還存在很多群的實踐應用。密碼學依賴於抽象群論方式和從計算群論中特別是實現於有限群上的時候所得到的算法知識的結合。[34]群論的應用不限於數學;科學如物理、化學和計算機科學都受益於這個概念。
數
編輯很多數系統,比如整數和有理數享有自然給予的群結構。在某些情況下比如對於有理數,加法和乘法運算二者都引發群結構。這種系統是叫做環和體的更一般的代數結構的前身。
整數
編輯整數Z在加法下的群記為(Z, +),它在上面已經描述了。整數帶有用乘法替代加法的運算,(Z, ·)不形成群。閉合、結合律和單位元素公理滿足,但反元素不存在:例如,a = 2是整數,但方程式a·b = 1的唯一解在這種情況下是b = 1/2,它是有理數而非整數。因此不是所有Z的元素都有(乘法)反元素。[k]
有理數
編輯對乘法反元素存在的要求建議了考慮分式
- 。
整數的分式(要求b非零)叫做有理數。[l]所有這種分數的集合通常記為Q。對於有理數帶有乘法(Q,·),成為群仍有一個小障礙:因為有理數0沒有乘法反元素(就是說沒有x使得x·0 = 1),(Q, ·)仍然不是群。
但是,所有非零有理數的集合Q\{0} = {q ∈ Q, q ≠ 0}形成一個在乘法下的阿貝爾群,記為(Q\{0},·)。[m]結合律和單位元素公理從整數的性質中得出。閉合要求在去掉零之後仍成立,因為任何兩個非零有理數的乘積永遠不是零。最後,a/b的反元素是b/a,所以反元素公理也滿足。
有理數(包括0)在加法下也形成群。同時帶有加法和乘法運算產生更復雜的結構叫做環—如果同時除法總是可能的話(如在Q中)就是域,它在抽象代數中占據中心位置。群論理論因此位於這些實體的理論的底層部分。[n]
非零整數模以質數
編輯對於任何質數p,模算術提供了整數模以p的乘法群。[35]群的元素是不能被p整除的整數模p的同餘類,就是說兩個數被認為是等價的如果它們的差被p整除。例如,如果p = 5,則精確地有四個群元素1, 2, 3, 4:排除了5的倍數而6和−4都等價於1。群運算給出為乘法。因此4·4 = 1,因為通常意義下的乘積16等價於1,而5整除16 − 1 = 15。以上事實記為
- 16 ≡ 1(mod 5)。
p的首要作用是確保了兩個都不被p整除的整數的乘積也不被p整除,因此指示的同餘類的集合在乘法下閉合。[o]單位元素如平常的乘法群一樣是1,而結合律可以從整數的相應性質得出。最後,反元素公理要求給定不整除於p的整數a,存在一個整數b使得
- a · b ≡ 1(mod p),就是說p整除a·b − 1的差。
反元素b可以使用貝祖等式和最大公約數gcd(a, p)等於1的事實找到。[36]在上述p = 5的情況下,4的反元素是4,3的反元素是2,因為3·2 = 6 ≡ 1 (mod 5)。所有的群公理都滿足。實際上,這個例子類似於上述(Q\{0},·),因為它是在有限體Fp中非零元素的乘法群,記為Fp×。[37]這些群對於公開密鑰加密是至關重要的。[p]
循環群
編輯循環群是其所有元素都是特定元素a的冪的群(在群運算被寫為加法的時候使用術語倍數)。[38]在乘法符號下,群的元素是:
- ..., a−3, a−2, a−1, a0 = e, a, a2, a3, ...,
這裡的a2意味著a·a,而a−3表示a−1·a−1·a−1=(a·a·a)−1等等。[h]這個元素a叫做這個群的生成元或本原元。
這類群的典型例子是單位一的n次複數根,由滿足zn = 1的複數z給出,其運算為乘法。[39]任何有n個元素的循環群同構於這個群。使用某些體論,群Fp×可以被證明為是循環群:對於p = 5, 3是生成元因為31 = 3, 32 = 9 ≡ 4, 33 ≡ 2,而34 ≡ 1。無限循環群同構於(Z, +),它是前面介紹的整數在加法下的群。[40]因為這兩個原型都是阿貝爾群,所以任何循環群都是。
阿貝爾群包括有限生成阿貝爾群的基本定理的研究是非常成熟的;對這個事態的反映是很多有關群論的概念,比如中心和交換子,描述了一個給定群不是阿貝爾群的程度。[41]
對稱群
編輯對稱群是由給定數學對象的對稱組成的群,對稱源於它們的幾何本性(比如前面介紹的正方形的對稱群)或源於代數本性(比如多項式方程式和它們的解)。[42]概念上說,群論可以被認為是對稱性的研究。[t] 數學中的對稱性極大的簡化了幾何或分析對象的研究。群被稱為作用於另一個數學對象X上,如果所有群元素進行某個在X上的運算兼容於群定律。在下面最右側例子中,7階的(2,3,7)三角群的一個元素通過置換突出的彎曲的三角形作用在鑲嵌上(其他的元素也是)。通過群作用,群模式被連接到了所作用到的對象的結構上。
在化學領域中,比如晶體學、空間群和點群描述分子對稱性和晶體對稱性。這些對稱性位於這些系統的化學和物理表現的底層,而群論使簡化對這些性質的量子力學分析成為可能。[43]例如,群論被用來證實在特定量子級別間不出現光學躍遷簡單的因為涉及到了狀態的對稱性。
群不只對評定在分子中蘊含的對稱性有用,而且令人驚奇的它們還可以預測出分子的對稱性有時候可以改變。姜-泰勒效應是高對稱的分子的變形,此時,在通過分子的對稱運算相互關聯的一組可能基態中,該分子將採納一個特定的低對稱的基態。[44][45]
同樣的,群論還可以幫助預測在物質經歷相變的時候出現的物理性質的變更,比如晶體形式從立方體變為四面體。一個例子是鐵電物質,這裡從順電到鐵電狀態的變更出現在居里溫度時,與從高對稱順電狀態到低對稱鐵電狀態的變更有關,並伴隨著所謂的軟聲子模式,它是在變化時轉到零頻率的振動晶格模式。[46]
這種自發對稱性破缺在基本粒子物理中找到了進一步應用,這裡它的出現與戈德斯通玻色子的出現有關。
富勒烯展現了二十面體對稱。 | 氨NH3。它的對稱群是6階的,用120°旋轉和反射生成的。 | 立方烷C8H8刻畫了八面體對稱。 | 六水合銅(II)配合物[Cu(OH2)6]2+。相較於完美的對稱形狀,分子垂直膨脹大約22%(姜-泰勒效應)。 | (2,3,7)三角群是雙曲群,它作用在這個雙曲面的鑲嵌上。 |
有限對稱群比如馬蒂厄群被用於編碼理論中,它又用於傳輸數據的糾錯和CD播放器中。[47]另一個應用是微分伽羅瓦理論,它刻畫有已知形式的不定積分的函數,給出何時特定微分方程式的解有良好表現的群論判定標準。[u]在群作用下保持穩定的幾何性質在幾何不變量理論中研究。[48]
一般線性群和表示理論
編輯矩陣群由矩陣加上矩陣乘法一起構成。一般線性群GL(n, R)由所有可逆的n乘n的帶有實數元素的矩陣構成。[49]它的子群被稱為矩陣群或線性群。上面提及的二面體群例子可以被看作(非常小的)矩陣群。另一個重要矩陣群是特殊正交群SO(n)。它描述了n維的所有可能旋轉。通過歐拉角,旋轉矩陣被用於計算機圖形學中。[50]
表示理論是對群概念的應用並且對深入理解群是很重要的。[51][52]它通過群作用於其他空間來研究群。一類廣泛的群表示是線性表示,就是說群作用在線性空間中,比如三維歐幾里得空間R3。G在n-維實向量空間上的表示簡單的是從群到一般線性群的群同態
- ρ: G → GL(n, R)。
以這種方式,抽象給出的群運算被轉換成用明確的計算可觸及到的矩陣乘法。[w]
給定一個群作用,這給出了研究所作用的對象的進一步方法。[x]在另一方面,它還產生了關於群的資訊。群表示是在有限群、李群、代數群和拓撲群特別是(局部)緊群理論中的起組織作用的原則。[51][53]
伽羅瓦群
編輯伽羅瓦群是通過對求解多項式方程式的過程中涉及到的對稱性的研究而被發展起來的。[54][55]例如,二次方程式ax2 + bx + c = 0的解給出為
- 。
對換表達式中的"+"和"−",也就是置換方程式的兩個解可以被看作(非常簡單的)群運算。類似的公式對於三次方程式和四次方程式也有,但是對於五次方程式和更高次的方程式就不普遍性的存在。[56]與多項式相關聯的伽羅瓦群的抽象性質(特別是它們的可解性)給出了那些多項式的所有解都可用根式表達的判定標準,就是說這些解可以類似上面公式那樣只使用加法、乘法和方根來表達。[57]
這個問題可以使用體論來處理:考慮一個多項式的分裂體就把問題轉移到了體論的領域中了。現代伽羅瓦理論把上述類型的伽羅瓦群推廣到了體擴張,並通過伽羅瓦理論基本定理建立了在體和群之間的嚴格關聯,再次凸顯了群在數學中無所不在。
有限群
編輯一個群被稱為有限群,如果它有有限個元素。元素的數目叫做群G的階。[58]一類重要的有限群是n次對稱群SN,它是N個字母的置換的群。例如,在3個字母上的n次對稱群S3是由三個字母ABC的所有可能置換構成的群,就是說它包含元素ABC, ACB, ...,直到CBA,總共有6(或3的階乘)個元素。這類群是基礎性的,因為任何有限群都可以表達為n次對稱群SN在適合的整數N下的子群(凱萊定理)。相似於上述正方形的對稱的群,S3還可以解釋為等邊三角形的對稱的群。
在群G中的一個元素a的階是最小的使得an = e的正整數n,這裡的 an表示 ,就是應用運算·於a的n個復本上。(如果·代表乘法則an對應於a的n次冪)。在無限群中,這個n可能不存在,在這種情況下a的階被稱為無限的。一個元素的階等於這個元素生成的循環子群的階。
更復雜的計數技術例如計數陪集,產生關於有限群的更精確陳述:拉格朗日定理聲稱有限群G的任何有限子群H的階整除G的階。西羅定理證明了它的部分逆命題。
上面討論的二面體群是8階有限群。r1的階為4,這是它生成的子群R(見上)的階。反射元素fv等的階是2。如拉格朗日定理所述這兩個階都整除8。上面的群Fp×有階p − 1。
有限單純群分類
編輯數學家們常常為尋求一種數學物件的完備的分類(或列表)而努力。並且這種分類是十分有用的: 如果有限群有一個完備的列表, 假設我們需要證明定理P時, 如果可以一步一步證明定理對列表中給出的群成立, 那我們即可證明定理P在有限群的領域內成立。這個目標迅速引出了一系列困難而意義深遠的數學問題。
根據拉格朗日定理,p階有限群(p為質數)必定是循環(阿貝爾群)群Zp。
p2階群也被證明是阿貝爾群。但這一命題並不能推廣到p3階群,如上面的非阿貝爾群——8階二面體群D4所示,其中8 = 23。[59]可以利用計算機代數系統來給較小的群列表,但沒有對一切有限群的分類。[q] 一個中間步驟是有限單純群分類。[r]如果一個非平凡群僅有的正規子群是平凡群和它自身,那麼這個群叫做一個單純群或簡單純群。[s]合成列說明單純群可以作為建構有限群的「磚塊」。[60] 有限單純群分類是當代群論的一個主要成就。1998年的菲爾茲獎得主理察·博赫茲成功地證明了怪獸月光理論。該猜想指出了有限單純群中分類中的最大的散在群——「怪獸群」與一種來自經典複分析和弦理論(一種被認為統一了對許多物理學現象的描述的理論)的物件模函數之間的驚人而深刻的聯繫。[61]
帶有額外結構的群
編輯很多群同時是群和其他數學結構的例子。用范疇論的語言來說,它們是在范疇中的「群」物件,這意味著它們是帶著模仿群公理的(叫做態射的)變換的對象(可以是其他代數/數學結構)。例如,所有群(如上面定義的)也是一個集合,所以群是在集合范疇中的群物件。
拓撲群
編輯某些拓撲空間可以配備上群結構。為了讓群公理與拓撲交織良好,群運算必須是連續函數,就是說如果g和h只變化很小,那麼g·h,和g−1必須變化不大。這種群叫做拓撲群,並且它們是在拓撲空間范疇內的群對象。[62]最基本的例子是實數R在加法之下(R\{0},·),任何其他拓撲體比如複數或p進數也是類似。所有這些群都是局部緊拓撲群,所以它們有哈爾測度並可以通過調和分析來研究。前者提供了不變積分的抽象形式化。以實數情況為例,不變性意味著有:
對於任何常數c成立。在這些體上的矩陣群也屬於這種結構下,賦值向量環和賦值向量代數群也是如此,它們對數論是基礎性的。[63]無限體擴張的伽羅瓦群比如絕對伽羅瓦群也可以配備上拓撲,叫做Krull拓撲,它又是推廣上面概述的體和群的連接到無限體擴張的中心概念。[64]適應代數幾何需要的這個想法的高級推廣是étale基本群。[65]
李群
編輯李群(為紀念索菲斯·李而命名)是具有流形結構的群,就是說它們是局部上看起來像某個適當維度的歐幾里得空間的空間。[66]這裡,作為額外結構的流形結構也必須是兼容的,就是說對應於乘法和求逆的映射必須是光滑的。
標準例子是上面介紹的一般線性群:它是所有 矩陣的空間的開子集,因為它由不等式
- det (A) ≠ 0,
給出。這裡的A指示 矩陣。[67]
李群在物理中是基礎性的:諾特定理把連續對稱與守恆定律關聯起來。[68]在空間和時間中旋轉和平移不變性是力學定律的基本對稱。它們可以被用來構造簡單的模型——比如在一種狀況下實施軸對稱常常會導致在解用來提供物理描述的方程式上的重大簡化。[v]另一個例子是勞侖茲變換,它有關於兩個相互運動的觀察者的時間和速度的測量。它們可以用純群論方式推演,通過把變換表達為閔可夫斯基時空的旋轉對稱。在忽略萬有引力的情況下,後者充當了狹義相對論的時空模型。[69]閔可夫斯基時空的完全對稱群,就是說包括了平移,叫做龐加萊群。通過上述聯繫,它在狹義相對論中扮演了關鍵角色,並隱含地用於量子場論。[70] 隨位置變化的對稱與規范場論一起構成現代物理對相互作用的描述的中心。[71]
推廣
編輯類似群的結構 | ||||
完全性 | 結合律 | 單位元素 | 除法 | |
---|---|---|---|---|
群 | 是 | 是 | 是 | 是 |
么半群 | 是 | 是 | 是 | 否 |
半群 | 是 | 是 | 否 | 否 |
環群 | 是 | 否 | 是 | 是 |
擬群 | 是 | 否 | 否 | 是 |
原群 | 是 | 否 | 否 | 否 |
廣群 | 否 | 是 | 是 | 是 |
範疇 | 否 | 是 | 是 | 否 |
在抽象代數中,通過放鬆定義群的某個公理可定義出更多的一般結構。[21][72][73]例如,如果省略所有元素都反元素的要求,結果的代數結構就叫做么半群。自然數集N(包括0)在加法下形成了么半群,還有非零整數在乘法下(Z\{0},·)也是。有一種一般方法用來向任何(阿貝爾的)么半群正式的增加元素的反元素,非常類似於從(Z\{0},·)得出(Q\{0},·)的方式,這叫做格羅滕迪克群。廣群非常類似於群,除了復合a · b不必須在所有的a和b上有定義之外。它們由更加復雜形式的對稱的研究所引發,常見於拓撲和分析結構比如基本廣群中。表格給出一些推廣群的結構。
參見
編輯注釋
編輯引文
編輯- ^ Herstein 1975, §2, p. 26
- ^ Hall 1967, §1.1, p. 1:「群的想法遍布在包括純數學和應用數學二者的整個數學中。」
- ^ Wussing 2007
- ^ Kleiner 1986
- ^ Smith 1906
- ^ Galois 1908
- ^ Kleiner 1986, p. 202
- ^ Cayley 1889
- ^ Wussing 2007, §III.2
- ^ Lie 1973
- ^ Kleiner 1986, p. 204
- ^ Wussing 2007, §I.3.4
- ^ Jordan 1870
- ^ von Dyck 1882
- ^ Curtis 2003
- ^ Mackey 1976
- ^ Borel 2001
- ^ Aschbacher 2004
- ^ Herstein 1975, §2.1, p. 27
- ^ Lang 2005, App. 2, p. 360
- ^ 21.0 21.1 Mac Lane 1998
- ^ Lang 2005, §II.3, p. 34
- ^ Lang 2005, §II.1, p. 19
- ^ Ledermann 1973, §II.12, p. 39
- ^ Lang 2005, §II.4, p. 41
- ^ Lang 2002, §I.2, p. 12
- ^ Lang 2005, §II.4, p. 45
- ^ Lang 2002, §I.2, p. 9
- ^ 韓士安,林磊. 近世代数(第二版). 北京: 科學出版社. 2009: 8. ISBN 9787030250612.
- ^ [美] 約翰·德比希爾. 代数的历史:人类对未知量的不舍追踪(修订版). 人民郵電出版社. ISBN 9787115225375 (簡體中文).
關於群結構的第一個偉大定理是拉格朗日定理:子群的階整除這個群的階。整除的商被稱為這個子群的指數。根據拉格朗日定理,分數指數不會出現。我們可以在 6 階群中找到階為 2 或 3(指數分別為 3 或 2)的子群,但是我們永遠不可能在其中找到階為 4 或 5 的子群,因為 6 不能被 4 或 5 整除。
- ^ Hatcher 2002, Chapter I, p. 30
- ^ Coornaert, Delzant & Papadopoulos 1990
- ^ Neukirch 1999,特別是§§I.12和I.13
- ^ Seress 1997
- ^ Lang 2005, Chapter VII
- ^ Rosen 2000, p. 54 (Theorem 2.1)
- ^ Lang 2005, §VIII.1, p. 292
- ^ Lang 2005, §II.1, p. 22
- ^ Lang 2005, §II.2, p. 26
- ^ Lang 2005, §II.1, p. 22 (example 11)
- ^ Lang 2002, §I.5, p. 26, 29
- ^ Weyl 1952
- ^ Conway, Delgado Friedrichs & Huson et al. 2001.另見Bishop 1993
- ^ Bersuker, Isaac, The Jahn-Teller Effect, Cambridge University Press: 2, 2006, ISBN 0521822122
- ^ Jahn & Teller 1937
- ^ Dove, Martin T, Structure and Dynamics: an atomic view of materials, Oxford University Press: 265, 2003, ISBN 0198506783
- ^ Welsh 1989
- ^ Mumford, Fogarty & Kirwan 1994
- ^ Lay 2003
- ^ Kuipers 1999
- ^ 51.0 51.1 Fulton & Harris 1991
- ^ Serre 1977
- ^ Rudin 1990
- ^ Robinson 1996, p. viii
- ^ Artin 1998
- ^ Lang 2002, Chapter VI (see in particular p. 273 for concrete examples)
- ^ Lang 2002, p. 292 (Theorem VI.7.2)
- ^ Kurzweil & Stellmacher 2004
- ^ Artin 1991, Theorem 6.1.14.另見Lang 2002, p. 77,其中包含類似結果。
- ^ Lang 2002, §I. 3, p. 22
- ^ Ronan 2007
- ^ Husain 1966
- ^ Neukirch 1999
- ^ Shatz 1972
- ^ Milne 1980
- ^ Warner 1983
- ^ Borel 1991
- ^ Goldstein 1980
- ^ Weinberg 1972
- ^ Naber 2003
- ^ Becchi 1997
- ^ Denecke & Wismath 2002
- ^ Romanowska & Smith 2002
引用
編輯一般引用
編輯- Artin, Michael, Algebra, Prentice Hall, 1991, ISBN 978-0-89871-510-1, Chapter 2 contains an undergraduate-level exposition of the notions covered in this article.
- Devlin, Keith, The Language of Mathematics: Making the Invisible Visible, Owl Books, 2000, ISBN 978-0-8050-7254-9, Chapter 5 provides a layman-accessible explanation of groups.
- Dummit, David S.; Foote, Richard M., Abstract algebra 3rd, New York: Wiley, 2004, ISBN 978-0-471-43334-7, MR2286236.
- Fulton, William; Harris, Joe, Representation theory. A first course, Graduate Texts in Mathematics, Readings in Mathematics 129, New York: Springer-Verlag, 1991, ISBN 978-0-387-97495-8, MR1153249, ISBN 978-0-387-97527-6
- Hall, G. G., Applied group theory, American Elsevier Publishing Co., Inc., New York, 1967, MR0219593, an elementary introduction.
- Herstein, Israel Nathan, Abstract algebra 3rd, Upper Saddle River, NJ: Prentice Hall Inc., 1996, ISBN 978-0-13-374562-7, MR1375019.
- Herstein, Israel Nathan, Topics in algebra 2nd, Lexington, Mass.: Xerox College Publishing, 1975, MR0356988.
- Lang, Serge, Algebra, Graduate Texts in Mathematics 211, Berlin, New York, 2002, ISBN 978-0-387-95385-4, MR1878556.
- Lang, Serge, Undergraduate Algebra 3rd, Berlin, New York: Springer-Verlag, 2005, ISBN 978-0-387-22025-3.
- Ledermann, Walter, Introduction to the theory of finite groups, Oliver and Boyd, Edinburgh and London, 1953, MR0054593.
- Ledermann, Walter, Introduction to group theory, New York: Barnes and Noble, 1973, OCLC 795613.
- Robinson, Derek John Scott, A course in the theory of groups, Berlin, New York: Springer-Verlag, 1996, ISBN 978-0-387-94461-6.
- 《代數學引論》第二版ISBN 7-04-008893-2聶靈沼、丁石孫著,高等教育出版社出版
專門引用
編輯- Artin, Emil, Galois Theory, New York: Dover Publications, 1998, ISBN 978-0-486-62342-9.
- Aschbacher, Michael, The Status of the Classification of the Finite Simple Groups (PDF), Notices of the American Mathematical Society, 2004, 51 (7): 736–740 [2008-09-13], ISSN 0002-9920, (原始內容存檔 (PDF)於2011-06-05).
- Becchi, C., Introduction to Gauge Theories, 1997 [2008-05-15], (原始內容存檔於2016-10-07).
- Besche, Hans Ulrich; Eick, Bettina; O'Brien, E. A., The groups of order at most 2000, Electronic Research Announcements of the American Mathematical Society, 2001, 7: 1–4 [2008-09-13], doi:10.1090/S1079-6762-01-00087-7, MR1826989, (原始內容存檔於2008-10-08).
- Bishop, David H. L., Group theory and chemistry, New York: Dover Publications, 1993, ISBN 978-0-486-67355-4.
- Borel, Armand, Linear algebraic groups, Graduate Texts in Mathematics 126 2nd, Berlin, New York: Springer-Verlag, 1991, ISBN 978-0-387-97370-8, MR1102012.
- Carter, Roger W., Simple groups of Lie type, New York: John Wiley & Sons, 1989, ISBN 978-0-471-50683-6.
- Conway, John Horton; Delgado Friedrichs, Olaf; Huson, Daniel H.; Thurston, William P., On three-dimensional space groups, Beiträge zur Algebra und Geometrie, 2001, 42 (2): 475–507 [2008-09-13], ISSN 0138-4821, MR1865535, (原始內容存檔於2020-06-01).
- (法文) Coornaert, M.; Delzant, T.; Papadopoulos, A., Géométrie et théorie des groupes [Geometry and Group Theory], Lecture Notes in Mathematics 1441, Berlin, New York: Springer-Verlag, 1990, ISBN 978-3-540-52977-4, MR1075994.
- Denecke, Klaus; Wismath, Shelly L., Universal algebra and applications in theoretical computer science, London: CRC Press, 2002, ISBN 978-1-58488-254-1.
- Fröhlich, Albrecht, Formal groups, Lecture notes in mathematics 74, Berlin, New York: Springer-Verlag, 1968.
- (德文) Frucht, R., Herstellung von Graphen mit vorgegebener abstrakter Gruppe [Construction of Graphs with Prescribed Group], Compositio Mathematica, 1939, 6: 239–50, ISSN 0010-437X, (原始內容存檔於2008-12-01).
- Goldstein, Herbert, Classical Mechanics 2nd, Reading, MA: Addison-Wesley Publishing: 588–596, 1980, ISBN 0-201-02918-9.
- Hatcher, Allen, Algebraic topology, Cambridge University Press, 2002 [2008-09-13], ISBN 978-0-521-79540-1, (原始內容存檔於2018-05-19).
- Husain, Taqdir, Introduction to Topological Groups, Philadelphia: W.B. Saunders Company, 1966, ISBN 978-0-89874-193-3
- Jahn, H.; Teller, E., Stability of Polyatomic Molecules in Degenerate Electronic States. I. Orbital Degeneracy, Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences (1934-1990), 1937, 161 (905): 220–235, doi:10.1098/rspa.1937.0142.
- Kassel, Christian, Quantum Groups, Springer, 1994, ISBN 978-0387943701.
- Kuipers, Jack B., Quaternions and rotation sequences - A primer with applications to orbits, aerospace, and virtual reality, Princeton University Press, 1999, ISBN 978-0-691-05872-6, MR1670862.
- Kuga, Michio, Galois' dream: group theory and differential equations, Boston, MA: Birkhäuser Boston, 1993, ISBN 978-0-8176-3688-3, MR1199112.
- Kurzweil, Hans; Stellmacher, Bernd, The theory of finite groups, Universitext, Berlin, New York: Springer-Verlag, 2004, ISBN 978-0-387-40510-0, MR2014408.
- Lay, David, Linear Algebra and Its Applications, Addison-Wesley, 2003, ISBN 978-0-201-70970-4.
- Mac Lane, Saunders, Categories for the Working Mathematician 2nd, Berlin, New York: Springer-Verlag, 1998, ISBN 978-0-387-98403-2.
- Michler, Gerhard, Theory of finite simple groups, Cambridge University Press, 2006, ISBN 978-0-521-86625-5.
- Milne, James S., Étale cohomology, Princeton University Press, 1980, ISBN 978-0-691-08238-7
- Mumford, David; Fogarty, J.; Kirwan, F., Geometric invariant theory 34 3rd, Berlin, New York: Springer-Verlag, 1994, ISBN 978-3-540-56963-3, MR1304906.
- Naber, Gregory L., The geometry of Minkowski spacetime, New York: Dover Publications, 2003, ISBN 978-0-486-43235-9, MR2044239.
- Neukirch, Jürgen, Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften 322, Berlin: Springer-Verlag, 1999, ISBN 978-3-540-65399-8, MR1697859
- Romanowska, A.B.; Smith, J.D.H., Modes, World Scientific, 2002, ISBN 9789810249427.
- Ronan, Mark, Symmetry and the Monster: The Story of One of the Greatest Quests of Mathematics, Oxford University Press, 2007, ISBN 978-0-19-280723-6.
- Rosen, Kenneth H., Elementary number theory and its applications 4th, Addison-Wesley, 2000, ISBN 978-0-201-87073-2, MR1739433.
- Rudin, Walter, Fourier Analysis on Groups, Wiley Classics, Wiley-Blackwell, 1990, ISBN 047152364X.
- Seress, Ákos, An introduction to computational group theory, Notices of the American Mathematical Society, 1997, 44 (6): 671–679, ISSN 0002-9920, MR1452069, (原始內容存檔於2007-02-08).
- Serre, Jean-Pierre, Linear representations of finite groups, Berlin, New York: Springer-Verlag, 1977, ISBN 978-0-387-90190-9, MR0450380.
- Shatz, Stephen S., Profinite groups, arithmetic, and geometry, Princeton University Press, 1972, ISBN 978-0-691-08017-8, MR0347778
- Suzuki, Michio, On the lattice of subgroups of finite groups, Transactions of the American Mathematical Society, 1951, 70 (2): 345–371, doi:10.2307/1990375.
- Warner, Frank, Foundations of Differentiable Manifolds and Lie Groups, Berlin, New York: Springer-Verlag, 1983, ISBN 978-0-387-90894-6.
- Weinberg, Steven, Gravitation and Cosmology, New York: John Wiley & Sons, 1972, ISBN 0-471-92567-5.
- Welsh, Dominic, Codes and cryptography, Oxford: Clarendon Press, 1989, ISBN 978-0-19-853287-3.
- Weyl, Hermann, Symmetry, Princeton University Press, 1952, ISBN 978-0-691-02374-8.
歷史引用
編輯- Borel, Armand, Essays in the History of Lie Groups and Algebraic Groups, Providence, R.I.: American Mathematical Society, 2001, ISBN 978-0-8218-0288-5
- Cayley, Arthur, The collected mathematical papers of Arthur Cayley, II (1851 - 1860), Cambridge University Press, 1889.
- Curtis, Charles W., Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer, History of Mathematics, Providence, R.I.: American Mathematical Society, 2003, ISBN 978-0-8218-2677-5.
- (德文) von Dyck, Walther, Gruppentheoretische Studien Group-theoretical Studies (subscription required), Mathematische Annalen, 1882, 20 (1): 1–44, ISSN 0025-5831, doi:10.1007/BF01443322[永久失效連結].
- (法文) Galois, Évariste, Tannery, Jules , 編, Manuscrits de Évariste Galois [Évariste Galois' Manuscripts], Paris: Gauthier-Villars, 1908 [2008-09-13], (原始內容存檔於2011-05-21) (Galois work was first published by Joseph Liouville in 1843).
- (法文) Jordan, Camille, Traité des substitutions et des équations algébriques [Study of Substitutions and Algebraic Equations], Paris: Gauthier-Villars, 1870.
- Kleiner, Israel, The evolution of group theory: a brief survey (subscription required), Mathematics Magazine, 1986, 59 (4): 195–215, ISSN 0025-570X, MR863090.
- (德文) Lie, Sophus, Gesammelte Abhandlungen. Band 1 [Collected papers. Volume 1], New York: Johnson Reprint Corp., 1973, MR0392459.
- Mackey, George Whitelaw, The theory of unitary group representations, University of Chicago Press, 1976, MR0396826
- Smith, David Eugene, History of Modern Mathematics, Mathematical Monographs, No. 1, 1906 [2008-09-13], (原始內容存檔於2008-09-19).
- Wussing, Hans, The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory, New York: Dover Publications, 2007, ISBN 978-0-486-45868-7.
外部連結
編輯- 埃里克·韋斯坦因. Group. MathWorld.
- Group (頁面存檔備份,存於網際網路檔案館) at PlanetMath.
- The development of group theory (頁面存檔備份,存於網際網路檔案館) at The MacTutor History of Mathematics archive.