基本介紹
陳述,歷史,例子,
陳述
岩澤健吉起初觀察到代數數論中某些數域所成的塔的伽羅瓦群同構於p進數所構成的加法群。這個群通常寫作 Γ 並采乘法符號,它是加法群
的逆極限,其中p是固定的素數而
。我們可以用龐特里亞金對偶定理得到另一種表法:Γ 對偶於所有複數域裡的p-次單位根所成的離散群。
![](http://178.128.105.246/cars-https-www.newton.com.tw/img/c/a9e/6b8d8fab7a6795336ab68f135e16.jpg)
![](http://178.128.105.246/cars-https-www.newton.com.tw/img/8/fb4/cecbe4624f24f1926898f664ac59.jpg)
歷史
自岩澤理論在1950年面世起,已經有了一套豐富的理論。人們注意到在模論與黎貝和Heinrich-Wolfgang Leopoldt在1960年定義的p進數L-函式間有根本的聯繫。後者從
函式在負整數點的取值(與伯努利數有關)作插值,得到狄利克雷L函式在p進數域的類比。顯然此理論有希望從庫默爾一個世紀創建前的正則素數理論向前邁進。
![](http://178.128.105.246/cars-https-www.newton.com.tw/img/a/82c/043805aba110515e338ed3670f19.jpg)
“岩澤理論主猜想”被陳述為:以兩種不同方法定義的 p進數L-函式(模理論/插值法)應當相等,只要它們是明確定義的。這個猜想在Q上的情形最後由貝利·馬祖爾(Barry Mazur)與安德魯·懷爾斯證明,並由懷爾斯證明所有實域的情形,稱作馬祖爾-懷爾斯定理。他們仿造肯尼斯·阿蘭·黎貝證明埃爾布朗定理之逆定理(即所謂埃爾布朗-黎貝定理)的辦法。
近來 Chris Skinner 與 Eric Urban 也仿用肯尼斯·阿蘭·黎貝的辦法,公布了GL(2) 的“主猜想”的一個證明。藉由 Kolyvagin 發展的歐拉系統,可以得到馬祖爾-懷爾斯定理更初等的證明(請參見 Washington 的書)。Karl Rubin 等人用歐拉系統得到主猜想其它的推廣形式。
例子
設
為p次本原根,並考慮下述數域所成的塔:
![](http://178.128.105.246/cars-https-www.newton.com.tw/img/d/638/fc9b36ab6c00c3fa0cf712964255.jpg)
![](http://178.128.105.246/cars-https-www.newton.com.tw/img/c/b20/f86595e2c47e2ca60b011c1fec84.jpg)
![](http://178.128.105.246/cars-https-www.newton.com.tw/img/a/c7c/b5dedd7137a7b116e693ba0b8861.jpg)
![](http://178.128.105.246/cars-https-www.newton.com.tw/img/5/e27/9d6cb849da2843591fddde0d3a9d.jpg)
![](http://178.128.105.246/cars-https-www.newton.com.tw/img/0/c56/49d65c489a922695758fc5b5f06d.jpg)