Neukirch'in kitabi cok guzel olmakla beraber bence ozellikle lisans duzeyinde tek basina okunacak kategorisinde degerlendirilemez. Analitik sayilar teori uzerine olan son bolumde kompleks projektif uzayin evrensel ortuleri uzerine integral aldigini dusunursek, neden karsi ciktigimi anlasilabilir. Ote yandan sinif cisim kurami icin de ilk okunacak yer Neukirch mi yine emin degilim. Neukirch yerel ve global sinif cisim kuramlarini ortak bir zemine oturtup gruplar kategorisinde aksiyomatik bir sinif cisim kurami olusturmus ve yerel cisimlerin ve sayi cisimlerinin Galois gruplarinin aksiyomatik sinif cisim kuraminin aksiyomlarini sagladigini gostermistir. Matematiksel olarak yapilmasi uzun zamandir beklenen bir ortak zemine oturtma islemi olsa dahi lisans/master ogrencisi kendi kendine ogrenecegi zaman bence daha cok hesap yaparak ogrenmesini saglayacak yaklasimlarin daha iyi olacagini dusunuyorum.
Kendi dusuncemi yazmaya calisayim. Asagida sayi cisimlerinin temel ozellikler, yerel cisimler ve yerel sinif cisim kuramini anlamak icin kisisel bir yol haritasi bulunmakta.
Oncelikle, sayilar teori ogrenmek ve anlamak icin olmazsa olmaz olan ilk sart (lineer cebiri saymazsak tabi) Galois teoridir. Sayilar teorisi ogrenmeye calisacak birisinin Galois eslemesinin ne demek oldugunu bilmesi gerekmektedir. Bunun icin Lang'in Algebra'si [2] ile Milne'in [3] ayni konudaki online notlarini oneririm. Ben Lang'tan ogrendim ama Milne'i okumak da kolay. Bunun yani sira tensor carpima bir asinalik da gerekli (yani lineer cebir). Bu konuda Milne'in cebirsel sayilar teorisi online notlarinin [4] birinci bolumu okunabilir (Preleminaries from commutative algebra).
Hem yerel cisimleri hem de sayi cisimleri Dedekind bolgelerinin bolum cisimleridir, bu yuzden Dedekind bolgelerinin temel ozelliklerini ogrenmek bir mecburiyet. Bu konudaki onerim
1- Serre, Local Fields [3], (Discrete valuation rings and Dedekind domains)
2- Milne, Algebraic number theory, online notlar [2] (Dedekind domains; factorization)
kitaplarinin ilgili bolumlerini okumak. Serre'in anlatimi cok duru ve eksiksiz. Ama ozellikle bazi ispatlari, ozellikle "fundamental equality" gibi ispatlari Milne'le capraz okumak anlamayi kolaylastiracaktir. Ozellikle Dedekind halkalarinin Galois genislemeleri tarafindan verilen genislemelerini anlamk cok onemli. Bu cesitli kaynaklar Hilbert theory of extensions of dedekind domains olarak gecmekte. Bu kisim yukarida sozu gecen bolumlerde cok iyi anlatilmakta. Es gecilmemesi gereken bir kisim bu tip genislemerin ozelliklerini iyice anlamak.
Dedekind bolgeleri ve genislemelerinin abecesinden sonra iki farkli yol tutulabilir. Dogrudan yerel cisimleri ogrenmeye girismek ya da sayi cisimlerini ogrenmeye girismek. Ikisinden birisi secildiginde bir digerine referans vermeden her iki tipteki cisimlerin sinif cisim kuramlarina kadar ogrenmek mumkun. Ancak ideal olan bu degil elbette. Yerel cisimlerle sayi cisimlerinin akrabaliklarini, iliskilerini ogrenmeden ikisini de tam anlamiyla anlamak mumkun degil.
Bir sonraki cevapta buradan sonra ne yapilabilire dair dusuncelerimi yazmaya devam edecegim.
[1]: http://www.springer.com/mathematics/numbers/book/978-3-540-65399-8
[2]: Lang, Algebra, http://link.springer.com/book/10.1007/978-1-4613-0041-0
[3]: Milne, Fields and Galois theory, http://www.jmilne.org/math/CourseNotes/FT.pdf
[4]: Milne, Algebraic number theory online notes http://www.jmilne.org/math/CourseNotes/ANT.pdf
[5]: serre, Local fields, http://link.springer.com/book/10.1007%2F978-1-4757-5673-9