有限生成阿貝爾群

维基百科,自由的百科全书
跳转至: 导航搜索

抽象代數中,阿貝爾群 (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):

準素分解[编辑]

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

\mathbb{Z}^n \oplus \mathbb{Z}_{q_1} \oplus \cdots \oplus \mathbb{Z}_{q_t}

這里的 n ≥ 0,并且數 q1,...,qt 是(不必需不同的)素數的冪。特別是,G 是有限的,當且僅當 n = 0。n, q1,...,qt 的值(差一個指標的重排)唯一確定自 G

不變量因子分解[编辑]

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

\mathbb{Z}^n \oplus \mathbb{Z}_{k_1} \oplus \cdots \oplus \mathbb{Z}_{k_u}

這里的 k1 整除 k2,而它又整除 k3 如此直到 ku。還有,n 的秩和不變量因子 k1,...,ku 唯一的確定自 G(這里帶有唯一次序)。

等價[编辑]

這些陳述是等價的,因為中國剩馀定理聲稱 Zm 同構於 ZjZk 的直和,當且僅當 jk 互素并且 m = jk

证明[编辑]

g_1,g_2,\cdots, g_kG的具有最小基的生成元,我们称如下关系是非平凡的

n_1g_1+n_2g_2+\cdots+n_kg_k

如果n_i不全为0


m_1g_1+m_2g_2+\cdots +m_kg_k\qquad\qquad (1)

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

n_1g_1+n_2g_2+\cdots +n_kg_k\qquad\qquad (2)

我们有m_1\mid n_1,这是因为否则的话我们将有n_1=m_1p+r,\ r<m_1,所以将(1)式乘上p后减去(2)式我们将有g_1的系数为r小于m_1


进一步我们有m_1\mid m_i,这是因为否则的话存在m_i=m_1p+r,这将有:

m_1(g_1+pg_i)+\cdots +rg_i+\cdots +m_kg_k

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

m_1g_1+\cdots +m_kg_k = m_1(g_1 - p_2g_2-\cdots -p_kg_k) = m_1\hat{g_1}=0

所以若

n_1\hat{g_1}+n_2g_2+\cdots +n_kg_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 就是一個例子,而Z2可數個復本的直和給出的秩-0 群是另一個例子。

參見[编辑]