信息安全数学基础（五）：原根与指标

一.指数及其基本性质

1.指数和原根

设m是大于1的正整数，a是与m互素的正整数，则使得a^e=1( mod m)成立的最小正整数e叫做a对模m的指数，记作ordm(a)。
如果a对模m的指数是m的欧拉函数值，则a叫做模m的原根。

2.指数的基本性质

类似于周期序列u的最小周期p(u)，可以把指数也理解成a^x的一个周期
设m>1是整数，a是与m互素的整数，则整数d使得
a^d=1( mod m)的充分必要条件是
ordm(a) | d

推论1：设m>1是整数，a是与m互素的整数，则有 ordm(a) | E(m)
即m的欧拉函数值一定是a对模m指数的倍数
注：通常用这个性质，来求ordm(a)
推论2：设p是奇素数，且p-1/2也是素数，a是绝对值大于1的整数，则有：ordp(a)=(p-1)/2或p-1
证明可由推论1直接证出。

设m是大于1的整数，（a,m)=1,则
a⁰,a¹,…,a^oula(m)-1模m两两不同余，特别的，当a是模m的原根，即ordm(a)=E(m)时，这ordm(a)个数组成模m的简化剩余系。

当 g 是模 m 的原根时，g^r组成模 m 的简化剩余系。所以对任意整数a，且(a, m)＝1，存在唯一的整数 r，1 <= r<=E(m) , 使得g^r ≡a (mod m)

模m的原根存在的充要条件是m=2,4,p^α,2p^α
经典题型求素数的原根：
（1）分解E(m)，得到素因子
（2）验证（E(m)/素因子）对于2，3，5…是否都满足g^E(m)/q!=1(mod p)
这一步其实很好理解，因为g^E(m）肯定是与1同余的，那么他肯定整除指数，如果对于他的素因子都不与1同余（都不是指数），那么E(m)就是指数了。
（3）对于m的简化剩余系中的x，g^x遍历所有原根

指标实际上是个特殊的离散对数（以原根为底）
设 m >1 是整数， g 是模 m 的一个原根，
r 是整数，满足 1<=r<=E(m) , 则
indg( g^r)=r

关于指标，会查表能算数就可以了

比如说求ind6(28)，就先找第二行，再找第八列，发现是11，所以就等于11。
需要注意的是，你自己构建这个表的时候，是把指数填到框里，用g^r的值找坐标。