內射包

在數學中 ， 設 爲一個含單位元環 （ 不一定可交換 ） 上的左模 ， 若左 - 模 是內射模 ， 而且滿足下式 （ 其中 是子模 ） 則稱 爲 的一個內射包 。 類似定義可以照搬至右模的情況 。 若模 的內射包可以寫成不可分解子模的有限直積 ， 則稱 爲有限秩的模 。