The q-ary image of a qm-ary cyclic code

For (n, q)=1 V a q^m-ary cyclic code of length n and with generator polynomial g(x), we show that there exists a basis for F(q^m) over F_q with respect to which the q-ary image of V is cyclic, if and only if: (i) g(x) is over F_q; or (ii) g(x)=g₀(x)(x-γ^-q(μ)), g₀(x) is over F_q, F_q≠F(q^k)=F_q(γ)⊂F(q^m ), μ an integer modulo k, and w^m-γ has a divisor over F(q^k) of degree e=m/k; or (iii) g(x)=g₀ (x) Π_μεs(x-γ(-q^μ)), g ₀(x) is over F_q, F_q≠F(q^k)=F_q(γ)⊂F(q^m ), S a set of integers module k of cardinality k-1 and w^m -μ has a divisor over F(q^k) of degree e=m/k. In all of the above cases, we determine all of the bases with respect to which the q-ary image of V is cyclic