abel群

数学术语

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

定义

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

。

因为阿贝尔群的群运算满足交换律和结合律，群元素乘积的值与乘法运算时的次序无关。而群运算不满足交换律的群被称为“非阿贝尔群”，或“非交换群”。

符号

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

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

乘法表

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

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

历史注记

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

性质

如果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。

例子

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

有限阿贝尔群

整数模以n的循环群Z/nZ是最常见的群的例子。已证实了任意有限阿贝尔群都同构于素数阶的有限循环群的直和，并且这些阶数是唯一确定的，形成了一个不变量（invariant）的完备系统。有限阿贝尔群的自同构群可以依据这些不变量来直接描述。有关理论最初发展自费迪南德·格奥尔格·弗罗贝尼乌斯和Ludwig Stickelberger在1879年的论文，后来被简化和推广到在主理想整环上的有限生成模，形成了线性代数的一个重要组成部分。

分类

有限阿贝尔群的基本定理声称所有有限阿贝尔群G都可以表达为素幂（prime-power）阶的循环子群的直和。这是有限生成阿贝尔群的基本定理在G有零秩时的特殊情况。

mn阶的循环群同构于与的直和，当且仅当m与n是互素的。可推出任何有限阿贝尔群G同构于如下形式的直和

以任何下列规范方式：

例如，可以被表达为3阶和5阶的两个循环群的直和：。对于任何15阶的阿贝尔群这也成立，导致了所有15阶阿贝尔群都是同构的的显著结论。

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

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