Об одном обобщении теоремы Орэ для многочленов

Пусть $GF(q)$ — поле из $q$ элементов, а ${V_n}(q)$ — множество всех $n$-мерных векторов над полем $GF(q)$. Линеаризованным многочленом, соответствующим многочлену $f(x) = {x^n} - \sum\limits_{i = 0}^{n - 1} {{c_i}{x^i}} \;$над полем $GF(q)$, называется многочлен $F(x) = {x^{{q^n}}} - \sum\limits_{i = 0}^{n - 1} {{c_i}{x^{{q^i}}}}$. Рассматривается преобразование ${T_f}$ пространства векторов ${V_n}(q)$, действующее по правилу ${T_f}\left( {({u_0},...,{u_{n - 2}},{u_{n - 1}})} \right) = ({u_1},...,{u_{n - 1}},\sum\limits_{i = 0}^{n - 1} {{c_i}{u_i}} )$. Доказывается, что если ${c_0} \ne 0$, то граф преобразования ${T_f}$ изоморфен графу преобразования $Q:\alpha \to {\alpha ^q}$ на множестве всех корней многочлена $F(x)$ в поле его разложения. При этом граф преобразования ${T_f}$ состоит из циклов длин $1 \le {d_1} \le {d_2} \le ... \le {d_r}$ тогда и только тогда, когда многочлен $F(x)$ является произведением $r + 1$ неприводимых многочленов, которые имеют степени $1,{d_1},{d_2},...,{d_r}$.