勿論、σ^k→ζ_n^{lk}　としてもいい。これでも準同盟。
つまり、「自然な形」にすると準同型写像になってるってこと。

そう言えば、工学バカは「準同型写像」も知らなかったな？ｗ