1 基本定义
投射模是模论中的基础概念之一，通常被理解为“具有良好提升性质的模”。它在处理模的分解、短正合列和同调不变量时非常重要。与自由模相比，投射模保留了相当多的可操作性，但又比自由模更宽泛，因此在许多抽象构造中更具适用性。
1.1 模与同态的背景
设 \(R\) 为一个环，\(M,N\) 为 \(R\)-模，模同态是与标量乘法相容的映射。模论中的许多问题，都可以转化为研究同态是否能延拓、分解是否存在以及短正合列是否裂开。投射模正是围绕这些问题建立起来的。
在范畴语言中，投射模可以看作对某类满同态具有“左提升”能力的对象。这个性质使它在同调代数中能够充当“消去障碍”的工具，尤其适合用于构造分辨率。
1.2 投射模的定义
一个 \(R\)-模 \(P\) 称为投射模，若它满足相应的提升条件：对任意满同态 \(f: A \to B\) 以及任意同态 \(g: P \to B\)，都存在同态 \(h: P \to A\)，使得 \(f \circ h = g\)。
这一定义强调的是映射的可提升性。直观上，若把 \(B\) 看成某种“目标层”，那么来自 \(P\) 的映射总能穿过满射 \(f\) 上升到 \(A\) 中去。
1.2.1 提升性质
提升性质是投射模最核心的表述。它说明投射模面对“先映到商模，再回到原模”的情形时，不会产生阻碍。许多证明和构造都直接使用这一性质，例如证明短正合列裂开、构造分裂映射，或在分辨率中逐层抬升链映射。
1.2.2 直和直和项刻画
投射模还可由直和项来刻画：一个模是投射模，当且仅当它是某个自由模的直和项。也就是说，存在模 \(Q\) 使得 \(P \oplus Q\) 是自由模。这个表述把投射模与自由模联系起来，也说明投射模可以看作自由模的“分量”。
1.3 与自由模和有限生成模的关系
自由模必然是投射模，但投射模未必自由。对于有限生成模，投射性常常与环的结构紧密相关，尤其在主理想整环、局部环或半单环上，结论往往更明确。有限生成条件也使许多投射模具备更强的分解性质，便于分类与计算。
2 等价表述
投射模有多种等价定义，这些表述从不同角度揭示了其本质，常在实际证明中互相切换。
2.1 通过提升性质定义
这是最常见的定义方式。若对任意满同态 \(A \twoheadrightarrow B\) 和任意 \(P \to B\) 的映射，都可提升为 \(P \to A\)，则 \(P\) 为投射模。该表述最直接地体现了“解障碍”的能力。
2.2 通过短正合列定义
投射模还可通过短正合列的裂开性质来描述。若对任意短正合列 \[ 0 \to A \to B \to P \to 0 \] 都裂开，则 \(P\) 是投射模。这里的“裂开”意味着 \(P\) 可以作为中间模 \(B\) 的一个直和因子出现。
2.2.1 作为右正合函子 Hom 的保真条件
从函子角度看，\(\mathrm{Hom}_R(P,-)\) 是一个从模范畴到阿贝尔群范畴的函子。若 \(P\) 投射，则这个函子保持满射的性质，因而是正合性较好的函子之一。换言之，投射模使得 \(\mathrm{Hom}\) 函子在处理短正合列时不会丢失关键结构。
2.3 通过直和因子定义
若一个模是自由模的直和因子，则它是投射模；反过来，投射模也都能嵌入到某个自由模中并成为其直和因子。此表述常用于实际构造，因为自由模的形式较为透明，而直和分解在计算中很方便。
3 基本性质
投射模具有一系列稳定而实用的性质，使其成为模论中的“可靠对象”。
3.1 直和封闭性
任意一族投射模的直和仍是投射模。原因在于提升性质可逐分量处理，直和运算不会破坏所需的映射抬升结构。这一性质在构造大型投射模时尤其有用。
3.2 直和因子性质
投射模的直和因子仍然投射。若 \(P \oplus Q\) 投射，那么 \(P\) 和 \(Q\) 也投射。这说明投射性在分解后会保留下来，因此它适合用于讨论模的组成部分。
3.3 投射模与自由模的包含关系
投射模构成比自由模更宽的类别，自由模只是其中最基本、最直观的一类。
3.3.1 自由模必投射
自由模是投射模，这是最基础的例子。因为自由模由基生成，给定映射后可逐基元选择抬升，提升过程自然完成。
3.3.2 投射模不一定自由
在一般环上，投射模未必自由。即便是有限生成投射模，也可能只是在局部上呈现自由结构，而全局上并非自由。这种现象在交换代数和代数几何中尤为常见。
3.4 局部化与基变换下的表现
投射模在局部化后通常保持投射性。若对环进行局部化，原来的投射模张量到局部环后仍是投射模。这一性质使投射模在“局部研究—整体拼接”的方法中非常重要。基变换下，投射性也常能被良好传递，尤其在平坦变换或局部自由情形中更为明显。
4 典型例子
投射模的例子丰富，既包括最基础的自由模，也包括由幂等元构造出的非自由投射模。
4.1 自由模
任意自由模都是投射模。有限秩自由模、无限秩自由模都满足提升性质，因此它们是理解投射模的起点。
4.2 主理想整环上的投射模
在主理想整环上，投射模的结构尤其清楚。
4.2.1 有限生成情形
对于主理想整环上的有限生成投射模，结论通常是它们都自由。因而在这类环上，投射模与自由模在有限生成范围内基本一致，分类问题大为简化。
4.2.2 非有限生成情形
若不要求有限生成，则投射模的行为更复杂。此时仍可能出现非自由的投射模，但它们往往需要借助更细致的直和分解来描述。
4.3 幂等元生成的投射模
设 \(e\) 是环 \(R\) 中的幂等元，即 \(e^2=e\)。则左理想 \(Re\) 常常是投射模。更一般地，由幂等矩阵确定的像模块也常给出投射模。这类例子说明投射模与代数中的幂等分解有深刻联系。
5 构造与分解
投射模不仅可被识别，还可以被系统地构造和拆解。
5.1 投射覆盖与最小投射分辨率
投射覆盖是将一个模尽可能“紧密地”表示为投射模映到它的满射。若存在足够好的投射覆盖，就能构造最小投射分辨率。最小性使分辨率更适合做精细分类与计算。
5.2 直和分解与 Krull-Schmidt 现象
在某些有限性条件下，模可分解为不可约或不可分解分量，并且这种分解具有唯一性特征。投射模在这类分解理论中常表现良好，尤其在有限维代数和某些半完备范畴中，Krull-Schmidt 型结论很常见。
5.3 幂等元与矩阵表示
投射模常能通过幂等矩阵的像来表示。若 \(e\) 是某个矩阵环中的幂等元，则 \(eR^n\) 形成投射模。此类表示把抽象模论问题转化为线性代数式的矩阵计算，便于具体操作。
6 投射分辨率
投射分辨率是同调代数的核心工具，投射模在其中扮演逐层近似的角色。
6.1 投射分辨率的定义
一个模 \(M\) 的投射分辨率是一个长正合序列 \[ \cdots \to P_2 \to P_1 \to P_0 \to M \to 0 \] 其中每个 \(P_i\) 都是投射模。它用于把复杂模分解为一串较易处理的投射对象。
6.2 分辨率长度
若某个模具有有限长投射分辨率，则可以定义其投射维数。分辨率越短，说明该模在同调意义上越简单。若投射维数为 0，则该模本身就是投射模。
6.3 与同调代数的不变量
投射分辨率可以用来定义并计算多种同调不变量，是研究环和模复杂度的重要手段。
6.3.1 投射维数
投射维数衡量一个模离投射模有多远。它等于该模最短投射分辨率的长度，或使高阶 \(\mathrm{Ext}\) 消失的最小指标。这个不变量在分类环和比较模性质时十分常用。
6.3.2 全局维数
环的全局维数可视为所有模投射维数的上确界。它反映整个环的同调复杂程度。投射模越丰富，常常越有利于控制全局维数。
7 判定方法
判断一个模是否投射，通常依赖若干等价条件与特殊环上的结构定理。
7.1 局部自由判定
对于有限生成模，在交换环上，若它在每个素理想或极大理想处局部化后变成自由模，往往可以推出它是投射模。局部自由是投射性的典型判据之一，尤其适用于几何化的处理方式。
7.2 准则与等价条件
投射模存在多种实用判定准则，例如裂开条件、提升条件、直和因子条件以及函子正合性条件等。实际应用中，常根据所处场景选取最方便的一种。
7.2.1 有限生成投射模的常用判定
对有限生成模，常通过局部化、幂等矩阵表示或秩函数来判定是否投射。在良性环上，有限生成投射模往往对应某种局部常秩结构，便于识别。
7.2.2 函子性质判定
若 \(\mathrm{Hom}_R(P,-)\) 对短正合列保持正合性，则 \(P\) 投射。此判据从范畴论角度提供了统一描述，也是很多同调证明中的标准工具。
7.3 在特殊环上的判定
在半单环、局部环、主理想整环等特殊环上，投射模的判定往往有简洁结论。例如在局部环上，有限生成投射模通常是自由模，因此判定问题大幅简化。
8 与其他模类别的关系
投射模与自由模、平坦模、递归模及注入模之间存在紧密联系。
8.1 自由模
自由模是投射模的特例。投射模可被看成自由模在直和分解意义下的推广，因此许多关于自由模的构造都能迁移到投射模。
8.2 平坦模
平坦性与投射性都与张量运算的良好行为有关，但二者并不等同。
8.2.1 投射模必平坦
投射模一定是平坦模。原因在于投射模可作为自由模直和因子，而自由模平坦性显然，平坦性又对直和因子保持良好性质。
8.2.2 平坦模不一定投射
平坦模比投射模更宽。存在平坦但不投射的模，说明仅靠张量正合性不足以保证提升性质。这一区别在交换代数中很重要。
8.3 递归模与注入模的对偶观点
投射模与注入模在某种意义上互为对偶概念：投射模关注从商对象向上提升映射，注入模关注把映射扩展到更大对象。递归模则常在对偶范畴或双模结构中出现，与投射现象形成镜像式对应。
9 应用
投射模不仅是理论对象，也在多个数学分支中承担基础角色。
9.1 同调代数中的应用
在同调代数中，投射模用于构造分辨率、定义 \(\mathrm{Ext}\) 群和研究同调维数。许多深层性质都可通过投射分辨率转化为可计算的链复形问题。
9.2 表示论中的应用
在表示论里，模常用来描述代数或群的表示。投射模用于刻画不可约表示的扩张、构造投射覆盖，并研究模范畴中的分解结构，是有限维代数表示理论的关键工具。
9.3 代数几何中的局部自由层对应
在代数几何中，有限生成投射模与仿射概形上的局部自由层密切对应。这个对应把纯代数的投射性解释为几何上的局部平滑结构，因此常用于研究向量丛与层的性质。
9.4 K 理论中的角色
在代数 K 理论中，投射模是构造 \(K_0\) 等不变量的基础对象。通过研究有限生成投射模的直和分解与稳定等价，可以提取环和代数结构的深层信息。