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

Cikarim 1.1.16 ispatlanirken PF kabulunde bulunmustuk. Zaten  PF= oldugunu dusunsenize, o kadar ispatta yerleske kullandik ve hic yerleske yok. Bu ispattan sonra sukur ki bir adet yerleske varmis diyecegiz ve su ana kadar yapmis oldugumuz her ispati gonul rahatligiyla fonksiyon cisimlerinde kullanabilecegiz. Iyi ki varsin yerleske!

Teorem 1.1.19: F/K bir fonksiyon cismi ve R de F cisminin KRF sartini saglayan bir alt halkasi olsun. Kabul edelim ki 0IR olacak sekilde I kumesi R halkasinin ideali olsun. Bu durumda IP ve ROP olacak sekilde bir PPF yerleskesi vardir.

Cikarim 1.1.20: F/K bir fonksiyon cismi ve zF elemani da K uzerinde askin olsun.  Bu durumda z elemaninin en az bir adet sifiri ve en z bir adet kutubu vardir. Ozel olarak, PF.

Bu soru ile birlikte kitabin  "1. Cebirsel Fonksiyon Cisimler Teorisindeki Temeller" unitesi icerisinde olan "1.1 Yerleskeler" konusunu bitirmis oluyoruz.

Akademik Matematik kategorisinde (25.6k puan) tarafından 
tarafından yeniden açıldı | 545 kez görüntülendi

Onceki sorular icin: link.

1 cevap

0 beğenilme 0 beğenilmeme

(Uzun uzun anlattigim icin ispat uzun gozukuyor olabilir, fakat uzun degil).

Ilk olarak F:={S|S kumesi F cisminin RS ve ISS sartlarini saglayanbir alt halkasi } kumesini tanimlayalim. 

Hatirlatma: Burada IS iki tane idealin carpimi, tanim geregi aνI, sνS olmak uzere sonlu aνsν  toplamlarin hepsini iceren ideal. 

Ilk olarak F kumesini tanimladik ama bu kume bos mu, degil mi? Teoremin kabullerinden biri IR, yani IR=IR, ayrica dogal olarak RR de saglanir. Kisacasi RF ve dolayisiyla F.

HF tumuyle (totally) sirali bir kume olsun ve T:={S|SH} kumesini tanimlayalim. Amacimiz TF oldugunu gostermek:

1) F'nin tanimindan dolayi her SHF icin RS olur, yani dolayisiyla RT olur.
2) Peki T kumesi F cisminin bir alt halkasi mi?
a,bT ise aSa ve bSb olacak sekilde H kumesinin Sa ve Sb elemanlari vardir.  H tumuyle sirali oldugundan H kumesinde Sa ve Sb kumelerini iceren bir adet S elemani vardir. Demek ki a,bS ve S bir althalka oldugundan ab ve ab elemanlari da S halkasinda ve dolayisiyla S halkasini iceren T halkasinda olur. Demek ki T kumesi F cisminin bir alt halkasiymis.

Amac TF  oldugunu gostermekti. Son olarak ITT oldugunu gostermeliyiz:
3) IT=T oldugunu varsayalim. Bu durumda 1T=IT olmali. Yani sonlu sayida aνI, sνS icin aνsν=1 olmali. sν elemanlari sonlu oldugundan bir adet S0H icin her sνS0 olur. Yani 1IS0 olur ve bu durumda IS0=S0 olur. Fakat H kumesinin her S elemani icin ISS saglanmaliydi. Celiski.

Tum bunlari bir hic ugruna olmasa da, Zorn Onsavini kullanmak icin gosterdik. Zorn Onsavina gore F kumesinin (en az) bir adet maksimal elemani var. Yani, F cisminin icerisinde ROF, IOO sartlarinin saglayan bir maksimal halka O var. 

Su anki amacimiz O halkasinin F/K fonksiyon cisminin bir deger halkasi oldugunu gostermek: 

I{0} ve IOO oldugundan (biraz bakinca gorebilecegimiz) OF ve IOO× saglanir.

O halkasinin F/K fonksiyon cisminin deger halkasi olmadigini varsayalim. Bu durumda oyle bir zF olmali ki zO ve z1O olmali.

O halkasinin R halkasini iceren ve IOO sartini saglayan maksimal halka oldugunu kabul etmistik. Bu durumda O halkasini oz olarak iceren O[z] halkasi haliyle R halkasini da icereceginden maksimallik ozelliginden dolayi IO[z]=O[z] olmali ve ayni sekilde IO[z1]=O[z1] olmali. 

Demek ki oyle a0,,an,b0,IO elemanlari var ki 1=a0+a1z++anzn ve 1=b0+b1z1++bmzm esitlikleri saglanir.

(I birim icermediginden) m,n1 oldugu asikar. Alttan sinir koydugumuza gore artik m ve n'yi minimal olacak sekilde secebiliriz. Ayrica mn oldugunu var sayabiliriz. (mn ise z yerine z1 elemanini dusunebiliriz, degil mi?)

Simdi yukaridaki esitlikleri sirasiyla 1b0 ve anzn ile carpalim: (1b0)=(1b0)a0+(1b0)a1z++(1b0)anzn ve 0=(b01)anzn+anb1zn1++anbmznm esitlikleri saglanir. Bu iki esitligi toplarsak eger c0,c1,,cn1 olacak sekilde 1=c0+c1z++cn1zn1 esitligini elde ederiz. Bu da n sayisinin minimalligi ile celisir.

Demek ki O halkasi F/K fonksiyon cisminin bir deger halkasiymis. Yukari da IOO× cikarimini yapmistik. O  deger halkasinin maksimal idealine P dersek P=OO× oldugundan IP olur.


Simdi de cikarimimizi ispatlayalim:

R=K[z] halkasini ve bu halkanin I=zK[z]  idealini dusunelim. Theorem 1.19'dan bir adet PPF var ki zP olur ve dolayisiyla da P de z elemaninin sifiri olur.

Ayni sekilde R=K[z1] halkasini ve bu halkanin I=z1K[z1]  idealini dusunelim. Theorem 1.19'dan bir adet PPF var ki z1P olur ve dolayisiyla da P de z elemaninin kutubu olur. PF= olsaydi boyle elemanlar olmazdi, degil mi?

(25.6k puan) tarafından 
20,312 soru
21,868 cevap
73,589 yorum
2,859,756 kullanıcı