阿贝尔群（Abelian group）又称交换群，是群论中的重要概念，其核心特征是群内元素运算满足交换律。以下从定义、性质、实例三个层面展开说明：
阿贝尔群是一个集合 ( G ) 与二元运算 ( + )（不一定是普通加法）构成的代数结构，需满足以下条件：
运算顺序无关性由于交换律的存在，阿贝尔群中元素的运算结果与顺序无关。例如，在整数加法群 ( (mathbb{Z}, +) ) 中，( 3 + 5 = 5 + 3 = 8 )。这一性质简化了复杂运算的推导过程。
子群与商群的交换性
阿贝尔群的子群必然是正规子群（因为 ( a + H = H + a ) 对任意子群 ( H ) 成立）。
若 ( G ) 是阿贝尔群，( N ) 是其子群，则商群 ( G/N ) 也是阿贝尔群。
直积的交换性若 ( G_1, G_2, dots, G_n ) 均为阿贝尔群，则它们的直积 ( G_1 times G_2 times dots times G_n ) 也是阿贝尔群，运算定义为逐分量相加。
有限生成阿贝尔群的结构定理任何有限生成阿贝尔群 ( G ) 可表示为循环群的直积：[G cong mathbb{Z}^r oplus mathbb{Z}{n_1} oplus mathbb{Z}{n_2} oplus dots oplus mathbb{Z}{n_k}]其中 ( r ) 为秩（自由部分的生成元个数），( n_i ) 为循环群的阶数且满足 ( n{i+1} mid n_i )。
整数加法群 ( (mathbb{Z}, +) )所有整数在普通加法下构成阿贝尔群，单位元为 ( 0 )，逆元为相反数（如 ( 5 ) 的逆元是 ( -5 )）。
实数加法群 ( (mathbb{R}, +) )实数集在加法下满足封闭性、结合律、交换律，且存在单位元 ( 0 ) 和逆元 ( -x )。
非零实数乘法群 ( (mathbb{R}^*, times) )非零实数在乘法下构成阿贝尔群，单位元为 ( 1 )，逆元为倒数（如 ( 2 ) 的逆元是 ( frac{1}{2} )）。
模 ( n ) 加法群 ( (mathbb{Z}_n, +_n) )整数模 ( n ) 的剩余类在模 ( n ) 加法下构成有限阿贝尔群，例如 ( mathbb{Z}_6 = {0, 1, 2, 3, 4, 5} )，其中 ( 3 +_6 4 = 1 )。
向量空间向量空间作为加法群时，由于向量加法满足交换律，因此向量空间是阿贝尔群。例如，( mathbb{R}^n ) 中的向量加法群。
阿贝尔群在数学及物理学中有广泛应用：
阿贝尔群通过交换律的约束，为代数结构的研究提供了简洁而强大的框架，其理论成果深刻影响了现代数学的多个分支。
