內射包
維基百科,自由的 encyclopedia
在數學中,設 為一個含單位元環
(不一定可交換)上的左模,若左
-模
是內射模,而且滿足下式
(其中
是子模)
則稱 為
的一個內射包。類似定義可以照搬至右模的情況。
若模 的內射包可以寫成不可分解子模的有限直積,則稱
為有限秩的模。
性質
每個模 都有內射包,而且在同構的意義下是唯一的。明確地說,若
與
是
的內射包,則存在唯一的同構
使得
。
一個內射模的內射包是其本身。
外部連結
- injective hull (PlanetMath 上的文章)
- PlanetMath 上關於有限秩模的文章
文獻
- Matsumura, H. Commutative Ring Theory, Cambridge studies in advanced mathematics volume 8.