[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net (653ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
116(2): 現代数学の系譜11 ガロア理論を読む 2017/04/23(日)12:23 ID:cvHfhso/(19/35) AAS
>>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'となっているという主張だろ
省10
117: 現代数学の系譜11 ガロア理論を読む 2017/04/23(日)12:26 ID:cvHfhso/(20/35) AAS
>>116 訂正 (>>29に同じ)
「剰余類群(Z/p^nZ)*の構造が (Z/p^(n-1) Z)/(Z/(p-1) Z)である」
↓
「剰余類群(Z/p^nZ)*の構造が (Z/p^(n-1) Z)ｘ(Z/(p-1) Z)である」（つまり (Z/p^(n-1) Z)と(Z/(p-1) Z)との直積）
135(1): 現代数学の系譜11 ガロア理論を読む 2017/04/23(日)20:48 ID:cvHfhso/(34/35) AAS
>>116 もどる
>「(Z/p^nZ)*は位数がp^(n-1)(p-1)の群」の証明
これな、手元の「ガウス 整数論 (数学史叢書) 」P29 38節のIIに、初等的証明があるね。関連記述が、P66 ”素数の冪である法について”だ
もちろん、群という用語や概念はガウスは使っていないが、剰余についてなので、実質は同じだ
だから、ガウス流で、「(Z/p^nZ)*は位数がp^(n-1)(p-1)の群」の証明をやって、「ｍ＝s(p-1)とおいてるので、ｓはｐ＾iの形をしてます」とやれるような気がしてきた
ガウスってえらいね！（＾＾
外部ﾘﾝｸ:www.amazon.co.jp
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s