Re: Gauss $BOB$NL?Bj (B: GS( $B&V (B)=z $B&0 (B_{i=1}^r GS( $B&U (B_{p_i^{e_i}}) $B$H$J$k (B?
ご回答誠に有難うございます。
>>>> φ_{p_1^{e_1}}(u_1)~φ_{Π_{i=2}^r p_i^{e_i}}(t_1)~
>>>> ・φ_{p_2^{e_2}}(u_2)~φ_{Π_{i=3}^r p_i^{e_i}}(t_2)~
>>>> ・ φ_{p_3^{e_3}}(u_3)~φ_{Π_{i=4}^r p_i^{e_i}}(t_3)~
>>>> ・φ_{p_{r-1}^{e_{r-1}}}(u_{r-1})~φ_{Π_{i=r}^r p_i^{e_i}}(t_{r-1})~
>> が1の冪根であることはどうして分かるのでしょうか?
> ひょっとして φ_{p_1^{e_1}}(u_1) 等々が
> Dirichlet 指標であることを把握されていないのでしょうか.
勿論,φ_{p_1^{e_1}}がDirichlet指標である事は把握してます。
Dirichle指標の定義は
χ:Z→C,m∈Nでχ∈DC(m)
⇔
(i) a≡b (mod m) ⇒ χ(a)=χ(b)
(ii)χ(ab)=χ(a)χ(b)
(iii) χ(1)=1
(iv) GCD{a,m}≠1ならχ(a)=0
ですよね。
今 φ_{p_1^{e_1}}(u_1)=χ(b_1)
(但し,χ∈DC(m)でb_1はb_1≡u_1(mod p_1^{e_1},b_1≡1(mod p_j^{e_j}) (但し,
1≠j∈{1,2,…,r}))を満たす)
が成立っていますよね。
これからどうしても
∃d∈N;φ_{p_1^{e_1}}(u_1)^d=1
が言えるのかが分かりません。
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735