补充资料：非分歧理想

非分歧理想
inramified ideal

　　非分歧理想[皿口mi丘刃i阁;Itepa3鹅T姗Hu.幼期eaJI] 代数数域(亦见代数数(al罗bluic~ber);数域(11Umber fie】d))K中立于素数p之上的素理想(p~id份l)平，使得主理想(P)在K中分解为如下的素理想之积二 (p)二率;’…平二’，其中平l=书，平2，…，平、铸平，e:二1.更精确地说，这样的非分歧理想称为绝对非分歧的(a比ofutelyunmlnjfied).一般地，设A为公油如.司环(Dedekind川19)，k为A的分式域，K为k的有限扩域，B是A在K中的整闭包(见环的整扩张(Integ服lexte璐ionofa nng).处于A的素理想刃之上的B的素理想平称为在扩张K/k下不分歧，如果 刃B=平:’…平二’，其中平，，…，平，是B中互不相同的素理想，平，=平，el二1.如果所有的平:，…，甲、都不分歧，有时也称理想刃在扩张K/k下是非分歧的·对于C司。is扩张K/k，B的一个理想平是非分歧的，当且仅当平在Galois群G(K/k)中的分解群等同于剩余类域扩张(BZ平)/(A/刃)的G司。is群.对于代数数域的任意有限扩张，所有的理想除有限个外都是非分歧的.
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。