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