原根的存在性 几道例题

传送门

本文涉及的主要数论原理参见博文《原根的存在性 相关定理 (一)》, 《原根的存在性 相关定理(二)》.

例题1 求$49$的全部原根.

解
第一步, 先找出模$7$的所有原根. $\phi \left(7\right)=6$.
$$\begin{array}{ccccccc}n& 1& 2& 3& 4& 5& 6\\ 2^n\mathrm{m}\mathrm{o}\mathrm{d}7& 2& 4& 1& & & \\ 3^n\mathrm{m}\mathrm{o}\mathrm{d}7& \underline{3}& 2& 6& 4& \underline{5}& 1\end{array}$$
因此$g=3$是模$7$的一个原根. 在模$7$既约剩余系 { 0 , 1 , 2 , ⋯   , 6 } \left\{ 0,1,2,\cdots ,6 \right\} { 0,1,2,⋯,6}中其他所有原根是$3^5\mathrm{m}\mathrm{o}\mathrm{d}7=5$.

第二步, 考虑模$7$的原根 { x ≡ 3 , 5     m o d   7 :   0 ≤ x < 49 } \left\{ x\equiv 3,5\text{ }\bmod 7:\text{ }0\le x<49 \right\} { x≡3,5 mod7: 0≤x<49}, 由二项式定理, 成立
$$\begin{array}{rl}& {\left(3+7i\right)}^6\equiv 3^6+6\times 3^5\times 7i\equiv -6+6\times \left(-2\right)\times 7i\equiv -6+14i\mathrm{m}\mathrm{o}\mathrm{d}49,\\ & {\left(5+7j\right)}^6\equiv 5^6+6\times 5^5\times 7j\equiv -6+28j\mathrm{m}\mathrm{o}\mathrm{d}49.\end{array}$$
计算得下表
$$\begin{array}{rl}& \begin{array}{cccccccc}r\equiv 3\mathrm{m}\mathrm{o}\mathrm{d}7& 3& 10& 17& 24& 31& 38& 45\\ r^{7-1}\mathrm{m}\mathrm{o}\mathrm{d}49& -6& 8& 22& 36& \underline{1}& 15& 29\end{array}\\ & \\ & \begin{array}{cccccccc}r\equiv 5\mathrm{m}\mathrm{o}\mathrm{d}7& 5& 12& 19& 26& 33& 40& 47\\ r^{7-1}\mathrm{m}\mathrm{o}\mathrm{d}49& -6& 22& \underline{1}& 29& 8& 36& 13\end{array}\end{array}$$
表格第一, 三行除了$31,19$以外, 都是$49$的原根. 故$49$的全部原根是$x\equiv x_0\mathrm{m}\mathrm{o}\mathrm{d}49$, $x_0=3,5,10,12,17,24,26,33,38,40,45,47$.

例题2 已知$487$是素数, 有原根$10$. 找一个${487}^2$的原根.

解 ${487}^2=237169$, 由于
$$\begin{array}{rl}& {10}^{487-1}\mathrm{m}\mathrm{o}\mathrm{d}237169\\ & ={10}^{486}={10}^{7\times 69+3}={\left({10}^7\right)}^{69}\times 1000\equiv {38902}^{69}\times 1000\\ & ={1513365604}^{34}\times 38902000\equiv {\left(-9785\right)}^{34}\times 6284={95746225}^{17}\times 6284\\ & \equiv {167118}^{17}\times 6284={27928425924}^8\times 1050169512\equiv {115991}^8\times \left(-14820\right)\\ & ={13453912081}^4\times \left(-14820\right)\equiv {26218}^4\times \left(-14820\right)\\ & ={687383524}^2\times \left(-14820\right)\equiv {67762}^2\times \left(-14820\right)\\ & =4591688644\times \left(-14820\right)\equiv 96804\times \left(-14820\right)\\ & =-1434635280\\ & \equiv 1\mathrm{m}\mathrm{o}\mathrm{d}237169.\end{array}$$
因此${487}^2=237169$有原根$10+487=497$.

例题3 对所有$k\in {\mathbb{Z}}_{>0}$, 找一个$7^k$的原根.

解 由例题1, $3,5$既是模$7$的原根, 又是模$7^2$的原根. 因此$\forall k\in {\mathbb{Z}}_{>0}$, $3,\text{ 5}$是模$7^k$的原根.

例题4 对所有$k\in {\mathbb{Z}}_{>0}$, 找一个${487}^k$的原根.

解 由例题2, $497\equiv 10\mathrm{m}\mathrm{o}\mathrm{d}487$既是模$487$的原根, 也是模${487}^2$的原根, 因此$\forall k\in {\mathbb{Z}}_{>0}$, $497$是模${487}^k$的原根.

例题5 对所有 k ∈ Z > 0 k\in { {\mathbb{Z}}_{>0}}