[欧拉函数]原根

在数论，特别是整除理论中，原根是一个很重要的概念。
对于$a,m$,若$a$与$m$互质，即$gcd(a,m)\equiv 1$
$\equiv$符号的意义为，在模m的情况下，余数相等。
欧拉定理:若正整数a,n互质，则$$a^{\phi (m)}\equiv 1(modm)$$
使$a^d\equiv 1(modm)$成立的最小的正整数$d$，称为a对模m的指数(或阶)，为${\delta }_{m}a$，在不致误会的情况下，简记为$\delta a$.
$a^n\equiv 1(modm)$的充分必要条件是${\delta }_{m}a\mid n$
证明;设$n={\delta }_{m}a\ast q+r,0\le r<{\delta }_{m}a,q,r\in Z$
则$a^n\equiv a^{\delta a\ast q+r}\equiv a^r\equiv 1$,r=0；
所以${\delta }_{m}a\mid n$
推论:${\delta }_{m}a\mid \phi (m)$
若${\delta }_{m}a=\phi (m)$称$a$是模$m$的原根（也写作元根）,简称$m$的原根
模m有原根的充要条件是
$m=1,2,4,p^a,2p^a,其中p是奇素数，a\ge 1$