Ferrero-Washington teoremi - Ferrero–Washington theorem

İçinde cebirsel sayı teorisi, Ferrero-Washington teoremi, ilk olarak kanıtladı Ferrero ve Washington (1979) ve daha sonra Sinnott (1984), şunu belirtir Iwasawa'nın μ-değişmez siklotomik olarak kaybolur Z_p- değişmeli uzantıları cebirsel sayı alanları.

Tarih

Iwasawa (1959) a'nın μ-değişmezini tanıttı Z_p-uzantı ve hesapladığı tüm durumlarda sıfır olduğunu gözlemledi. Iwasawa ve Sims (1966) siklotomik için yok olup olmadığını kontrol etmek için bir bilgisayar kullandı Z_p- herkes için gerekçelerin uzatılması asal 4000'den az. Iwasawa (1971) daha sonra μ-değişmezin herhangi bir Z_puzatma, ancak kısa bir süre sonra Iwasawa (1973) orijinal varsayımının yanlış olduğunu gösteren, kaybolmayan μ değişmezli sayı alanlarının siklotomik olmayan uzantılarının örneklerini keşfetti. Bununla birlikte, varsayımın hala siklotomik için geçerli olabileceğini öne sürdü. Z_p-uzantılar.

Iwasawa (1958) siklotomik için μ-değişmezin kaybolmasının Z_p- rasyonel uzamalar arasındaki belirli uyumlara eşdeğerdir Bernoulli sayıları, ve Ferrero ve Washington (1979) bu uyumların geçerli olduğunu kanıtlayarak bu durumlarda μ-değişmezin yok olduğunu gösterdi.

Beyan

Bir sayı alanı için K izin verdik K_m uzantıyı şu şekilde belirtin: p^m-birliğin güç kökleri, ${ displaystyle { hat {K}}}$ birliği K_m ve Bir^(p) maksimal çerçevesiz değişmeli p-Uzantısı ${ displaystyle { hat {K}}}$. Bırak Tate modülü

${ displaystyle T_ {p} (K) = mathrm {Gal} (A ^ {(p)} / { hat {K}}) .}$

Sonra T_p(K) bir profesyoneldirp-grup ve benzeri Z_p-modül. Kullanma sınıf alanı teorisi biri tarif edebilir T_p(K) izomorfik olarak sınıf gruplarının sınırının tersine C_m of K_m norm altında.^[1]

Iwasawa sergilendi T_p(K) tamamlandıktan sonra modül olarak Z_p[[T]] ve bu, üssü için bir formül anlamına gelir p sınıf grupları sırasına göre C_m şeklinde

${ displaystyle lambda m + mu p ^ {m} + kappa .}$

Ferrero-Washington teoremi, μ'nin sıfır olduğunu belirtir.^[2]

Referanslar

• Ferrero, Bruce; Washington, Lawrence C. (1979), "Iwasawa değişmez μ_p değişmeli sayı alanları için kaybolur ", Matematik Yıllıkları İkinci Seri, 109 (2): 377–395, doi:10.2307/1971116, ISSN  0003-486X, JSTOR  1971116, BAY  0528968, Zbl  0443.12001
• Iwasawa, Kenkichi (1958), "Siklotomik alanların bazı değişmezlerinde", Amerikan Matematik Dergisi, 81 (3): 773–783, doi:10.2307/2372857, ISSN  0002-9327, JSTOR  2372782, BAY  0124317 (Ve düzeltme JSTOR  2372857 )
• Iwasawa, Kenkichi (1959), "Cebirsel sayı alanlarının Γ-uzantıları hakkında", Amerikan Matematik Derneği Bülteni, 65 (4): 183–226, doi:10.1090 / S0002-9904-1959-10317-7, ISSN  0002-9904, BAY  0124316
• Iwasawa, Kenkichi (1971), "Cebirsel sayı alanlarının bazı sonsuz Abelyen uzantıları hakkında", Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, Gauthier-Villars, s. 391–394, BAY  0422205
• Iwasawa, Kenkichi (1973), "Z1 uzantılarının μ değişmezleri hakkında", Yasuo Akizuki onuruna sayı teorisi, cebirsel geometri ve değişmeli cebir, Tokyo: Kinokuniya, s. 1–11, BAY  0357371
• Iwasawa, Kenkichi; Sims, Charles C. (1966), "Siklotomik alanlar teorisinde değişmezlerin hesaplanması", Japonya Matematik Derneği Dergisi, 18: 86–96, doi:10.2969 / jmsj / 01810086, ISSN  0025-5645, BAY  0202700
• Manin, Yu. BEN.; Panchishkin, A. A. (2007), Modern Sayı Teorisine Giriş, Matematik Bilimleri Ansiklopedisi, 49 (İkinci baskı), ISBN  978-3-540-20364-3, ISSN  0938-0396, Zbl  1079.11002
• Sinnott, W. (1984), "Rasyonel bir fonksiyonun Γ-dönüşümünün μ-değişmezi üzerine", Buluşlar Mathematicae, 75 (2): 273–282, doi:10.1007 / BF01388565, ISSN  0020-9910, BAY  0732547, Zbl  0531.12004