Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
2k kez görüntülendi
Yani; $M\sim R-modul, R\sim halka \Rightarrow R\otimes_R M \cong M$ midir?

$f: R\otimes_R M \rightarrow M$

       $r\otimes m \mapsto r.m$ (M R-modül olduğundan bu şekilde tanımlanabilir)

$g: M \rightarrow R\otimes_R M$

      $m\mapsto 1\otimes m$

olacak şekilde $fg=1_M$ ve $gf=1(R\otimes_R M)$ (ikinci birimde tensör çarpımı 1'in altına yazamadım gf tensör çarpımın birimi demek istedim) olduğu gösterilmeli.

$(fg)(m)=f(g(m))=f(1\otimes m)=1.m=m=1_M(m)$

$(gf)(r\otimes m)=g(f(r\otimes m))=g(r.m)=1\otimes r.m=r\otimes m=1(R\otimes_R M)(r\otimes m)$ şeklinde fg ve gf birim fonksiyonları vardır. Bu durumda halkanın bir modülle tensör çarpımı o modüle izomorftur diyebiliriz.

Aynı durum toplamsal abelyen grup için geçerli midir kısmında G toplamsal abelyen grup olacak şekilde

$R\otimes_R G \cong G$ olup olmadığı gösterilmeli

$f: R\otimes_R G \rightarrow G$

        $r\otimes g \mapsto f(r\otimes g) = g+g+...+g$ şeklinde r tane g'nin toplamı olarak tanımlanabilir (G toplamsal abelyen grup)

$f': G \rightarrow R\otimes_R G$

         $g\mapsto 1\otimes g$

olacak şekilde $(ff')(g)=f(1\otimes g)=g=1_G(g)$ ve $(f'f)(r\otimes g)=f'(g+g+...+g)=1\otimes (g+g+...+g)=(1\otimes g)+(1\otimes g)+...+(1\otimes g)=r.(1\otimes g)=r.1\otimes g=r\otimes g=1(R\otimes_R G)(r\otimes g)$ olduğundan bu durum toplamsal abelyen grup için de geçerlidir yani $R\otimes_R G \cong G$ dir.

Sorum şu; 2. durum her $R$ halkası için geçerli midir? Özel olarak $R=\mathbb{Z}$ almak gerekir mi?

Bunun dışında bu gösterimde eksik veya hatalı bir yer var mıdır?
Akademik Matematik kategorisinde (17 puan) tarafından  | 2k kez görüntülendi
20,282 soru
21,819 cevap
73,497 yorum
2,508,973 kullanıcı