■トーシェント関数と非トーション(その83)

結局

p^m-1=p1^α1・p2^α2・・・pk^αk  (p1<p2<・・・<pk)

φ(p^m-1)=Πpi^αi-1・(pi-1)

pi=Nm+1

となるものがあることを示せればよいのだが・・・。

===================================

[1]pを素数,qをp^m-1の素因数とする

 p^m=1  (modq)ならば,q=1  (modm)である

 q=1  (modm)ならば、p^m=1  (modq)である。

を証明すればよい。

===================================