初等数论 3.2 离散对数

定义：设$m\in {\mathbb{Z}}^{+}$且有原根$r$，若$a\in {\mathbb{Z}}^{+}$满足$(a,m)=1$，使得同余式$r^x\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)1\le x\le \varphi (m)$成立的唯一的整数$x$称为$a$对模$m$的以$r$为底的指数（离散对数），记为$\mathrm{i}\mathrm{n}{\mathrm{d}}_{\mathrm{r}}\mathrm{a}$.
定理：设$m\in {\mathbb{Z}}^{+}$且有原根$r$，且$a$和$b$是均与$m$互素的整数，则：
1.$\mathrm{i}\mathrm{n}{\mathrm{d}}_{\mathrm{r}}1\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m))$.
2.$\mathrm{i}\mathrm{n}{\mathrm{d}}_{\mathrm{r}}\mathrm{a}\mathrm{b}\equiv \mathrm{i}\mathrm{n}{\mathrm{d}}_{\mathrm{r}}\mathrm{a}+\mathrm{i}\mathrm{n}{\mathrm{d}}_{\mathrm{r}}\mathrm{b}(\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m))$.
3.$\mathrm{i}\mathrm{n}{\mathrm{d}}_{\mathrm{r}}{\mathrm{a}}^{\mathrm{k}}\equiv k\cdot \mathrm{i}\mathrm{n}{\mathrm{d}}_{\mathrm{r}}\mathrm{a}(\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m))k\in {\mathbb{Z}}^{+}$.
定义：设$m,k,a\in {\mathbb{Z}}^{+},(a,m)=1$，若同余方程$x^k\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)$有解，则称$a$是$m$的$k$次幂剩余.
定理：设$m\in {\mathbb{Z}}^{+}$且有原根，$k\in {\mathbb{Z}}^{+}$