分歧定理(ramification theorem)類域論中判定素理想分歧的定理.若K/k是H的類域,這裡H是k的伊代爾群Jk的含k‘的子群.則k的任一素除子在K非分歧若且唯若Uz.CH,式中U二是k對v的完備化k二的單位群.進而,還有如下結果:若K/k是任一阿貝爾擴張,v是k的任一素除子,則Uv中元素在阿廷映射下的像恰為慣性群T‑(即v在K的任一延拓w的慣性群).事實上,更有
式中N二是Kw到k二的范映射.
分歧定理(ramification theorem)類域論中判定素理想分歧的定理.若K/k是H的類域,這裡H是k的伊代爾群Jk的含k‘的子群.則k的任一素除子在K非分歧若且唯若Uz....
全分歧擴張(totally ramified extension)是一類有限賦值域擴張,它是與非分歧擴張相反的概念。賦值域(F,B)的一個有限擴張(K,C),若分歧指數e(C|F)=[K∶F],...
在分歧理論及套用方面做出了重要工作。獲得了若干新的抽象分歧定理,建立了連通分支逼近法,建立了幾個特徵值問題的譜理論,得到了幾類微分方程解集的全局結構。在《...
① 基本定理 設K/k為數域k上一n次阿貝爾擴張,則存在k的一個整除子M,僅含在K內分歧的素點(有限或無限)作為素因子,使得理想群h =/k(I(K))S在I(k)內...