Loading [MathJax]/jax/output/HTML-CSS/jax.js
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
3 beğenilme 0 beğenilmeme
791 kez görüntülendi

Öncelikle sorunun altındaki ilk yorumu okuyunuz.


A ve B birer G modülü ise her σG ve her aA için f(σa)=σf(a) eşitliğini sağlayan f:AB grup homomorfizmasına G-homomorfizması denir. A ile B arasındaki G-homomorfizmaları kümesinin B'nin işlemi aracılığıyla tanımlanan abelyen bir grup yapısına sahip olduğunu gösterin. Bu grup HomG(A,B) ile gösterilir. 

Her abelyen grup otomatik olarak Z-modülüdür. A'dan B'ye giden Z-homomorfizmalarının sıradan grup homomorfizmalarıyla örtüştüğünü gösterin. Bu nedenle HomZ(A,B) yerine yalnızca Hom(A,B) yazılır. Bu grup üzerine σf:=σfσ1:aσ(fσ1a)kuralının G-modül yapısı tanımladığını gösterin ve bu modül yapısına göre Hom(A,B)'nin sabit modülünün HomG(A,B) olduğunu gösterin.

Buna ek olarak, eğer f:AB bir G-homomorfizmasıysa, bu homomorfizmanın sabit gruplar arasında da bir G-homomorfizması tanımladığını gösterin: f|AG:AGBG Yani, G-etkisine göre sabit kalma özelliğine sahip bir noktanın görüntüsünün de bu özelliğe sahip olduğunu gösterin.

Uyanığınız değil mi sorusu: AG üzerindeki G-etkisi hakkında ne söyleyebilirsiniz?
Akademik Matematik kategorisinde (3.7k puan) tarafından 
tarafından düzenlendi | 791 kez görüntülendi

Bu soru, soru çözerek grup kohomolojisine basit bir giriş yapmak için hazırlanan bir dizi sorunun altıncısı. Bu sorularda geçen kavramlar en genel hallerinden ziyade, amaç için gereken en sade şekilleriyle verilmektedir. Sorular, Neukirch'in sınıf cisim kuramı üzerine verdiği Bonn dersleri başlıklı kitabı izlek alınarak hazırlanmktadır. Bu soruların pek çoğunun yanıtı adı geçen kitapta bulunmakta.

Birinci soru: http://matkafasi.com/10695/g-modulleri 

İkinci soru: http://matkafasi.com/10699/artis-ideali-ve-norm-ideali 

Üçüncü soru: http://matkafasi.com/10786/artis-ideallerinin-augmentation-serbest-carpan-oluslari 

Dördüncü soru: http://matkafasi.com/10788/norm-ve-artis-idealleri-birbirlerinin-sifirlayicilaridir 

Beşinci soru: http://matkafasi.com/10791/bir-g-modulun-onemli-altmodulleri 

Altıncı soru: http://matkafasi.com/10795/g-modul-morfizmalari 

Yedinci soru: http://matkafasi.com/11236/tensor-carpim-uzerindeki-%24g%24-modul-yapisi

Sekizinci soru: http://matkafasi.com/11240/tensor-carpim-ve-%24hom%24-islemleri-toplamsaldir

Dokuzuncu soru: http://matkafasi.com/11243/%24g%24-morfizmalarini-hom-ile-geri-cekme-ileri-itme-tensorleme

Onuncu soru: http://matkafasi.com/11250/%24hom%24-isleminin-duz-flat-oldugu-bir-durum

On birinci soru: http://matkafasi.com/11267/hom-isleminin-duz-flat-oldugu-bir-baska-durum.

On ikinci soru: http://matkafasi.com/11274/tensorlemenin-duz-flat-davrandigi-bir-durum

On üçüncü soru: http://matkafasi.com/11277/tensorlemenin-net-oldugu-bir-baska-durum

On dördüncü soru: http://matkafasi.com/11279/tam-serbest-cozunum-nedir

On beşinci soru: http://matkafasi.com/11308/stardart-cozunumun-serbest-cozunum-oldugunu-gosterebilirim

On altıncı soru: http://matkafasi.com/11330/kohomoloji-gruplarinin-tanimi-nedir

On yedinci soru: http://matkafasi.com/11348/dusuk-boyutlu-kohomoloji-gruplarini-hesaplayiniz

On sekizinci soru: http://matkafasi.com/11367/ikinci-kohomoloji-grubu-nedir

On dokuzuncu soru: http://matkafasi.com/11375/birinci-kohomoloji-grubu-neyi-olcer

1 cevap

1 beğenilme 0 beğenilmeme
(1) Ilk soruyla baslayalim. A ve B birer abelyen grup (bir baska ismiyle Z-modul) olsun. f:AB bir grup homomorfizmasi olsun. O halde, her nZ icin ve her aA icin f(na)=nf(a) oldugunu biliyoruz (basit grup teori). Yani, her grup homomorfizmasi bir Z-modul homomorfizmasiymis. Ote yandan, f:AB bir Z-modul homomorfizmasi ise, tanim geregi bir grup homomorfizmasidir. Yani, Z-morfizmalarinin kumesini Hom(A,B) olarak gostermemizde sikinti yok.

(2) Hom(A,B) kumesinin uzerinde (f+g)(a):=f(a)+g(a) kurali ile tanimlanan standart bir abelyen grup yapisi vardir. Verilen kuralin bir G-modul yapisi tanimladigini gostermek icin teker teker kontrol edelim:
  • fHom(A,B) olsun. Her aA icin, (1f)(a)=1(f1a)=1(f(a))=f(a). Ilk esitlik, verilen kuraldan. Ikinci esitlik , A bir G-modul oldugu icin. Son esitlik ise B bir G-modul oldugu icin. Demek ki, 1f=f.
  • σG ve f1,f2Hom(A,B) olsun.  Her aA icin, σ(f1+f2)(a)=σ((f1+f2)(σ1a))=σ(f1(σ1a)+f2(σ1a))  =σf1(σ1a)+σf2(σ1a)=(σf1+σf2)(a). Burada da ilk esitlik tanimdan, ikinci esitlik Hom(A,B) uzerindeki toplamsal yapidan, ucuncu esitlik B'nin G-modul olmasindan ve son esitlik ise yine tanimdan. Yani, σ(f1+f2)=σf1+σf2
  • σ,τG olsun. Her aA icin, (στ)f(a)=στ(f(τ1σ1a)) ve σ(τf)(a)=σ(τfτ1)(a)=σ(τfτ1)(σ1a)=στ(f(τ1σ1a)) Yani, σ(τf)=(στ)f
Demek ki, Hom(A,B) de bir G-modulmus.

(3) Simdi bu G-modulun sabit modulunu bulalim. fHom(A,B)G  olsun. O halde, her σG icin ve her aA icin, f(a)=σ1f(a)=σ1(f(σa))Esitligin sol ve sag tarafini σ ile carparsak, σ(f)=f(σa) buluruz. Demek ki, sabit moduldeki elemanlar birer G-modul morfizmasiymis. Ayni seyi tersten yapalim simdi de. Bir G-modul homomorfizmasi f alalim. Her σ icin σf(a)=f(σa). Bunun da iki tarafini σ1 ile carparsak diledigimiz sonucu elde etmis oluruz. Hom(A,B)G=HomG(A,B)
(4) Son olarak da, G-etkisine gore sabit kalan bir noktanin bir G-morfizma altindaki goruntusunun de G-etkisi altinda sabit kaldigini gosterelim. aAG olsun. f(a)BG oldugunu gosterecegiz. Her σG icin, σ(f(a))=f(σa)=f(a) Yani, G'nin elemanlarinin etkisi altinda f(a) sabit kaliyor.

Uyaniginiz degil mi sorusu: Her aAG ve her σinG icin σa=a. Yani, AG'nin uzerindeki G-etkisi tiriskadan bir etki.
(2.5k puan) tarafından 

Soruları çözmek işe yarıyor değil mi?

Evet. 

Bu aralar "okuyorum" ama "soru cozmuyorum", elime kagit kalem alip detaylara girmiyorum. Buraya kadarki sorular hem biraz bunu asmami sagladi, hem temel bilgilerimi guncellemis oldum, hem de artik daha hizli yaziyorum.

Bundan sonraki sorular ise artik yapabiliyor olmam gereken sorular. Kendimi olcuyor olacagim. Hatam olursa duzelt lutfen.

Son olarak tesekkur ederim kendi adima. Fistik gibi yaz projesi oldu benim icin.

20,296 soru
21,840 cevap
73,541 yorum
2,723,951 kullanıcı