数学中，**自由阿贝尔群**是有基的阿贝尔群。阿贝尔群是配备了符合结合律、交换律且有逆的运算的集合。若对群中每个元素，可以唯一表示为有限多基元素的整数系数组合，那么这些基元素就构成了基，也称作**整基**，是集合的子集。例如，2维整格形成了一个自由阿贝尔群，其中逐坐标加法是其运算，(1,0)、(0,1)两个点是基。自由阿贝尔群的性质与向量空间相近，可以叫做**自由**\mathbb {Z} **-模**，是整数上的自由模。格理论研究实向量空间的自由阿贝尔子群。代数拓扑中，自由阿贝尔群用于定义链；代数几何中，则用于定义除子。

自由阿贝尔群的元素有多种用基B描述的方式，如B上的**形式和**，是有限级数{\textstyle \sum a\_{i}b\_{i}}的表示，其中a\_{i}为非零整数，b\_{i}为互异的基元素。另外，自由阿贝尔群的元素还可以视作由B的元素构成的有符有限多重集，多重集元素的乘法等同于形式和中的系数。
另一种表示方法是B到整数的函数，其中有有限个非零值；这种函数表示对应的群运算是函数的逐点加法。
每个集合与自己的基B都有自由阿贝尔群，在每两个基相同的自由阿贝尔群同构的意义上是唯一的。自由阿贝尔群的构造不是通过描述每个元素，而是用基B构造为多个整数加群的直和，每个加群对应一个基元；还可以描述为基元素及其生成元的展示，元素对的交换子为其关系元。自由阿贝尔群的秩就是基的势；一个群的两个基秩相同，秩相同的两个自由阿贝尔群同构。自由阿贝尔群的每个子群也是自由阿贝尔群，这使自由阿贝尔群可以视作是自由阿贝尔群按关系（relation）的商，或自由阿贝尔群之间单射同态的余核。属于自由阿贝尔群的自由群是平凡群和循环群。

定义与例子
-----

平面上的格。任意两个蓝色格点相加，会得到另一个格点；这样的加法形成的群就是一个自由阿贝尔群。
自由阿贝尔群是有基的阿贝尔群。"阿贝尔群"意味着它可以描述为一个集合S的元素及集合上的一个二元运算，习惯上将加法群记作+（不必是数之间的加法），有以下性质：

* 运算+遵循交换律和结合律，也就是说，对于S的任意元素x，y，z，都有{\displaystyle x+y=y+x}与{\displaystyle (x+y)+z=x+(y+z)}。则，如对S中多个元素应用运算，元素的排序和组合不会影响运算结果。
* S包含单位元（一般记作{\displaystyle 0}），对于每个元素x，都有{\displaystyle x+0=0+x=x}。
* S中每个元素x都有逆元-x，使得{\displaystyle x+(-x)=0}。

基B是S的子集，对S中的每个元素，都有唯一的表示方法：选择有限个基元素b\_{i}与同样多的非零整数k\_i，k\_i为正则取k\_i份b\_{i}，k\_i为负则取{\displaystyle -k\_{i}}份{\displaystyle -b\_{i}}。特殊地，根据传统的空和表示，单位元一定可以由零基元素这样表示，且只有单位元具有这样的单位性。

整数集\mathbb {Z} 在通常的加法下与基{\displaystyle \{1\}}形成了自由阿贝尔群。整数符合结合律和交换律，其中0是加法单位元；每个整数也都有加法逆元，即对应的负数。每个非负的x是x份1的和，每个负整数x是-x份-1的和，所以也满足基的性质。

群运算不同于普通数加法的例子见正有理数{\mathbb {Q}}^{+}，它与普通乘法运算形成了自由阿贝尔群，质数是它们的基。乘法符合结合律和交换律，其中1是单位元，1/x是每个正有理数x的运算逆元。由算术基本定理可知，质数构成这些数乘法的基。由于每个正整数都可以唯一分解为有限多个素因子及其逆。如果{\displaystyle q=a/b}已经是互质的最简分数，则q就可以表示为素数a、b的有限组合。

由单一变量x构成的整系数多项式及多项式加法形成了一个自由阿贝尔群，x的幂是其基。作为一个抽象群，这与正有理数乘法群相同（群同构）。要构建能展示两个群之间同构的映射，可以将有理数乘法群中的第i个素数的指数重新诠释为多项式中{\displaystyle x^{i-1}}的系数，反之亦然。例如，有理数{\displaystyle 5/27}可以表示为前三个质数{\displaystyle 2,3,5}的积，指数分别为{\displaystyle 0,-3,1}，可以对应系数相同的多项式{\displaystyle -3x+x^{2}}。这样的映射仅仅重新诠释了同样一组数字，所以实际上是定义了群之间的双射。又由于正有理数乘法对应的群运算在素数的指数上表现得像加法，加法则作用于多项式系数，所以映射保存了群的结构，它们是同态的。双射同态也就是同构，其存在说明这两个群有相同的性质。

给定基对每个群元素的表示是唯一的，不过自由阿贝尔群一般不只有一个基，不同的基一般会给出元素的不同表示。例如，如果将基的所有元素都取逆，就得到了另一组基。更具体地说，一个2维整格{\displaystyle \mathbb {Z} ^{2}}（包含平面上所有整数坐标点）形成了自由阿贝尔群，其运算为向量加法，一组基为{\displaystyle \{(1,0),(0,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)}。推广这个例子，每个格子都形成了自由有限生成阿贝尔群。d维整格{\displaystyle \mathbb {Z} ^{d}}的自然基包含正整数单位向量，也有许多其他的基：若M是d阶整数方阵，且行列式的值\pm 1，则M的行构成基，相反地，整格的每个基都可表示为这种形式。

构造
--

每个集合都可以说一个自由阿贝尔群的基，在群同构的意义下是唯一的。给定基集的自由阿贝尔群可通过几种等价手段构造得来：整数份基元素的直和；整值函数族；有符多重集；或是通过群的展示。

### 积与和

群的直积包含积中各组元素形成的数组，以及逐指数加法。两个自由阿贝尔群的直积仍是自由阿贝尔群，基是原来两个基的不交并。更一般地，有限个自由阿贝尔群的直积仍是自由阿贝尔群。例如，d维整格与d份整群\mathbb {Z} 的直积同构。平凡群\{0\}也是自由阿贝尔群，基是空集。也可以解释为空积，即0份\mathbb {Z} 的直积。
对于自由阿贝尔群的无限族，直积就不是自由阿贝尔的必要条件了。例如，不可数的Baer–Specker群{\displaystyle \mathbb {Z} ^{\mathbb {N} }}形成了可数多份\mathbb {Z} 的直积，1937年Reinhold Baer证明其不是自由阿贝尔群。不过Ernst Specker在1950年证明了，它所有的可数子集都是自由阿贝尔群。要使群的无限族保持自由阿贝尔性，则应改用直和而非直积。直和与直积应用于有限多群时是相同的，但对无限族来说是不同的。直和的元素也是来自每组的元素组成的数组，但任意有限多元素都是它们的群的单位元。无限自由阿贝尔群的直和仍是自由阿贝尔群，有一个由除一个元素外都是同一元素的数组组成的基，其余元素是其群的基的一部分。
每个自由阿贝尔群都可以描述为多份\mathbb {Z} 的直和，一份对应基的一个元素。这一构造可以使任何集合B成为某个自由阿贝尔群的基。

### 整函数与形式和

给定集合B，可以定义群{\displaystyle \mathbb {Z} ^{(B)}}，其元素是从B映射到实数的函数，上标的圆括号表示只包括有有限多非零值的函数。
若f(x)和g(x)是符合要求的函数，则{\displaystyle f+g}的值是f与g值之和；即{\displaystyle (f+g)(x)=f(x)+g(x)}。这样的逐点加法运算赋予{\displaystyle \mathbb {Z} ^{(B)}}以阿贝尔群的结构。

给定集合B中的每个元素x对应{\displaystyle \mathbb {Z} ^{(B)}}中的一个成员；有函数e\_{x}（{\displaystyle e\_{x}(x)=1}，{\displaystyle e\_{x}(y)=0}，这时all {\displaystyle y\neq x}）。
则{\displaystyle \mathbb {Z} ^{(B)}}中的每个函数f是有限多基元素的唯一线性组合：



f
=

∑

{
x
∣
f
(
x
)
≠
0
}

f
(
x
)

e

x

{\displaystyle f=\sum \_{\{x\mid f(x)\neq 0\}}f(x)e\_{x}}

{\displaystyle f=\sum _{\{x\mid f(x)\neq 0\}}f(x)e_{x}}
则这些元素e\_{x}形成了{\displaystyle \mathbb {Z} ^{(B)}}的一个基，{\displaystyle \mathbb {Z} ^{(B)}}是自由阿贝尔群。
这样，每个集合B都可以构造为某个自由阿贝尔群的基。

{\displaystyle \mathbb {Z} ^{(B)}}的元素也可以写作**形式和**，是每项都写成非零整数与B中元素之积的有限级数。表达式的项如果相同，则无论项的排列如何，都认为是等价的。计算形式和可以先排列、组合有相同基元素的项，再删去产生零系数的项。也可以解释为B中有限多元素的有符多重集。

### 展示

群的展示是生成了群的元素组成的集合（即，所有群元素都可以表示为有限多生成元的积），加上"关系元"，生成元的积可以给出单位元。这样定义的群元素是生成元序列及其逆的等价类，所处的等价关系允许增删任何关系元或生成元-逆对作为连续子序列。基为B的自由阿贝尔群的生成元可以是B的元素，关系元则是B的元素对的交换子，它们构成了自由阿贝尔群的一种展示。这里x、y两个元素的交换子是{\displaystyle x^{-1}y^{-1}xy}，令其为单位元，可以推出xy=yx，则x、y可交换。更一般地，如果所有生成元对都可交换，则所有生成元积的对也可交换，所以由这种表示生成的群是阿贝尔群，关系元则形成了确保其是阿贝尔群的最小关系子集。

生成元集合有限时，自由阿贝尔群的展示也有限，因为展示中只包含有限多个不同交换子。这一事实与自由阿贝尔群的每个子群仍是自由阿贝尔群一同，可以说明任何有限生成阿贝尔群的展示也有限。例如，若G由集合B有限生成，则它是B上的自由阿贝尔群由一个由G的关系元生成的子群构成的商。但子群本身也是自由阿贝尔群，其基（以及B上的交换子）形成了G的关系元的有限集。

作为模
---

整数上的模的定义与实数或有理数上的向量空间类似，其包含可以互相加和、且可以与整数进行标量乘法的元素系统。阿贝尔群可以视作是整数上的模，其中标量乘法定义如下：

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

但只有自由阿贝尔群像向量空间那样有基。自由模可以表示为基环上的直和，因此自由阿贝尔群和自由\mathbb Z-模是等价的概念：每个自由阿贝尔群（算上其上的乘法运算）都是自由\mathbb Z-模，每个自由\mathbb Z-模都来自某个自由阿贝尔群。另一种结合自由阿贝尔群的方法是，\mathbb {Z} -模的张量积|。两个自由阿贝尔群的张量积仍是自由阿贝尔群，基是原先两群之基的笛卡儿积。

自由阿贝尔群的许多重要概念都可以泛化到主理想域上的自由模。例如，主理想域上自由模的子模也自由，Hatcher (2002)认为，这一事实使得同调机制可以"自动泛化"到这些模。另外，"每个投射\mathbb {Z} -模都自由"这一定理的泛化，也是同样的方法。

性质
--

### 泛性质

基为B的自由阿贝尔群F有以下泛性质：对每个从基到阿贝尔群A的函数f，都有唯一的从F到A的群同态，其扩展了f。这里的群同态是群之间的映射，并与群积定律一致：映射与积操作的先后不会改变结果。根据泛性质的一般属性，这表明基为B的自由阿贝尔群在群同态意义上是唯一的。因此，泛性质可用作基为B的自由阿贝尔群的定义。据这一性质定义的群的唯一性表明，所有其他定义都等价。

因这条性质，自由阿贝尔群才是"自由"的：它们是阿贝尔群范畴的自由对象，这个范畴的对象是阿贝尔群，同态是其态射。基（集合）到对应的自由阿贝尔群（阿贝尔群）的映射是函子，即范畴间保持结构的映射，是阿贝尔群到集合的遗忘函子的伴随。只有两种自由阿贝尔群是自由群：基为空集的（秩为0，是平凡群），以及基只有一个元素的（秩为1，是无限循环群）。其他阿贝尔群都不是自由群，因为a、b若是基中的不同元素，则自由群中{\displaystyle ab\neq ba}，而自由阿贝尔群的积符合交换律。在一般群范畴中，{\displaystyle ab=ba}是一种约束，而在阿贝尔群范畴中则是必要性质。

### 秩

同一自由阿贝尔群的两个基有相同的势，所以基的势形成了群的不变量，称作秩。两个自由阿贝尔群同构，当且仅当它们的秩相同。自由阿贝尔群是有限生成的，当且仅当其秩为有限数n，这时群与{\displaystyle \mathbb {Z} ^{n}}同构。

这样表示的秩可以泛化到阿贝尔群。阿贝尔群的秩G定义为自身的自由阿贝尔子群的秩F，且商群{\displaystyle G/F}是挠群。等价地，它也是G的极大子集（生成了自由子集）的势。秩是群不变量：与子群的选择无关。

### 子群

理查德·戴德金证明了自由阿贝尔群的每个子群也是自由阿贝尔群，这是类似的Nielsen–Schreier定理的前身：自由群的子集仍是自由群，是循环群基本定理（无限循环群的非平凡子群都是无限循环群）的推广，证明要用到选择公理。运用了佐恩引理（众多与选择公理等价的假设之一）的证明可见塞尔日·兰的《代数》。所罗门·莱夫谢茨和Irving Kaplansky认为，用良序原理代替佐恩引理可以得到更易懂的证明。

在有限生成自由阿贝尔群的情况下，证明不需用到选择公理，结果更精确。若G是有限生成自由阿贝尔群F的子群，则G是自由的；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})}构成G的基。另外，序列{\displaystyle d\_{1},d\_{2},\ldots ,d\_{k}}只取决于F、G，与基无关。定理存在部分的构造性证明可由任何计算整数矩阵的史密斯标准形的算法给出。唯一性来自这样的事实：{\displaystyle \forall r\leq k}，秩为r的矩阵的子式的最大公因数在计算史密斯标准形时不变，且是计算结束时{\displaystyle d\_{1}\cdots d\_{r}}的积。

### 扭化与可除

所有自由阿贝尔群都是无挠的，也就是说没有非单位元素x和非零整数n使{\displaystyle nx=0}。
相反地，所有有限生成无挠阿贝尔群都是自由阿贝尔群。

有理数的加群\mathbb{Q}是无挠阿贝尔群（不是有限生成群），但不是自由阿贝尔群。原因之一是它不可除：{\displaystyle \forall x\in \mathbb {Q} }、{\displaystyle \forall n\in \mathbb {Z} \ (n\neq 0)}，可以将x表示为另一个元素{\displaystyle y=x/n}的标量倍数{\displaystyle ny}。相反地，非平凡自由阿贝尔群不可除，因为自由阿贝尔群中，基元素不能表示为其他元素的标量倍数。

### 对称性

群的对称性可以描述为自同构，是群到自身的同态的反函数。非阿贝尔群中，又可以分为 内自同构和外自同构，但阿贝尔群的所有非平凡自同构都是外同构。它们形成了给定群的自同构群，运算为复合。秩为有限数n的自由阿贝尔群的自同构群是一般线性群{\displaystyle \operatorname {GL} (n,\mathbb {Z} )}，可以具体描述为（为自由自同构群的一个特定基）n\times n可逆整数矩阵集合，运算为矩阵乘法。它们在自由阿贝尔群\mathbb{Z } ^{n}上作为对称性的作用如同矩阵-向量乘法。

两个无限秩自由阿贝尔群的自同构群有相同的一阶理论，当且仅当它们的秩从二阶逻辑来看有相同的基数。这个结果取决于自由阿贝尔群的对合的结构，即作为自身逆的自同构。给定自由阿贝尔群的基，可以找到将任一组不相交的基元素对映射到彼此的对合，或者否定基元素的任何选定子集，而让其他基元素固定不变的对合。相反地，对某个自由阿贝尔群的每个对合，都可以找到一个基，基上所有元素都被对合成对地交换、否定或保持不变。

### 与其他群的关系

如果自由阿贝尔群是两个群的商：{\displaystyle A/B}，则A是直和{\displaystyle B\oplus A/B}。

给定任意阿贝尔群A，则一定存在自由阿贝尔群F和一个F到A的满射群同态。一种构建到给定群A的满射是使{\displaystyle F=\mathbb {Z} ^{(A)}}为A上的自由阿贝尔群，表示为形式和。接着要定义满射，可以
把F中的形式和映射到对应的A中成员的和。也就是说，满射映射


∑

{
x
∣

a

x

≠
0
}

a

x

e

x

↦

∑

{
x
∣

a

x

≠
0
}

a

x

x

{\displaystyle \sum \_{\{x\mid a\_{x}\neq 0\}}a\_{x}e\_{x}\mapsto \sum \_{\{x\mid a\_{x}\neq 0\}}a\_{x}x}

{\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}}是给定形式和中基元素e\_{x}的整系数，
第一个和在F中，第二个和在A中。这个满射是唯一可以扩展函数{\displaystyle e\_{x}\mapsto x}的群同态，因此其构造可以视作泛性质的一个例子。

若F、A的定义如上所述，则F到A的满射的核G也是自由阿贝尔群，因为它是F的子群（映射到单位元的元素的子群）。
因此，这些群形成了短正合序列



0
→
G
→
F
→
A
→
0

{\displaystyle 0\to G\to F\to A\to 0}

{\displaystyle 0\to G\to F\to A\to 0}
，其中F、G都是自由阿贝尔群，A与商群{\displaystyle F/G}同构。这是A的一个自由分解。另外，若假设选择公理成立的话，自由阿贝尔群精确对应阿贝尔群范畴中的投射对象。

应用
--

### 代数拓扑

条目：链 (代数拓扑)
代数拓扑中，k维单纯形的形式和被称为k-链，自由阿贝尔群有一系列k-单纯形，其基形成链群。单纯形一般取自某些拓扑空间，例如单纯复形中的k-单纯形集合，或流形中的奇异k-单纯形集合。任何k维单纯形都有边界，可以表示为(k-1)维单纯形的形式和，自由阿贝尔群的泛性质允许边界算子扩展为k-链到(k-1)-链的群同态。由边界算子这样联接的链群系统形成了链复形，对其的系统研究催生了同调论。

### 代数几何与复分析

条目：除子
有理函数{\displaystyle z^{4}/(z^{4}-1)}在0处由一个4阶零点（图中中心处的黑点），在\pm 1、{\displaystyle \pm i}的四个点处有简单极点（4个白点）。它可以表示为（在标量意义上的）除子{\displaystyle 4e\_{0}-e\_{1}-e\_{-1}-e\_{i}-e\_{-i}}，其中{\displaystyle e\_{z}}是复数上的自由阿贝尔群中复数z的基元素。
复数上的每个有理函数都可以与一个有符复数c\_i多重集相联系，c\_i是函数的极点（函数值取0或无限的点）。多重集中点的重数m\_{i}是为函数零点时的阶，或为轴时阶的反。
接着，函数本身可以从数据中还原为标量函子，即



f
(
q
)
=
∏
(
q
−

c

i

)

m

i



{\displaystyle f(q)=\prod (q-c\_{i})^{m\_{i}}}

{\displaystyle f(q)=\prod (q-c_{i})^{m_{i}}}
如果这些多重集被解释为复数上自由阿贝尔群的成员，则两个有理函数的积或商对应两个群成员的和或差。因此，有理函数乘法群可以函子化为复数乘法群（每个函数的关联标量函子）和复数上的自由阿贝尔群。在无穷收敛于有限值的有理函数（黎曼球面上的亚纯函数）形成了群的子群，其中重数之和为0。

这一构造可以泛化到代数几何中，作为除子的一种表示。一般来说，除子的几种定义都形成了代数簇的余维1子簇的抽象，也就是某个多项式方程组的解集。若方程组自由度为1（解可以形成代数曲线或黎曼曲面）、且包含孤点时，解集是一个余维为1的子簇，除子是簇中的点构成的一个有符多重集。紧黎曼曲面上的亚纯函数有有限多的极点，它们的除子在面上的点上形成了一个自由阿贝尔群的子群，函数的乘除对应群元素的加减。自由阿贝尔群的元素作为除子，重数和必为0，且要符合由曲面决定的特定附加约束。

### 群环

有整数群环\mathbb{Z } [G]，对任何群G都是环，其加法群是G上的自由阿贝尔群。若G是有限阿贝尔群，则\mathbb{Z } [G]中可逆元的乘法群的结构与有限群直积的结构、与有限生成的自由阿贝尔群的结构相同。

参考文献
----

1. 1 2 3  Sims, Charles C. , 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. 1 2  Vick, James W. Graduate Texts in Mathematics **145**, Springer: 4, 70, 1994  [2023-09-01], ISBN 9780387941264, （原始内容存档于2023-08-09）
3. ↑  有些资料对自由阿贝尔群的定义是，单位元的唯一表示是空和，而不是将其作为集合元素表示的特例。见Sims (1994)
4. 1 2 3 4 5 6  Fuchs, László, , 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. 2005, Bibcode:2005math......9025B, arXiv:math/0509025 可免费查阅
6. ↑  Mollin, Richard A. CRC Press: 182, 2011, ISBN 9781420083293
7. ↑  Bremner, Murray R. CRC Press: 6, 2011, ISBN 9781439807026
8. 1 2 3  Hungerford (1974)，Exercise 5, p. 75.
9. 1 2 3 4  Lee, John M. , Graduate Texts in Mathematics **202** 2nd, Springer: 244–248, 2010, ISBN 9781441979407
10. ↑  As stated explicitly, for instance, in Hartley, Brian; Turull, Alexandre, 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, 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, Portugaliae Math. 1950, **9**: 131–140, MR 0039719
13. ↑  Mac Lane, Saunders, Classics in Mathematics, Springer: 93, 1995, ISBN 9783540586623
14. 1 2  Kaplansky, Irving, AMS Chelsea Publishing Series **298**, American Mathematical Society: 124–125, 2001, ISBN 9780821826942
15. 1 2  Hungerford, Thomas W. , 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. 1 2  Joshi, K. D. New Age International: 45–46, 1997, ISBN 9788122408263
17. ↑  van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard, 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. Springer undergraduate mathematics series, Springer: 71, 2001  [2023-09-01], ISBN 9781852332709, （原始内容存档于2023-09-02）
20. ↑  Sahai, Vivek; Bist, Vikas, Alpha Science International Ltd.: 152, 2003, ISBN 9781842651575
21. ↑  Rotman, Joseph J. American Mathematical Society: 450, 2015, ISBN 9780821884201
22. ↑  Corner, A. L. S. , 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, Cambridge University Press: 196, 2002, ISBN 9780521795401
24. ↑  Vermani, L. R. Monographs and Surveys in Pure and Applied Mathematics, CRC Press: 80, 2004, ISBN 9780203484081
25. 1 2  Blass, Andreas, 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 P in this model that is a subgroup of a free abelian group {\textstyle {\bigl (}\mathbb {Z} ^{(A)}{\bigr )}^{n}}, where A is a set of atoms and 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. 1 2  Hofmann, Karl H.; Morris, Sidney A. De Gruyter Studies in Mathematics **25** 2nd, Walter de Gruyter: 640, 2006, ISBN 9783110199772
30. ↑  Machì, Antonio, , 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. Graduate Texts in Mathematics **119**, Springer: 61–62, 1988, ISBN 9780387966786
32. ↑  Johnson, D. L. 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, 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, , 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, Farb, Benson (编), 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, Blass, Andreas; Zhang, Yi (编), 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. Courier Dover Publications: xii, 2012, ISBN 9780486488417
44. ↑  Griffith, Phillip A. Chicago Lectures in Mathematics, University of Chicago Press: 18, 1970, ISBN 0-226-30870-7
45. ↑  Cavagnaro, Catherine; Haight, William T. II, Comprehensive Dictionary of Mathematics **3**, CRC Press: 15, 2001, ISBN 9781584880509
46. ↑  Edelsbrunner, Herbert; Harer, John, Providence, Rhode Island: American Mathematical Society: 79–81, 2010, ISBN 9780821849255
47. 1 2  Dedekind, Richard; Weber, Heinrich, History of mathematics **39**, Translated by John Stillwell, American Mathematical Society: 13–15, 2012, ISBN 9780821890349
48. ↑  Miranda, Rick, Graduate Studies in Mathematics **5**, American Mathematical Society: 129, 1995, ISBN 9780821802687
49. ↑  Stein, Sherman K.; Szabó, Sándor, Carus Mathematical Monographs **25**, Washington, DC: Mathematical Association of America: 198, 1994, ISBN 0-88385-028-1, MR 1311249
50. ↑  Higman, Graham, 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, Bulletin of the Australian Mathematical Society, 1969, **1** (2): 245–261, MR 0252526, doi:10.1017/S0004972700041496 可免费查阅