内射包

每个模 ${\displaystyle M}$  都有内射包，而且在同构的意义下是唯一的。明确地说，若 ${\displaystyle f_{1}:M\hookrightarrow E_{1}}$  与 ${\displaystyle f_{2}:M\hookrightarrow E_{2}}$  是 ${\displaystyle M}$  的内射包，则存在唯一的同构 ${\displaystyle \phi :E_{1}\to E_{2}}$  使得 ${\displaystyle \phi \circ f_{1}=f_{2}}$ 。

一个内射模的内射包是其本身。

• injective hull (PlanetMath 上的文章)
• PlanetMath 上关于有限秩模的文章

• Matsumura, H. Commutative Ring Theory, Cambridge studies in advanced mathematics volume 8.