Abstract:Let Fq be a finite field with q=pk elements. We prove that for any given n⩾7, and any elements a,b∈Fq, a≠0, there exists a primitive normal polynomial f(x) of degree n, f(x)=xn−σ1xn−1+⋯+(−1)nσn, with the first two coefficients σ1, σ2 prescribed as a, b, respectively. This result strengthens the results of the existence of primitive polynomials with two coefficients prescribed [S.D. Cohen, D. Mills, Primitive polynomials with the first and second coefficients prescribed, Finite Fields Appl. 9 (2003) 334–350; W.B. Han, The coefficients of primitive polynomials over finite fields, Math. Comp. 65 (1996) 331–340; W.B. Han, On two exponential sums and their applications, Finite Fields Appl. 3 (1997) 115–130] and the existence of primitive normal bases with prescribed trace [S.D. Cohen, D. Hachenberger, Primitive normal bases with prescribed trace, Appl. Algebra Engrg. Comm. Comput. 9 (1999) 383–403]. In order to use the p-adic method which proposed by the first two authors, we first lift the definition of both primitive and normal from finite fields to Galois rings. Then we discuss the existence of lifted primitive normal polynomials over Galois rings and finally establish the existence of primitive normal polynomials with the first two coefficients prescribed with the help of character sums over Galois rings and Cohen's various sieve techniques. In order to make this paper more succinct, we deal with the case n=4,5,6 in another paper since the computation is more miscellaneous and complicated.

Primitive pairs of rational functions with prescribed traces over finite fields

Primitive normal pairs with prescribed traces over finite fields

Primitive normal pairs of elements with one prescribed trace

Primitive normal Values of rational functions with one prescribed norm and trace over finite fields

Existence of primitive normal pairs over finite fields with prescribed subtrace

On pairs of $r$-primitive and $k$-normal elements with prescribed traces over finite fields

On existence of primitive normal elements of rational form over finite fields of even characteristic

A primitive normal pair with prescribed prenorm

$\mathbb{F}_q$-primitive points on varieties over finite fields

On a Class of Permutation Rational Functions Involving Trace Maps

Existence of Special Types Primitive Pairs in Finite Fields Avoiding Affine Hyperplanes

Prime rational functions over a field

Permutation Rational Functions over Quadratic Extensions of Finite Fields

On sets of rational functions which locally represent all of $\mathbb{Q}$

Arithmetic exponent pairs for algebraic trace functions and applications

On the number of irreducible polynomials of special kinds in finite fields

Primitive normal polynomials with the first two coefficients prescribed: A revised p-adic method

Arithmetic progression in a finite field with prescribed norms

On the Existence of Some Specific Primitive Elements over Finite Fields of Even Characteristic

Prime polynomials in short intervals and in arithmetic progressions