Follow

A→Bの環準同型と入射的A-加群Iに対してHom_A(B,I)が入射的B-加群か?というのは正しい。

一般に、
C,D:アーベル圏
F:C⇆D:G:(Ab-豊穣)関手
FはGの左随伴で、Fはさらに完全関手
としたら、GはDの入射的対象をCの入射的対象に写す。
∵)
IがDの入射的対象としたとき、
Hom_C(-,G(I)):C^op→Abが完全関手であれば良い。けどこれは(F,G)の随伴でHom_D(F(-),I)と自然‪同型で、これは二つの完全関手Hom_D(-,I):D^op→AbとF:C^op→D^opの合成なので完全関手。

ここでC=A-Mod,D=B-Mod,F=スカラーの制限、G=Hom_A(B,-)とすれば最初の問いの答えが得られる。

あ、これC=B-mod、D=A-modですね(じゃないとG:A-mod→B-modにならない)
逆です。

Sign in to participate in the conversation
Mathtodon

■ Post mathematical formulae on Mathtodon. / 数式が書けるSNS、ついに登場。 This is a Mastodon instance named Mathtodon, where you can post toots with mathematical formulae in TeX/LaTeX style. Let's enjoy mathematical talks, mathematical discussions, and mathematical jokes in Mathtodon! Please join us! 数式が書けるMastodon、その名もMathtodonです! (˃̵ᴗ˂̵ ζ) 数式は TeX, LaTeX 形式です。数学の情報発信や数学の議論や数学ギャグの投稿など、様々に楽しみましょう〜! ■ Donation / ご寄付について Thankfully I'm getting many inquiries about donation. Although I of course spend some amount of my pocket money such as server fee and domain fee, I think that using your brains to create a gentle world of mathematics is very valuable and is the best donation. If you still want to make a donation, please use here 1AhmL4t7aqgQzs4ZG1PPcS2uY8Bz39DRQv (Bitcoin). ありがたくも「寄付はどうすればいい?」というお言葉を数多くいただいています。 もちろんサーバ代・ドメイン代などポケット予算より費やしておりますが、今はそれよりも「数学が好きな人の集まる優しい世界」を構築することに、皆様の頭脳と貴重な時間とほんの少しずつ分けていただければそれが最高の donation だと思います。(←決まった!) それでもなお donation をお考えという奇特な方は、 1AhmL4t7aqgQzs4ZG1PPcS2uY8Bz39DRQv (Bitcoin) か、あるいはAmazonの謎のリンクをご覧ください。