初等数论：既约剩余系的k次幂剩余

题：正整数$n=2_0^t{p}_1^{t_1}\cdots p_n^{t_n}$，设$c_1,c_2,\cdots ,c_{\varphi (n)}$为$n$的既约剩余系，对于任意$k\in Z_{+}$，分析$c_1^k,c_2^k,\cdots ,c_{\varphi (n)}^k$的剩余情况.

解：

求解$k$次幂剩余等价于求解模指数方程$x^k\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}n)$的$c$需要满足的条件及不同余个数

$\because x^k\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}n)$

$\therefore x^k\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}{p}_j^{t_j}),t\in [1,n]$

因为这个方程与原根有关，这里设 $r_1,r_2,\dots ,r_n$ 分别为 $p_1^{t_1},p_2^{t_2},\cdots ,p_n^{t_n}$的原根，并使用指数系表示

$\because$ 对于 $e\ge 3\to or{d}_{2^e}5=2^{e-2}$

$\therefore {\forall }_{2\nmid x}{\exists }_{\alpha \in 0,1,\beta \in [0,2^{e-2}-1]}x\equiv (-1{)}^{\alpha }{5}^{\beta }(\mathrm{m}\mathrm{o}\mathrm{d}{2}^e)$

即使对于$e<3$时也成立：

$e=1\Rightarrow \alpha =\beta =0$

$e=2\Rightarrow \{\begin{array}{l}1\equiv (-1{)}^0{5}^0(\mathrm{m}\mathrm{o}\mathrm{d}{2}^e)\\ 3\equiv (-1{)}^1{5}^0(\mathrm{m}\mathrm{o}\mathrm{d}{2}^e)\end{array}$

$\therefore$ 可以使用选定的原根和上面的$2^e$的剩余表示出指数系

$(\alpha ,\beta ,{\gamma }_1,{\gamma }_2,\cdots ,{\gamma }_n)$

α ∈ { 0 , 1 } , β ∈ [ 0 , 2 t 0 − 2 − 1 ] , ∀ j ∈ [ 1 , n ] γ j ∈ [ 1 , ϕ ( p j t j ) ] \alpha \in \{0, 1 \}, \beta \in [0, 2^{t_0 - 2} - 1], \forall_{j \in [1, n]}\gamma_j \in [1, \phi(p_j^{t_j})] α∈{0,1},β∈[0,2t0​−2−1],∀j∈[1,n]​γj​∈[1,ϕ(pjtj​​)]

其中$\alpha ,\beta$为$2^{t_0}$的指数系，其余的${\gamma }_j$是$p_j^{t_j},j\in [1,n]$的指数表示

可以证明指数系唯一，且具有对数那样的运算规则，即

$(\alpha ,\beta ,{\gamma }_1,{\gamma }_2,\cdots ,{\gamma }_n{)}^k=(k\alpha ,k\beta ,k{\gamma }_1,k{\gamma }_2,\cdots ,k{\gamma }_n)$

$(\alpha ,\beta ,{\gamma }_1,{\gamma }_2,\cdots ,{\gamma }_n)({\alpha }^{\prime },{\beta }^{\prime },{\gamma }_1^{\prime },{\gamma }_2^{\prime },\cdots ,{\gamma }_n^{\prime })=(\alpha +{\alpha }^{\prime },\beta +{\beta }^{\prime },{\gamma }_1+{\gamma }_1^{\prime },{\gamma }_2+{\gamma }_2^{\prime },\cdots ,{\gamma }_n+{\gamma }_n^{\prime })$

设$d_0,d_1,\cdots ,d_n$分别表示$2^{t_0},p_1^{t_1},\cdots ,p_n^{t_n}$的解个数，先考虑$2^{t_0}$情形

$x^k\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}{2}^{t_0})\Rightarrow k(\alpha ,\beta )\equiv ({\alpha }_c,{\beta }_c)(\mathrm{m}\mathrm{o}\mathrm{d}(2,2^{t_0-2}))$，其中$(,)$表示分量，即有

$\{\begin{array}{l}k\alpha \equiv {\alpha }_c(\mathrm{m}\mathrm{o}\mathrm{d}2)\\ k\beta \equiv {\beta }_c(\mathrm{m}\mathrm{o}\mathrm{d}{2}^{t_0-2})\end{array}$

$2\nmid k\Rightarrow c$可为任意数

$2\mid k\Rightarrow \{\begin{array}{l}{\alpha }_c\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}2)\\ {\beta }_c\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}(k,2^{t_0-2}))\end{array}$

可以得到解一共有

$d_0=\frac{2^{t_0-1}}{(k,2)(k,2^{t_0-2})}$

上面是对$t_0\ge 2$时成立，对于$t_0=1$，可知$1$是$2$的原根，因此$(k,1)=1\Rightarrow d_0=1$

类似对于$j\in [1,n],p_j^{t_j}$，有

$d_j=\frac{\varphi (p_j^{t_j})}{(k,\varphi (p_j^{t_j}))}$

所有解的个数$d=d_0{d}_1\cdots d_n$，即

$d=\{\begin{array}{ll}\frac{\varphi (n)}{{\prod }_{j=1}^n(k,\varphi (p_j^{t_j}))},& t_0\in 0,1\\ \frac{\varphi (n)}{(k,2)(k,2^{t_0-2}){\prod }_{j=1}^n(k,\varphi (p_j^{t_j}))},& t_0\ge 2\end{array}$

最后用具体数字来验证一下

n = 2 ∗ 3 , k = 2 , S = { 1 } n= 2*3, k = 2, S = \{ 1 \} n=2∗3,k=2,S={1}，由第一种可知结果相等

n = 2 2 ∗ 3 , k = 3 , S = { 1 , 5 , 7 , 11 } n= 2^2*3, k = 3, S = \{ 1, 5, 7, 11 \} n=22∗3,k=3,S={1,5,7,11}，由第二种可知结果相等

对于任一有解的$c$出现的次数可由上面$\frac{\varphi (n)}{d}$取得