阿贝尔群

阿贝尔群（Abelian group），又称交换群（commutative group）或加群，是运算满足交换律且不依赖于其元素的次序（交换律公理）的群。阿贝尔群推广了整数集合的加法运算。阿贝尔群以挪威数学家尼尔斯·阿贝尔命名。
阿贝尔群的概念是抽象代数的基本概念之一。其基本研究对象是模和向量空间。阿贝尔群的理论比其他非阿贝尔群简单。有限阿贝尔群的结构已基本明晰，相关理论较为成熟；而无限阿贝尔群由于元素无限性，其分类与性质仍具复杂性，是当前群论研究的前沿领域。
定义.
一个群 formula_1，若对任意 formula_2，满足 formula_3 （交换律），则称 formula_1 为“阿贝尔群”（或“交换群”），反之被称为「非阿贝尔群」（或「非交换群」）。
formula_1想符合阿贝尔群的定义，则集合formula_6及其运算需满足以下核心性质：
定理.
设 formula_19是一个群，则 formula_19是阿贝尔群的充要条件是对任意 formula_21， 有 formula_22。
符号.
阿贝尔群有两种主要运算符号——加法和乘法。
群论常用乘法符号，环与模的理论则惯例使用加法符号。但需特别说明的是，为突显其性质，当同时涉及交换群与非交换群时，会优先用加号表示交换群——此规则在近环与偏序群论中存在特例：即便群结构非交换，其运算仍被强制写成加法形式。
乘法表.
欲证有限群是阿贝尔群，可构造凯莱表，一种类似乘法表的表格（即矩阵）。若一个群 formula_23 在乘法运算下，其乘法表中第 formula_24 元素即为 formula_25。
一个群 formula_26 是阿贝尔群，若且唯若其乘法表关于主对角线对称（或说这个矩阵是对称矩阵）。这一结论源于阿贝尔群的定义要求群运算满足交换律：对于任意元素formula_27，均有 formula_28，即表格中 formula_24 项与 formula_30 项的值必须相等。详见下表：
举例.
矩阵，哪怕是可逆矩阵，在乘法运算下通常不构成阿贝尔群，因为矩阵乘法普遍不满足交换律——例如两个不同阶数的矩阵相乘时，交换操作会导致结果不同。然而，存在某些特殊矩阵群在乘法运算下仍保持阿贝尔性质，典型例子是二维旋转矩阵构成的群：所有 2×2 旋转矩阵在合成旋转操作时满足交换律，其对应的乘法表关于主对角线对称，从而形成阿贝尔群结构。这一特性源于二维旋转操作的角度可叠加性，即连续旋转两个不同角度的结果与顺序无关。
命名意义.
阿贝尔群是卡米耶·若尔当以挪威数学家尼尔斯·阿贝尔命名的，这是因为阿贝尔曾发现：若一个多项式方程根的对称群满足交换性，则该多项式的根可通过根式求解（即有限次加、减、乘、除及开方运算）。这一发现揭示了群论与多项式方程可解性之间的深刻联系，并成为抽象代数发展史上的里程碑。阿贝尔的成果不仅为群论的命名提供了历史渊源，也推动了后续数学家对群结构的系统性研究。
性质.
如果 formula_33 是一个自然数，而 formula_42 是阿贝尔群 formula_43 的一个元素，则 formula_44 可以定义为 formula_45（formula_33个数相加）并且 formula_47。以这种方式，formula_26 变成在整数的环 formula_38 上的模。事实上，在 formula_38 上的模都可以被识别为阿贝尔群。
关于阿贝尔群（比如在主理想整环 formula_38 上的模）的定理，常常可以推广到在任意主理想整环上的模。典例是，有限生成阿贝尔群的分类是在主理想整环上的有限生成模的结构定理的特殊情况。在有限生成阿贝尔群的情况下，这个定理保证阿贝尔群可以分解为挠群和自由阿贝尔群的直和。前者可以被写为形如 formula_52 对于素数 formula_53 的有限多个群的直和，而后者是有限多个 formula_38 的复本的直和。
如果 formula_55 是在阿贝尔群之间的两个群同态，则两者之和 formula_56，定义为 formula_57，也是阿贝尔同态。（若 formula_58 是非阿贝尔群，则不成立）所有从 formula_26 到 formula_58 的群同态的集合 formula_61 因此本身就是阿贝尔群。
某种程度上类似于向量空间的维度，所有阿贝尔群都有秩。它定义为群的线性无关元素最大集合的势。整数集、有理数集和所有的有理数集的子群都有秩。
阿贝尔群的所有子群都是正规子群，反之则不成立——四元群 formula_62 就是一个例子——它不是一个交换群，但它的所有子群都是正规子群。所有子群都是正规子群的群叫做戴德金群。
有限阿贝尔群.
整数模以 formula_33 的循环群 formula_64 是最常见的群。已被证实的是，任意有限阿贝尔群都同构于素数阶的有限循环群的直和，且这些阶数是唯一确定的，形成了一个不变量的完备系统。有限阿贝尔群的自同构群可用这些不变量来直接描述。有关理论最初发展自费迪南德·格奥尔格·弗罗贝尼乌斯和在1879年的论文，后来被简化和推广到在主理想整环上的有限生成模，形成了线性代数的一个重要组成部分。
分类.
有限阿贝尔群的基本定理称，所有有限阿贝尔群 formula_26 都可表示为质数幂阶循环子群的直和。以下是有限生成阿贝尔群的基本定理在 formula_26 有零秩时的特殊情况。
formula_67阶的循环群formula_68同构于formula_69与formula_70的直和，当且仅当formula_71与formula_33互素。借此，可推出任何有限阿贝尔群 formula_26 同构于如下形式的直和：
采用下列任何一种规范方式为准：
例如，formula_80可被表达为3阶和5阶两个循环群的直和：formula_81。对于任何15阶的阿贝尔群同样成立，因此很明显，所有15阶阿贝尔群都是同构。
另一个例子，所有8阶段阿贝尔群都同构于 formula_82(整数0到7在模8加法下)，formula_83（奇数1到15在模16乘法下），或 formula_84。
小于或等于16阶的有限阿贝尔群可参见小群列表。
自同构.
基本定理可用于计算并给定有限阿贝尔群 formula_26 的自同构：易知 formula_26 分为互素阶子群的直和 formula_87，则 formula_88 。这种方法证实，要计算formula_26的自同构群，只须分别计算西罗 formula_53-子群的自同构群就足够（亦即所有循环子群的直和，每个都有 formula_53 的幂的阶）。设素数 formula_53，并设西罗 formula_53-子群的循环因子指数 formula_94 以递增排序：
对于某个 formula_96，需寻到
的自同构。一个特殊情况是，formula_98 时，西罗 formula_53-子群 formula_100 中只有唯一的循环素数幂因子。在这个情况下，可以使用有限循环群的自同构理论。而另一个特殊情况，是在 formula_33 取任意值，且 formula_102 对于 formula_103 时，这里不妨考虑 formula_100 为：
所以，这个子群的元素可视作构成在 formula_53 元素的有限域 formula_107 上的 formula_33 维向量空间，其自同构也因此得出，为可逆线性变换：
其早先已证明有阶：
在最一般情况下，这里的formula_94和formula_33可取任意值，自同构群则更难确定。但已知的是，如果定义：
且
则可得 formula_115，formula_116，且
可以验证的是，这会产生特殊前例的阶。
无限阿贝尔群.
最简单的无限阿贝尔群是整数加法群formula_38。
任何有限生成阿贝尔群formula_6均可分解为formula_120个整数加法群的直和与一个有限阿贝尔群的直和，其中formula_120称为formula_6的秩。该有限阿贝尔群本身可进一步分解为有限个素数幂阶循环群的直和。尽管这种分解方式不唯一，但秩formula_120以及构成有限部分的素数幂阶数在忽略排列顺序后是唯一确定的。这一结论源于有限生成阿贝尔群的基本定理，其核心思想是通过不变因子分解和初等因子分解（素数幂的排列组合）实现群结构的完全分类。
一般无限阿贝尔群的分类问题远未解决，但可除群（即满足对任意自然数formula_33和元素formula_12，方程formula_126均有解formula_127的阿贝尔群）构成了其中一类可完全刻画的特殊类型。每个可除群均同构于有理数群formula_128与若干素数formula_53对应的普吕弗群formula_130的直和，且各类直和项的基数在忽略排列顺序后唯一确定。进一步地，若可除群formula_6是阿贝尔群formula_26的子群，则formula_6必存在直补子群formula_134，使得 formula_135。这一性质表明，可除群在阿贝尔群范畴中是内射模，反之根据贝尔准则，所有内射阿贝尔群必为可除群。若一个阿贝尔群不含非零可除子群，则称其为约化群。
无限阿贝尔群理论中，两种性质截然相反的重要特殊类别是挠群（torsion groups）与无挠群（torsion-free groups）。挠群是指群中每个元素均具有有限阶的阿贝尔群，其典型例子是周期群formula_136，该群中每个元素的阶均为素数或可除整数；而挠自由群则指不含非平凡挠元素的阿贝尔群，例如有理数加法群formula_128，其所有元素均具有无限阶。
无挠群.
与挠群相反，无挠群被定义为所有非零元素均具有无限阶的群。此类群的研究主要聚焦于以下几类典型结构：自由阿贝尔群（即由整数加法群formula_138通过任意直和生成的群）、、以及，其特性表现为任何可数直和仅包含有限个非平凡同态像。这些分类体系揭示了无挠阿贝尔群在结构复杂性上的多样性，同时为研究其同构分类、秩理论及表示理论提供了重要框架。
不变量及归类.
无限阿贝尔群的最基本不变量之一是秩，即群中极大线性无关子集的基数。秩为0的阿贝尔群必为周期群（即每个元素均有有限阶），而秩为1的无挠阿贝尔群必为有理数域formula_128的子群，其结构可被完全刻画。更一般地，有限秩formula_120的无挠阿贝尔群可嵌入到formula_141中。然而此不变量并非万能：例如，formula_53-进整数群formula_143 是秩为无限的无挠阿贝尔群，而不同素数幂次formula_144（formula_33可以不同）虽同为无挠群却非同构，说明秩无法完全捕捉某些熟悉群的全部特性。
有限生成、可除、可数周期及秩1无挠阿贝尔群的分类定理均于20世纪上半叶前确立，构成了更一般的无限阿贝尔群分类基础。这些成果依赖于与等关键技术工具。近年来，通过引入无挠阿贝尔群的各类新不变量，分类理论得以进一步深化。
环的加法群.
作为阿贝尔群的特殊子类，环的加法群本质特征在于继承环的加法运算结构，但并非所有阿贝尔群均可通过赋予非平凡乘法运算构成环。该领域包括以下方向：张量积理论揭示了环加法群与其他代数结构间的关联；A.L.S. Corner在可数无挠群分类方面取得的突破性成果；Shelah通过引入新的基数理论框架消除了传统分类中的基数限制；而的构造则为研究有限生成环加法群的表示理论提供了重要工具。这些成果共同推动了环加法群结构分类的深化，特别是在处理无限生成情形时，通过结合同调代数与模型论方法，实现了对复杂群结构的精确刻画。
与其它数学分支的联系.
许多大型阿贝尔群具有自然拓扑结构，因此它们也是拓扑群。
全体阿贝尔群与其间的群同态构成的范畴formula_146​​（即由所有阿贝尔群作为对象、群同态作为态射构成的范畴），是阿贝尔范畴的原型。这一范畴不仅满足加法结构（态射集合具有阿贝尔群运算）、零对象存在性及有限积/余积存在性，更通过严格态射性质成为同调代数研究的核心框架。作为最最基础的阿贝尔范畴实例，其结构特性（如正合序列的短五引理、九引理等）为一般阿贝尔范畴提供了范式基础。
在现代阿贝尔群理论研究中，以下方向仍存在活跃的探索空间：