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

'Serbest bir grubun alt grupları da serbesttir' önermesinin cebirsel kanıtı uzun ve sıkıcı diye düşünüyorum. Hatırladığım kadarıyla bu ifadeyi topolojik yöntemlerle kanıtlamak için birkaç satır yeterli, tabii öncesinde bazı tanımlar ve ifadeler vererek.

Ama nasıl?

---

serbest grup: free group

Lisans Matematik kategorisinde (1.1k puan) tarafından  | 521 kez görüntülendi

1 cevap

0 beğenilme 0 beğenilmeme

Cebirsel topolojik kanıtının özeti:

Verilen serbest grubun her bir üretci için bir çember alıp bunları bir noktada yapıştırıyoruz.van Kampen' in teoreminden, bu uzayın (grafik de diyebiliriz)  esas grubu, verilen serbest gruba izomorfik oluyor. Daha sonra verilen alt gruba karşı gelen örtü uzayını (bu uzayın esas grubu, verilen alt gruba izomorfik oluyor) oluşturuyoruz. Bu örtü uzayı da  bir grafik oluyor. Bir grafiğin esas grubunun serbest olduğunu ispatlıyoruz. Her iki grup da sonlu üreteçli ise, üreteç sayıları arasında bir ilişki de bulunabiliyor


(6.1k puan) tarafından 
20,200 soru
21,726 cevap
73,275 yorum
1,887,752 kullanıcı