阿贝尔群

阿贝尔群（Abelian group）也称为交换群（commutative group）或可交换群，它是满足其元素的运算不依赖于它们的次序（交换律公理）的群。阿贝尔群推广了整数集合的加法运算。阿贝尔群以挪威数学家尼尔斯·阿贝尔命名。

阿贝尔群的概念是抽象代数的基本概念之一。其基本研究对象是模和向量空间。阿贝尔群的理论比其他非阿贝尔群简单。有限阿贝尔群已经被较为彻底地研究了。无限阿贝尔群理论则是目前正在研究的领域。

定义

阿贝尔群的群运算符合交换律，因此阿贝尔群也被称为交换群。它由自身的集合G和二元运算* 构成。它除了满足一般的群公理，即运算的结合律、G有单位元、所有G的元素都有逆元之外，还满足交换律公理

$a*b=b*a$。

因为阿贝尔群的群运算满足交换律和结合律，群元素乘积的值与乘法运算时的次序无关。

而群运算不满足交换律的群被称为“非阿贝尔群”，或“非交换群”。

符号

阿贝尔群有两种主要运算符号—加法和乘法。

约定	运算	单位元	幂	逆元
加法运算	x + y	0	nx	−x
乘法运算	x * y或xy	e或1	xn	x −1

一般地说，乘法符号是群的常用符号，而加法符号是模的常用符号。当同时考虑阿贝尔群和非阿贝尔群时，加法符号还可以用来强调阿贝尔群是特定群。

乘法表

验证有限群是阿贝尔群，可以构造类似乘法表的一种表格（矩阵），它称为凯莱表。如果群G = {g₁ = e, g₂, ..., g_n}在运算⋅下，则这个表的第(i, j)个表项包含乘积g_i ⋅ g_j。群是阿贝尔群当且仅当这个表是关于主对角线是对称的（就是说这个矩阵是对称矩阵）。

这是成立的因为如果它是于阿贝尔群，则g_i ⋅ g_j = g_j ⋅ g_i。这蕴含了第(i, j)个表项等于第(j, i)个表项，就是说这个表示关于主对角线对称的。

例子

• 整数集和加法运算"+"是阿贝尔群，指示为(Z,+)，运算 +组合两个整数形成第三个整数，加法是符合结合律的，零是加法单位元，所有整数n都有加法逆元−n，加法运算是符合交换律的因为对于任何两个整数m和n有m + n = n + m。
• 所有循环群G是阿贝尔群，因为如果x, y在G中，则xy = a^maⁿ = a^{m + n} = a^{n + m} = aⁿa^m = yx。因此整数集Z形成了在加法下的阿贝尔群，整数模以n Z/nZ也是。
• 所有环都是关于它的加法运算的阿贝尔群。在交换环中的可逆元形成了阿贝尔乘法群。特别是实数集是在加法下的阿贝尔群，非零实数集在乘法下是阿贝尔群。
• 所有阿贝尔群的子群都是正规子群，所以每个子群都引发商群。阿贝尔群的子群、商群和直和也是阿贝尔群。

矩阵即使是可逆矩阵，一般不形成在乘法下的阿贝尔群，因为矩阵乘法一般是不可交换的。但是某些矩阵的群是在矩阵乘法下的阿贝尔群 - 一个例子是2x2 旋转矩阵的群。

历史注记

阿贝尔群是Camille Jordan以挪威数学家尼尔斯·阿贝尔命名的，他首先察觉到了阿贝尔首先发表的这种群与根式可解性的联系的重要性。

性质

如果n是自然数而x是使用加号的阿贝尔群G的一个元素，则nx可以定义为x + x + ... + x（n个数相加）并且（−n）x = −（nx）。以这种方式，G变成在整数的环Z上的模。事实上，在Z上的模都可以被识别为阿贝尔群。

关于阿贝尔群（比如在主理想整环Z上的模）的定理经常可以推广到在任意主理想整环上的模。典型的例子是有限生成阿贝尔群的分类是在主理想整环上的有限生成模的结构定理的特殊情况。在有限生成阿贝尔群的情况下，这个定理保证阿贝尔群可以分解为挠群和自由阿贝尔群的直和。前者可以被写为形如Z/p^kZ对于素数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阶的循环群$\mathbb{Z}_{mn}$同构于$\mathbb{Z}_m$与$\mathbb{Z}_n$的直和，当且仅当m与n是互素的。可推出任何有限阿贝尔群G同构于如下形式的直和

$\mathbb{Z}_{k_1} \oplus \cdots \oplus \mathbb{Z}_{k_u}$

以任何下列规范方式：

• 数k₁,...,k_u是素数的幂
• k₁ 整除k₂，它又整除k₃，如此直到k_u。

例如，$\mathbb{Z}/15\mathbb{Z}\cong\mathbb{Z}_{15}$可以被表达为3阶和5阶的两个循环群的直和：$\mathbb{Z}_{15}\cong\{0, 5, 10\}\oplus\{0, 3, 6, 9, 12\}$。对于任何15阶的阿贝尔群这也成立，导致了所有15阶阿贝尔群都是同构的的显著结论。

另一个例子，所有8阶段阿贝尔群都同构于要么$\mathbb{Z}_8$(整数0到7在模8加法下)，$\mathbb{Z}_4\oplus\mathbb{Z}_2$（奇数1到15在模16乘法下），要么$\mathbb{Z}_2\oplus\mathbb{Z}_2\oplus\mathbb{Z}_2$。

小于等于16阶的有限阿贝尔群可参见小群列表。

自同构

可以应用基本定理去计数（有时确定）给定有限阿贝尔群G的自同构。要这么做，可利用如果G分解为互素阶的子群的直和H $\oplus$ K，则Aut(H $\oplus$ K) $\cong$ Aut(H) $\oplus$ Aut(K)的事实（这里就不证明了）。

基本定理证明了要计算G的自同构群，分别计算西罗p子群的自同构群就足够了（也就是所有的循环子群的直和，每个都有p的幂的阶）。固定一个素数p并假设西罗p子群的循环因子的指数e_i是按递增次序安排的：

$e_1\leq e_2 \leq\cdots\leq e_n$

对于某个n > 0。需要找到

$\mathbb{Z}_{p^{e_1}} \oplus \cdots \oplus \mathbb{Z}_{p^{e_n}}$

的自同构。一个特殊情况是在n = 1的时候，此时在西罗p-子群P中只有唯一一个循环素数幂因子。在这个情况下可以使用有限循环群的自同构的理论。另一个特殊情况是在n为任意的但e_i = 1对于1 ≤ i ≤ n的时候。这里考虑P为有着形式

$\mathbb{Z}_p \oplus \cdots \oplus \mathbb{Z}_p$，

所以这个子群的元素可以被看作构成了在p元素的有限域$\mathbb{F}_p$上的n维向量空间。这个子群的自同构因此给出为可逆线性变换，因此

$\mathrm{Aut}(P)\cong\mathrm{GL}(n,\mathbb{F}_p)$,

它早先证明了有阶

$|\mathrm{Aut}(P)|=(p^n-1)\cdots(p^n-p^{n-1})$.

在最一般情况下，这里的e_i和n是任意的，自同构群更难于确定。但是已经知道了如果定义

$d_k=\mathrm{max}\{r|e_r = e_k^{\,}\}$

并且

$c_k=\mathrm{min}\{r|e_r=e_k^{\,}\}$

则有着特别的d_k ≥ k, c_k ≤ k，并且

$|\mathrm{Aut}(P)| = \left(\prod_{k=1}^n{p^{d_k} - p^{k-1}}\right)\left(\prod_{j=1}^n{(p^{e_j})^{n-d_j}}\right)\left(\prod_{i=1}^n{(p^{e_i-1})^{n-c_i+1}}\right)$。

可以检查这会生成作为特殊情况的前面例子的阶（参见[Hillar,Rhea]）。

参见

• 类域论
• 交换子群
• 初等阿贝尔群
• 有限生成阿贝尔群
• 自由阿贝尔群
• 庞特里亚金对偶性
• 秩1无挠阿贝尔群

引用

• 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.