在抽象代数中,阿贝尔群 (G,+) 被称为有限生成的,如果存在 G 中有限多个元素 x1,...,xs 使得所有 G 中的 x 可以写为如下形式
- x = n1x1 + n2x2 + ... + nsxs,
其中n1,...,ns 是整数。在这种情况下,我们称集合 {x1,...,xs} 是 G 的生成集,或 x1,...,xs 生成了 G。
显然,所有有限阿贝尔群都是有限生成的。有限生成的阿贝尔群带有相当简单的结构并可以被完全的分类,我们后面会讲到。
- 整数集 (Z,+) 是有限生成阿贝尔群。
- 整数模以 n Zn 是有限生成阿贝尔群。
- 有限多个有限生成阿贝尔群的直和也是有限生成阿贝尔群。
没有其他的例子了。有理数集的群 (Q,+) 不是有限生成的:如果 x1,...,xs 是有理数,选取一个自然数 w 互素于所有分母;则 1/w 不能被 x1,...,xs 生成。
有限生成阿贝尔群的基本定理(它是在主理想整环上的有限生成模的结构定理的特殊情况)可以用两种方式陈述(类似于PID):
基础分解(elementary divisors )
[编辑]
主分解公式生成任何有限生成阿贝尔群 G 同构于准素循环群和无限循环群的直和。准素循环群是其阶是素数的幂的群。就是说,所有这种群同构于如下形式之一

这里的秩 n ≥ 0,并且数 q1,...,qt 是(不必需不同的)素数的幂。特别是,G 是有限的,当且仅当 n = 0。n, q1,...,qt 的值(差一个指标的重排)唯一确定自 G。
不变量因子分解(invariant factors decomposition )
[编辑]
我们可以写任何有限生成阿贝尔群 G 为如下形式的直和

这里的 k1 整除 k2,而它又整除 k3 如此直到 ku。还有,n 的秩和不变量因子 k1,...,ku 唯一的确定自 G(这里带有唯一次序)。
这些陈述是等价的,因为中国剩馀定理声称 Zm 同构于 Zj 和 Zk 的直和,当且仅当 j 和 k 互质并且 m = jk。
在这里提供几个简单的例子作为参考
首先可以将阶数质因数分解
注意到指数有2以及1,先注意到2,2的整数分解有两种,即 { 2 } , { 1,1 } 而 1 的整数分解只有一种即 , { 1 }
所以20阶的阿贝尔群的基础分解即为
,
注意到
,然后看到3有三种分解, 即 { 3 } , { 2,1 }, { 1,1,1 } , 而2的整数分解有两种,即 { 2 } , { 1,1 }
所以72阶的阿贝尔群的基础分解即为
,
,
,
,
,
设
是G的具有最小基的生成元,我们称如下关系是非平凡的

如果
不全为0。
记

为所有非平凡关系中具有最小正系数的关系,不失一般性,设
为最小的系数。对于任意关系

我们有
,这是因为否则的话我们将有
,所以将(1)式乘上p后减去(2)式我们将有
的系数为r小于
。
进一步我们有
,这是因为否则的话存在
,这将有:

与(1)式得最小性选择矛盾。因此我们有:

所以若

那么必有
,特别的
。
将
生成的子群记为G',所以G中的每个元素都可表示成

若存在
,我们将有关系

由上面的讨论我们知道
,因此
且
。
所以
这里
为
生成的循环群。所以通过归纳法我们即可得到原命题。
不同陈述的基本定理说明了有限生成阿贝尔群是有限秩的自由阿贝尔群和有限阿贝尔群的直和,此两者都是唯一(不别同构之异)。有限阿贝尔群就是 G 的挠子群。G 的秩定义为 G 的无挠部分的秩,这就是上面公式中的数 n。
基本定理的推论是所有有限生成无挠阿贝尔群是自由阿贝尔群。有限生成条件在这里是本质性的:Q 是无挠但非自由阿贝尔群。
有限生成阿贝尔群的所有子群和因子群也是有限生成阿贝尔群。有限生成阿贝尔群和群同态一起形成了阿贝尔范畴,它是阿贝尔群范畴的子范畴。
注意不是所有有限秩的阿贝尔群都是有限生成的;秩-1 群 Q 就是一个例子,而Z2 的可数个复本的直和给出的秩-0 群是另一个例子。