Cyclotomic \(\mathcal R\)-orthomorphisms of finite fields (Q556845): Difference between revisions

For elements \(a_0,a_1, \ldots, a_{n-1}\) of the finite field \(\mathbb F_q\), a cyclotomic mapping \(f_{a_0,a_1, \dots, a_{n-1}}\) of index \(n\) is defined by \(f_{a_0,a_1, \dots, a_{n-1}}(\xi)=a_i\,\xi\) if \(\xi\) is in the cyclotomic coset \(\gamma^i C_0\, ~(i=0,\dots, n-1)\) (where \(\gamma\) is a primitive element of \(F_q\) and \(C_0:=\{\gamma^{jn}~| ~j=0,1,\dots,\frac{q-1}{n}-1 \}\)); the polynomial \(f_{a_0,a_1, \dots, a_{n-1}}(X)\in \mathbb F_q(X)\) representing the cyclotomic mapping \(f_{a_0,a_1, \dots, a_{n-1}}\) is called a cyclotomic mapping polynomial. And if \(f(X)=f_{a_0,a_1, \dots, a_{n-1}}(X)\) is an orthomorphism, that means that both \(f(X)\) and \(f(X)-X\) induce permutations on \(\mathbb F_q\), it is called a cyclotomic orthomorphism. If the polynomial \(f(X)\) has the property that the \(r\)th iterated composition \(f^{(r)}(X)\) of \(f(X)\) with itself is an orthomorphism of \(\mathbb F_q\) for all elements \(r\) of a non-empty set \(\mathcal{R}\) of positive integers, then \(f(X)\) is defined to be an \(\mathcal{R}-\)orthomorphism; such mappings have applications in design theory and coding theory. In the present paper, a formula for the coefficients of a cyclotomic mapping polynomial is presented, the numbers of such polynomials and of cyclotomic mapping permutations are determined and some existence results for cyclotomic orthomorphisms are proven. Extending results for \(n=2\) of \textit{W.-S. Chou} and \textit{H. Niederreiter} [Publ. Math. 61, No. 3-4, 511--521 (2002; Zbl 1012.11104)] and of \textit{S. D. Cohen} et al. [J. Théor. Nombres Bordx. 13, No. 1, 53--63 (2001; Zbl 1065.11097)] to divisors \(n>1\) of \(q-1\), the existence of cyclotomic \(\mathcal{R}-\)orthomorphisms is established for \(q\) fulfilling a certain inequality (which guarantees that \(q\) is sufficiently large with respect to \(n\) and \(| \mathcal{R}| \)).