On the Existence for Some Special Primitive Elements in Finite Fields

Let F_q be a finite field of characteristic p. In this paper, by using the index sum method the authors obtain a sufficient condition for the existence of a primitive elementα∈ F_(q~n) such that α + α~(-1)is also primitive or α + α~(-1)is primitive and α is a normal element of F_(q~n) over F_q.     

A new characterization of dual bases in finite fields and its applications

We propose a new characterization of dual bases in finite fields. Let A=(α₁,…,α_n) be a basis of F over F_q and its dual basis B=(β₁,…,β_n) with the transition matrix C∈GL_n(F_q) such that (β₁,…,β_n)=(α₁,…,α_n)C. We show that holds for all 1?k?n, where T_k∈M_n(F_q) satisfies α_k(α₁,…,α_n)=(α₁,…,α_n)T_k. Conversely, suppose F=F_q(α_k^′) and for some 1?k^′?n and G∈GL_n(F_q), then B is equivalent to (α₁,…,α_n)G. As applications, we can construct the dual basis of a given basis A or determine whether the dual basis of A satisfies the desired conditions from T_k. This generalizes the results obtained by Liao and Sun for normal bases. Furthermore, we give a simple proof of the theorem of Gollmann, Wang and Blake for polynomial bases.     

Primitive complete normal bases: Existence in certain 2-power extensions and lower bounds

The present paper is a continuation of the author’s work (Hachenberger (2001) [3]) on primitivity and complete normality. For certain 2-power extensions E over a Galois field F_q, we are going to establish the existence of a primitive element which simultaneously generates a normal basis over every intermediate field of E/F_q. The main result is as follows: Letq≡3mod4and letm(q)≥3be the largest integer such that2^m(q)dividesq²−1; ifE=F_q^2l, wherel≥m(q)+3, then there exists a primitive element inEthat is completely normal overF_q.Our method not only shows existence but also gives a fairly large lower bound on the number of primitive completely normal elements. In the above case this number is at least 4⋅(q−1)^2l−2. We are further going to discuss lower bounds on the number of such elements in r-power extensions, where r=2 and q≡1mod4, or where r is an odd prime, or where r is equal to the characteristic of the underlying field.     

Sparse polynomials, redundant bases, gauss periods, and efficient exponentiation of primitive elements for small characteristic finite fields

Gauss periods give an exponentiation algorithm that is fast for many finite fields but slow for many other fields. The current paper presents a different method for construction of elements that yield a fast exponentiation algorithm for finite fields where the Gauss period method is slow or does not work. The basic idea is to use elements of low multiplicative order and search for primitive elements that are binomial or trinomial of these elements. Computational experiments indicate that such primitive elements exist, and it is shown that they can be exponentiated fast.     

Typical primitive polynomials over integer residue rings

Let N be a product of distinct prime numbers and Z/(N) be the integer residue ring modulo N. In this paper, a primitive polynomial f(x) over Z/(N) such that f(x) divides x^s−c for some positive integer s and some primitive element c in Z/(N) is called a typical primitive polynomial. Recently typical primitive polynomials over Z/(N) were shown to be very useful, but the existence of typical primitive polynomials has not been fully studied. In this paper, for any integer m1, a necessary and sufficient condition for the existence of typical primitive polynomials of degree m over Z/(N) is proved.     

The coefficients of primitive polynomials over finite fields

For , we prove that there always exists a primitive polynomial of degree over a finite field with the first and second coefficients prescribed in advance.