>>56-57
一般に、a: odd, n=s*2^m(s: odd)のとき、
a^n-1=(a^{2^m}-1)(a^{2^m(s-1)}+a^{2^m(s-2)}+...+1),
(a^{2^m(s-1)}+a^{2^m(s-2)}+...+1)≡s≡1(mod 2)よりこれは奇数、
(a^(2^m)-1)=(a-1)(a+1)(a^2+1)...(a^{2^{m-1}}+1)で
a^2+1, ..., a^{2^{m-1}}+1≡2(mod 4)だから
v_2(a^n-1)=v_2(a^2-1)+m-1(m≧1),
v_2(a^n-1)=v_2(a-1)(m=0)
となる。

a=3のとき、v_2(3^n-1)=m+2。2^n|(3^n-1)ならばm+2≧s*2^mより、
(s, m)=(1, 2), (1, 1), (1, 0)。

問題：
pを素数、oをa(mod p)の位数とし、e=v_p(a^o-1)とおく。
p^f|(a^m-1)ならば、mはo*p^(f-e)の倍数であることを示せ。

未解決問題：
上記のeはa, pに比してどの程度まで大きくなれるか？