阿贝尔群的性质
如果n是自然数而x是使用加号的阿贝尔群G的一个元素，则nx可以定义为x + x + ... + x（n个数相加）并且（−n）x = −（nx）。以这种方式，G变成在整数的环Z上的模。事实上，在Z上的模都可以被识别为阿贝尔群。关于阿贝尔群（比如在主理想整环Z上的模）的定理经常可以推广到在任意主理想整环上的模。典型的例子是有限生成阿贝尔群的分类是在主理想整环上的有限生成模的结构定理的特殊情况。在有限生成阿贝尔群的情况下，这个定理保证阿贝尔群可以分解为挠群和自由阿贝尔群的直和。前者可以被写为形如Z/pkZ对于素数p的有限多个群的直和，而后者是有限多个Z的复本的直和。如果f, g : G → H是在阿贝尔群之间的两个群同态，则它们的和f + g，定义为(f + g)(x) = f(x) + g(x)，也是阿贝尔同态。（如果H是非阿贝尔群则这就不成立。）所有从G到H的群同态的集合Hom(G, H)因此是自身方式下的阿贝尔群。某种程度上类似于向量空间的维度，所有阿贝尔群都有秩。它定义为群的线性无关元素的最大集合的势。整数集和有理数集和所有的有理数集的子群都有秩1。
阿贝尔群的定义
阿贝尔群是有着群运算符合交换律性质的群，因此阿贝尔群也被称为交换群。它由自身的集合 G 和二元运算 * 构成。它除了满足一般的群公理，即运算的结合律、G 有单位元、所有 G 的元素都有逆元之外，还满足交换律公理因为阿贝尔群的群运算满足交换律和结合律，群元素乘积的值与乘法运算时的次序无关。而群运算不满足交换律的群被称为“非阿贝尔群”，或“非交换群”。
阿贝尔群的介绍
阿贝尔群（Abelian Group），又称交换群或加群，是这样一类群：它由自身的集合 G 和二元运算 * 构成。它除了满足一般的群公理，即运算的结合律、G 有单位元、所有 G 的元素都有逆元之外，还满足交换律公理。因为阿贝尔群的群运算满足交换律和结合律，群元素乘积的值与乘法运算时的次序无关。阿贝尔群的概念是抽象代数的基本概念之一。其基本研究对象是模和向量空间。阿贝尔群的理论比其他非阿贝尔群简单。有限阿贝尔群已经被彻底地研究了。无限阿贝尔群理论则是目前正在研究的领域。
