By STEPSEN D. COHEN 1. Introduction. We present here progress that has been made through the application of the theory of primitive permutation groups to the conjecture of L. Carlitz (1966) on the non-existence of permutation polynomials of even degree over a finite field Fr of odd order q = p~. Featured recently as unsolved problem P9 in [9], the conjecture can be stated as follows. C o nj e c t u re C.. Given an even positive integer n, there exists a constant c. such that, ifq is odd and q > c,, there does not exist a permutation polynomial of degree n over The weaker version of C, that has the added condition p ~e n was proved by Hayes [8] but polynomials whose degree is divisible by p are mucli more difficult to handle. Here, as far as published results ha this direction are concerned, C, has been established for all even n 1 in Fq[y] is called exceptional over Fq if every irreducible factor of q~y (x, y) in F~ [x, y] is not absolutely irreducible, which means that it becomes reducible in Fq [x, y], where Fq denotes the algebraic closure of Fq. The merit of introducing exceptional polynomials is, of course, the fact that for each even n, Conjecture C, is implied by the following statement. E,. There are no exceptional polynomials of degree n over F~ for any odd q. We shall prove that the set of even integers n for which E, (and hence C,) is true is infinite and includes all small values by establishing the following theorem.
Read full abstract