其他有限群
对称群,
二面体群,
无限群
整数, Z
模群, PSL(2,Z) 和 SL(2,Z)
G2 F4E6 E7E8
劳仑兹群
庞加莱群
环路群
量子群
O(∞) SU(∞) Sp(∞)
阿贝尔群(Abelian group)也称为交换群(commutative group)或可交换群,它是满足其元素的运算不依赖于它们的次序(交换律公理)的群。阿贝尔群推广了整数集合的加法运算。阿贝尔群以挪威数学家尼尔斯·阿贝尔命名。
阿贝尔群的概念是抽象代数的基本概念之一。其基本研究对象是模和向量空间。阿贝尔群的理论比其他非阿贝尔群简单。有限阿贝尔群已经被较为彻底地研究了。无限阿贝尔群理论则是目前正在研究的领域。
阿贝尔群的群运算符合交换律,因此阿贝尔群也被称为交换群。它由自身的集合和二元运算* 构成。它除了满足一般的群公理,即运算的结合律、有单位元、所有的元素都有逆元之外,还满足交换律公理
因为阿贝尔群的群运算满足交换律和结合律,群元素乘积的值与乘法运算时的次序无关。
而群运算不满足交换律的群被称为“非阿贝尔群”,或“非交换群”。
阿贝尔群有两种主要运算符号—加法和乘法。
一般地说,乘法符号是群的常用符号,而加法符号是模的常用符号。当同时考虑阿贝尔群和非阿贝尔群时,加法符号还可以用来强调阿贝尔群是特定群。
验证有限群是阿贝尔群,可以构造类似乘法表的一种表格(矩阵),它称为凯莱表。如果群 = {1 = , 2, ..., }在运算⋅下,则这个表的第(, )个表项包含乘积 ⋅ 。群是阿贝尔群当且仅当这个表是关于主对角线是对称的(就是说这个矩阵是对称矩阵)。
这是成立的因为如果它是于阿贝尔群,则 ⋅ = ⋅ 。这蕴含了第(, )个表项等于第(, )个表项,就是说这个表示关于主对角线对称的。
矩阵即使是可逆矩阵,一般不形成在乘法下的阿贝尔群,因为矩阵乘法一般是不可交换的。但是某些矩阵的群是在矩阵乘法下的阿贝尔群 - 一个例子是2x2 旋转矩阵的群。
阿贝尔群是Camille Jordan以挪威数学家尼尔斯·阿贝尔命名的,他首先察觉到了阿贝尔首先发表的这种群与根式可解性的联系的重要性。
如果是自然数而是使用加号的阿贝尔群的一个元素,则可以定义为 + + ... + (个数相加)并且(−) = −()。以这种方式,变成在整数的环Z上的模。事实上,在Z上的模都可以被识别为阿贝尔群。
关于阿贝尔群(比如在主理想整环Z上的模)的定理经常可以推广到在任意主理想整环上的模。典型的例子是有限生成阿贝尔群的分类是在主理想整环上的有限生成模的结构定理的特殊情况。在有限生成阿贝尔群的情况下,这个定理保证阿贝尔群可以分解为挠群和自由阿贝尔群的直和。前者可以被写为形如Z/kZ对于素数的有限多个群的直和,而后者是有限多个Z的复本的直和。
如果, : → 是在阿贝尔群之间的两个群同态,则它们的和 + ,定义为( + )() = () + (),也是阿贝尔同态。(如果是非阿贝尔群则这就不成立。)所有从到的群同态的集合Hom(, )因此是自身方式下的阿贝尔群。
某种程度上类似于向量空间的维度,所有阿贝尔群都有秩。它定义为群的线性无关元素的最大集合的势。整数集和有理数集和所有的有理数集的子群都有秩1。
整数模以的循环群Z/Z是最常见的群的例子。已证实了任意有限阿贝尔群都同构于素数阶的有限循环群的直和,并且这些阶数是唯一确定的,形成了一个不变量(invariant)的完备系统。有限阿贝尔群的自同构群可以依据这些不变量来直接描述。有关理论最初发展自费迪南德·格奥尔格·弗罗贝尼乌斯和Ludwig Stickelberger(英语:Ludwig Stickelberger)在1879年的论文,后来被简化和推广到在主理想整环上的有限生成模,形成了线性代数的一个重要组成部分。
有限阿贝尔群的基本定理声称所有有限阿贝尔群都可以表达为素幂(prime-power)阶的循环子群的直和。这是有限生成阿贝尔群的基本定理在有零秩时的特殊情况。
阶的循环群与是互素的。可推出任何有限阿贝尔群同构于如下形式的直和
以任何下列规范方式:
例如,的自同构。要这么做,可利用如果分解为互素阶的子群的直和 ,则Aut( ) ) )的事实(这里就不证明了)。
基本定理证明了要计算的自同构群,分别计算西罗子群的自同构群就足够了(也就是所有的循环子群的直和,每个都有的幂的阶)。固定一个素数并假设西罗子群的循环因子的指数是按递增次序安排的:
对于某个 > 0。需要找到
的自同构。一个特殊情况是在 = 1的时候,此时在西罗-子群中只有唯一一个循环素数幂因子。在这个情况下可以使用有限循环群的自同构的理论。另一个特殊情况是在为任意的但 = 1对于1 ≤ ≤ 的时候。这里考虑为有着形式
所以这个子群的元素可以被看作构成了在元素的有限域维向量空间。这个子群的自同构因此给出为可逆线性变换,因此
它早先证明了有阶
在最一般情况下,这里的和是任意的,自同构群更难于确定。但是已经知道了如果定义
并且
则有着特别的 ≥ , ≤ ,并且
可以检查这会生成作为特殊情况的前面例子的阶(参见)。