在數學中,(group)是由一種集合以及一個二元運算所組成的代數結構,並且符合“群公理”。群公理包含下述四个性质,分別是封闭性結合律單位元和对于集合中所有元素存在逆元素

魔方的所有可能重新排列形成一個群,叫做魔方群

很多熟知的數學結構比如數系統都遵从群公理,例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來,就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體,而同时保留對象的本質結構性质。

群在數學內外各個領域中是無處不在的,这使得它們成為當代數學的组成的中心原理。[1][2]

群與对称性有密切的联系。例如,對稱群描述了几何体的对称性:它是保持物體不變的變換的集合。李群应用于粒子物理标准模型之中;庞加莱群也是李群,能表达狭义相对论中的对称性;点群能帮助理解分子化学中的对称现象

群的概念产生自多項式方程的研究,由埃瓦里斯特·伽罗瓦在19世纪30年代開創。在得到來自其他領域如數論幾何学的貢獻之后,群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科,有自己独特的研究方法。a[]為了研究群,數學家發明了各種概念來把群分解成更小的、更好理解的部分,比如子群商群單群。除了它們的抽象性質,群论還研究表示群的各種具體方式(群表示论计算群论)。對有限群已經發展出了特別豐富的理論,這在2004年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来,将有限生成群作为几何对象来研究的几何群论,成为了群论中一个特别活跃的分支。

定義

(G,·)是由集合G二元運算"·"构成的,符合以下四个性质(称“群公理”)的数学结构。其中,二元运算结合任何兩個元素ab而形成另一個元素,记為a·b,符號"·"是具體的運算,比如整數加法。

群公理所述的四个性质为:[3]

1.封閉性:對于所有Ga, b,運算a·b的結果也在G中。b[]
2.結合律:對于所有G中的a, bc,等式 (a·bc = a· (b·c)成立。
3.單位元:存在G中的一個元素e,使得對于所有G中的元素a,总有等式

e·a = a·e = a 成立。

4.逆元:對于每個G中的a,存在G中的一個元素b使得总有a·b = b·a = e,此处e为單位元。

群运算的次序很重要,把元素a與元素b结合,所得到的结果不一定与把元素b與元素a结合相同;亦即,(交换律)不一定恒成立。满足交换律的群称为交换群(阿貝爾群,以尼尔斯·阿贝尔命名),不满足交换律的群称为非交换群(非阿贝尔群)。

整数加法群中,對于任何兩個整數都有 a + b = b + a (加法的交換律)成立,因此,整数加法群是交换群。但是對稱群中交换律并不总是成立,所以一般的对称群不是交换群。

群G的单位元经常记做1或,这个记号来自乘法单位元。对于阿贝尔群,可以把群运算记做+,单位元记做0;这种情况下群称为加法群。单位元也可记做id。

也常常简记为。可以根据上下文来判断一个符号指的是集合还是群。

群的判別法

  • 考慮一個非空集合,對所有,若有,則為一個群。

舉例

例一:循環群

為一個群,若裡面存在元素,使得,則稱G關於運算"*"為一個循環群。

例二:整數加法群

最常见的群之一是整數和整数的加法所构成的群。它由以下數列组成:

..., −4, −3, −2, −1, 0, 1, 2, 3, 4, ...[4]

下面将整数的加法的性质与四个群公理做对比,可以看出,整数集和整数的加法是可以构成群的。

  1. 對于任何兩個整數ab,它们的a + b也是整數。換句話說,在任何時候,把兩個整數相加都能得出整數的結果。這個性質叫做在加法下封闭
  2. 對于任何整數a, bc,(a + b) + c = a +(b + c)。用話語來表達,先把a加到b,然后把它們的和加到c,所得到的結果与把a加到bc的和是相等的。這個性質叫做結合律
  3. 如果a是任何整數,那么0 + a = a + 0 = a叫做加法的單位元,因為把它加到任何整數都得到相同的整數。
  4. 對于任何整數a,存在另一個整數b使得a + b = b + a = 0。整數b叫做整數a逆元,记为−a

例三:對稱群

正方形的对称操作(比如旋轉反射)形成了一個群,叫做二面體群,并记為D4[5]二面体群中有下列8个對稱:


id (保持原樣)

r1 (向右旋轉90°)

r2 (向右旋轉180°)

r3(向右旋轉270°)

fv (垂直翻轉)

fh (水平翻轉)

fd (對角翻轉)

fc(反對角翻轉)
正方形對稱群(D4)的元素。对頂點进行著色和編號只是把這些運算形象化。
  • 恒等運算保持所有東西不變,记為id;
  • 把正方形向右(順時針)旋轉90°、180°和270°,分別记為r1、r2和r3
  • 關于垂直和水平中線的反射记為fv和fh,關于兩個對角線的反射记為fd和fc

任何兩個對稱ab都可以複合,即进行一個之后再进行另一個。先進行a然后进行b在符號上“從右到左”寫為

b·a(“進行對稱操作a之后再进行對稱操作b”。從右到左的记号来源于函數複合)。

右面的群表列出了這種複合的所有可能結果。例如,右旋270°(r3)然后水平翻轉(fh),等于進行一个沿對角線的反射(fd),如群表中藍色突出的单元格所示。使用上述符號可以记为:

fh·r3 = fd

D4的群表
·idr1r2r3fvfhfdfc
id id r1 r2 r3fvfhfd fc
r1 r1 r2 r3 idfcfdfv fh
r2 r2 r3 id r1fhfvfc fd
r3 r3 id r1 r2fdfc fh fv
fv fvfdfhfcidr2r1r3
fh fhfcfvfdr2idr3r1
fd fdfhfcfvr3r1idr2
fc fc fv fd fhr1r3r2id
元素id、r1、r2和r3形成一個子群,用紅色突出。這個子群的左和右陪集分別用綠色和黃色突出。

給定這個對稱的集合和描述的運算,群公理可以理解如下:

  • 閉合公理要求任何兩個對稱ab的複合

b·a 仍是對稱。另一個群運算的例子是

r3·fh = fc 就是說在水平翻轉后右旋270°等于沿反對角線翻轉(fc)。确实,兩個對稱的所有其他組合仍得出一個對稱,這可以使用群表來檢查。

  • 結合律的限制處理多於兩個對稱的複合:給定D4的三個元素abc,有兩種方式計算“a接著b接著c”。

(a·bc = a· (b·c) 的要求,意味著三個元素的複合與先进行哪个運算是無關的。 例如, (fd·fv)·r2 = fd· (fv·r2) 可以使用右側的群表來檢查

(fd·fv)·r2 = r3·r2 = r1它等于
fd· (fv·r2) = fd·fh = r1
  • 單位元是保持所有東西不變的對稱id:對于任何對稱a,進行a然后进行id(或进行id然后进行a)等于a,用符號表示為

id·a = a

a·id = a

  • 逆元素撤銷某個其他元素的變換。所有對稱都是可以撤銷的:恒等id,翻轉fh、fv、fd、fc和180°旋轉r2這些變換都是自身的逆元,因為把它們进行兩次就把正方形变回了最初的樣子。旋轉r3和r1相互是逆元,因為按一個方向旋轉再按另一個方向旋轉相同角度保持正方形不變。用符號表示為

fh·fh = id

r3·r1 = r1·r3 = id

与上述的整數群不同的是,在整数群中運算次序是無關緊要的,而在D4中则是重要的: fh·r1 = fc 然而 r1·fh = fd 。換句話說,D4不是阿貝爾群,这使得这个群的結構比上面介紹的整數群要更加复杂。

歷史

抽象群的現代概念是從多個數學領域發展出來的。[6][7][8]群論的最初動機是為了求解高於4次的多項式方程。十九世紀法國數學家埃瓦里斯特·伽罗瓦,擴展了保罗·鲁菲尼约瑟夫·拉格朗日先前的工作,依據特定多項式方程的(解)的對稱群給出了對它的可解性的判别准则。這個伽罗瓦群的元素對應於根的特定置換。伽罗瓦的想法最初被同代人所拒絕,只在死后才出版。[9][10]更一般的置換群奥古斯丁·路易·柯西專門研究。阿瑟·凱萊的《On the theory of groups, as depending on the symbolic equation θn = 1》(1854年)給出有限群的第一個抽象定義。[11]

幾何是第二個系统性的使用群,特別是對稱群的領域。这类群是菲利克斯·克莱因1872年的爱尔兰根纲领的一部分。[12]在新型的幾何如雙曲幾何射影幾何形成之后,克萊因利用群論以更連貫的方式來組織它們。索菲斯·李進一步發展了這些想法,在1884年創立了李群的研究。[13]

对群論有貢獻的第三個領域是數論。一些阿貝爾群結構在卡爾·弗里德里希·高斯的數論著作《算术研究》(1798年)中被隐含地用到,并被利奥波德·克罗内克更明顯地用到。[14]1847年,恩斯特·库默尔發展了描述用素数因數分解理想類群,使證明費馬大定理的早期嘗試達到了高潮。[15]

把上述各種來源融合成一个群的統一理論是从卡米尔·若尔当的《Traité des substitutions et des équations algébriques》(1870年)開始的。[16]瓦尔特·冯·迪克(1882年)給出了第一个抽象群的現代定義的陳述。[17]在二十世紀,群在费迪南德·格奥尔格·弗罗贝尼乌斯威廉·伯恩赛德的开拓性著作中獲得了廣泛的认识,他們研究有限群的表示理論,還有理查德·布劳尔模表示論Issai Schur的論文。[18]赫尔曼·韦伊埃利·嘉当和很多其他人推進了李群和更一般的局部緊群的理論。[19]它的代數對應者——代數群的理論,由克劳德·舍瓦莱(從1930年代晚期开始)和后來阿尔曼德·波莱尔雅克·蒂茨的重要著作奠基。[20]

芝加哥大学于1960-61年举办的“群论年”活动促使群论家们以丹尼尔·格伦斯坦约翰·格里格斯·汤普森瓦爾特·法伊特为基础展开合作。在大量其他数学家的帮助下,他们完成了有限单群的分类。这项工程,不论是从证明长度来说还是从参与人数来说,其浩大程度超越了之前一切的数学成果。简化此证明的研究还在进行中。[21]群论在当下仍是一个活跃的数学分支,并仍在对其他分支产生重大影响。a[]

群公理的簡單結論

可以從群公理直接獲得的關于所有群的基本事實,通常包含在初等群論中。[22]例如,重復應用結合律公理,可以證明以下等式

a·b·c = (a·bc = a·(b·c

可以推廣到多於三個因子。因為這意味着括號可以插入到一序列的項的任何地方,所以通常省略括號。[23]

公理可以弱化為只宣称左單位元左逆元的存在性。二者可以被證明實際上是双側的,所以得出的定義与上面給出的等價。[24]

單位元和逆元的唯一性

群公理的兩個重要结果是單位元和逆元的唯一性。在群中只能有一個單位元,而群中的每個元素都正好有一個逆元素。[25]

要證明a的逆元素的唯一性,假設a有兩個逆元,记為lr。則

l=l·e    由于e是單位元
=l· (a·r)    因為ra的逆元,所以e = a·r
=(l·ar    根据結合律,它允許重新安排括號
=e·r    由于la的逆元,就是說l·a = e
=r    由于e是單位元

因此lr被一系列等式連接了起來,所以它們是相等的。換句話說a只有一個逆元。

除法

在群中,可以進行除法:給定群G的元素abG中存在方程 x·a = b 的唯一解x[25]实际上,把方程右乘以a−1給出解 x = x·a·a−1 = b·a−1 。類似地,G中存在方程 a·y = b 的唯一解y,也就是 y = a−1·b 。一般地說,xy不一定相等。

这一结果的一个推论是“乘以某个群中的元素g”是一个双射。特别地,如果g是群G的一个元素,则有G到自身的双射,(称为g引起的左平移)它将映射为。类似地,g引起的右平移是一个G到自身的双射,它将映射为。如果G是阿贝尔群,由同一个元素引起的左平移和右平移是相同的。

基本概念

下列章節使用了數學符號X = { x, y, z }來表示集合X包含元素xyz,或來表示xX的一個元素。记法意味著f是对X的所有元素指定Y的一個元素的函數

要超越上述純粹符號操作水平去理解群,必須采用更加結構性的概念。c[]有一個概念性原理位于所有下列概念的底層:要发挥群提供的結構(而無結構的集合就沒有)的优势,與群有關的構造必須与群運算兼容。下列概念中以各種方式表现了這種兼容性。例如,群可以通過叫做群同態的函數相互關聯。根據上述這個原理,要求它們以精確的意义照顧到群結構。群的結構還可以通過把它們分解成子群和商群來理解。“保持結構”的原理是在數學中反復出現的一個主題,它是靠范疇來工作的一個實例,在這里的情況下靠群范疇[26]

群同態

群同態g[]是保持群結構的函數。兩個群之間的函數 a: GH 是同態,如果等式

a(g·k) = a(ga(k) 對于所有G中的元素gk都成立,就是說在进行映射a之后還是之前進行群運算所得到的結果是一樣的。這個要求保证了 a(eG) = eH ,以及對于G中的所有g,都有 a(g)−1 = a(g−1) 。因此群同態保持了群公理提供的G的所有結構。[27]

兩個群GH被稱為同構的,如果存在群同態 a: GH b: HG ,使得先后(以兩種可能的次序中每個次序)應用兩個函數分別等于GH恒等函數。就是說,對于任何G中的gHh,有 a(b(h)) = h b(a(g)) = g 。從抽象的觀點來看,同構的群携带了相同的信息。例如,证明對於G的某個元素g g·g = eG 等價於证明 a(ga(g) = eH ,因為應用a於第一個等式得到第二個,而應用b於第二個得到第一個。

子群

非正式的說,子群是包含在更大的群G內的一個群H[28]具體的說,G的單位元包含在H中,并且只要h1h2H中,則h1· h2h1−1也在其中,所以H的元素对于限制於HG上的群運算确实形成了一个群。

在上面例子中,單位元和旋轉構成了一個子群 R = {id, r1, r2, r3} ,在上面的群表中突出為紅色:任何兩個復合的旋轉仍是一個旋轉,并且旋轉可以被相反方向上的旋轉(它的逆元)所抵消。子群检验法是群G的子集H是子群的充分必要條件:對于所有元素 g, hH ,只需檢查g−1hH。了解子群族對于作為一個整體來理解群是重要的。d[]

給定群G的任何子集S,由S所生成的子群是由S的元素和它們的逆元的乘積组成。它是包含SG的最小子群。[29]在上面介紹例子中,r2和fv所生成的子群由這兩個元素本身、單位元id和 fh = fv·r2 構成。這還是個群,因為结合這四個元素或它們的逆元(在這個特殊情況下,是这些相同的元素)中任何兩個仍得到這個子群中的元素。

陪集

在很多情況下,需要認為兩個群元素是等同的,如果它們只差一個给定子群中的元素。例如,在上述D4中,一旦進行了翻轉,只进行旋轉運算(不再进行翻轉)正方形就永遠不能回到r2的构型,就是說旋轉運算對于是否已經進行了翻轉的問題是無關緊要的。陪集可用來把這種现象形式化:子群H定義了左陪集和右陪集,它們可以認為是把H平移了一个任意群元素g。用符號表示,H的包含g的左和右陪集分別是

gH = {gh, }和Hg = {hg, }。[30]

任何子群H的陪集形成了G的一个劃分;就是說所有左陪集的并集G相等,而且兩個陪集要么相等,要么有交集[31]第一種情況 g1H = g2H 出現當且僅當g1−1g2H,就是說如果這兩個元素差異了H的一個元素。類似的考慮也適用於H的右陪集。H的左和右陪集可以相等也可以不相等。如果它們相等,就是說對于所有G中的ggH = Hg,則H被稱為正規子群

在前面介绍的對稱群D4中,由旋轉構成的子群R的左陪集gR要么等于R,如果gR自身的一個元素;要么等于 U = fvR = {fv, fd, fh, fc} (用綠色突出)。子群R還是正規的,因為 fvR = U = Rfv 且對于任何fv以外的元素也是類似的。

商群

有时在由陪集形成的集合上可以赋予一个满足群公理的运算而使之成为商群因子群。这仅在子群是正规的时候才可行。給定任何正規子群N,商群定義為

G / N = {gN, },“[32]

這個集合從最初的群G 繼承了一個群運算(有時叫做陪集乘法或陪集加法):對于所有G 中的gh (gN)· (hN) =(ghN 。這個定義是由關聯任何元素g到它的陪集 gN 的映射GG / N是群同態的想法(自身是上面提出的一般結構性考慮的一個實例)所激發的,或者是叫做泛性質的一般抽象考慮。陪集 eN = N 充當了這個群的單位元,在商群中gN 的逆元是 (gN)−1 =(g−1Ne[]

· R U
R RU
U UR
商群D4 / R的群表。

商群D4 / R的元素是代表單位元的R 自身和 U = fvR 。商群上的群運算如右側所示。例如, U·U = fvR·fvR =(fv·fvR = R 。子群 R = {id, r1, r2, r3} 和對應的商群都是阿貝爾群,而D4不是阿貝爾群。通過较小的群构造较大的群,例如從子群R 和商群D4 / R构造D4,被抽象為叫做半直積的概念。

商群和子群一起形成了用它的展示描述所有群的一種方法:任何群都是這個群的生成元上的自由群模以“關係”子群得到的商群。例如,二面體群D4可以由兩個元素 rf 生成(比如r = r1右旋,和 f = fv 垂直)或任何其他)翻轉),這意味著正方形的所有對稱都是這兩個對稱或它們的逆元的有限復合。与關係在一起

r 4 = f 2 = (rf )2 = 1,[33]

這個群就完全描述出來了。群的展示還可以被用來構造凱萊圖,它是一种利用图形来辅助理解离散群的工具。

子群和商群以下列方式相互關聯:G 的子集H 可以被看作單射HG,就是說任何目標元素都有最多一個映射到它的元素。單射的對立是滿射(所有目標的元素都被映射到了),比如規范映射GG / Ny[]通过這些同態理解子群和商群強調了這些定義中內在的結構性概念。一般的說,同態既不是單射也不是滿射。群同態的第一同構定理研究這個現象。

共軛

如果同一個群中的兩個元素pq 滿足關係:p = x−1qx,其中x 也是同一個群中的元素,則稱元素pq 共軛。共軛关系是一个等价关系,即它满足三个性质:共軛是自反的、对称的和傳遞的。

在群中可以找到一個集合,這個集合中每一個元素都相互共軛,而在這個集合以外群的其他部分已經沒有任何元素與他們具有共軛關係了。稱这种集合為群中的一個共軛類。同一個群的兩個類之間一定沒有共同的元素。群中一個元素一定屬於且僅屬於一個類。如果群中沒有元素與該元素共軛,則該元素自成一類。

例子和應用

周期性壁紙引發壁紙群
平面減去一個(粗體)點的基本群由在這個區域內的環路構成。

群的例子和應用大量存在。起點是上面介紹過的整數的群 Z 帶有加法作為群運算。如果把加法替代為乘法,就得到了乘法群。這些群是抽象代數中重要概念的前身。

群應用於很多數學領域中。數學對象的性质經常是通過将群關聯与数学对象关联,并研究相應的群的性質来研究的。例如,儒勒·昂利·庞加莱通過引入基本群創立了現在所謂的代數拓撲[34]通過這種連接方式,拓撲性質比如臨近連續轉換成了群的性質。i[]例如,右側的圖像描繪了平面減去一個點的基本群的元素。這個群的元素給出為在這個區域內的環路。藍色環路被認為是零同倫(因此是無關緊要的),因為它可以收縮為一個點。圓孔的存在防止了橙色環路被收縮。橙色環路(或任何環繞這個圓孔一次的其他環路)所生成的,去掉了一個點的平面的基本群是無限循環群。基本群以這種方式探測到了這個圓孔。

在更新近的應用中,影響已經被倒轉過來,由群論背景來激發幾何結構了。j[]在類似的脈絡下,幾何群論采用了幾何概念,比如在雙曲群的研究中。[35]其他一些大量应用群论的数学分支包括代數幾何數論。例如,典型群Picard群在代数几何上有重要应用;參見[36]

除了上述理論應用之外,還存在很多群的實踐應用。密碼學依賴於抽象群論方式和從計算群論中特別是實現于有限群上的時候所得到的算法知識的結合。[37]群論的應用不限於數學;科學如物理化學和計算機科學都受益於這個概念。

很多數系統,比如整數和有理數享有自然給予的群結構。在某些情況下比如對于有理數,加法和乘法運算二者都引發群結構。這種系統是叫做的更一般的代數結構的前身。

整數

整數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} = {qQ, q ≠ 0} 形成一個在乘法下的阿貝爾群,記為(Q\{0},·)m[]結合律和單位元公理從整數的性質中得出。閉合要求在去掉零之后仍成立,因為任何兩個非零有理數的乘積永遠不是零。最后,a/b的逆元是b/a,所以逆元公理也滿足。

有理數(包括0)在加法下也形成群。同時帶有加法和乘法運算產生更復雜的結構叫做—如果同时除法总是可能的話(如在Q中)就是域,它在抽象代數中占據中心位置。群論理論因此位于這些實體的理論的底層部分。n[]

非零整數模以素數

對于任何素數p模算術提供了整數模以p的乘法群[38]群的元素是不能被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的事實找到。[39]在上述 p = 5 的情況下,4的逆元是4,3的逆元是2,因為 3·2 = 6 ≡ 1 (mod 5) 。所有的群公理都滿足。實際上,這個例子類似于上述(Q\{0},·),因為它是在有限域Fp中非零元素的乘法群,記為Fp×[40]這些群對于公开密钥加密是至關重要的。p[]

循環群

單位一的六次複數根形成一個循環群。z是本原元而z2不是,因為z的奇數冪不是z2的冪。

循環群是其所有元素都是特定元素a的群(在群運算被寫為加法的時候使用術語倍數)。[41]在乘法符號下,群的元素是:

..., 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给出,其運算為乘法。[42]任何有n個元素的循環群同構於這個群。使用某些域論,群Fp×可以被證明為是循環群:對于 p = 5, 3是生成元因為 31 = 3, 32 = 9 ≡ 4, 33 ≡ 2, 34 ≡ 1 。無限循環群同構於(Z, +),它是前面介紹的整數在加法下的群。[43]因為這兩個原型都是阿貝爾群,所以任何循環群都是。

阿貝爾群包括有限生成阿貝爾群的基本定理的研究是非常成熟的;對這個事態的反映是很多有關群論的概念,比如中心交換子,描述了一個給定群不是阿貝爾群的程度。[44]

對稱群

對稱群是由給定數學對象的對稱組成的群,對稱源于它們的幾何本性(比如前面介紹的正方形的對稱群)或源于代數本性(比如多項式方程和它们的解)。[45]概念上說,群論可以被認為是對稱性的研究。t[] 數學中的對稱性極大的簡化了幾何分析對象的研究。群被稱為作用於另一個數學對象X上,如果所有群元素進行某個在X上的運算兼容於群定律。在下面最右側例子中,7階的(2,3,7)三角群的一個元素通過置換突出的彎曲的三角形作用在鑲嵌上(其他的元素也是)。通過群作用,群模式被連接到了所作用到的對象的結構上。

旋轉和翻轉形成一個大二十面體的對稱群。

在化學領域中,比如晶體學空間群點群描述分子對稱性和晶體對稱性。這些對稱性位于這些系統的化學和物理表現的底層,而群論使簡化對這些性質的量子力學分析成为可能。[46]例如,群論被用來證實在特定量子級別間不出現光學躍遷簡單的因為涉及到了狀態的對稱性。

群不只對評定在分子中蘊含的對稱性有用,而且令人驚奇的它們還可以預測出分子的對稱性有时候可以改变。姜-泰勒效应是高對稱的分子的變形,此時,在通過分子的對稱運算相互關聯的一組可能基態中,该分子将采纳一個特定的低對稱的基態。[47][48]

同樣的,群論還可以幫助預測在物質經歷相變的時候出現的物理性質的變更,比如晶體形式從立方體變為四面體。一個例子是鐵電物質,這裡從順電到鐵電狀態的變更出現在居里溫度時,與從高對稱順電狀態到低對稱鐵電狀態的變更有關,并伴隨著所謂的軟聲子模式,它是在變化時轉到零頻率的振動晶格模式。[49]

這種自發對稱性破缺在基本粒子物理中找到了進一步應用,這里它的出現与戈德斯通玻色子的出現有关。

富勒烯展现了二十面體對稱 NH3。它的對稱群是6階的,用120°旋轉和反射生成的。 立方烷C8H8刻畫了八面體對稱 六水合銅(II)配合物[Cu(OH2)6]2+。相較于完美的對稱形狀,分子垂直膨脹大約22%(姜-泰勒效应)。 (2,3,7)三角群是雙曲群,它作用在這個雙曲面的鑲嵌上。

有限對稱群比如马蒂厄群被用于編碼理論中,它又用于傳輸數據的糾錯CD播放器中。[50]另一個應用是微分伽羅瓦理論,它刻畫有已知形式的不定積分的函數,給出何時特定微分方程的解有良好表現的群論判定標準。u[]在群作用下保持穩定的幾何性質在幾何不變量理論中研究。[51]

一般線性群和表示理論

兩個向量(左側展示),和它們乘以矩陣之后(中間和右側展示)。中間的表示了順時針旋轉90°,而右側的再按因子2伸縮了x坐標。

矩陣群矩陣加上矩陣乘法一起構成。一般線性群 GL(n, R) 由所有可逆nn的帶有實數元素的矩陣構成。[52]它的子群被稱為矩陣群或線性群。上面提及的二面體群例子可以被看作(非常小的)矩陣群。另一個重要矩陣群是特殊正交群SO(n)。它描述了n維的所有可能旋轉。通過歐拉角旋轉矩陣被用于計算機圖形學中。[53]

表示理論是對群概念的應用并且對深入理解群是很重要的。[54][55]它通過群作用於其他空間來研究群。一類廣泛的群表示是線性表示,就是說群作用在線性空間中,比如三維歐幾里得空間R3Gn-實向量空間上的表示簡單的是從群到一般線性群的群同態

ρ: GGL(n, R)。

以這種方式,抽象給出的群運算被轉換成用明確的計算可觸及到的矩陣乘法。w[]

給定一個群作用,這給出了研究所作用的對象的進一步方法。x[]在另一方面,它還產生了關于群的信息。群表示是在有限群、李群、代數群拓撲群特別是(局部)緊群理論中的起組織作用的原則。[54][56]

伽羅瓦群

伽羅瓦群是通过对求解多項式方程的过程中涉及到的对称性的研究而被发展起来的。[57][58]例如,二次方程 ax2 + bx + c = 0 的解給出為

對換表達式中的"+"和"−",也就是置換方程的兩個解可以被看作(非常簡單的)群運算。類似的公式對於三次方程四次方程也有,但是對於五次方程和更高次的方程就不普遍性的存在。[59]与多項式相关联的伽羅瓦群的抽象性質(特別是它們的可解性)給出了那些多項式的所有解都可用根式表達的判定標準,就是說這些解可以類似上面公式那樣只使用加法、乘法和方根來表達。[60]

這個問題可以使用域論來處理:考慮一個多項式的分裂域就把問題轉移到了域論的領域中了。現代伽羅瓦理論把上述類型的伽羅瓦群推廣到了域擴張,并通過伽羅瓦理論基本定理建立了在和群之間的嚴格關聯,再次凸顯了群在數學中無所不在。

有限群

一個群被稱為有限群,如果它有有限個元素。元素的數目叫做群G[61]一類重要的有限群是n次对称群SN,它是N個字母的置換的群。例如,在3個字母上的n次对称群S3是由三個字母ABC的所有可能置換構成的群,就是說它包含元素ABC, ACB, ...,直到CBA,總共有6(或3的階乘)個元素。這類群是基礎性的,因為任何有限群都可以表達為n次对称群SN在適合的整數N下的子群(凱萊定理)。相似於上述正方形的對稱的群,S3還可以解釋為等邊三角形的對稱的群。

在群G中的一個元素a的階是最小的使得an = e的正整數n,這里的 an表示,就是應用運算·於an個復本上。(如果·代表乘法則an對應於an次冪)。在無限群中,這個n可能不存在,在這種情況下a的階被稱為無限的。一個元素的階等于這個元素生成的循環子群的階。

更復雜的計數技術例如計數陪集,產生關于有限群的更精確陳述:拉格朗日定理聲稱有限群G的任何有限子群H的階整除G的階。西羅定理證明了它的部分逆命題。

上面討論的二面體群是8階有限群。r1的階為4,這是它生成的子群R(見上)的階。反射元素fv等的階是2。如拉格朗日定理所述這兩個階都整除8。上面的群Fp×有階p − 1

有限单群分类

数学家们常常为寻求一种数学对象的完备分类(或列表)而努力。在有限群的领域内,这个目标迅速引出了一系列困难而意义深远的数学问题。根据拉格朗日定理,p阶有限群(p为素数)必定是循环(阿贝尔)群Zpp2阶群也被证明是阿贝尔群。但这一命题并不能推广到p3阶群,如上面的非阿贝尔群——8阶二面体群D4所示,其中8 = 23[62]可以利用计算机代数系统来给较小的群列表,但没有对一切有限群的分类。q[]一个中间步骤是有限单群分类。r[]如果一个非平凡群仅有的正规子群是平凡群和它自身,那么这个群叫做一个单群或简单群。s[]若尔当-赫尔德定理说明单群可以作为建构有限群的“砖块”。[63]有限单群列表是当代群论的一个主要成就。1998年的菲尔兹奖得主理查·伯切德斯成功地证明了所谓怪兽-胡言乱语猜想。该猜想指出了最大有限简单散在群——“怪兽群”与一种来自经典复分析弦理论(一种被认为统一了对许多物理学现象的描述的理论)的对象模函数之间的惊人而深刻的联系。[64]

帶有額外結構的群

很多群同時是群和其他數學結構的例子。用范疇論的語言來說,它們是在范疇中的群對象,這意味著它們是帶著模仿群公理的(叫做態射的)變換的對象(就是說其他數學結構的例子)。例如,所有群(如上面定義的)也是一個集合,所以群是在集合范疇中的群對象。

拓撲群

複平面中的單位圓在複數乘法下是李群,所以是拓撲群。它是拓撲的因為複數乘法和除法是連續的。它是流形并因此是李群,因為所有小段比如在圖中的紅色圓弧,看起來像(顯示在底下的)實數線的一部分。

某些拓撲空間可以配備上群结构。為了讓群公理與拓撲交織良好,群運算必須是連續函數,就是說如果gh只變化很小,那么g·h,g−1必須變化不大。這種群叫做拓撲群,并且它們是在拓撲空間范疇內的群對象。[65]最基本的例子是實數R在加法之下(R\{0},·),任何其他拓撲比如複數p進數也是類似。所有這些群都是局部緊拓撲群,所以它們有哈尔测度并可以通過調和分析來研究。前者提供了不變積分的抽象形式化。以實數情況为例,不变性意味着有:

對於任何常數c成立。在這些上的矩陣群也属于这种结构下,賦值向量環賦值向量代數群也是如此,它們對數論是基礎性的。[66]無限域擴張的伽羅瓦群比如絕對伽羅瓦群也可以配備上拓撲,叫做Krull拓撲,它又是推廣上面概述的和群的連接到無限域擴張的中心概念。[67]適應代數幾何需要的這個想法的高級推廣是étale基本群[68]

李群

李群(为纪念索菲斯·李而命名)是具有流形結構的群,就是說它們是局部上看起來像某個適當維度歐幾里得空間的空間。[69]這里,作为額外結構的流形結構也必須是兼容的,就是說對應於乘法和求逆的映射必須是光滑的。

標準例子是上面介紹的一般線性群:它是所有矩陣的空間的開子集,因為它由不等式

det (A) ≠ 0,

給出。這里的A指示矩陣。[70]

李群在物理中是基礎性的:诺特定理把連續對稱与守恒定律关联起来。[71]空間時間旋轉平移不变性是力學定律的基本對稱。它們可以被用來構造簡單的模型——比如在一種狀況下實施軸對稱常常會導致在解用來提供物理描述的方程上的重大簡化。v[]另一個例子是,它有關於兩個相互運動的觀察者的時間和速度的測量。它們可以用純群論方式推演,通過把變換表達為闵可夫斯基時空的旋轉對稱。在忽略萬有引力的情況下,后者充當了狹義相對論時空模型。[72]闵可夫斯基時空的完全對稱群,就是說包括了平移,叫做庞加莱群。通過上述联系,它在狹義相對論中扮演了關鍵角色,并隐含地用于量子場論[73] 隨位置變化的對稱規范場論一起构成现代物理对相互作用的描述的中心。[74]

推廣

類似群的結構
完全性結合律單位元除法
幺半群
半群
環群
擬群
原群
廣群
范疇

抽象代數中,通過放松定義群的某個公理可定義出更多的一般結構。[26][75][76]例如,如果省略所有元素都逆元的要求,結果的代數結構就叫做幺半群自然數N(包括0)在加法下形成了幺半群,還有非零整數在乘法下(Z\{0},·)也是。有一種一般方法用來向任何(阿貝爾的)幺半群正式的增加元素的逆元,非常類似于從(Z\{0},·)得出(Q\{0},·)的方式,這叫做格罗滕迪克群广群非常類似于群,除了復合a · b不必須在所有的ab上有定義之外。它們由更加復雜形式的對稱的研究所引發,常見于拓撲分析結構比如基本广群中。表格給出一些推廣群的結構。

參見

注釋

^  a:  數學評論》列出了3,224篇2005年寫的關于群論和它的應用的研究論文。
^  b:  閉合公理已經由·是二元運算的條件所蘊含。因此有些作者省略這個公理。Lang 2002
^  c:  比如參見Lang (2002, 2005)和Herstein (1996, 1975)的書。
^  d:  但是一個群不由它的子群的格所決定。參見Suzuki 1951
^  e:  群運算的這么規范的擴展是泛性質的實例。
^  f:  例如,依據拉格朗日定理,如果G是有限的,則任何子群和任何商群的大小整除G的大小。
^  g:  詞同態演化自希臘語ὁμός—相同和μορφή—結構。
^  h:  循環群的加法符號是t·a, tZ
^  i:  例子參見塞弗特-范坎彭定理
^  j:  一個例子是群的群上同調,它等于它的分類空間單同調
^  k:  有乘法逆元的元素叫做可逆元,參見Lang 2002,§II.1, p. 84
^  l:  通過增加分數的從整數到有理數的轉變推廣為分式
^  m:  用任何F替代Q同樣是真的。參見Lang 2005,§III.1, p. 86
^  n:  例如,的乘法群的有限子群必然是循環群。參見Lang 2002,Theorem IV.1.9單純代數概念是這個原理的另一個實例。
^  o:  陳述的性質是素數的一個可能定義。參見素元
^  p:  例如,迪菲-赫爾曼密鑰交換協議使用離散對數
^  q:  阶不超过2000的群是已知的。这些群在同构意义下约有490亿个。参见Besche, Eick & O'Brien 2001.
^  r:  在单群和一般群分类之间的缺口在于扩张问题,一个很难一般性求解的问题。参见Aschbacher 2004,p. 737.
^  s:  等价地说,一个非平凡群是单群当且仅当它仅有的商群是平凡群和自身。参见Michler 2006, Carter 1989.
^  t:  更嚴格的說,所有群都是某個的對稱群,參見Frucht 1939
^  u:  更精確地說,monodromy作用在要考慮的微分方程的解的向量空間上。參見Kuga 1993,pp. 105–113
^  v:  例如參見史瓦西度规,這里的對稱極大的減小了物理系統的復雜性。
^  w:  例如,這是有限簡單群的分類的關鍵。參見Aschbacher 2004
^  x:  例如,群作用在單模上的效果的Schur引理。更加復雜的例子是絕對伽羅瓦群作用在平展上同调上。
^  y:  單射和滿射分別對應於單同態滿同態。在傳給對偶范疇的時候它們是可互換的。

引文

  1. Herstein 1975,§2, p. 26
  2. Hall 1967,§1.1, p. 1:“群的想法遍布在包括純數學和應用數學二者的整個數學中。”
  3. Herstein 1975,§2.1, p. 27
  4. Lang 2005,App. 2, p. 360
  5. Herstein 1975,§2.6, p. 54
  6. Wussing 2007
  7. Kleiner 1986
  8. Smith 1906
  9. Galois 1908
  10. Kleiner 1986,p. 202
  11. Cayley 1889
  12. Wussing 2007,§III.2
  13. Lie 1973
  14. Kleiner 1986,p. 204
  15. Wussing 2007,§I.3.4
  16. Jordan 1870
  17. von Dyck 1882
  18. Curtis 2003
  19. Mackey 1976.
  20. Borel 2001
  21. Aschbacher 2004
  22. Ledermann 1953,§1.2, pp. 4–5
  23. Ledermann 1973,§I.1, p. 3
  24. Lang 2002,§I.2, p. 7
  25. Lang 2005,§II.1, p. 17
  26. Mac Lane 1998
  27. Lang 2005,§II.3, p. 34
  28. Lang 2005,§II.1, p. 19
  29. Ledermann 1973,§II.12, p. 39
  30. Lang 2005,§II.4, p. 41
  31. Lang 2002,§I.2, p. 12
  32. Lang 2005,§II.4, p. 45
  33. Lang 2002,§I.2, p. 9
  34. Hatcher 2002,Chapter I, p. 30
  35. Coornaert, Delzant & Papadopoulos 1990
  36. Neukirch 1999,特別是§§I.12和I.13
  37. Seress 1997
  38. Lang 2005,Chapter VII
  39. Rosen 2000,p. 54 (Theorem 2.1)
  40. Lang 2005,§VIII.1, p. 292
  41. Lang 2005,§II.1, p. 22
  42. Lang 2005,§II.2, p. 26
  43. Lang 2005,§II.1, p. 22 (example 11)
  44. Lang 2002,§I.5, p. 26, 29
  45. Weyl 1952
  46. Conway, Delgado Friedrichs & Huson et al. 2001.另见Bishop 1993
  47. Bersuker, Isaac, , Cambridge University Press: 2, 2006, ISBN 0521822122
  48. Jahn & Teller 1937
  49. Dove, Martin T, , Oxford University Press: 265, 2003, ISBN 0198506783
  50. Welsh 1989
  51. Mumford, Fogarty & Kirwan 1994
  52. Lay 2003
  53. Kuipers 1999
  54. Fulton & Harris 1991
  55. Serre 1977
  56. Rudin 1990
  57. Robinson 1996,p. viii
  58. Artin 1998
  59. Lang 2002,Chapter VI (see in particular p. 273 for concrete examples)
  60. Lang 2002,p. 292 (Theorem VI.7.2)
  61. Kurzweil & Stellmacher 2004
  62. Artin 1991,Theorem 6.1.14.另见Lang 2002,p. 77,其中包含类似结果。
  63. Lang 2002,§I. 3, p. 22
  64. Ronan 2007
  65. Husain 1966
  66. Neukirch 1999
  67. Shatz 1972
  68. Milne 1980
  69. Warner 1983
  70. Borel 1991
  71. Goldstein 1980
  72. Weinberg 1972
  73. Naber 2003
  74. Becchi 1997
  75. Denecke & Wismath 2002
  76. Romanowska & Smith 2002

引用

一般引用

  • Artin, Michael, , 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, , Owl Books, 2000, ISBN 978-0-8050-7254-9, Chapter 5 provides a layman-accessible explanation of groups.
  • Dummit, David S.; Foote, Richard M., 3rd, New York: Wiley, 2004, ISBN 978-0-471-43334-7, MR2286236.
  • Fulton, William; Harris, Joe, , 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., , American Elsevier Publishing Co., Inc., New York, 1967, MR0219593, an elementary introduction.
  • Herstein, Israel Nathan, 3rd, Upper Saddle River, NJ: Prentice Hall Inc., 1996, ISBN 978-0-13-374562-7, MR1375019.
  • Herstein, Israel Nathan, 2nd, Lexington, Mass.: Xerox College Publishing, 1975, MR0356988.
  • Lang, Serge, , Graduate Texts in Mathematics 211, Berlin, New York, 2002, ISBN 978-0-387-95385-4, MR1878556.
  • Lang, Serge, 3rd, Berlin, New York: Springer-Verlag, 2005, ISBN 978-0-387-22025-3.
  • Ledermann, Walter, , Oliver and Boyd, Edinburgh and London, 1953, MR0054593.
  • Ledermann, Walter, , New York: Barnes and Noble, 1973, OCLC 795613.
  • Robinson, Derek John Scott, , Berlin, New York: Springer-Verlag, 1996, ISBN 978-0-387-94461-6.
  • 《代數學引論》第二版ISBN 7-04-008893-2聶靈沼、丁石孫,高等教育出版社出版

專門引用

  • Artin, Emil, , New York: Dover Publications, 1998, ISBN 978-0-486-62342-9.
  • Aschbacher, Michael, (PDF), Notices of the American Mathematical Society, 2004, 51 (7): 736–740 [2008-09-13], ISSN 0002-9920, (原始内容存档 (PDF)于2011-06-05).
  • Becchi, C., , 1997 [2008-05-15], (原始内容存档于2016-10-07).
  • Besche, Hans Ulrich; Eick, Bettina; O'Brien, E. A., , 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., , New York: Dover Publications, 1993, ISBN 978-0-486-67355-4.
  • Borel, Armand, , Graduate Texts in Mathematics 126 2nd, Berlin, New York: Springer-Verlag, 1991, ISBN 978-0-387-97370-8, MR1102012.
  • Carter, Roger W., , New York: John Wiley & Sons, 1989, ISBN 978-0-471-50683-6.
  • Conway, John Horton; Delgado Friedrichs, Olaf; Huson, Daniel H.; Thurston, William P., , 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., , Lecture Notes in Mathematics 1441, Berlin, New York: Springer-Verlag, 1990, ISBN 978-3-540-52977-4, MR1075994.
  • Denecke, Klaus; Wismath, Shelly L., , London: CRC Press, 2002, ISBN 978-1-58488-254-1.
  • Fröhlich, Albrecht, , Lecture notes in mathematics 74, Berlin, New York: Springer-Verlag, 1968.
  • (德文) Frucht, R., , Compositio Mathematica, 1939, 6: 239–50, ISSN 0010-437X, (原始内容存档于2008-12-01).
  • Goldstein, Herbert, 2nd, Reading, MA: Addison-Wesley Publishing: 588–596, 1980, ISBN 0-201-02918-9.
  • Hatcher, Allen, , Cambridge University Press, 2002 [2008-09-13], ISBN 978-0-521-79540-1, (原始内容存档于2018-05-19).
  • Husain, Taqdir, , Philadelphia: W.B. Saunders Company, 1966, ISBN 978-0-89874-193-3
  • Jahn, H.; Teller, E., , 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, , Springer, 1994, ISBN 978-0387943701.
  • Kuipers, Jack B., , Princeton University Press, 1999, ISBN 978-0-691-05872-6, MR1670862.
  • Kuga, Michio, , Boston, MA: Birkhäuser Boston, 1993, ISBN 978-0-8176-3688-3, MR1199112.
  • Kurzweil, Hans; Stellmacher, Bernd, , Universitext, Berlin, New York: Springer-Verlag, 2004, ISBN 978-0-387-40510-0, MR2014408.
  • Lay, David, , Addison-Wesley, 2003, ISBN 978-0-201-70970-4.
  • Mac Lane, Saunders, 2nd, Berlin, New York: Springer-Verlag, 1998, ISBN 978-0-387-98403-2.
  • Michler, Gerhard, , Cambridge University Press, 2006, ISBN 978-0-521-86625-5.
  • Milne, James S., , Princeton University Press, 1980, ISBN 978-0-691-08238-7
  • Mumford, David; Fogarty, J.; Kirwan, F., 34 3rd, Berlin, New York: Springer-Verlag, 1994, ISBN 978-3-540-56963-3, MR1304906.
  • Naber, Gregory L., , New York: Dover Publications, 2003, ISBN 978-0-486-43235-9, MR2044239.
  • Neukirch, Jürgen, , Grundlehren der mathematischen Wissenschaften 322, Berlin: Springer-Verlag, 1999, ISBN 978-3-540-65399-8, MR1697859
  • Romanowska, A.B.; Smith, J.D.H., , World Scientific, 2002, ISBN 9789810249427.
  • Ronan, Mark, , Oxford University Press, 2007, ISBN 978-0-19-280723-6.
  • Rosen, Kenneth H., 4th, Addison-Wesley, 2000, ISBN 978-0-201-87073-2, MR1739433.
  • Rudin, Walter, , Wiley Classics, Wiley-Blackwell, 1990, ISBN 047152364X.
  • Seress, Ákos, , Notices of the American Mathematical Society, 1997, 44 (6): 671–679, ISSN 0002-9920, MR1452069, (原始内容存档于2007-02-08).
  • Serre, Jean-Pierre, , Berlin, New York: Springer-Verlag, 1977, ISBN 978-0-387-90190-9, MR0450380.
  • Shatz, Stephen S., , Princeton University Press, 1972, ISBN 978-0-691-08017-8, MR0347778
  • Suzuki, Michio, , Transactions of the American Mathematical Society, 1951, 70 (2): 345–371, doi:10.2307/1990375.
  • Warner, Frank, , Berlin, New York: Springer-Verlag, 1983, ISBN 978-0-387-90894-6.
  • Weinberg, Steven, , New York: John Wiley & Sons, 1972, ISBN 0-471-92567-5.
  • Welsh, Dominic, , Oxford: Clarendon Press, 1989, ISBN 978-0-19-853287-3.
  • Weyl, Hermann, , Princeton University Press, 1952, ISBN 978-0-691-02374-8.

歷史引用

外部連結

維基教科書中的相關電子:
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.