> > 最後の
> > φ_m(u)~Σ_{b_a=0}^{m-1}φ_m(b_a u)ζ_m^{b_a u} (掛ける)
> > φ_m(t)~Σ_{c_a=0}^{n-1}φ_n(c_a t)ζ_n^{c_a t} から
> > φ_m(u)~φ_n(t)~ GS(φ_m,m,ζ_m) GS(φ_n,n,ζ_n) と
> > 書けるのがどうしてもわかりません。
>
> 最大公約数 (b_a, m) が 1 でなければ (b_a u, m) も 1 でなく,
>  φ_m(b_a u) = 0 ですから,
>  b_a = 0 から m-1 までの和というのは, 実は,
>  m と互いに素な b_a だけについての和です.
> この和は m と互いに素な整数の mod m での類の為す
> 乗法群 (Z/mZ)^× 上での和と考えても良い.
：
> この辺りのところは (Z/mZ)^× という有限群についての話だ
> ということを意識すると, 少し分かりやすくなります.

なるほど。漸く意味が分かりました。お蔭様で解決できました。


吉田京子