代数数域中的均值定理

设 K 是 n 次代数数域.令Ψ(x,u,η)=(?)∧(b),其中 u～b mod η(?)α、β∈Z_k,α≡β(modη),α(?)0,β(?)0,(α,η)=(β,η)=1,(α)u=(β)b、h(η)表等价类 modη的类数,T(η)=(U∶U＇),其中 U 表示域 K 中全体单位所成的群,U＇={ε|ε∈U,ε(?)0,ε≡1(modη}.我们证明了下述定理:对于任一正常数 A,存在一正常数 B=B(A)>0,当 Q=x~(1/(n+1))(log x)~(-B),x≥1时有sum from Nη≤Q(?)1/(T(η))|ψ(z,u,η)-z/(h(η))|(?)x/(log~Ax).