索引
- 引理8 p p p是一个奇素数, k ∈ Z ≥ 1 k\in { {\mathbb{Z}}_{\ge 1}} k∈Z≥1. 若 r r r是模 2 p k + 1 2{ {p}^{k+1}} 2pk+1的原根, 则 r r r也是模 2 p k 2{ {p}^{k}} 2pk的原根.
- 引理9 p p p是一个奇素数, k ∈ Z ≥ 1 k\in { {\mathbb{Z}}_{\ge 1}} k∈Z≥1. 若 r r r是模 2 p k 2{ {p}^{k}} 2pk的原根, 则 r r r也是模 p k { {p}^{k}} pk的原根.
- 推论10 p p p是一个奇素数, k ∈ Z ≥ 1 k\in { {\mathbb{Z}}_{\ge 1}} k∈Z≥1. 若 r r r是模 2 p k 2{ {p}^{k}} 2pk的原根, 则 r r r也是模 p p p的原根.
- 定理11 设 p p p是一个奇素数, k ∈ Z > 0 k\in { {\mathbb{Z}}_{>0}} k∈Z>0, p k { {p}^{k}} pk有原根 r r r, 则 2 p k 2{ {p}^{k}} 2pk有原根 { r , r ≡ 1 m o d 2 , r + p k , r ≡ 0 m o d 2. \left\{ \begin{aligned} & r,\text{ }r\equiv 1\text{ }\bmod 2, \\ & r+{ {p}^{k}},\text{ }r\equiv 0\text{ }\bmod 2. \\ \end{aligned} \right. { r, r≡1 mod2,r+pk, r≡0 mod2.
- 定理12 设 p p p是一个奇素数, 则模 2 p k 2{ {p}^{k}} 2pk的所有原根是 A : = { m ∈ Z ≠ 0 : m 是 模 p k 的 原 根 , m ≡ 1 m o d 2 } . A:=\left\{ m\in { {\mathbb{Z}}_{\ne 0}}:\text{ }m是模{ {p}^{k}}的原根,\text{ }m\equiv 1\text{ }\bmod 2 \right\}. A:={ m∈Z=0: m是模pk的原根, m≡1 mod2}.
- 定理13 设 n ∈ Z > 1 n\in { {\mathbb{Z}}_{>1}} n∈Z>1. n n n有原根当且仅当 n = 2 , 4 , p k , 2 p k n=2,\text{ }4,\text{ }{ {p}^{k}},\text{ }2{ {p}^{k}} n=2, 4, pk, 2pk, 其中 p p p是奇素数, k ∈ Z > 0 k\in { {\mathbb{Z}}_{>0}} k∈Z>0.
- 定理14 设 m ∈ Z > 1 m\in { {\mathbb{Z}}_{>1}} m∈Z>1, r ∈ Z r\in \mathbb{Z} r∈Z, gcd ( r , m ) = 1 \gcd \left( r,m \right)=1 gcd(r,m)=1. 则 r r r是模 m m m的原根当且仅当任意正的素因子 q ∣ φ ( m ) \left. q \right|\varphi \left( m \right) q∣φ(m)满足 r φ ( m ) q ≡ 1 m o d m . { {r}^{\frac{\varphi \left( m \right)}{q}}}\cancel{\equiv }1\text{ }\bmod m. rqφ(m)≡ 1 modm.
- 后注
引理8 p p p是一个奇素数, k ∈ Z ≥ 1 k\in { {\mathbb{Z}}_{\ge 1}} k∈Z≥1. 若 r r r是模 2 p k + 1 2{ {p}^{k+1}} 2pk+1的原根, 则 r r r也是模 2 p k 2{ {p}^{k}} 2pk的原根.
证明
若 r r r是模 2 p k + 1 2{
{p}^{k+1}} 2pk+1的原根, 则由博文《指数和原根》中的定理12, 成立
gcd ( r , 2 p k + 1 ) = 1 ⇒ gcd ( r , 2 p k ) = 1. \gcd \left( r,2{
{p}^{k+1}} \right)=1\text{ }\Rightarrow \text{ }\gcd \left( r,2{
{p}^{k}} \right)=1. gcd(r,2pk+1)=1 ⇒ gcd(r,2pk)=1.
因此模 2 p k 2{
{p}^{k}} 2pk的原根存在. 基于此, 若 r r r不是模 2 p k 2{
{p}^{k}} 2pk的原根, 则 ∃ d ∈ Z > 0 \exists d\in {
{\mathbb{Z}}_{>0}} ∃d∈Z>0, d < φ ( 2 p k ) = φ ( 2 ) φ ( p k ) = p k − 1 ( p − 1 ) d<\varphi \left( 2{
{p}^{k}} \right)=\varphi \left( 2 \right)\varphi \left( {
{p}^{k}} \right)={
{p}^{k-1}}\left( p-1 \right) d<φ(2pk)=φ(2)φ(pk)=pk−1(p−1), 成立
r d ≡ 1 m o d 2 p k . {
{r}^{d}}\equiv 1\text{ }\bmod 2{
{p}^{k}}. rd≡1 mod2pk.
即 ∃ c ∈ Z \exists c\in \mathbb{Z} ∃c∈Z, 使得
r d = 2 c p k + 1. {
{r}^{d}}=2c{
{p}^{k}}+1. rd=2cpk+1.
又 k ∈ Z ≥ 1 k\in {
{\mathbb{Z}}_{\ge 1}} k∈Z≥1, 2 k ≥ k + 1 ⇒ p k + 1 ∣ p 2 k ⇒ 2 p k + 1 ∣ ( 2 c p k ) 2 2k\ge k+1\text{ }\Rightarrow \text{ }\left. {
{p}^{k+1}} \right|{
{p}^{2k}}\text{ }\Rightarrow \text{ }\left. 2{
{p}^{k+1}} \right|{
{\left( 2c{
{p}^{k}} \right)}^{2}} 2k≥k+1 ⇒ pk+1∣∣p2k ⇒ 2pk+1∣∣(2cpk)2, 因此 ∀ x ∈ Z > 0 \forall x\in {
{\mathbb{Z}}_{>0}} ∀x∈Z>0, 成立
( r d ) x = ( 2 c p k + 1 ) x ≡ 1 + 2 x c p k m o d 2 p k + 1 . (8.1) {
{\left( {
{r}^{d}} \right)}^{x}}={
{\left( 2c{
{p}^{k}}+1 \right)}^{x}}\equiv 1+2xc{
{p}^{k}}\text{ }\bmod 2{
{p}^{k+1}}. \tag{8.1} (rd)x=(2cpk+1)x≡1+2xcpk mod2pk+1.(8.1)
由式(8.1), 成立等价关系
( r d ) x ≡ 1 m o d 2 p k + 1 . ⇔ 2 x c p k ≡ 0 m o d 2 p k + 1 . ⇔ x c ≡ 0 m o d p . (8.2) {
{\left( {
{r}^{d}} \right)}^{x}}\equiv 1\text{ }\bmod 2{
{p}^{k+1}}.\text{ }\Leftrightarrow \text{ }2xc{
{p}^{k}}\equiv 0\text{ }\bmod 2{
{p}^{k+1}}.\text{ }\Leftrightarrow \text{ }xc\equiv 0\text{ }\bmod p. \tag{8.2} (rd)x≡1 mod2pk+1. ⇔ 2xcpk≡0 mod2pk+1. ⇔ xc≡0 modp.(8.2)
若 c ≡ 0 m o d p c\equiv 0\text{ }\bmod p c≡0 modp, 则有 2 c p k ≡ 0 m o d p k + 1 2c{
{p}^{k}}\equiv 0\text{ }\bmod {
{p}^{k+1}} 2cpk≡0 modpk+1, 此时直接成立
r d = 2 c p k + 1 ≡ 1 m o d p k + 1 . {
{r}^{d}}=2c{
{p}^{k}}+1\equiv 1\text{ }\bmod {
{p}^{k+1}}. rd=2cpk+1≡1 modpk+1.
而 d < φ ( 2 p k ) < φ ( 2 p k + 1 ) d<\varphi \left( 2{
{p}^{k}} \right)<\varphi \left( 2{
{p}^{k+1}} \right) d<φ(2pk)<φ(2pk+1), 因此 r r r非模 p k + 1 {
{p}^{k+1}} pk+1的原根, 矛盾.
若 x ≡ 0 m o d p x\equiv 0\text{ }\bmod p x≡0 modp, 即有 x c ≡ 0 m o d p xc\equiv 0\text{ }\bmod p xc≡0 modp, 由等价关系(8.2), 成立 ( r d ) x ≡ 1 m o d p k + 1 {
{\left( {
{r}^{d}} \right)}^{x}}\equiv 1\text{ }\bmod {
{p}^{k+1}} (rd)x≡1 modpk+1. 此时取 x = p x=p x=p, 得到
r d p = ( r d ) p ≡ 1 m o d 2 p k + 1 . {
{r}^{dp}}={
{\left( {
{r}^{d}} \right)}^{p}}\equiv 1\text{ }\bmod 2{
{p}^{k+1}}. rdp=(rd)p≡1 mod2pk+1.
而 d p < ( p k − 1 ( p − 1 ) ) p = p k ( p − 1 ) = φ ( 2 p k + 1 ) dp<\left( {
{p}^{k-1}}\left( p-1 \right) \right)p={
{p}^{k}}\left( p-1 \right)=\varphi \left( 2{
{p}^{k+1}} \right) dp<(pk−1(p−1))p=pk(p−1)=φ(2pk+1), 因此 r r r非模 p k + 1 {
{p}^{k+1}} pk+1的原根, 矛盾.
综上, 由反证法, r r r一定是模 2 p k 2{
{p}^{k}} 2pk的原根.