原根的性质及其求法

在很多地方都用到了原根，比如 NTT 用到了原根的性质，比如离散对数需要用到的指标也与原根有关。

然而在此之前我对原根并不是非常了解，所以来补一补知识盲区。

定义

称 $g$ 为 $p$ 的原根，当且仅当 $g$ 在 $modp$ 意义下的阶为 $\phi (p)$ （这里的 $\phi (p)$ 是欧拉函数）。

p.s. 若 $g,p$ 互质， $n$ 是满足 $g^n\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}m$ 的最小正整数 ， 称 $n$ 为 $g$ 模 $p$ 的阶。

性质

根据定义，有

$\forall i,j\in [0,\phi (p)-1],i\ne j,g^i\not\equiv g^j\mathrm{m}\mathrm{o}\mathrm{d}p$

证明很显然，可以用反证法：

若 $g$ 是 $p$ 的原根，且 $\exists i,j\in [0,\phi (p)-1],i\ne j,g^i\equiv g^j\mathrm{m}\mathrm{o}\mathrm{d}p$

那么 $g^{|i-j|}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$

因为 $i,j\in [0,\phi (p)-1],i\ne j$

所以 $0<|i-j|<\phi (p)-1$

由性质可知 $g$ 不是 $p$ 的原根。

求原根

做法：

还是利用原根的定义。

将欧拉函数质因数分解 $\phi (p)=\prod p_i^{k_i}$

若一个数 $g$ 满足 $\forall i,g^{\frac{\phi (p)}{p_i}}\ne 1\mathrm{m}\mathrm{o}\mathrm{d}p$ ，那么他是 $p$ 的一个原根。

证明：

证明用到裴蜀定理。

假设存在一个 $k<\phi (p)$ 使得 $g^k\equiv 1(modp)$

根据裴蜀定理，一定存在一组 $a,b$ 满足 $a\cdot k-b\cdot \phi (p)=gcd(k,\phi (p))$

所以 $g^k\equiv g^{gcd(k,\phi (p))+b\cdot \phi (p)}\equiv g^{gcd(k,\phi (p))}\equiv 1(modp)$

因为 $k<\phi (p)$ 所以 $gcd(k,\phi (p))<\phi (p)$

又因为 $gcd(k,\phi (p))|\phi (p)$

所以一定存在一个 $g^{\frac{\phi (p)}{p_i}}\equiv 1(modp)$ ，通过检验这些数就可以知道一个数是不是原根了。

应用

1.指标

指标函数 $I(x)$ 定义如下：

$g^{I(x)}\equiv x\mathrm{m}\mathrm{o}\mathrm{d}p$

可以对比一下连续的对数：

$a^{{\log }_{a}x}=x$

可以发现两者非常相似。 $I(x)$ 也就是离散对数。与一般意义下的对数性质也非常相似，可以在取模意义下把乘法变成加法，把乘方变成乘法。

详情请见 [SDOI2015]序列统计 。

2.NTT

NTT 用原根来代替实数中使用的单位根 $\omega$ 。

设$g$是质数$p$的原根，再设${\omega }_n=g^{(p-1)/n}$（$p$满足$n|p-1$）。

1. ${\omega }_n^n\equiv 1(modp)$
2. ${\omega }_n^0,{\omega }_n^1,\dots ,{\omega }_n^{n-1}$ 在 $modp$ 意义下互不相同
3. ${\omega }_n^k\equiv -{\omega }_n^{k+n/2}$即${\omega }_n^{n/2}\equiv -1(modp)$

第 2 点保证了能够插值，第 3 条保证了 INTT（不知道是不是这么叫，反正就是类似 IDFT 的过程）的进行。