【……

设fi(x1,x2,…,xn)(i=1,2,…,s)为fq[x1,x2,…,xn]中的一组多项式用v表示由fi(i=1,2,…,s)的公共零点在仿射空间

……

用qp表示padic数域(即有理数域q关于p-adic赋值的完备化),cp为qp的代数封闭域的完备化设ζp为cp中一个本原p次单位根……表示从fq到素域fp的绝对迹映射对于给定的f(x1,x2,…,xn)∈fq[x1,x2,…,xn],定义指数