在抽象代數中，阿貝爾群 (*G*,+) 被称为**有限生成**的，如果存在 *G* 中有限多個元素 *x*1,...*x**s* 使得所有 *G* 中的 *x* 可以寫為如下形式

*x* = *n*1*x*1 + *n*2*x*2 + ... + *n**s**x**s*，
其中*n*1,...*n**s* 是整數。在這種情況下，我們稱集合 {*x*1,...*x**s*} 是 *G* 的生成集，或 *x*1,...*x**s* 生成了 *G*。

显然，所有有限阿貝爾群都是有限生成的。有限生成的阿貝爾群帶有相當簡單的結構并可以被完全的分類，我們后面會講到。

例子
--

* 整數集 (**Z**,+) 是有限生成阿貝爾群。
* 整數模以 *n* **Z***n* 是有限生成阿貝爾群。
* 有限多個有限生成阿貝爾群的直和也是有限生成阿貝爾群。

沒有其他的例子了。有理數集的群 (**Q**,+) 不是有限生成的：如果 *x*1,...*x**s* 是有理數，選取一個自然數 *w* 互素於所有分母；則 1/*w* 不能被 *x*1,...*x**s* 生成。

分類
--

**有限生成阿貝爾群的基本定理**（它是在主理想整環上的有限生成模的結構定理的特殊情況）可以用兩種方式陳述（類似於PID）:

### 基礎分解(elementary divisors )

主分解公式生成任何有限生成阿貝爾群 *G* 同構於準素循環群和無限循環群的直和。準素循環群是其階是素數的冪的群。就是說，所有這種群同構於如下形式之一

{\mathbb {Z}}^{n}\oplus {\mathbb {Z}}\_{{q\_{1}}}\oplus \cdots \oplus {\mathbb {Z}}\_{{q\_{t}}}
這里的秩 *n* ≥ 0，并且數 *q*1,...*q**t* 是（不必需不同的）素數的冪。特別是，*G* 是有限的，當且僅當 *n* = 0。*n*, *q*1,...*q**t* 的值（差一個指標的重排）唯一確定自 *G*。

### 不變量因子分解(invariant factors decomposition )

我們可以寫任何有限生成阿貝爾群 *G* 為如下形式的直和

{\mathbb {Z}}^{n}\oplus {\mathbb {Z}}\_{{k\_{1}}}\oplus \cdots \oplus {\mathbb {Z}}\_{{k\_{u}}}
這里的 *k*1 整除 *k*2，而它又整除 *k*3 如此直到 *k**u*。還有，*n* 的秩和不變量因子 *k*1,...*k**u* 唯一的確定自 *G*（這里帶有唯一次序）。

### 等價

這些陳述是等價的，因為中國剩馀定理聲稱 **Z***m* 同構於 **Z***j* 和 **Z***k* 的直和，當且僅當 *j* 和 *k* 互質并且 *m* = *jk*。

例子
--

在這裡提供幾個簡單的例子作為參考

### EX1: 找出所有階為20的阿貝爾群

首先可以將階數質因數分解 {\displaystyle 20=2^{2}\*5^{1}}

注意到指數有2以及1，先注意到2，2的整數分解有兩種，即 { 2 } , { 1,1 } 而 1 的整數分解只有一種即 , { 1 }

所以20階的阿貝爾群的基礎分解即為 {\displaystyle \mathbb {Z} \_{4}\oplus \mathbb {Z} \_{5}}，{\displaystyle \mathbb {Z} \_{2}\oplus \mathbb {Z} \_{2}\oplus \mathbb {Z} \_{5}}

### EX2:找出所有階為72的阿貝爾群

注意到{\displaystyle 72=2^{3}\*3^{2}}，然後看到3有三種分解, 即 { 3 } , { 2,1 }, { 1,1,1 } , 而2的整數分解有兩種，即 { 2 } , { 1,1 } 

所以72階的阿貝爾群的基礎分解即為

{\displaystyle \mathbb {\mathbb {Z} } \_{8}\oplus \mathbb {\mathbb {Z} } \_{9}}， {\displaystyle \mathbb {\mathbb {Z} } \_{8}\oplus \mathbb {\mathbb {Z} } \_{3}\oplus \mathbb {\mathbb {Z} } \_{3}}，{\displaystyle \mathbb {\mathbb {Z} } \_{2}\oplus \mathbb {\mathbb {Z} } \_{4}\oplus \mathbb {\mathbb {Z} } \_{9}}，{\displaystyle \mathbb {\mathbb {Z} } \_{2}\oplus \mathbb {\mathbb {Z} } \_{2}\oplus \mathbb {\mathbb {Z} } \_{2}\oplus \mathbb {\mathbb {Z} } \_{9}}， {\displaystyle \mathbb {\mathbb {Z} } \_{4}\oplus \mathbb {\mathbb {Z} } \_{2}\oplus \mathbb {\mathbb {Z} } \_{3}\oplus \mathbb {\mathbb {Z} } \_{3}}，{\displaystyle \mathbb {\mathbb {Z} } \_{2}\oplus \mathbb {\mathbb {Z} } \_{2}\oplus \mathbb {\mathbb {Z} } \_{2}\oplus \mathbb {\mathbb {Z} } \_{3}\oplus \mathbb {\mathbb {Z} } \_{3}}

证明
--

设g\_{1},g\_{2},\cdots ,g\_{k}是*G*的具有最小基的生成元，我们称如下关系是非平凡的

n\_{1}g\_{1}+n\_{2}g\_{2}+\cdots +n\_{k}g\_{k}
如果n\_i不全为*0*。

  

记

m\_{1}g\_{1}+m\_{2}g\_{2}+\cdots +m\_{k}g\_{k}\qquad \qquad (1)
为所有非平凡关系中具有最小正系数的关系，不失一般性，设m\_{1}为最小的系数。对于任意关系

n\_{1}g\_{1}+n\_{2}g\_{2}+\cdots +n\_{k}g\_{k}\qquad \qquad (2)
我们有m\_{1}\mid n\_{1}，这是因为否则的话我们将有n\_{1}=m\_{1}p+r,\ r<m\_{1}，所以将(1)式乘上*p*后减去(2)式我们将有g\_{1}的系数为*r*小于m\_{1}。

  

进一步我们有m\_{1}\mid m\_{i}，这是因为否则的话存在m\_{i}=m\_{1}p+r，这将有：

m\_{1}(g\_{1}+pg\_{i})+\cdots +rg\_{i}+\cdots +m\_{k}g\_{k}
与(1)式得最小性选择矛盾。因此我们有：

m\_{1}g\_{1}+\cdots +m\_{k}g\_{k}=m\_{1}(g\_{1}-p\_{2}g\_{2}-\cdots -p\_{k}g\_{k})=m\_{1}{\hat {g\_{1}}}=0
所以若

n\_{1}{\hat {g\_{1}}}+n\_{2}g\_{2}+\cdots +n\_{k}g\_{k}=0
那么必有m\_{1}\mid n\_{1}，特别的n\_{1}{\hat {g\_{1}}}=0。

  

将g\_{2},g\_{3},\cdots ,g\_{k}生成的子群记为*G'*，所以*G*中的每个元素都可表示成

n{\hat {g\_{1}}}+a,\ a\in G'
若存在n\_{1}{\hat {g\_{1}}}+p\_{1}=n\_{2}{\hat {g\_{1}}}+p\_{2}，我们将有关系

(n\_{1}-n\_{2}){\hat {g\_{1}}}+(p\_{1}-p\_{2})=0
由上面的讨论我们知道(n\_{1}-n\_{2}){\hat {g\_{1}}}=0，因此n\_{1}{\hat {g\_{1}}}=n\_{2}{\hat {g\_{1}}}且p\_{1}=p\_{2}。

  

所以G=C\_{{{\hat {g\_{1}}}}}\oplus G'这里C\_{{{\hat {g\_{1}}}}}为{\hat {g\_{1}}}生成的循环群。所以通过归纳法我们即可得到原命题。

推論
--

不同陳述的基本定理說明了有限生成阿貝爾群是有限秩的自由阿貝爾群和有限阿貝爾群的直和，此兩者都是唯一（不別同構之異）。有限阿貝爾群就是 *G* 的撓子群。*G* 的秩定義為 *G* 的無撓部分的秩，這就是上面公式中的數 *n*。

基本定理的推論是所有有限生成無撓阿貝爾群是自由阿貝爾群。有限生成條件在這里是本質性的：**Q** 是無撓但非自由阿貝爾群。

有限生成阿貝爾群的所有子群和因子群也是有限生成阿貝爾群。有限生成阿貝爾群和群同態一起形成了阿貝爾范疇，它是阿貝爾群范疇的子范疇。

非有限生成阿貝爾群
---------

注意不是所有有限秩的阿貝爾群都是有限生成的；秩-1 群 **Q** 就是一個例子，而**Z**2 的可數個復本的直和給出的秩-0 群是另一個例子。

參見
--

* 約當-赫德定理是對非阿貝爾群的推廣。

|  |  |  |  |
| --- | --- | --- | --- |
| 

| * 
* 论
* 编
基本数学定理（英语：） |
| --- |
|  |
| 
* 算术
* 代数
* 微积分
* 几何
	+ 曲线（英语：）
	+ 射影（英语：）
	+ 黎曼（英语：）
* 群
	+ 循环（英语：）
	+ 有限生成阿貝爾群
* 线性代数
* 线性规划（英语：）
* 變分法
* 向量分析
* 同态
* 伽罗瓦理论

 |

 |