分歧定理

分歧定理(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二的范映射.