阿贝尔群
阿貝爾群(Abelian group)也稱爲交換群(commutative group)或可交換群,它是滿足其元素的運算不依賴於它們的次序(交換律公理)的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。
阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被较为徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。
定義
阿貝爾群的群運算符合交換律,因此阿貝爾群也被稱爲交換群。它由自身的集合G和二元運算* 構成。它除了滿足一般的群公理,即運算的結合律、G有單位元、所有G的元素都有逆元之外,還滿足交換律公理
- 。
因為阿貝爾群的群運算滿足交換律和結合律,群元素乘積的值與乘法運算時的次序無關。
而群運算不滿足交換律的群被稱爲“非阿貝爾群”,或“非交換群”。
例子
- 整數集和加法運算"+"是阿貝爾群,指示為(Z,+),運算 +組合兩個整數形成第三個整數,加法是符合結合律的,零是加法單位元,所有整數n都有加法逆元−n,加法運算是符合交換律的因為對于任何兩個整數m和n有m + n = n + m。
- 所有循環群G是阿貝爾群,因為如果x, y在G中,則xy = aman = am + n = an + m = anam = yx。因此整數集Z形成了在加法下的阿貝爾群,整數模以n Z/nZ也是。
- 所有環都是關于它的加法運算的阿貝爾群。在交換環中的可逆元形成了阿貝爾乘法群。特別是實數集是在加法下的阿貝爾群,非零實數集在乘法下是阿貝爾群。
- 所有阿貝爾群的子群都是正規子群,所以每個子群都引發商群。阿貝爾群的子群、商群和直和也是阿貝爾群。
矩陣即使是可逆矩陣,一般不形成在乘法下的阿貝爾群,因為矩陣乘法一般是不可交換的。但是某些矩陣的群是在矩陣乘法下的阿貝爾群 - 一個例子是2x2 旋轉矩陣的群。
歷史注記
阿貝爾群是Camille Jordan以挪威數學家尼尔斯·阿贝尔命名的,他首先察覺到了阿貝爾首先發表的這種群與根式可解性的聯繫的重要性。
性質
如果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。
有限阿貝爾群
整數模以n的循環群Z/nZ是最常見的群的例子。已證實了任意有限阿貝爾群都同構於素數階的有限循環群的直和,并且這些階數是唯一確定的,形成了一個不變量(invariant)的完備系統。有限阿貝爾群的自同構群可以依據這些不變量來直接描述。有關理論最初發展自费迪南德·格奥尔格·弗罗贝尼乌斯和Ludwig Stickelberger在1879年的論文,后來被簡化和推廣到在主理想整環上的有限生成模,形成了線性代數的一個重要組成部分。
分類
有限阿貝爾群的基本定理聲稱所有有限阿貝爾群G都可以表達為素幂(prime-power)階的循環子群的直和。這是有限生成阿貝爾群的基本定理在G有零秩時的特殊情況。
mn階的循環群同構於與的直和,當且僅當m與n是互素的。可推出任何有限阿貝爾群G同構於如下形式的直和
以任何下列規范方式:
- 數k1,...,ku是素數的冪
- k1 整除k2,它又整除k3,如此直到ku。
例如,可以被表達為3階和5階的兩個循環群的直和:。對于任何15階的阿貝爾群這也成立,導致了所有15階阿貝爾群都是同構的的顯著結論。
另一個例子,所有8階段阿貝爾群都同構於要么(整數0到7在模8加法下),(奇數1到15在模16乘法下),要么。
小於等于16階的有限阿貝爾群可參見小群列表。
自同構
可以應用基本定理去計數(有時確定)給定有限阿貝爾群G的自同構。要這么做,可利用如果G分解為互素階的子群的直和H K,則Aut(H K) Aut(H) Aut(K)的事實(這里就不證明了)。
基本定理證明了要計算G的自同構群,分別計算西羅p子群的自同構群就足夠了(也就是所有的循環子群的直和,每個都有p的冪的階)。固定一個素數p并假設西羅p子群的循環因子的指數ei是按遞增次序安排的:
對於某個n > 0。需要找到
的自同構。一個特殊情況是在n = 1的時候,此時在西羅p-子群P中只有唯一一個循環素數冪因子。在這個情況下可以使用有限循環群的自同構的理論。另一個特殊情況是在n為任意的但ei = 1對於1 ≤ i ≤ n的時候。這里考慮P為有著形式
- ,
所以這個子群的元素可以被看作構成了在p元素的有限域上的n維向量空間。這個子群的自同構因此給出為可逆線性變換,因此
- ,
它早先證明了有階
- .
在最一般情況下,這里的ei和n是任意的,自同構群更難於確定。但是已經知道了如果定義
并且
則有著特別的dk ≥ k, ck ≤ k,并且
- 。
可以檢查這會生成作為特殊情況的前面例子的階(參見[Hillar,Rhea])。
注釋
引用
- Fuchs, László(1970)Infinite abelian groups, Vol. I. Pure and Applied Mathematics, Vol. 36. New York-London: Academic Press. xi+290 pp. MR0255673
- ------(1973)Infinite abelian groups, Vol. II. Pure and Applied Mathematics. Vol. 36-II. New York-London: Academic Press. ix+363 pp. MR0349869
- Griffith, Phillip A. . Chicago Lectures in Mathematics. University of Chicago Press. 1970. ISBN 0-226-30870-7.
- Hillar, Christopher and Rhea, Darren (2007), Automorphisms of finite abelian groups. Amer. Math. Monthly 114, no. 10, 917-923. .
- Szmielew, Wanda (1955) "Elementary properties of abelian groups," Fundamenta Mathematica 41: 203-71.