標籤: 暫無標籤

添加單位根到有理數域上而生成的擴域。

1 分圓域 -簡介

在數論中,分圓域是在有理數域Q中添加複數單位根進行擴張而得到的數域。將N次單位根Sn加入而得到的分圓域稱為n次分圓域由於與費馬最後定理的聯繫,分圓域在現代代數和數論的研究中扮演著重要的角色。正是因為庫默爾對這些數域上(特別是當 p為素數時)的算術的深入研究,特別是在相應整環上唯一分解定理的失效,使得庫默爾引入了理想數的概念,並證明了著名的庫默爾同餘。

2 分圓域 -詳解

添加單位根到有理數域上而生成的擴域。
1847年,E.E.庫默爾宣稱他證明了費馬猜想,在證明中,將費馬方程分圓域p為奇素數)在環分圓域中分解成分圓域分圓域,並認為環Zζp】與通常有理數環Z一樣,每個數都可惟一地表成一些「素數」的乘積。但不久發現他的這個看法是錯誤的,例如在Zζ23】中就存在表示成一些「素數」的乘積的方式不是惟一的這種數。於是庫默爾創造了「理想數」這一概念來彌補他的證明中的缺陷,並對分圓域的特性作了深刻的研究。庫默爾關於分圓域的工作和C.F.高斯關於二次域的工作,是代數數論的兩個源頭。J.W.R.戴德金將「理想數」系統化而產生了抽象代數中的「理想」這一重要概念。
所謂分圓域,是指在有理數域Q上添加n次本原單位根分圓域(即複平面上單位圓的n等分點)而得到的數域K=Q(ζn)。由於當n呏2(mod4)時Q(ζn)=Q(ζn/2),從而可假定n扝2(mod 4)。和二次域一樣,分圓域中的許多數論特性也比較簡單,例如:
對於分圓域K=Q(ζn),K/Qφ(n)次伽羅瓦擴張,其中φ(n)是歐拉函數,而伽羅瓦群Gal(K/Q)={σα|1≤αn,(α,n)=1},其中自同構σα是由分圓域所決定的,於是Gal(K/Q)同構於乘法群

分圓域

K=Q(ζn)的整數環為Zζn】,而判別式為

分圓域

素數p在分圓域K=Q(ζn)中分解規律為:若Pn,則pOK=Zζn】中g個不同素理想之積,並且每個素理想的剩餘次數均是ƒ,其中ƒp對於模n的階數(即ƒ為滿足pƒ呏1(modn)的最小正整數),而g=φ(n)/ƒ。若pn,令分圓域,則分圓域,其中分圓域(從而pK中分歧),分圓域OKg個不同的素理想,其剩餘次數均為ƒƒp對於模n┡的階數,而分圓域
分圓域K=Q(ζn)的單位根群WK,是由ζl生成的l階循環群,其中l=n(當(n呏0(mod 4)時)或者l=2n(當n呏1(mod2)時)。
分圓域K=Q(ζn)的單位群UK是單位根群WKVK的直積,其中VK是由分圓域個單位ε1,ε2,…,εr生成的(乘法)自由阿貝爾群,即K中每個單位均可惟一地表示成分圓域,其中分圓域稱為分圓域K的一個基本單位組,尋求分圓域的基本單位組是一個困難的問題。
和二次域一樣,分圓域的類數也具有解析的計算公式,但是在公式中包含基本單位組的知識,這使得關於分圓域類數的研究和計算成為困難問題。
庫默爾關於分圓域的最重要工作,有以下幾方面:
對於每個奇素數p,如果p除不盡分圓域Q(ζp)的類數hp,那麼費馬方程分圓域沒有整數解(x,y,z),xyz≠0(例如在100以內,滿足p|hp的只有P=37、59、67,從而對於不超過100的其他21個奇素數p,費馬方程分圓域均沒有正整數解)。
h分圓域表示域分圓域(這是Q(ζp)的極大實子域)的類數,則h分圓域hp,即分圓域為整數,並且分圓域分圓域除盡伯努利數B2B4,…,Bp-3之中某個的分子分圓域
通過大量的手算,庫默爾發現了當p→+∞ 時,h分圓域變化不大,而hр則飛速地增長。他猜想:分圓域(當P→+∞時);分圓域。后一猜想由K.烏希達於1971年和J.馬斯利、H.L.蒙哥馬利各自獨立地證明了,H.蒙哥馬利還證明了對於正整數n扝2(mod 4)則類數為1的分圓域Q(ζn)共有29個,即n=3,4,5,7,8,9,11,12,13 15,16,17,19,20,21,24,25,27,28,32,33,35,36,40,44,45,48,60,84。前一猜想則至今未能解決。
繼庫默爾之後,德國數學家H.哈塞對於分圓域以及一般阿貝爾數域的類數問題作了相當精細的研究。他於1952年所著《關於阿貝爾域的類數》就是他的這些研究工作的總結。
現代分圓域理論的創始人是岩澤健吉。基於深刻的代數思想和與代數曲線算術理論的類比,他於1959年得到一類數公式:設分圓域(其中pc(n)‖m表示pc(n)|m,而pl+1凲m),則存在與n無關的常數μpλpvp,使得當n充分大時,分圓域。他對於更一般的情形也證明了類似的公式,例如,對每個代數數域K,令hn分圓域的類數,pc(n)hn,則存在與n無關的常數μp(K),λp(K)和vp(K),使得當n充分大時,分圓域分圓域。岩澤健吉猜想:對於每個數域K均有μp(K)=0。他的兩個學生B.費雷羅和L.C.華盛頓於1978年對於阿貝爾數域K證明了這個猜想,但對於其他數域還未完全解決。岩澤健吉還猜想:對於任意全實域K均有λp(K)=0。這個猜想甚至對於實二次域也未能完全解決。
如果l/K是數域的伽羅瓦擴張,並且它的伽羅瓦群是阿貝爾群,那麼l稱為K的阿貝爾擴張。如果K是有理數域Q的阿貝爾擴張,那麼K稱為阿貝爾數域。從伽羅瓦理論可知,分圓域的每個子域都是阿貝爾數域。反之,每個阿貝爾數域也必是某個分圓域Q(ζn)的子域,其等價說法是:分圓域Q的極大阿貝爾擴域,這就是著名的韋伯-克羅內克定理。對於希爾伯特第12問題:能否對任意的代數數域K明顯地構作出K的全部阿貝爾擴張?或者說,能否明顯地刻畫出K的極大阿貝爾擴域?韋伯-克羅內克定理給出了關於K=Q情形的答案。Qab是對Q添加指數函數(這是單周期函數)分圓域在全部有理點xQ處的值而得到的域。
1853年,20歲的L.克羅內克猜想:每個虛二次域K的極大阿貝爾擴域是將K添加某種橢圓函數(這是雙周期函數)在全部有理點處的取值而得到的域。這就是所謂的克羅內克青春之夢。在1920年高木貞治創立了類域論之後,克羅內克猜想得到了證明,但是對於其他類型的代數數域,希爾伯特第12問題離完全解決還相距甚遠。
分圓域的理論是代數數論中一個在不斷發展的課題。它與模形式理論、代數幾何(特別是橢圓曲線的算術理論)、代數K理論、p進分析等交織在一起,形成當前很活躍的數學領域。

3 分圓域 -參考書目

S.Lang,Cyclotomic Fields, Vol.1~2,Springer-Verlag.New York,1978,1980.
L. C. Washington,Introduction to Cyclotomic Fields,Springer-Verlag,New York,1982.

4 分圓域 -相關連接

http://wapedia.mobi/zh/%E5%88%86%E5%9C%86%E5%9F%9F?t=1.
上一篇[局部類]    下一篇 [貧困的哲學]

相關評論

同義詞:暫無同義詞