次の結果は初等的に証明することができるとかいてあったのですが、つまずいています。
g_pは法pでの最小の原始根( 1<g_p<p )のことです。
すべての素数について原始根g(1≦g≦p-1)が存在するのは理解できたのですが、最小といいますか最小の原始根は1だろうと思いますが、1でない次の原始根がMとp-Mの間に入るのは、帰納法ですと、まずM=2についてg_pが間に入る素数は原始根の表から一つは見つかりますが、無限に多くの素数があるかどうかで詰まっています。
No.3
- 回答日時:
最後にp≡1 (mod m)となる素数が無数に存在すること(Dirichletの素数定理の特別な場合)の証明が書かれたページへのリンクを張っておきます。
参考URL:http://aozoragakuen.sakura.ne.jp/suuronN/node39. …
No.2
- 回答日時:
「任意の正の整数Mに対して、M<g_p<p-Mとなる最小の原始根g_pが取れる無限に多くの素数pが存在する」ことを証明します。
その前に二つのことを確認
(1)
(a/p)をルジャントルの記号とします。
(a/p)=1となるとき、aはpの原始根ではない。
(1)の説明
a^{(p-1)/2}≡1 (mod p)となるのでaの位数は(p-1)/2の約数となるからです。
pの原始根gの位数はp-1です。
(1)の説明ここまで
(2)
pをp≡1 (mod 4)となる素数、qも素数とすると
(q/p)=(p/q)、(-1/p)=1
(2)の説明
平方剰余の相互法則と第一補充法則より明らか
(2)の説明ここまで
(3)
pをp≡1 (mod 8)となる素数とすると
(2/p)=1
(3)の説明
平方剰余の相互法則の第二補充法則より明らか
(3)の説明ここまで
(4)
m≡n (mod p)となるとき、(m/p)=(n/p)
(4)の説明
(m/p)≡m^{(p-1)/2}≡n^{(p-1)/2}≡(n/p)
したがって、(m/p)=(n/p)となる
(4)の説明ここまで
(5)
(mn/p)=(m/p)*(n/p)
(4)の説明
(mn/p)≡(mn)^{(p-1)/2}≡m^{(p-1)/2}*n^{(p-1)/2}≡(m/p)*(n/p)
したがって、(mn/p)=(m/p)*(n/p)となる
(4)の説明ここまで
さて、「任意の正の整数Mに対して、M<g_p<p-1となる無限に多くの素数pが存在する」ことを証明します。
「q_1、…、q_kをM以下の奇数の素数します。
p≡1 (mod 8*q_1*…*q_k )…※
となる素数pをとると
(2/p)=…=(M/p)=( (p-2)/p)=…=( (p-M)/p)=1となること」…○
を示します。
2≦a≦Mとなる自然数aをとる
○の証明に、上で説明した(2)~(5)を説明なしで用います
○の証明ここから
aが奇数のとき
a=Πq_i(q_iの積の意味)
(a/p)=Π( (q_i)/p)=Π(p/(q_i) )=Π(1/(q_i) )=1
( (p-a)/p)=( (-a)/p)=(-1/p)(a/p)=1*1=1
aが偶数のとき
a=(2^n)*b(bは3以上の整数)のとき
b=Πq_i
(a/p)=(2/p)^n*Π( (q_i)/p)=Π(p/(q_i) )=Π(1/(q_i) )=1
a=2^nのとき
(a/p)=(2/p)^n=1
( (p-a)/p)=( (-a)/p)=(-1/p)(a/p)=1*1=1
したがって、pを※のように取ると
(2/p)=…=(M/p)=( (p-2)/p)=…=( (p-M)/p)=1となることがわかる。
○の証明ここまで
上で注意した(1)より、1,2,…,M,p-M,p-M+1,…,p-1はpの原始根にはなりえません。
Dirichletの素数定理より※のような素数は無数に取れます。
よって、○より任意の正の整数Mに対して、M<g_p<p-Mとなる最小の原始根g_pが取れる無限に多くの素数pが存在することがいえました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法について 3 2023/05/26 17:14
- 数学 2次以上の多項式g(x)であって, 任意の無理数に対して無理数の値を取るものは存在しないことを示せ. 8 2022/06/27 11:28
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 回答の意味について 3 2023/07/06 14:14
- 医療保険 夏のドラマ 2 2023/04/29 19:42
- 哲学 生き方は自由・刑法民法に触れなければ。しかし生き方の根本は訳わかめでは?存在性で存在? 3 2022/08/11 10:21
- 数学 環論 1 2022/04/12 14:08
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 呼吸器・消化器・循環器の病気 久々に下痢になった原因 2 2022/12/05 19:22
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「証明証」と「証明書」はどう...
-
(4^n)-1が3の倍数であることの...
-
0.9999…=1がわからない
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
どっちと思いますか
-
三角形の合同条件
-
じゃらんで旅行予約をしたので...
-
夫が亡くなった後の義理家族と...
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
コラッツ予想が証明できた
-
素数の平方根は無理数である。
-
直角三角形の性質
-
3の倍数であることの証明
-
素数の積に1を加算すると素数で...
-
姻族関係終了届で継子とも縁切...
-
有理数が可算無限であることの証明
-
数学の等周定理、等周問題と呼...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
図形の証明は、日常で役立ちま...
-
数学の証明問題で、「証明終了」...
-
直角三角形の性質
-
大学の二次試験で・・・
-
3,4,7,8を使って10を作る
-
素数の性質
-
円周率=∞の証明
-
「証明証」と「証明書」はどう...
-
(4^n)-1が3の倍数であることの...
-
なぜ独身だと養子が持てないの...
-
群論に関して, 明らかとしか思...
-
よって・ゆえに・したがって・∴...
-
Wikipedia って便利ですね。 よ...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
再婚、奨学金
-
婿養子です、妻と離婚して妻の...
-
正解が一つとは限らない数学の...
おすすめ情報