Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
449 kez görüntülendi

İkinci eşitlik için fikir : $Sym3$'ün merkezinin trivial olduğunu göstermemiz lazım. Nitekim $G$'nin otomorfi grubu $G/Z_G$'ye izomorf ( bakınız : http://matkafasi.com/107876/%24g-z_g-simeq-phi%24-oldugunu-kanitlayin ) . Burdan da $ Aut(Sym3) = Sym3 / \{e\} = Sym3$ olduğu çıkar.

İlk eşitlik için fikir: Bu sefer yukardaki gösterdiğimiz şeye ek olarak, eğer $\Phi$ , $Sym3$'ün otomorfi grubu ve $\Phi '$, $Sym3$'ün inner otomorfi grubuysa  , $Out(Sym3) = \Phi / \Phi'$ grubunun trivial olduğunu göstermemiz lazım. Çünkü bu tam olarak $Sym3$ grubunun 'complete'(Türkçesi nedir bilmiyorum. Tam?) olması demek. Complete gruplarda $G = Aut(G)$ sağlanır(neden?)

Not: $Aut(Sym3)$ u yazmaya kalktim, 12 elemanli bir grup buldum. $Sym(3)$ e izomorf olmamasi lazim.
Akademik Matematik kategorisinde (691 puan) tarafından 
tarafından düzenlendi | 449 kez görüntülendi
20,240 soru
21,759 cevap
73,407 yorum
2,079,319 kullanıcı