命名
阿貝爾群是Camille Jordan以挪威數學家
尼爾斯·阿貝爾命名,他首先察覺到了阿貝爾首先發表的這種與根式可解性的聯繫的重要性。由
阿貝爾群分解定理, 任何阿貝爾群可以分解成一些整數群和
剩餘類群的直和, 這個分解是唯一的, 其中分解出來的整數群的個數稱為阿貝爾群的秩。比阿貝爾群更廣泛的概念是模的概念,阿貝爾群就是整數環上的模。阿貝爾群有兩個傳統的記號方式:
加法及
乘法。常用加法表示群運算。
定義
亦稱交換群。一種重要的群類。對於群G中任意二元a,b,一般地,ab≠ba.若群G的運算滿足交換律,即對任意的a,b∈G都有ab=ba,則稱G為阿貝爾群。由於阿貝爾(Abel,N.H.)首先研究了交換群,所以通常稱這類群為阿貝爾群。交換群的運算常用加法來表示,此時群的單位元用0(零元)表示,a的逆元記為-a(稱為a的負元).用加法表示的交換群稱為加法群或加群。
阿貝爾群是有著群運算符合
交換律性質的群,因此阿貝爾群也被稱為交換群。它由自身的集合 G 和
二元運算 * 構成。它除了滿足一般的群公理,即運算的
結合律、G 有
單位元、所有 G 的元素都有逆元之外,還滿足交換律公理
因為阿貝爾群的群運算滿足交換律和結合律,群元素乘積的值與乘法運算時的次序無關。
而群運算不滿足交換律的群被稱為“非阿貝爾群”,或“非交換群”。
定理
設<G,*>是一個群,<G,*>是阿貝爾群的充要條件是對任意的a,b∈G,有(a*b)*(a*b)=(a*a)*(b*b)。
符號
阿貝爾群有兩種主要運算符號 — 加法和乘法。
約定 | 運算 | 單位元 | 冪 | 逆元 |
---|
加法運算 | x + y | 0 | nx | −x |
---|
乘法運算 | x * y 或 xy | e 或 1 | x | x |
---|
一般地說,乘法符號是群的常用符號,而加法符號是模的常用符號。當同時考慮阿貝爾群和非阿貝爾群時,加法符號還可以用來強調阿貝爾群是特定群。
乘法表
驗證
有限群是阿貝爾群,可以構造類似乘法表的一種表格(矩陣),它稱為凱萊表。如果群 G = {g1 = e, g2, ..., gn} 在運算 ⋅ 下,則這個表的第 (i, j) 個表項包含乘積 gi ⋅ gj。群是阿貝爾群若且唯若這個表是關於
主對角線是對稱的(就是說這個矩陣是
對稱矩陣)。
這是成立的因為如果它是於阿貝爾群,則 gi ⋅ gj = gj ⋅ gi。這蘊含了第 (i, j) 個表項等於第 (j, i) 個表項,就是說這個表示關於主對角線對稱的。
例子
整數集和加法運算 "+" 是阿貝爾群,指示為 (Z,+),運算 + 組合兩個整數形成第三個整數,加法是符合
結合律的,零是
加法單位元,所有整數 n 都有
加法逆元 −n,加法運算是符合
交換律的因為對於任何兩個整數 m 和 n 有 m + n = n + m。
所有
循環群 G 是阿貝爾群。因此整數集 Z 形成了在加法下的阿貝爾群,整數模也是。
所有環都是關於它的加法運算的阿貝爾群。在交換環中的可逆元形成了
阿貝爾乘法群。特別是
實數集是在加法下的阿貝爾群,非零實數集在乘法下是阿貝爾群。
所有阿貝爾群的子群都是
正規子群,所以每個子群都引發
商群。阿貝爾群的子群、商群和直和也是阿貝爾群。
矩陣即使是
可逆矩陣,一般不形成在乘法下的阿貝爾群,因為
矩陣乘法一般是不可交換的。但是某些矩陣的群是在矩陣乘法下的阿貝爾群 - 一個例子是 2x2
旋轉矩陣的群。
性質
如果n是自然數而x是使用加號的阿貝爾群G的一個元素,則nx可以定義為x + x + ... + x(n個數相加)並且(−n)x = −(nx)。以這種方式,G變成在整數的環Z上的模。事實上,在Z上的模都可以被識別為阿貝爾群。
關於阿貝爾群(比如在主理想
整環Z上的模)的定理經常可以推廣到在任意主理想整環上的模。典型的例子是有限生成阿貝爾群的分類是在主理想整環上的有限生成模的結構定理的特殊情況。在有限生成阿貝爾群的情況下,這個定理保證阿貝爾群可以分解為撓群和自由阿貝爾群的直和。前者可以被寫為形如Z/pkZ對於素數p的有限多個群的直和,而後者是有限多個Z的複本的直和。
如果f, g : G → H是在阿貝爾群之間的兩個
群同態,則它們的和f + g,定義為(f + g)(x) = f(x) + g(x),也是
阿貝爾同態。(如果H是非阿貝爾群則這就不成立。)所有從G到H的群同態的集合Hom(G, H)因此是自身方式下的阿貝爾群。
某種程度上類似於向量空間的維度,所有阿貝爾群都有秩。它定義為群的線性無關元素的最大
集合的勢。
整數集和
有理數集和所有的有理數集的子群都有秩1。
人物簡介
挪威數學家。他在中學時代已自學
歐拉、
拉格朗日和
高斯等著名數學家的著作。讀大學時試圖用代數方法解一般五次方程,這使他發現:用根式解一般五次以上的方程是不可能的,在他1826年的著名論文中給出了證明,使得這個困擾數學家幾百年的問題終於得到了解決。他在與此有關的一系列工作中已經引入了群和域的概念,發現元素相乘可交換的群對方程的可解性理論有重要意義。因此,後人把交換群稱為阿貝爾群,他還研究了一類代數方程,它們是可以用根式求解的,現在叫阿貝爾方程。阿貝爾對數學分析的發展及其嚴格化也作出了卓越的貢獻,其中不少結果以他的名字命名,我們熟知的有:阿貝爾積分、阿貝爾積分方程,關於導出阿貝爾函式的代數函式的積分的和的阿貝爾定理,無窮級數的阿貝爾判斂法,關於
冪級數的
阿貝爾定理等。他又與
雅可比在友好的競爭中共同創立了橢圓函式理論,儘管有如此傑出的成就,他卻沒有及時地得到數學界的承認。他一生貧窮,並且由於得了肺病沒能得到一個教學職務。在他27歲那年,柏林大學終於聘他為數學教授,但聘書寄到時,已是他去世後第3天了。