本文深入探讨了奇素数p下的原根性质，包括引理1证明奇数a的幂模2k的关系，推论2指出2k无原根，引理3和推论4展示了模pk原根的传递性，定理5和6确定了模p2原根的特定形式和所有原根集合，最后定理7证明了存在一个正整数r是所有pk的原根。
索引
- 引理1 设 a a a是奇数, k ∈ Z ≥ 3 k\in { {\mathbb{Z}}_{\ge 3}} k∈Z≥3, 成立 a 2 k − 2 ≡ 1 m o d 2 k . { {a}^{ { {2}^{k-2}}}}\equiv 1\text{ }\bmod { {2}^{k}}. a2k−2≡1 mod2k.
- 推论2 ∀ k ∈ Z ≥ 3 \forall k\in { {\mathbb{Z}}_{\ge 3}} ∀k∈Z≥3, 2 k { {2}^{k}} 2k一定没有原根.
- 引理3 p p p是一个奇素数, k ∈ Z ≥ 1 k\in { {\mathbb{Z}}_{\ge 1}} k∈Z≥1. 若 r r r是模 p k + 1 { {p}^{k+1}} pk+1的原根, 则 r r r也是模 p k { {p}^{k}} pk的原根.
- 推论4 p p p是一个奇素数, k ∈ Z ≥ 1 k\in { {\mathbb{Z}}_{\ge 1}} k∈Z≥1. 若 r r r是模 p k { {p}^{k}} pk的原根, 则 r r r也是模 p p p的原根.
- 定理5 设 p p p是一个奇素数, 有原根 r r r, 则 p 2 { {p}^{2}} p2有原根 { r , r p − 1 ≡ 1 m o d p 2 , r + p , r p − 1 ≡ 1 m o d p 2 . \left\{ \begin{aligned} & r,\text{ }{ {r}^{p-1}}\cancel{\equiv }1\text{ }\bmod { {p}^{2}}, \\ & r+p,\text{ }{ {r}^{p-1}}\equiv 1\text{ }\bmod { {p}^{2}}. \\ \end{aligned} \right. { r, rp−1≡ 1 modp2,r+p, rp−1≡1 modp2.
- 定理6 设 p p p是一个奇素数, 则模 p 2 { {p}^{2}} p2的所有原根是 A : = { m ∈ Z ≠ 0 : m 是 模 p 的 原 根 , m p − 1 ≡ 1 m o d p 2 } . A:=\left\{ m\in { {\mathbb{Z}}_{\ne 0}}:\text{ }m是模p的原根,\text{ }{ {m}^{p-1}}\cancel{\equiv }1\text{ }\bmod { {p}^{2}} \right\}. A:={ m∈Z=0: m是模p的原根, mp−1≡ 1 modp2}.
- 定理7 设 p p p是一个奇素数, 则存在 r ∈ Z > 0 r\in { {\mathbb{Z}}_{>0}} r∈Z>0是每个 p k { {p}^{k}} pk的原根, 其中 k ∈ Z > 0 k\in { {\mathbb{Z}}_{>0}} k∈Z>0. 特别地, 若存在 r r r既是模 p p p的原根, 又是模 p 2 { {p}^{2}} p2的原根, 则 r r r是每个 p k { {p}^{k}} pk的原根.
- 后注
引理1 设 a a a是奇数, k ∈ Z ≥ 3 k\in { {\mathbb{Z}}_{\ge 3}} k∈Z≥3, 成立 a 2 k − 2 ≡ 1 m o d 2 k . { {a}^{ { {2}^{k-2}}}}\equiv 1\text{ }\bmod { {2}^{k}}. a2k−2≡1 mod2k.
证明
第一步, 当 k = 3 k=3 k=3时, 需证明
a 2 3 − 2 = a 2 ≡ 1 m o d 8. (1.1) {
{a}^{
{
{2}^{3-2}}}}={
{a}^{2}}\equiv 1\text{ }\bmod 8. \tag{1.1} a23−2=a2≡1 mod8.(1.1)
由于 a a a是奇数, 设 a = 2 a 1 + 1 , a 1 ∈ Z a=2{
{a}_{1}}+1,\text{ }{
{a}_{1}}\in \mathbb{Z} a=2a1+1, a1∈Z. 则成立
a 2 = ( 2 a 1 + 1 ) 2 = 4 a 1 ( a 1 + 1 ) + 1. (1.2) {
{a}^{2}}={
{\left( 2{
{a}_{1}}+1 \right)}^{2}}=4{
{a}_{1}}\left( {
{a}_{1}}+1 \right)+1. \tag{1.2} a2=(2a1+1)2=4a1(a1+1)+1.(1.2)
由于 a 1 , a 1 + 1 {
{a}_{1}},\text{ }{
{a}_{1}}+1 a1, a1+1一定是一奇一偶, 因此有 2 ∣ a 1 ( a 1 + 1 ) \left. 2 \right|{
{a}_{1}}\left( {
{a}_{1}}+1 \right) 2∣a1(a1+1), 即有
8 ∣ 4 a 1 ( a 1 + 1 ) . (1.3) \left. 8 \right|4{
{a}_{1}}\left( {
{a}_{1}}+1 \right). \tag{1.3} 8∣4a1(a1+1).(1.3)
由式(1.2), 式(1.3), 得式(1.1)成立.
第二步, 设 2 k − 2 ≡ 1 m o d 2 k {
{2}^{k-2}}\equiv 1\text{ }\bmod {
{2}^{k}} 2k−2≡1 mod2k, 则 ∃ d ∈ Z \exists d\in \mathbb{Z} ∃d∈Z, 使得
a 2 k − 2 = 2 k d + 1. (1.4) {
{a}^{
{
{2}^{k-2}}}}={
{2}^{k}}d+1. \tag{1.4} a2k−2=2kd+1.(1.4)
式(1.4)两边平方, 得到
a 2 k − 1 = ( 2 k d + 1 ) 2 = 2 2 k d 2 + 2 k + 1 d + 1 = 2 k + 1 ( 2 k − 1 d 2 + d ) + 1 ≡ 1 m o d 2 k + 1 . {
{a}^{
{
{2}^{k-1}}}}={
{\left( {
{2}^{k}}d+1 \right)}^{2}}={
{2}^{2k}}{
{d}^{2}}+{
{2}^{k+1}}d+1={
{2}^{k+1}}\left( {
{2}^{k-1}}{
{d}^{2}}+d \right)+1\equiv 1\text{ }\bmod {
{2}^{k+1}}. a2k−1=(2kd+1)2=22kd2+2k+1d+1=2k+1(2k−1d2+d)+1≡1 mod2k+1.
由第一数学归纳法, 引理1得证.
推论2 ∀ k ∈ Z ≥ 3 \forall k\in { {\mathbb{Z}}_{\ge 3}} ∀k∈Z≥3, 2 k { {2}^{k}} 2k一定没有原根.
证明 任取 a ∈ Z ≠ 0 a\in {
{\mathbb{Z}}_{\ne 0}} a∈Z=0, 若 a a a是偶数, 则 gcd ( a , 2 k ) ≥ 2 ≠ 1 \gcd \left( a,{
{2}^{k}} \right)\ge 2\ne 1 gcd(a,2k)≥2=1. 由博文《指数和原根》中的定理12, 不存在 d ∈ Z > 0 d\in {
{\mathbb{Z}}_{>0}} d∈Z>0, 使得 a d ≡ 1 m o d 2 k {
{a}^{d}}\equiv 1\text{ }\bmod {
{2}^{k}} ad≡1 mod2k, 也就不存在指数与原根的概念. 因此只需要考虑 a a a是奇数的情况. 一方面, 由引理1, 成立
a 2 k − 2 ≡ 1 m o d 2 k . {
{a}^{
{
{2}^{k-2}}}}\equiv 1\text{ }\bmod {
{2}^{k}}. a2k−2≡1 mod2k.
另一方面, 成立
φ ( 2 k ) = 2 k − 1 ( 2 − 1 ) = 2 k − 1 > 2 k − 2 . \varphi \left( {
{2}^{k}} \right)={
{2}^{k-1}}\left( 2-1 \right)={
{2}^{k-1}}>{
{2}^{k-2}}. φ(2k)=2k−1(2−1)=2k−1>2k−2.
因此 φ ( 2 k ) \varphi \left( {
{2}^{k}} \right) φ(2k)非 a a a对模 2 k {
{2}^{k}} 2k的指数, a a a不是 2 k {
{2}^{k}} 2k的原根.
引理3 p p p是一个奇素数, k ∈ Z ≥ 1 k\in { {\mathbb{Z}}_{\ge 1}} k∈Z≥1. 若 r r r是模 p k + 1 { {p}^{k+1}} pk+1的原根, 则 r r r也是模 p k { {p}^{k}} pk的原根.
证明
若 r r r是模 p k + 1 {
{p}^{k+1}} pk+1的原根, 则由博文《指数和原根》中的定理12, 成立
gcd ( r , p k + 1 ) = 1 ⇒ gcd ( r , p k ) = 1. \gcd \left( r,{
{p}^{k+1}} \right)=1\text{ }\Rightarrow \text{ }\gcd \left( r,p^k \right)=1. gcd(r,pk+1)=1 ⇒ gcd(r,pk)=1.
因此模 p k {
{p}^{k}} pk的原根存在. 基于此, 若 r r r不是模 p k {
{p}^{k}} pk的原根, 则 ∃ d ∈ Z > 0 \exists d\in {
{\mathbb{Z}}_{>0}} ∃d∈Z>0, d < φ ( p k ) = p k − 1 ( p − 1 ) d<\varphi \left( {
{p}^{k}} \right)={
{p}^{k-1}}\left( p-1 \right) d<φ(pk)=pk−1(p−1), 成立
r d ≡ 1 m o d p k . {
{r}^{d}}\equiv 1\text{ }\bmod {
{p}^{k}}. rd≡1 modpk.
即 ∃ c ∈ Z \exists c\in \mathbb{Z} ∃c∈Z, 使得
r d = c p k + 1. {
{r}^{d}}=c{
{p}^{k}}+1. rd=cpk+1.
又 k ∈ Z ≥ 1 k\in {
{\mathbb{Z}}_{\ge 1}} k∈Z≥1, 2 k ≥ k + 1 ⇒ p k + 1 ∣ p 2 k 2k\ge k+1\text{ }\Rightarrow \text{ }\left. {
{p}^{k+1}} \right|{
{p}^{2k}} 2k≥k+1 ⇒ pk+1∣∣p2k, 因此 ∀ x ∈ Z > 0 \forall x\in {
{\mathbb{Z}}_{>0}} ∀x∈Z>0. 成立
( r d ) x = ( c p k + 1 ) x ≡ 1 + x c p k m o d p k + 1 . (3.1) {
{\left( {
{r}^{d}} \right)}^{x}}={
{\left( c{
{p}^{k}}+1 \right)}^{x}}\equiv 1+xc{
{p}^{k}}\text{ }\bmod {
{p}^{k+1}}. \tag{3.1} (rd)x=(cpk+1)x≡1+xcpk modpk+1.(3.1)
由式(3.1), 成立等价关系
( r d ) x ≡ 1 m o d p k + 1 . ⇔ x c p k ≡ 0 m o d p k + 1 . ⇔ x c ≡ 0 m o d p . (3.2) {
{\left( {
{r}^{d}} \right)}^{x}}\equiv 1\text{ }\bmod {
{p}^{k+1}}\text{. }\Leftrightarrow \text{ }xc{
{p}^{k}}\equiv 0\text{ }\bmod {
{p}^{k+1}}\text{. }\Leftrightarrow \text{ }xc\equiv 0\text{ }\bmod p. \tag{3.2} (rd)x≡1 modpk+1. ⇔ xcpk≡0 modp<
最低0.47元/天 解锁文章
800
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
