Let R be a finite commutative local ring and K the residue field of R.

• 令R为有限交换局部环；K为其剩余类域；令|K|=q.