工繊大の塚本です.

In article <99577a9d-a707-4d12-ad84-876f8566c40a@z10g2000yqb.googlegroups.com>
KyokoYoshida <kyokoyoshida123@gmail.com> writes:
> >> φ_{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 指標であることを把握されていないのでしょうか.
-- 
塚本千秋@数理・自然部門.基盤科学系.京都工芸繊維大学
Tsukamoto, C. : chiaki@kit.ac.jp