Projective Resolution

定义 Definition

projective resolution（射影/投射分解）：同调代数中的一种构造。指用一串射影对象（常见为射影模）及其之间的同态组成的正合序列（或链复形），把某个给定对象（如一个模 \(M\)）“分解/逼近”出来，以便计算诸如 \(\mathrm{Ext}\)、\(\mathrm{Tor}\) 等同调不变量。此术语在模论、交换代数、代数拓扑等领域常见。

发音 Pronunciation (IPA)

/prəˈdʒek.tɪv ˌrez.əˈluː.ʃən/

例句 Examples

A projective resolution helps compute Ext groups.
射影分解有助于计算 Ext 群。

Given a module \(M\) over a ring \(R\), one can choose a projective resolution \( \cdots \to P_1 \to P_0 \to M \to 0 \) to derive functors like Tor and Ext.
给定环 \(R\) 上的模 \(M\)，可以选取一个射影分解 \( \cdots \to P_1 \toC P_0 \to M \to 0 \)，从而导出并计算 Tor 与 Ext 等函子。

词源 Etymology

projective 来自拉丁语 prōicere（向前抛、投射），在数学中引申为“具有良好提升性质/可提映”的对象（射影模的“lifting property”）。
resolution 来自拉丁语 resolutio（解开、分解），在数学语境中常指“用更容易处理的对象把目标分解出来”的过程（如用射影模或自由模“分解”一个模）。

文学与著作 Literary Works

Saunders Mac Lane，《Homology》——系统使用射影分解来建立并计算同调理论中的导出函子。
Henri Cartan & Samuel Eilenberg，《Homological Algebra》——经典奠基著作，射影/内射分解是核心工具。
Charles A. Weibel，《An Introduction to Homological Algebra》——入门与进阶教材中大量出现并详细讲解 projective resolution。
Joseph J. Rotman，《An Introduction to Homological Algebra》——以射影分解与导出函子为主线之一展开叙述。