17/04/19 23:15:13.13 gLi5Ebjw.net
前スレ 545からのつづき
スレリンク(math板:545番)
URLリンク(ja.wikisource.org)
高木 初等整数論講義/第1章/原始根,指数
ここの部分の記述は、すべて mod p ないし mod p-1 であって、 mod p^nの記述はない
欲しいのは、mod p^n に関する記述だ
なぜならば、いま問題になっているのは、剰余類群(Z/p^nZ)*の構造 で、欲しいのはむしろ ”mod p^n でみたとき”の方なんだよね
だから
URLリンク(ja.wikisource.org)
高木 初等整数論講義/第1章/合同式解法の概論
定理 1.16.合同式 f ( x ) ≡ 0 ( mod p^n ) の解は f ( x ) ≡ 0 ( mod p ) の解から導かれる.
(引用終り)
とその関連記述の方(証明なども含め)が、参考になりそうに思うよ