1 基本定义与概念
1.1 群的定义
群是由一个集合及其上的二元运算构成的代数结构。该运算需要满足封闭性、结合律、存在单位元以及每个元素都存在逆元四条基本要求。群论研究的核心对象，就是在这些公理之下所呈现出的对称性与代数规律。
1.2 交换律与阿贝尔性
若群中的运算还满足交换律，即任意两个元素相乘或相加时，交换它们的顺序不改变结果，则称该群具有阿贝尔性。交换律使得许多运算与证明过程显著简化，也使结构更接近日常所熟悉的加法运算。
1.3 阿贝尔群的正式定义
满足群公理且运算可交换的群，称为阿贝尔群。该名称源于数学家尼尔斯·亨利克·阿贝尔。阿贝尔群是抽象代数中的基础结构之一，常被视为“加法型”代数系统的原型。
1.4 记号与常见约定
阿贝尔群常用加法记号表示，此时单位元写作 0，元素的逆元写作负号。例如，若群运算记作加法，则元素 a 的逆元记作 −a。若采用乘法记号，则单位元常写作 1，但在阿贝尔群语境下，加法记号更为常见。
2 典型例子
2.1 整数加法群
整数集合 Z 在加法下构成阿贝尔群。它是最基本的例子之一，单位元为 0，每个整数都有相反数作为逆元。整数加法群还具有无限循环生成的特征。
2.2 模 n 加法群
整数模 n 的剩余类集合 Z/nZ 在加法下构成有限阿贝尔群。其运算结果按模 n 进行化简，常用于初等数论与同余运算的研究。该群的元素个数为 n，结构清晰且容易计算。
2.3 向量空间的加法群
任意向量空间在向量加法下都形成阿贝尔群。向量加法天然满足交换律，因此向量空间不仅是线性代数的基本对象，也可从群论角度看作一种典型的阿贝尔群。
2.4 循环群
由一个元素生成的群称为循环群。若该群运算可交换，则它必为阿贝尔群。事实上，所有循环群都是阿贝尔群，这使其成为最简单的一类群结构。
2.5 有限直积与直和的例子
若若干个阿贝尔群取有限直积，其结果仍是阿贝尔群。例如 Z2 × Z3、Z/nZ × Z/mZ 等都属于常见例子。在有限情形下，直积与直和通常可以视为同一结构，便于描述多个独立分量的组合。
3 基本性质
3.1 运算可交换带来的简化
由于阿贝尔群的运算可交换，元素的排列顺序不会影响整体结果。这使得乘积或和式的重排更加自由，也便于处理消去、合并同类项以及分解表达式等问题。
3.2 单位元与逆元的性质
在阿贝尔群中，单位元仍然唯一，逆元也唯一。并且逆元的运算满足直观的对称关系，例如 a + (−a) = 0。交换律还保证了多个元素的逆运算可以按任意顺序组合而不改变最终结果。
3.3 幂运算与加法记号的对应
对阿贝尔群使用加法记号时，重复运算常写作倍数形式，例如 n a 表示 a 自身重复相加 n 次。若使用乘法记号，则对应于幂运算。阿贝尔群中的这类记法转换常用于统一表达规律。
3.4 子群的正规性
阿贝尔群中的任意子群都是正规子群。原因在于共轭作用在交换律下变得平凡，子群与整个群的相互作用不会产生额外复杂性。这一性质使商群构造在阿贝尔群中尤为自然。
3.5 交换子与平凡交换子群
交换子衡量两个元素是否“真正可交换”。在阿贝尔群中，任意两个元素的交换子都等于单位元，因此交换子群是平凡的。换言之，阿贝尔群的非交换性成分完全不存在。
4 子群与商群
4.1 子群的判定
判断一个子集是否为阿贝尔群的子群，通常只需检查它是否对群运算封闭、是否包含单位元，以及是否对取逆封闭。在加法记号下，常简化为验证对加法和取负的封闭性。
4.2 每个子群都是正规子群
由于阿贝尔群中所有元素彼此可交换，子群在左陪集与右陪集意义下没有差别。因此，每个子群自动具有正规性，不需要额外验证共轭稳定条件。
4.3 商群的构造
给定阿贝尔群 G 与其子群 H，可用陪集 G/H 构造商群。商群的元素是 H 的陪集，运算由原群运算诱导而来。由于 H 正规，商群的定义在这里特别简洁。
4.4 商群在阿贝尔群中的性质
阿贝尔群的商群仍然是阿贝尔群。也就是说，阿贝尔性会在取商后被保留。这一稳定性使商群成为研究分解与约简的重要工具。
4.5 直和分解中的子群视角
阿贝尔群常可分解为若干子群的直和。此时每个分量既可单独研究，也能通过投影与嵌入关系把握整体结构。子群视角有助于理解群如何由更小的部分拼接而成。
5 同态与同构
5.1 群同态的定义
群同态是保持群运算的映射。若 φ(a + b) = φ(a) + φ(b)，则称 φ 为加法记号下的群同态。它是连接不同代数结构之间信息传递的基本方式。
5.2 核与像
同态的核是被映到单位元的元素集合，像则是所有可达元素的集合。核反映映射中被“压扁”的部分，像反映实际保留下来的结构。对于阿贝尔群，同态的核通常具有良好的子群性质。
5.3 第一同构定理
第一同构定理说明：群同态的像与原群模去核后的商群同构。它揭示了“先取映射，再看结果”与“先按核折叠，再比较结构”之间的对应关系，是群论中最核心的定理之一。
5.4 阿贝尔群之间的同构判定
判断两个阿贝尔群是否同构，通常关注它们的阶、生成元个数、元素阶分布以及分解结构。对于有限生成情形，还可借助结构定理给出标准形式，从而实现系统判定。
5.5 同态在分类中的作用
同态不仅用于构造新群，也常用于比较和分类阿贝尔群。通过研究核、像与商结构，可以逐步把复杂群化为若干简单成分，形成层层分解的分类思路。
6 生成与表示
6.1 生成元与生成子群
若一组元素经过有限次群运算能够产生整个群，则称它们为生成元。由这些元素生成的最小子群称为生成子群。阿贝尔群中生成元的排列次序不影响结果，因此相关表达通常更易整理。
6.2 循环生成的阿贝尔群
由单个元素生成的阿贝尔群称为循环阿贝尔群。它们结构简单，常可直接与整数加法群或模 n 加法群对应。循环生成意味着整个群的复杂度高度集中在一个基本元素上。
6.3 有限生成阿贝尔群
若阿贝尔群可由有限多个元素生成，则称为有限生成阿贝尔群。这类群在结构上具有很强的可控性，既有离散部分，也可能含有有限周期成分，是分类理论中的核心对象。
6.4 生成关系的表示方法
群可通过“生成元加关系”的方式描述，即先列出生成元，再给出它们满足的关系。对于阿贝尔群，交换关系通常可省略或自动成立，表示式因此更加简洁，便于书写与计算。
6.5 约化表示与标准形式
对有限生成阿贝尔群进行适当约化后，往往可以写成标准分解形式。标准形式将群拆成若干循环因子的直和，使结构一目了然，也便于比较不同群之间的差异。
7 结构定理
7.1 有限生成阿贝尔群结构定理
有限生成阿贝尔群结构定理指出，任何有限生成阿贝尔群都可分解为有限个循环群与若干个无限循环群的直和。该定理是阿贝尔群分类的基础，说明这类群本质上由简单块拼装而成。
7.2 不变量因子分解
不变量因子分解将有限生成阿贝尔群写成一串满足整除关系的循环因子直和。该分解形式强调不同因子的层级约束，便于从整体上识别群的结构特征。
7.3 初等因子分解
初等因子分解则按素数幂因子来拆分群结构。每个因子对应某个素数的幂次成分，适合突出群的局部性质。与不变量因子分解相比，它更强调素因子层面的组织方式。
7.4 自由部分与挠部分
有限生成阿贝尔群通常可分为自由部分和挠部分。自由部分由若干个无限循环群组成，挠部分由有限阶元素构成。两者分别代表“无周期”与“有周期”的两种基本成分。
7.5 分类结果的应用
结构定理不仅给出分类结论，也提供具体计算工具。通过分解，可以判断同构、计算子群、分析商群，并将复杂问题转化为若干简单循环因子的组合问题。
8 特殊类型的阿贝尔群
8.1 循环群
循环群是最基础的阿贝尔群类型，由单一元素生成。它们的结构完全由生成元的阶决定，因此在分类中常被视为基本积木。
8.2 单群阶为素数的情形
若阿贝尔群的阶是素数，则该群必为循环群，且除单位元外所有元素阶都等于该素数。这样的群结构极其简单，几乎没有可进一步分解的余地。
8.3 挠群
挠群指每个元素都有有限阶的群。阿贝尔挠群在数论与代数中常频繁出现，其元素会在某个正整数倍后回到单位元，表现出明显的周期性。
8.4 无挠群
无挠群是指除单位元外不存在有限阶元素的群。整数加法群就是典型例子。无挠性意味着群中不存在周期回返现象，结构上更接近线性伸展。
8.5 可除群
若群中每个元素都能被任意正整数“整除”，即对任意 n 都存在 x 使得 n x = a，则称为可除群。可除群在阿贝尔群理论中占有特殊地位，常与极大延拓性质相关联。
8.6 自由阿贝尔群
自由阿贝尔群由若干基元素自由生成，除交换律外不附加额外关系。它可看作阿贝尔群中的“最无约束”模型，类似线性空间中的基与坐标体系。
9 直和与直积
9.1 直和的定义
直和是若干阿贝尔群组合得到的结构，其中每个元素只在有限多个分量上非零。对有限个群而言，直和与直积常一致；在无限情形下，它们则明显不同。
9.2 直积的定义
直积由多个群元素组成的有序组构成，各分量分别按原群运算进行计算。它强调并列组合，适合同时记录多个独立部分的信息。
9.3 有限与无限直和的区别
有限直和与有限直积通常没有区别，但在无限个群的情形下，直和要求仅有限个分量非零，而直积允许所有分量都非零。这一差异在无限代数结构中十分关键。
9.4 直和分解的唯一性问题
阿贝尔群的直和分解并不总是唯一，但在有限生成情形下，结构定理给出了相当强的唯一性约束。不同分解方式之间通常可通过标准形式互相对应。
9.5 典型分解示例
常见例子包括 Z ≅ Z、Z/nZ 与若干循环群的直和，以及有限个素数幂循环群的组合。通过这些示例，可以直观理解大群如何拆成小块并保持可计算性。
10 阿贝尔群中的运算技巧
10.1 加法记号与乘法记号的转换
在阿贝尔群中，常根据语境在加法与乘法记号之间切换。加法记号适合描述“重复相加”，乘法记号则更贴近一般群论的写法。理解二者对应关系有助于阅读不同领域的文献。
10.2 线性组合与倍数
阿贝尔群中的元素可以像“线性组合”一样处理，即用整数系数对多个元素作加权求和。这种写法与模论、线性代数具有高度相似性，也是构造生成子群的常用工具。
10.3 元素阶的计算
元素阶是指元素重复运算后首次回到单位元所需的最小正整数。阿贝尔群中元素阶的计算往往依赖分量分解和倍数关系，特别是在有限直和与模加法群中尤为方便。
10.4 子群生成与元素关系化简
在阿贝尔群中，生成子群的元素关系可以通过交换律和整数系数进行整理。许多复杂表达都可化简为若干基本生成元的线性组合，从而显著降低计算难度。
10.5 常见证明方法
阿贝尔群中的证明常借助交换律、倍数运算、同态映射以及结构定理。由于运算次序不敏感，很多论证可以将问题转化为单个生成元或分量上的验证。
11 与其他代数结构的关系
11.1 与环的加法群
任何环在其加法运算下都构成阿贝尔群。环论中的很多概念，首先建立在这个加法群结构之上，因此阿贝尔群可视为环的底层骨架。
11.2 与模论的联系
模是环上与向量空间类似的结构，其加法部分必须是阿贝尔群。模论中的子模、商模与同态，很多性质都直接继承自阿贝尔群的加法结构。
11.3 与向量空间的联系
向量空间的向量加法就是一个阿贝尔群，而标量乘法进一步赋予其线性结构。可以说，阿贝尔群是向量空间在“忽略标量作用”后的基本形态。
11.4 与李群和李代数的简单例子
在李群与李代数中，某些最简单的例子也是阿贝尔的，例如实数加法群、若干环面类型的平滑群，以及对应的交换李代数。这些例子常用于说明更复杂理论的起点。
11.5 与非阿贝尔群的对比
与非阿贝尔群相比，阿贝尔群的结构更为规整，计算也更容易。非阿贝尔群中的元素顺序通常会显著影响结果，而阿贝尔群恰恰消除了这一复杂性，因此常被作为入门与分类研究的基础。
12 历史与应用
12.1 阿贝尔群概念的来源
阿贝尔群概念与19世纪群论的发展密切相关，名称纪念了阿贝尔在可交换代数结构研究中的先驱性贡献。随着抽象代数体系的建立，这一概念逐渐成为标准术语。
12.2 在数论中的应用
阿贝尔群在数论中广泛出现，尤其体现在同余类、模运算和算术函数的结构分析中。许多数论问题可通过研究某个有限阿贝尔群的性质来简化处理。
12.3 在代数拓扑中的应用
代数拓扑常将几何对象关联到同调群和基本群的交换化结果，其中许多关键对象都是阿贝尔群。借助这些群，可以将空间的连通、洞与环绕信息转化为代数数据。
12.4 在编码与信息结构中的应用
在编码理论与信息处理结构中，阿贝尔群常用于描述符号集合上的加法运算、误差修正以及代数编码构造。其交换性使得编码规则更便于分析与实现。
12.5 在数学建模中的基础作用
阿贝尔群为许多离散与线性模型提供了共同语言。无论是周期现象、资源叠加，还是状态的组合与分解，都可以借助阿贝尔群的框架进行抽象表达。