自由阿貝爾群

數學中，自由阿貝爾群是有基的阿貝爾群。阿貝爾群是配備了符合結合律、交換律且有逆的運算的集合。若對群中每個元素，可以唯一表示為有限多基元素的整數係數組合，那麼這些基元素就構成了基，也稱作整基，是集合的子集。例如，2維整格形成了一個自由阿貝爾群，其中逐坐標加法是其運算，(1,0)、(0,1)兩個點是基。自由阿貝爾群的性質與向量空間相近，可以叫做自由${\displaystyle \mathbb {Z} }$-模，是整數上的自由模。格理論研究實向量空間的自由阿貝爾子群。代數拓撲中，自由阿貝爾群用於定義鏈；代數幾何中，則用於定義除子。

自由阿貝爾群的元素有多種用基${\displaystyle B}$描述的方式，如${\displaystyle B}$上的形式和，是有限級數${\textstyle \sum a_{i}b_{i}}$的表示，其中${\displaystyle a_{i}}$為非零整數，${\displaystyle b_{i}}$為互異的基元素。另外，自由阿貝爾群的元素還可以視作由${\displaystyle B}$的元素構成的有符有限多重集，多重集元素的乘法等同於形式和中的係數。 另一種表示方法是${\displaystyle B}$到整數的函數，其中有有限個非零值；這種函數表示對應的群運算是函數的逐點加法。 每個集合與自己的基${\displaystyle B}$都有自由阿貝爾群，在每兩個基相同的自由阿貝爾群同構的意義上是唯一的。自由阿貝爾群的構造不是通過描述每個元素，而是用基${\displaystyle B}$構造為多個整數加群的直和，每個加群對應一個基元；還可以描述為基元素及其生成元的展示，元素對的交換子為其關係元。自由阿貝爾群的秩就是基的勢；一個群的兩個基秩相同，秩相同的兩個自由阿貝爾群同構。自由阿貝爾群的每個子群也是自由阿貝爾群，這使自由阿貝爾群可以視作是自由阿貝爾群按關係（relation）的商，或自由阿貝爾群之間單射同態的余核。屬於自由阿貝爾群的自由群是平凡群和循環群。

定義與例子

平面上的格。任意兩個藍色格點相加，會得到另一個格點；這樣的加法形成的群就是一個自由阿貝爾群。

自由阿貝爾群是有基的阿貝爾群。^[1]「阿貝爾群」意味着它可以描述為一個集合${\displaystyle S}$的元素及集合上的一個二元運算，習慣上將加法群記作${\displaystyle +}$（不必是數之間的加法），有以下性質：

• 運算${\displaystyle +}$遵循交換律和結合律，也就是說，對於${\displaystyle S}$的任意元素${\displaystyle x}$，${\displaystyle y}$，${\displaystyle z}$，都有${\displaystyle x+y=y+x}$與${\displaystyle (x+y)+z=x+(y+z)}$。則，如對${\displaystyle S}$中多個元素應用運算，元素的排序和組合不會影響運算結果。
• ${\displaystyle S}$包含單位元（一般記作${\displaystyle 0}$），對於每個元素${\displaystyle x}$，都有${\displaystyle x+0=0+x=x}$。
• ${\displaystyle S}$中每個元素${\displaystyle x}$都有逆元${\displaystyle -x}$，使得${\displaystyle x+(-x)=0}$。

基${\displaystyle B}$是${\displaystyle S}$的子集，對${\displaystyle S}$中的每個元素，都有唯一的表示方法：選擇有限個基元素${\displaystyle b_{i}}$與同樣多的非零整數${\displaystyle k_{i}}$，${\displaystyle k_{i}}$為正則取${\displaystyle k_{i}}$份${\displaystyle b_{i}}$，${\displaystyle k_{i}}$為負則取${\displaystyle -k_{i}}$份${\displaystyle -b_{i}}$。^[2]特殊地，根據傳統的空和表示，單位元一定可以由零基元素這樣表示，且只有單位元具有這樣的單位性。^[3]

整數集${\displaystyle \mathbb {Z} }$在通常的加法下與基${\displaystyle \{1\}}$形成了自由阿貝爾群。整數符合結合律和交換律，其中0是加法單位元；每個整數也都有加法逆元，即對應的負數。每個非負的${\displaystyle x}$是${\displaystyle x}$份${\displaystyle 1}$的和，每個負整數${\displaystyle x}$是${\displaystyle -x}$份${\displaystyle -1}$的和，所以也滿足基的性質。^[1]

群運算不同於普通數加法的例子見正有理數${\displaystyle \mathbb {Q} ^{+}}$，它與普通乘法運算形成了自由阿貝爾群，質數是它們的基。乘法符合結合律和交換律，其中${\displaystyle 1}$是單位元，${\displaystyle 1/x}$是每個正有理數${\displaystyle x}$的運算逆元。由算術基本定理可知，質數構成這些數乘法的基。由於每個正整數都可以唯一分解為有限多個素因子及其逆。如果${\displaystyle q=a/b}$已經是互質的最簡分數，則${\displaystyle q}$就可以表示為素數${\displaystyle a}$、${\displaystyle b}$的有限組合。^[4]

由單一變量${\displaystyle x}$構成的整係數多項式及多項式加法形成了一個自由阿貝爾群，${\displaystyle x}$的冪是其基。作為一個抽象群，這與正有理數乘法群相同（群同構）。要構建能展示兩個群之間同構的映射，可以將有理數乘法群中的第${\displaystyle i}$個素數的指數重新詮釋為多項式中${\displaystyle x^{i-1}}$的係數，反之亦然。例如，有理數${\displaystyle 5/27}$可以表示為前三個質數${\displaystyle 2,3,5}$的積，指數分別為${\displaystyle 0,-3,1}$，可以對應係數相同的多項式${\displaystyle -3x+x^{2}}$。這樣的映射僅僅重新詮釋了同樣一組數字，所以實際上是定義了群之間的雙射。又由於正有理數乘法對應的群運算在素數的指數上表現得像加法，加法則作用於多項式係數，所以映射保存了群的結構，它們是同態的。雙射同態也就是同構，其存在說明這兩個群有相同的性質。^[5]

給定基對每個群元素的表示是唯一的，不過自由阿貝爾群一般不只有一個基，不同的基一般會給出元素的不同表示。例如，如果將基的所有元素都取逆，就得到了另一組基。更具體地說，一個2維整格${\displaystyle \mathbb {Z} ^{2}}$（包含平面上所有整數坐標點）形成了自由阿貝爾群，其運算為向量加法，一組基為${\displaystyle \{(1,0),(0,1)\}}$^[1]。在這組基下，元素${\displaystyle (4,3)}$只能寫作${\displaystyle (4,3)=4\cdot (1,0)+3\cdot (0,1)}$，其中定義的「乘法」如${\displaystyle \ 4\cdot (1,0):=(1,0)+(1,0)+(1,0)+(1,0)}$。如果把基換成${\displaystyle \{(1,0),(1,1)\}}$，那麼這個元素就只能寫成${\displaystyle (4,3)=(1,0)+3\cdot (1,1)}$。推廣這個例子，每個格子都形成了自由有限生成阿貝爾群。^[6]${\displaystyle d}$維整格${\displaystyle \mathbb {Z} ^{d}}$的自然基包含正整數單位向量，也有許多其他的基：若${\displaystyle M}$是${\displaystyle d}$階整數方陣，且行列式的值${\displaystyle \pm 1}$，則${\displaystyle M}$的行構成基，相反地，整格的每個基都可表示為這種形式。^[7]

構造

每個集合都可以說一個自由阿貝爾群的基，在群同構的意義下是唯一的。給定基集的自由阿貝爾群可通過幾種等價手段構造得來：整數份基元素的直和；整值函數族；有符多重集；或是通過群的展示。

積與和

群的直積包含積中各組元素形成的數組，以及逐指數加法。兩個自由阿貝爾群的直積仍是自由阿貝爾群，基是原來兩個基的不交並。^[8]更一般地，有限個自由阿貝爾群的直積仍是自由阿貝爾群。例如，${\displaystyle d}$維整格與${\displaystyle d}$份整群${\displaystyle \mathbb {Z} }$的直積同構。平凡群${\displaystyle \{0\}}$也是自由阿貝爾群，基是空集。^[9]也可以解釋為空積，即0份${\displaystyle \mathbb {Z} }$的直積。^[10] 對於自由阿貝爾群的無限族，直積就不是自由阿貝爾的必要條件了。^[8]例如，不可數的Baer–Specker群${\displaystyle \mathbb {Z} ^{\mathbb {N} }}$形成了可數多份${\displaystyle \mathbb {Z} }$的直積，1937年Reinhold Baer證明其不是自由阿貝爾群。^[11]不過Ernst Specker在1950年證明了，它所有的可數子集都是自由阿貝爾群。^[12]要使群的無限族保持自由阿貝爾性，則應改用直和而非直積。直和與直積應用於有限多群時是相同的，但對無限族來說是不同的。直和的元素也是來自每組的元素組成的數組，但任意有限多元素都是它們的群的單位元。無限自由阿貝爾群的直和仍是自由阿貝爾群，有一個由除一個元素外都是同一元素的數組組成的基，其餘元素是其群的基的一部分。^[8] 每個自由阿貝爾群都可以描述為多份${\displaystyle \mathbb {Z} }$的直和，一份對應基的一個元素。^[13][14]這一構造可以使任何集合${\displaystyle B}$成為某個自由阿貝爾群的基。^[15]

整函數與形式和

給定集合${\displaystyle B}$，可以定義群${\displaystyle \mathbb {Z} ^{(B)}}$，其元素是從${\displaystyle B}$映射到實數的函數，上標的圓括號表示只包括有有限多非零值的函數。 若${\displaystyle f(x)}$和${\displaystyle g(x)}$是符合要求的函數，則${\displaystyle f+g}$的值是${\displaystyle f}$與${\displaystyle g}$值之和；即${\displaystyle (f+g)(x)=f(x)+g(x)}$。這樣的逐點加法運算賦予${\displaystyle \mathbb {Z} ^{(B)}}$以阿貝爾群的結構。^[16]

給定集合${\displaystyle B}$中的每個元素${\displaystyle x}$對應${\displaystyle \mathbb {Z} ^{(B)}}$中的一個成員；有函數${\displaystyle e_{x}}$（${\displaystyle e_{x}(x)=1}$，${\displaystyle e_{x}(y)=0}$，這時all ${\displaystyle y\neq x}$）。 則${\displaystyle \mathbb {Z} ^{(B)}}$中的每個函數${\displaystyle f}$是有限多基元素的唯一線性組合： $${\displaystyle f=\sum _{\{x\mid f(x)\neq 0\}}f(x)e_{x}}$$ 則這些元素${\displaystyle e_{x}}$形成了${\displaystyle \mathbb {Z} ^{(B)}}$的一個基，${\displaystyle \mathbb {Z} ^{(B)}}$是自由阿貝爾群。 這樣，每個集合${\displaystyle B}$都可以構造為某個自由阿貝爾群的基。^[16]

${\displaystyle \mathbb {Z} ^{(B)}}$的元素也可以寫作形式和，是每項都寫成非零整數與${\displaystyle B}$中元素之積的有限級數。表達式的項如果相同，則無論項的排列如何，都認為是等價的。計算形式和可以先排列、組合有相同基元素的項，再刪去產生零係數的項。^[4]也可以解釋為${\displaystyle B}$中有限多元素的有符多重集。^[17]

展示

群的展示是生成了群的元素組成的集合（即，所有群元素都可以表示為有限多生成元的積），加上「關係元」，生成元的積可以給出單位元。這樣定義的群元素是生成元序列及其逆的等價類，所處的等價關係允許增刪任何關係元或生成元-逆對作為連續子序列。基為${\displaystyle B}$的自由阿貝爾群的生成元可以是${\displaystyle B}$的元素，關係元則是${\displaystyle B}$的元素對的交換子，它們構成了自由阿貝爾群的一種展示。這裏${\displaystyle x}$、${\displaystyle y}$兩個元素的交換子是${\displaystyle x^{-1}y^{-1}xy}$，令其為單位元，可以推出${\displaystyle xy=yx}$，則${\displaystyle x}$、${\displaystyle y}$可交換。更一般地，如果所有生成元對都可交換，則所有生成元積的對也可交換，所以由這種表示生成的群是阿貝爾群，關係元則形成了確保其是阿貝爾群的最小關係子集。^[18]

生成元集合有限時，自由阿貝爾群的展示也有限，因為展示中只包含有限多個不同交換子。這一事實與自由阿貝爾群的每個子群仍是自由阿貝爾群一同，可以說明任何有限生成阿貝爾群的展示也有限。例如，若${\displaystyle G}$由集合${\displaystyle B}$有限生成，則它是${\displaystyle B}$上的自由阿貝爾群由一個由${\displaystyle G}$的關係元生成的子群構成的商。但子群本身也是自由阿貝爾群，其基（以及${\displaystyle B}$上的交換子）形成了${\displaystyle G}$的關係元的有限集。^[19]

作為模

整數上的模的定義與實數或有理數上的向量空間類似，其包含可以互相加和、且可以與整數進行純量乘法的元素系統。阿貝爾群可以視作是整數上的模，其中純量乘法定義如下：^[20]

${\displaystyle 0\,x=0}$
${\displaystyle 1\,x=x}$
${\displaystyle n\,x=x+(n-1)\,x,\quad }$	若${\displaystyle n>1}$
${\displaystyle n\,x=-((-n)\,x),}$	若${\displaystyle n<0}$

但只有自由阿貝爾群像向量空間那樣有基。自由模可以表示為基環上的直和，因此自由阿貝爾群和自由${\displaystyle \mathbb {Z} }$-模是等價的概念：每個自由阿貝爾群（算上其上的乘法運算）都是自由${\displaystyle \mathbb {Z} }$-模，每個自由${\displaystyle \mathbb {Z} }$-模都來自某個自由阿貝爾群。^[21]另一種結合自由阿貝爾群的方法是，${\displaystyle \mathbb {Z} }$-模的張量積|。兩個自由阿貝爾群的張量積仍是自由阿貝爾群，基是原先兩群之基的笛卡兒積。^[22]

自由阿貝爾群的許多重要概念都可以泛化到主理想域上的自由模。例如，主理想域上自由模的子模也自由，Hatcher (2002)認為，這一事實使得同調機制可以「自動泛化」到這些模。^[23]另外，「每個投射${\displaystyle \mathbb {Z} }$-模都自由」這一定理的泛化，也是同樣的方法。^[24]

性質

泛性質

基為${\displaystyle B}$的自由阿貝爾群${\displaystyle F}$有以下泛性質：對每個從基到阿貝爾群${\displaystyle A}$的函數${\displaystyle f}$，都有唯一的從${\displaystyle F}$到${\displaystyle A}$的群同態，其擴展了${\displaystyle f}$。^[4][9]這裏的群同態是群之間的映射，並與群積定律一致：映射與積操作的先後不會改變結果。根據泛性質的一般屬性，這表明基為${\displaystyle B}$的自由阿貝爾群在群同態意義上是唯一的。因此，泛性質可用作基為${\displaystyle B}$的自由阿貝爾群的定義。據這一性質定義的群的唯一性表明，所有其他定義都等價。^[15]

因這條性質，自由阿貝爾群才是「自由」的：它們是阿貝爾群範疇的自由對象，這個範疇的對象是阿貝爾群，同態是其態射。基（集合）到對應的自由阿貝爾群（阿貝爾群）的映射是函子，即範疇間保持結構的映射，是阿貝爾群到集合的遺忘函子的伴隨。^[25]只有兩種自由阿貝爾群是自由群：基為空集的（秩為0，是平凡群），以及基只有一個元素的（秩為1，是無限循環群）。^[9][26]其他阿貝爾群都不是自由群，因為${\displaystyle a}$、${\displaystyle b}$若是基中的不同元素，則自由群中${\displaystyle ab\neq ba}$，而自由阿貝爾群的積符合交換律。在一般群範疇中，${\displaystyle ab=ba}$是一種約束，而在阿貝爾群範疇中則是必要性質。^[27]

秩

同一自由阿貝爾群的兩個基有相同的勢，所以基的勢形成了群的不變量，稱作秩。^[28][29]兩個自由阿貝爾群同構，若且唯若它們的秩相同。^[4]自由阿貝爾群是有限生成的，若且唯若其秩為有限數${\displaystyle n}$，這時群與${\displaystyle \mathbb {Z} ^{n}}$同構。^[30]

這樣表示的秩可以泛化到阿貝爾群。阿貝爾群的秩${\displaystyle G}$定義為自身的自由阿貝爾子群的秩${\displaystyle F}$，且商群${\displaystyle G/F}$是撓群。等價地，它也是${\displaystyle G}$的極大子集（生成了自由子集）的勢。秩是群不變量：與子群的選擇無關。^[31]

子群

理查德·戴德金^[32]證明了自由阿貝爾群的每個子群也是自由阿貝爾群，這是類似的Nielsen–Schreier定理的前身：自由群的子集仍是自由群，是循環群基本定理（無限循環群的非平凡子群都是無限循環群）的推廣，證明要用到選擇公理。^[25]運用了佐恩引理（眾多與選擇公理等價的假設之一）的證明可見塞爾日·蘭的《代數》。^[33]所羅門·萊夫謝茨和Irving Kaplansky認為，用良序原理代替佐恩引理可以得到更易懂的證明。^[14]

在有限生成自由阿貝爾群的情況下，證明不需用到選擇公理，結果更精確。若${\displaystyle G}$是有限生成自由阿貝爾群${\displaystyle F}$的子群，則${\displaystyle G}$是自由的；${\displaystyle F}$有基${\displaystyle (e_{1},\ldots ,e_{n})}$，有正整數${\displaystyle d_{1}|d_{2}|\ldots |d_{k}}$（每個數除以下一個數）使${\displaystyle (d_{1}e_{1},\ldots ,d_{k}e_{k})}$構成${\displaystyle G}$的基。另外，序列${\displaystyle d_{1},d_{2},\ldots ,d_{k}}$只取決於${\displaystyle F}$、${\displaystyle G}$，與基無關。^[34]定理存在部分的構造性證明可由任何計算整數矩陣的史密斯標準形的算法給出。^[35]唯一性來自這樣的事實：${\displaystyle \forall r\leq k}$，秩為${\displaystyle r}$的矩陣的子式的最大公因數在計算史密斯標準形時不變，且是計算結束時${\displaystyle d_{1}\cdots d_{r}}$的積。^[36]

扭化與可除

所有自由阿貝爾群都是無撓的，也就是說沒有非單位元素${\displaystyle x}$和非零整數${\displaystyle n}$使${\displaystyle nx=0}$。 相反地，所有有限生成無撓阿貝爾群都是自由阿貝爾群。^[9][37]

有理數的加群${\displaystyle \mathbb {Q} }$是無撓阿貝爾群（不是有限生成群），但不是自由阿貝爾群。^[38]原因之一是它不可除：${\displaystyle \forall x\in \mathbb {Q} }$、${\displaystyle \forall n\in \mathbb {Z} \ (n\neq 0)}$，可以將${\displaystyle x}$表示為另一個元素${\displaystyle y=x/n}$的純量倍數${\displaystyle ny}$。相反地，非平凡自由阿貝爾群不可除，因為自由阿貝爾群中，基元素不能表示為其他元素的純量倍數。^[39]

對稱性

群的對稱性可以描述為自同構，是群到自身的同態的反函數。非阿貝爾群中，又可以分為 內自同構和外自同構，但阿貝爾群的所有非平凡自同構都是外同構。它們形成了給定群的自同構群，運算為複合。秩為有限數${\displaystyle n}$的自由阿貝爾群的自同構群是一般線性群${\displaystyle \operatorname {GL} (n,\mathbb {Z} )}$，可以具體描述為（為自由自同構群的一個特定基）${\displaystyle n\times n}$可逆整數矩陣集合，運算為矩陣乘法。它們在自由阿貝爾群${\displaystyle \mathbb {Z} ^{n}}$上作為對稱性的作用如同矩陣-向量乘法。^[40]

兩個無限秩自由阿貝爾群的自同構群有相同的一階理論，若且唯若它們的秩從二階邏輯來看有相同的基數。這個結果取決於自由阿貝爾群的對合的結構，即作為自身逆的自同構。給定自由阿貝爾群的基，可以找到將任一組不相交的基元素對映射到彼此的對合，或者否定基元素的任何選定子集，而讓其他基元素固定不變的對合。相反地，對某個自由阿貝爾群的每個對合，都可以找到一個基，基上所有元素都被對合成對地交換、否定或保持不變。^[41]

與其他群的關係

如果自由阿貝爾群是兩個群的商：${\displaystyle A/B}$，則${\displaystyle A}$是直和${\displaystyle B\oplus A/B}$。^[4]

給定任意阿貝爾群${\displaystyle A}$，則一定存在自由阿貝爾群${\displaystyle F}$和一個${\displaystyle F}$到${\displaystyle A}$的滿射群同態。一種構建到給定群${\displaystyle A}$的滿射是使${\displaystyle F=\mathbb {Z} ^{(A)}}$為${\displaystyle A}$上的自由阿貝爾群，表示為形式和。接着要定義滿射，可以 把${\displaystyle F}$中的形式和映射到對應的${\displaystyle A}$中成員的和。也就是說，滿射映射 $${\displaystyle \sum _{\{x\mid a_{x}\neq 0\}}a_{x}e_{x}\mapsto \sum _{\{x\mid a_{x}\neq 0\}}a_{x}x}$$ ，其中${\displaystyle a_{x}}$是給定形式和中基元素${\displaystyle e_{x}}$的整係數， 第一個和在${\displaystyle F}$中，第二個和在${\displaystyle A}$中。^[29][42]這個滿射是唯一可以擴展函數${\displaystyle e_{x}\mapsto x}$的群同態，因此其構造可以視作泛性質的一個例子。

若${\displaystyle F}$、${\displaystyle A}$的定義如上所述，則${\displaystyle F}$到${\displaystyle A}$的滿射的核${\displaystyle G}$也是自由阿貝爾群，因為它是${\displaystyle F}$的子群（映射到單位元的元素的子群）。 因此，這些群形成了短正合序列 $${\displaystyle 0\to G\to F\to A\to 0}$$ ，其中${\displaystyle F}$、${\displaystyle G}$都是自由阿貝爾群，${\displaystyle A}$與商群${\displaystyle F/G}$同構。這是${\displaystyle A}$的一個自由分解。^[2]另外，若假設選擇公理成立的話，^[43]自由阿貝爾群精確對應阿貝爾群範疇中的投射對象。^[4][44]

應用

代數拓撲

主條目：鏈 (代數拓撲)

代數拓撲中，${\displaystyle k}$維單純形的形式和被稱為${\displaystyle k}$-鏈，自由阿貝爾群有一系列${\displaystyle k}$-單純形，其基形成鏈群。^[45]單純形一般取自某些拓撲空間，例如單純復形中的${\displaystyle k}$-單純形集合，或流形中的奇異${\displaystyle k}$-單純形集合。任何${\displaystyle k}$維單純形都有邊界，可以表示為${\displaystyle (k-1)}$維單純形的形式和，自由阿貝爾群的泛性質允許邊界算子擴展為${\displaystyle k}$-鏈到${\displaystyle (k-1)}$-鏈的群同態。由邊界算子這樣聯接的鏈群系統形成了鏈復形，對其的系統研究催生了同調論。^[46]

代數幾何與複分析

主條目：除子

有理函數${\displaystyle z^{4}/(z^{4}-1)}$在0處由一個4階零點（圖中中心處的黑點），在${\displaystyle \pm 1}$、${\displaystyle \pm i}$的四個點處有簡單極點（4個白點）。它可以表示為（在純量意義上的）除子${\displaystyle 4e_{0}-e_{1}-e_{-1}-e_{i}-e_{-i}}$，其中${\displaystyle e_{z}}$是複數上的自由阿貝爾群中複數${\displaystyle z}$的基元素。

複數上的每個有理函數都可以與一個有符複數${\displaystyle c_{i}}$多重集相聯繫，${\displaystyle c_{i}}$是函數的極點（函數值取0或無限的點）。多重集中點的重數${\displaystyle m_{i}}$是為函數零點時的階，或為軸時階的反。 接着，函數本身可以從數據中還原為純量函子，即 $${\displaystyle f(q)=\prod (q-c_{i})^{m_{i}}}$$ 如果這些多重集被解釋為複數上自由阿貝爾群的成員，則兩個有理函數的積或商對應兩個群成員的和或差。因此，有理函數乘法群可以函子化為複數乘法群（每個函數的關聯純量函子）和複數上的自由阿貝爾群。在無窮收斂於有限值的有理函數（黎曼球面上的亞純函數）形成了群的子群，其中重數之和為0。^[47]

這一構造可以泛化到代數幾何中，作為除子的一種表示。一般來說，除子的幾種定義都形成了代數簇的余維1子簇的抽象，也就是某個多項式方程組的解集。若方程組自由度為1（解可以形成代數曲線或黎曼曲面）、且包含孤點時，解集是一個余維為1的子簇，除子是簇中的點構成的一個有符多重集。^[48]緊黎曼曲面上的亞純函數有有限多的極點，它們的除子在面上的點上形成了一個自由阿貝爾群的子群，函數的乘除對應群元素的加減。自由阿貝爾群的元素作為除子，重數和必為0，且要符合由曲面決定的特定附加約束。^[47]

群環

有整數群環${\displaystyle \mathbb {Z} [G]}$，對任何群${\displaystyle G}$都是環，其加法群是${\displaystyle G}$上的自由阿貝爾群。^[49]若${\displaystyle G}$是有限阿貝爾群，則${\displaystyle \mathbb {Z} [G]}$中可逆元的乘法群的結構與有限群直積的結構、與有限生成的自由阿貝爾群的結構相同。^[50][51]

參考文獻

1. Sims, Charles C., Section 8.1: Free abelian groups, Computation with Finitely Presented Groups, Encyclopedia of Mathematics and its Applications 48, Cambridge University Press: 320, 1994 [2023-09-01], ISBN 0-521-43213-8, MR 1267733, doi:10.1017/CBO9780511574702, （原始內容存檔於2023-09-01）
2. Vick, James W., Homology Theory: An Introduction to Algebraic Topology, Graduate Texts in Mathematics 145, Springer: 4, 70, 1994 [2023-09-01], ISBN 9780387941264, （原始內容存檔於2023-08-09）
3. 有些資料對自由阿貝爾群的定義是，單位元的唯一表示是空和，而不是將其作為集合元素表示的特例。見Sims (1994)
4. Fuchs, László, Section 3.1: Freeness and projectivity, Abelian Groups, Springer Monographs in Mathematics, Cham: Springer: 75–80, 2015 [2023-09-01], ISBN 978-3-319-19421-9, MR 3467030, doi:10.1007/978-3-319-19422-6, （原始內容存檔於2023-09-01）
5. Bradley, David M., Counting the positive rationals: A brief survey, 2005, Bibcode:2005math......9025B, arXiv:math/0509025 
6. Mollin, Richard A., Advanced Number Theory with Applications, CRC Press: 182, 2011, ISBN 9781420083293
7. Bremner, Murray R., Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications, CRC Press: 6, 2011, ISBN 9781439807026
8. Hungerford (1974)，Exercise 5, p. 75.
9. Lee, John M., Free Abelian Groups, Introduction to Topological Manifolds, Graduate Texts in Mathematics 202 2nd, Springer: 244–248, 2010, ISBN 9781441979407
10. As stated explicitly, for instance, in Hartley, Brian; Turull, Alexandre, On characters of coprime operator groups and the Glauberman character correspondence, Journal für die Reine und Angewandte Mathematik, 1994, 1994 (451): 175–219, MR 1277300, S2CID 118116330, doi:10.1515/crll.1994.451.175, proof of Lemma 2.3: "the trivial group is the direct product of the empty family of groups"
11. Baer, Reinhold, Abelian groups without elements of finite order, Duke Mathematical Journal, 1937, 3 (1): 68–122, MR 1545974, doi:10.1215/S0012-7094-37-00308-9, hdl:10338.dmlcz/100591 
12. Specker, Ernst, Additive Gruppen von Folgen ganzer Zahlen, Portugaliae Math., 1950, 9: 131–140, MR 0039719
13. Mac Lane, Saunders, Homology, Classics in Mathematics, Springer: 93, 1995, ISBN 9783540586623
14. Kaplansky, Irving, Set Theory and Metric Spaces, AMS Chelsea Publishing Series 298, American Mathematical Society: 124–125, 2001, ISBN 9780821826942
15. Hungerford, Thomas W., II.1 Free abelian groups, Algebra, Graduate Texts in Mathematics 73, Springer: 70–75, 1974, ISBN 9780387905181. See in particular Theorem 1.1, pp. 72–73, and the remarks following it.
16. Joshi, K. D., Applied Discrete Structures, New Age International: 45–46, 1997, ISBN 9788122408263
17. van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard, On characterising distributability, Logical Methods in Computer Science, 2013, 9 (3): 3:17, 58, MR 3109601, S2CID 17046529, arXiv:1309.3883 , doi:10.2168/LMCS-9(3:17)2013
18. Hungerford (1974)，Exercise 3, p. 75.
19. Johnson, D. L., Symmetries, Springer undergraduate mathematics series, Springer: 71, 2001 [2023-09-01], ISBN 9781852332709, （原始內容存檔於2023-09-02）
20. Sahai, Vivek; Bist, Vikas, Algebra, Alpha Science International Ltd.: 152, 2003, ISBN 9781842651575
21. Rotman, Joseph J., Advanced Modern Algebra, American Mathematical Society: 450, 2015, ISBN 9780821884201
22. Corner, A. L. S., Groups of units of orders in Q-algebras, Models, modules and abelian groups, Walter de Gruyter, Berlin: 9–61, 2008, MR 2513226, doi:10.1515/9783110203035.9. See in particular the proof of Lemma H.4, p. 36, which uses this fact.
23. Hatcher, Allen, Algebraic Topology, Cambridge University Press: 196, 2002, ISBN 9780521795401
24. Vermani, L. R., An Elementary Approach to Homological Algebra, Monographs and Surveys in Pure and Applied Mathematics, CRC Press: 80, 2004, ISBN 9780203484081
25. Blass, Andreas, Injectivity, projectivity, and the axiom of choice, Transactions of the American Mathematical Society, 1979, 255: 31–59, JSTOR 1998165, MR 0542870, doi:10.1090/S0002-9947-1979-0542870-6 . For the connection to free objects, see Corollary 1.2. Example 7.1 provides a model of set theory without choice, and a non-free projective abelian group ${\displaystyle P}$ in this model that is a subgroup of a free abelian group ${\textstyle {\bigl (}\mathbb {Z} ^{(A)}{\bigr )}^{n}}$, where ${\displaystyle A}$ is a set of atoms and ${\displaystyle n}$ is a finite integer. Blass writes that this model makes the use of choice essential in proving that every projective group is free; by the same reasoning it also shows that choice is essential in proving that subgroups of free groups are free.
26. Hungerford (1974)，Exercise 4, p. 75.
27. Hungerford (1974)，第70頁.
28. Hungerford (1974)，Theorem 1.2, p. 73.
29. Hofmann, Karl H.; Morris, Sidney A., The Structure of Compact Groups: A Primer for Students - A Handbook for the Expert, De Gruyter Studies in Mathematics 25 2nd, Walter de Gruyter: 640, 2006, ISBN 9783110199772
30. Machì, Antonio, Theorem 4.10, Groups: An introduction to ideas and methods of the theory of groups, Unitext 58, Milan: Springer: 172, 2012, ISBN 978-88-470-2420-5, MR 2987234, doi:10.1007/978-88-470-2421-2
31. Rotman, Joseph J., An Introduction to Algebraic Topology, Graduate Texts in Mathematics 119, Springer: 61–62, 1988, ISBN 9780387966786
32. Johnson, D. L., Topics in the Theory of Group Presentations, London Mathematical Society lecture note series 42, Cambridge University Press: 9, 1980, ISBN 978-0-521-23108-4, MR 0695161
33. Appendix 2 §2, page 880 of Lang, Serge, Algebra, Graduate Texts in Mathematics 211 Revised third, New York: Springer-Verlag, 2002, ISBN 978-0-387-95385-4, MR1878556
34. Hungerford (1974)，Theorem 1.6, p. 74.
35. Johnson (2001)，第71–72頁.
36. Norman, Christopher, 1.3 Uniqueness of the Smith Normal Form, Finitely Generated Abelian Groups and Similarity of Matrices over a Field, Springer undergraduate mathematics series, Springer: 32–43, 2012, ISBN 9781447127307
37. Hungerford (1974)，Exercise 9, p. 75.
38. Hungerford (1974)，Exercise 10, p. 75.
39. Hungerford (1974)，Exercise 4, p. 198.
40. Bridson, Martin R.; Vogtmann, Karen, Automorphism groups of free groups, surface groups and free abelian groups, Farb, Benson (編), Problems on mapping class groups and related topics, Proceedings of Symposia in Pure Mathematics 74, Providence, Rhode Island: American Mathematical Society: 301–316, 2006, MR 2264548, S2CID 17710182, arXiv:math/0507612 , doi:10.1090/pspum/074/2264548
41. Tolstykh, Vladimir, What does the automorphism group of a free abelian group A know about A?, Blass, Andreas; Zhang, Yi (編), Logic and its Applications, Contemporary Mathematics 380, Providence, Rhode Island: American Mathematical Society: 283–296, 2005, MR 2167584, S2CID 18107280, arXiv:math/0701752 , doi:10.1090/conm/380/07117
42. Hungerford (1974)，Theorem 1.4, p. 74.
43. The theorem that free abelian groups are projective is equivalent to the axiom of choice; see Moore, Gregory H., Zermelo's Axiom of Choice: Its Origins, Development, and Influence, Courier Dover Publications: xii, 2012, ISBN 9780486488417
44. Griffith, Phillip A., Infinite Abelian Group Theory, Chicago Lectures in Mathematics, University of Chicago Press: 18, 1970, ISBN 0-226-30870-7
45. Cavagnaro, Catherine; Haight, William T. II, Dictionary of Classical and Theoretical Mathematics, Comprehensive Dictionary of Mathematics 3, CRC Press: 15, 2001, ISBN 9781584880509
46. Edelsbrunner, Herbert; Harer, John, Computational Topology: An Introduction, Providence, Rhode Island: American Mathematical Society: 79–81, 2010, ISBN 9780821849255
47. Dedekind, Richard; Weber, Heinrich, Theory of Algebraic Functions of One Variable, History of mathematics 39, Translated by John Stillwell, American Mathematical Society: 13–15, 2012, ISBN 9780821890349
48. Miranda, Rick, Algebraic Curves and Riemann Surfaces, Graduate Studies in Mathematics 5, American Mathematical Society: 129, 1995, ISBN 9780821802687
49. Stein, Sherman K.; Szabó, Sándor, Algebra and Tiling: Homomorphisms in the Service of Geometry, Carus Mathematical Monographs 25, Washington, DC: Mathematical Association of America: 198, 1994, ISBN 0-88385-028-1, MR 1311249
50. Higman, Graham, The units of group-rings, Proceedings of the London Mathematical Society, Second Series, 1940, 46: 231–248, MR 0002137, doi:10.1112/plms/s2-46.1.231
51. Ayoub, Raymond G.; Ayoub, Christine, On the group ring of a finite abelian group, Bulletin of the Australian Mathematical Society, 1969, 1 (2): 245–261, MR 0252526, doi:10.1017/S0004972700041496