- 71 名前：１３２人目の素数さん [03/04/19 18:35]
- Mitchel-Freydのアーベル圏の環上の加群圏への埋め込み定理の証明をだれか教えてくれませんか？
大学図書館に簡単にいけないので、彼等の本をみることが出来ないんです。
以下のところまで理解しています。
Aを小さいアーベル圏とします。BをAからアーベル群の圏Abへの左完全加法的functorのなす圏とします。
Bにはinjectiveなcogenerator Qが存在します。QはBからAbへの完全だが、非充満な埋め込みです。
次がわかりません。
Qのendomorphismのなす環をRとすると、QはR-加群の圏R-Modへの充満な埋め込みとなる。
QがR-modへの忠実なfunctorであることは分かりますが、充満なことが証明できません。
