在数学的同调代数中，尚努埃尔（Schanuel）引理是一条简易的基本结果，可用来比较一个模离投射性有多远。
叙述.设"R"是环，是两条左"R"-模的短正合序列，"P"和"P" '是投射模，则"K" ⊕ "P" '同构于"K" ' ⊕ "P"。
证明.定义"P" ⊕ "P" '的子模如下，其中φ : "P" → "M"，φ' : "P" ' → "M"：定义映射 π : "X" → "P"为自"X"投射第一个座标至"P"。φ' 是满射，所以对任何"p"