查看“︁內射包”︁的源代码

在[[數學]]中，設 <math>M</math> 為一個含單位元[[环 (代数)|環]] <math>R</math> （不一定可交換）上的左[[模]]，若左 <math>R</math>-模 <math>E \supset M</math> 是[[內射模]]，而且滿足下式
: <math>N \subset E, N \neq 0 \Rightarrow N \cap M \neq 0 \qquad</math> （其中 <math>N</math> 是子模）

則稱 <math>E</math> 為 <math>M</math> 的一個'''內射包'''。類似定義可以照搬至右模的情況。

若模 <math>M</math> 的內射包可以寫成[[不可分解模|不可分解子模]]的有限直積，則稱 <math>M</math> 為'''有限秩'''的模。

==性質==
每個模 <math>M</math> 都有內射包，而且在同構的意義下是唯一的。明確地說，若 <math>f_1:M \hookrightarrow E_1</math> 與 <math>f_2:M \hookrightarrow E_2</math> 是 <math>M</math> 的內射包，則存在唯一的同構 <math>\phi: E_1 \to E_2</math> 使得 <math>\phi\circ f_1 = f_2</math>。

一個內射模的內射包是其本身。

==外部連結==
* [https://web.archive.org/web/20070715233136/http://planetmath.org/encyclopedia/InjectiveHull.html injective hull] (PlanetMath 上的文章)
* [https://web.archive.org/web/20070930231645/http://planetmath.org/encyclopedia/ModuleOfFiniteRank.html PlanetMath 上關於有限秩模的文章]

==文獻==
* Matsumura, H. ''Commutative Ring Theory'', Cambridge studies in advanced mathematics volume 8.

[[Category:模論|N]]