包含置换的同余式（英文）

设A_2(n)={(ij)|1≤ij≤n,(ij,n)=1},A_3(n)={(ijl),(ilj))|1≤ijl≤n,(ijl,n)=1},其中(x_1 x_2…x_k)表示循环置换,当ik时,把x_i映射到x_(i+1),x_k映射到x_1,其他元素映射到自身.我们得到了∑σ∈A~2(n)∑nk+1 σ(k)/k~m和∑∑nk+1 σ(k)/k~m的同余式,其中σ表示置换.同时,令素数p≥5,H(k)=∑_(i=1)~k1/i,我们证明了∑σ∈A_2(p)∑p=1k=1σ~m(k)H(k)≡2B_m(mod p) ∑σ∈A_3(p)∑p=1k=1σ~m(k)H(k)≡-5B_m(mod p).