阿貝爾群(Abelian group)也稱爲交換群(commutative group)或可交換群,它是滿足其元素的運算不依賴於它們的次序(交換律公理)的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼爾斯·阿貝爾命名。
阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被較為徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。
定義
群
對於所有的
,都滿足
(交換律)的話,稱
為阿貝爾群或交換群,反之被稱爲「非阿貝爾群」或「非交換群」。
符號
群有兩種主要表示運算的符號—加法和乘法。
運算
|
表示法
|
單位元
|
冪
|
反元素
|
加法運算
|
![{\displaystyle x+y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffb4441dccedb5ede51a213408b17cf83eec9a27) |
0 |
![{\displaystyle nx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0462a4bf178bdace9596b456bd51467de65f54d2) |
|
乘法運算
|
或 ![{\displaystyle xy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c72eb345e496513fb8b2fa4aa8c4d89b855f9a01) |
1
|
|
|
乘法符號是群的常用符號,而加法符號是模的常用符號。當同時考慮阿貝爾群和非阿貝爾群時,加法符號還可以用來強調阿貝爾群是特定群。
乘數表
驗證有限群是阿貝爾群,可以構造類似乘數表的一種表格(或說矩陣),稱爲凱萊表。如果群
在運算
下,則這個表的
元素即是
。群是阿貝爾群當且僅當這個表是關於主對角線是對稱的(或說這個矩陣是對稱矩陣)。這是因為對於阿貝爾群,
,即表格中的
元素等於
元素。如下表所示:
|
|
|
|
|
|
![{\displaystyle e}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd253103f0876afc68ebead27a5aa9867d927467) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
例子
- 整數集與加法運算構成阿貝爾群,記為
。兩個整數相加仍是整數,且加法有結合律。
是加法單位元,所有整數
都有加法反元素
。加法運算有交換律,因為對於任意兩個整數
都有
。
- 所有循環群
都是阿貝爾群。如果
,則
。因此整數集
形成了在加法下的阿貝爾群,整數模
也是。
- 所有環都是關於它的加法運算的阿貝爾群。在交換環中的可逆元素形成了阿貝爾乘法群。特別是實數集是在加法下的阿貝爾群,非零實數集在乘法下是阿貝爾群。
- 所有阿貝爾群的子群都是正規子群,所以每個子群都引發商群。阿貝爾群的子群、商群和直和也是阿貝爾群。
矩陣即使是可逆矩陣,一般不形成在乘法下的阿貝爾群,因為矩陣乘法一般是不可交換的。但是某些矩陣的群是在矩陣乘法下的阿貝爾群 - 一個例子是
旋轉矩陣的群。
歷史注記
阿貝爾群是Camille Jordan以挪威數學家尼爾斯·阿貝爾命名的,他首先察覺到了阿貝爾首先發表的這種群與根式可解性的聯繫的重要性。
性質
如果
是自然數而
是阿貝爾群
的一個元素,則
可以定義為
(
個數相加)並且
。以這種方式,
變成在整數的環
上的模。事實上,在
上的模都可以被識別為阿貝爾群。
關於阿貝爾群(比如在主理想整環
上的模)的定理經常可以推廣到在任意主理想整環上的模。典型的例子是有限生成阿貝爾群的分類是在主理想整環上的有限生成模的結構定理的特殊情況。在有限生成阿貝爾群的情況下,這個定理保證阿貝爾群可以分解為撓群和自由阿貝爾群的直和。前者可以被寫為形如
對於質數
的有限多個群的直和,而後者是有限多個
的復本的直和。
如果
是在阿貝爾群之間的兩個群同態,則它們的和
,定義為
,也是阿貝爾同態。(如果
是非阿貝爾群則這就不成立。)所有從
到
的群同態的集合
因此是自身方式下的阿貝爾群。
某種程度上類似於向量空間的維度,所有阿貝爾群都有秩。它定義為群的線性無關元素的最大集合的勢。整數集和有理數集和所有的有理數集的子群都有秩1。
阿貝爾群的所有子群都是正規子群,但反之不成立——四元群
就是一個例子——它不是一個交換群,但它的所有子群都是正規子群。所有子群都是正規子群的群叫做戴德金群。
有限阿貝爾群
整數模以
的循環群
是最常見的群的例子。已證實了任意有限阿貝爾群都同構於質數階的有限循環群的直和,並且這些階數是唯一確定的,形成了一個不變量(invariant)的完備系統。有限阿貝爾群的自同構群可以依據這些不變量來直接描述。有關理論最初發展自費迪南德·格奧爾格·弗比尼斯和Ludwig Stickelberger在1879年的論文,後來被簡化和推廣到在主理想整環上的有限生成模,形成了線性代數的一個重要組成部分。
分類
有限阿貝爾群的基本定理聲稱所有有限阿貝爾群
都可以表達為質數冪階的循環子群的直和。這是有限生成阿貝爾群的基本定理在
有零秩時的特殊情況。
階的循環群
同構於
與
的直和,當且僅當
與
是互質的。可推出任何有限阿貝爾群
同構於如下形式的直和
![{\displaystyle \mathbb {Z} _{k_{1}}\oplus \cdots \oplus \mathbb {Z} _{k_{u}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c110d5a26562de683c66856ebfec0d39f33133dd)
以任何下列規范方式:
- 數
是質數的冪
整除
,它又整除
,如此直到
。
例如,
可以被表達為3階和5階的兩個循環群的直和:
。對於任何15階的阿貝爾群這也成立,導致了所有15階阿貝爾群都是同構的顯著結論。
另一個例子,所有8階段阿貝爾群都同構於要麼
(整數0到7在模8加法下),
(奇數1到15在模16乘法下),要麼
。
小於等於16階的有限阿貝爾群可參見小群列表。
自同構
可以應用基本定理去計數(有時確定)給定有限阿貝爾群
的自同構。要這麼做,可利用如果
分解為互質階的子群的直和
,則
的事實。
基本定理證明了要計算
的自同構群,分別計算西羅
-子群的自同構群就足夠了(也就是所有的循環子群的直和,每個都有
的冪的階)。固定一個質數
並假設西羅
-子群的循環因子的指數
是按遞增次序安排的:
![{\displaystyle e_{1}\leq e_{2}\leq \cdots \leq e_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1c0f9b3c06a1af8ac01f1f5156579e0a4031c79)
對於某個
。需要找到
![{\displaystyle \mathbf {Z} _{p^{e_{1}}}\oplus \cdots \oplus \mathbf {Z} _{p^{e_{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06b7bcbde23e18ef3da7ea5b9b9127daf745e3ce)
的自同構。一個特殊情況是在
的時候,此時在西羅
-子群
中只有唯一一個循環質數冪因子。在這個情況下可以使用有限循環群的自同構的理論。另一個特殊情況是在
為任意的但
對於
的時候。這里考慮
為有着形式
![{\displaystyle \mathbf {Z} _{p}\oplus \cdots \oplus \mathbf {Z} _{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d98de65ec8f4716f4954ff0c10c6858e37209ab)
所以這個子群的元素可以被看作構成了在
元素的有限體
上的
維向量空間。這個子群的自同構因此給出為可逆線性變換,因此
![{\displaystyle \mathrm {Aut} (P)\cong \mathrm {GL} (n,\mathbb {F} _{p})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cfab919090d8eaea8e843ee6556d4b3e5eb2aba)
它早先證明了有階
![{\displaystyle \left|\operatorname {Aut} (P)\right|=(p^{n}-1)\cdots (p^{n}-p^{n-1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b40044f596be3466740ca5f9ef0ee78b05db815)
在最一般情況下,這里的
和
是任意的,自同構群更難於確定。但是已經知道了如果定義
![{\displaystyle d_{k}=\max\{r\mid e_{r}=e_{k}^{\,}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ddbb5e7becaa3a6c7ea920130e7759f4a672dfe6)
並且
![{\displaystyle c_{k}=\min\{r\mid e_{r}=e_{k}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7c011b2a6ea51ffc76208983bd45854ffdf1fe5)
則有着特別的
,
,並且
。
可以檢查這會生成作為特殊情況的前面例子的階(參見[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. Infinite Abelian group theory. 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. [1] (頁面存檔備份,存於互聯網檔案館).
- Szmielew, Wanda (1955) "Elementary properties of abelian groups," Fundamenta Mathematica 41: 203-71.