現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net (653ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

116: 現代数学の系譜11 ガロア理論を読む [sage] 2017/04/23(日) 12:23:45.70 ID:cvHfhso/

>>16-17 戻る

>(Z/p^nZ)*は位数がp^(n-1)(p-1)の群なので、ｍはその約数です。ｍ＝s(p-1)とおいてるので、ｓはｐ＾iの形をしてますね。
>mod pで考えるとｐ乗するのは何もしないことと同じなので
>ｇ＝ｈ＾ｓ≡ｈ(mod p)
>です。ｈが原始根であることから0≦k＜ｌ<p-1に対して
>g^k≡h^kとg^l≡h^lは合同でないことになります。

>これはよく考えてみると、(Z/pZ)* の原始根のhで、h^sが、また(Z/pZ)* の原始根であって、例えばそれをh’として、 h^s＝h'となっているという主張だろ
>ということは、sがそういう特殊な性質、つまり>>16で引用したように”ｍ＝s(p-1)とおいてるので、ｓはｐ＾iの形をしてます”を使わざるを得ないように思う
>ということは、石井本でいまから証明しようとしている 「剰余類群(Z/p^nZ)*の構造が (Z/p^(n-1) Z)/(Z/(p-1) Z)である」、あるいはその類似で>>16のように「位数が{p^(n-1)｝(p-1)の巡回群である」などと、ほぼ証明しようとしていることと、同値の命題ではないのか？
>「それ、簡単に示せるのか？」という気がしている今日この頃（＾＾；

＜結論＞
私スレ主には、簡単な証明は、思いつかなかった
yahoo 知恵袋 解答者 doahoyasanさん>>16 が示したように、
「(Z/p^nZ)*は位数がp^(n-1)(p-1)の群なので、ｍはその約数です」を先に証明してから、「ｍ＝s(p-1)とおいてるので、ｓはｐ＾iの形をしてます」と続ける
「(Z/p^nZ)*は位数がp^(n-1)(p-1)の群」の証明は、前スレ http://rio2016.2ch.net/test/read.cgi/math/1484442695/526 の  http://www.epii.jp/articles/note/math/primitive_root ”既約剰余類群と原始根 epii Last modified: 2016/05/16” ような結構短いのがあるねー
私スレ主は、非力なので、簡単な証明は、思いつかなかった。石井俊全先生がんばってな〜
まあ、６刷かなー（＾＾

http://rio2016.5ch.net/test/read.cgi/math/1492606081/116

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.024s