数论之指标介绍及其应用（基于阶与原根的应用）

---

一、定义

内容

设正整数$n\ge 2$并且有原根$g$，那么$g^0,g^1\dots \dots g^{\phi (n)-1}$可以构成模$n$的既约剩余系，对于任意满足$gcd(a,n)=1$的$a$，均有$g^x\equiv a(mod$ $n)$ $(0\le x<\phi (n))$。

将解$x$记作：$in{d}_{g}a$ $mod$ $\phi (n)$
称为：a的以g为底模n的指标
在不会混淆的情况下可以将其简记为:$I(a)$
属于集合 ∈ { 0 , 1 , 2 … … φ ( n ) − 1 } \in\{0,1,2……φ(n) -1\} ∈{0,1,2……φ(n)−1}

---

二、性质

1.$a\equiv b(mod$ $n)\Leftarrow \Rightarrow I(a)\equiv I(b)(mod$ $\phi (n))$

---

2.$I(ab)\equiv I(a)+I(b)(mod$ $\phi (n))$

证明

当$gcd(a,n)=gcd(b,n)=1$时，同时存在$gcd(ab,n)=1$，根据定义，有:
$g^{I(ab)}\equiv ab(mod$ $n)$
由于$ab\equiv g^{I(a)}{g}^{I(b)}(mod$ $n)$
最终可以得到：$g^{I(ab)}\equiv g^{I(a)}{g}^{I(b)}(mod$ $n)$

在结合之前介绍阶时用到的
定理三：$gcd(a,n)==1$,$a^x\equiv a^y(mod$ $n)$的充要条件为$x\equiv y(mod$ $or{d}_{n}a)$
由于$g$为$n$的原根，那么$or{d}_{n}a$就等于$\phi (n)$

最后得到了：$I(a)\equiv I(a)+I(b)(mod$ $\phi (n))$

推论一：$I(a^k)\equiv kI(a)(mod$ $\phi (n))$

推论二：$I({\prod }_{i=1}^k{a}^i)\equiv {\sum }_{i=1}^{k}I(a^i)(mod$ $\phi (n))$

---

3.当$gcd(a,n)=1$，且有两个原根$g_1,g_2$时,$in{d}_{g_1}a\equiv in{d}_{g_1}{g}_2\ast in{d}_{g_2}a(mod$ $\phi (n))$

证明

由两个原根，首先可以得到两个式子：
$(1)g_1^{in{d}_{g_1}a}\equiv a(mod$ $n)$
$(2)g_2^{in{d}_{g_2}a}\equiv a(mod$ $n)$

当然，$g_2$同样满足$gcd(g_2,a)=1$，所以同时存在式子：
$(3)g_1^{in{d}_{g_1}{g}_2}\equiv g_2(mod$ $n)$

将式子（2）、（3）结合，
得：${(g_1^{in{d}_{g_1}{g}_2})}^{in{d}_{g_2}a}\equiv a(mod$ $n)$
再与（1）结合，
得：$g_1^{in{d}_{g_1}{g}_{2}in{d}_{g_2}a}\equiv g_1^{in{d}_{g_1}a}(mod$ $n)$

再次使用前介绍阶时用到的
定理三：$gcd(a,n)==1$,$a^x\equiv a^y(mod$ $n)$的充要条件为$x\equiv y(mod$ $or{d}_{n}a)$
由于$g$为$n$的原根，那么$or{d}_{n}a$就等于$\phi (n)$

此时就得到了：$in{d}_{g_1}a\equiv in{d}_{g_1}{g}_2\ast in{d}_{g_2}a(mod$ $\phi (n))$

---

三、简单应用·解方程$3x^5\equiv 1（mod$ $23)$

可以用数论之阶与原根中的方法求出23的最小原根5

再求出对应的指标表：指数由0到$\phi (n)-1$

指数	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21
模23的结果	1	5	2	10	4	20	8	17	16	11	9	22	18	21	13	19	3	15	6	7	12	14

由于$gcd(3x^5,23)=gcd(1,23)=1$,所以$3x^5、1$有指标，
记作：$in{d}_5(3x^5)$和$in{d}_{5}1$

再次使用前介绍阶时用到的
定理三：$gcd(a,n)==1$,$a^x\equiv a^y(mod$ $n)$的充要条件为$x\equiv y(mod$ $or{d}_{n}a)$
由于$g$为$n$的原根，那么$or{d}_{n}a$就等于$\phi (n)$

可以得到：$in{d}_5(3x^5)\equiv in{d}_{5}1(mod$ $22)$
使用性质二
可以得到：$in{d}_5(3)+5in{d}_5(x)\equiv in{d}_{5}1(mod$ $22)$
$5in{d}_5(x)\equiv -16(mod$ $22)$
$5in{d}_5(x)\equiv 50(mod$ $22)$
再使用消去律，
得到：$in{d}_5(x)\equiv 10(mod$ $22)$
就是说:$x\equiv 5^{in{d}_5(x)}(mod$ $23)$$\equiv 5^{10}(mod$ $23)\equiv 9(mod$ $23)$
查表可知

---