- 383 名前：１３２人目の素数さん mailto:sage [2007/04/14(土) 09:33:50 ]
- 環 R 上の左加群のなす圏 を (R-Mod) と書く。
(R-Mod) はアーベル圏である。
(R-Mod) の射 X → Y の全体 (R-Arrows) を考える。
X → Y から Z → W への射を、次の可換図式として定義する。
X → Y
| |
v v
Z → W
(R-Arrows) は容易にわかるがアーベル圏である。
ここで問題：
(R-Arrows) における射影対象（または単射的対象）は何か？
