Character sums over Galois rings and primitive polynomials over finite fields.
type: Item
instance of: scholarly article
title: Character sums over Galois rings and primitive polynomials over finite fields.
zbMATH Open document ID: 1047.11117
DOI: 10.1016/S1071-5797(03)00041-8
author: Shuqin Fan
author: Wenbao Han
published in: Finite Fields and their Applications
publication date: 2004-01-19T00:00:00Z
review text: Let \(\mathbb F_q\) denote the finite field of order \(q=p^k\) where \(p\) is a prime. According to the \textit{T. Hansen} and \textit{G. L. Mullen} conjecture [Math. Comput. 59, 639--643 (1992; Zbl 0770.11053)] on the existence of primitive polynomials over \(\mathbb F_q\) with a prescribed coefficient, the authors consider the following problem: For any given elements \(a_1,a_2,a_3\in\mathbb F_q\), is there a primitive polynomial \(f(x)=x^n-a_1x^{n-1}+a_2x^{n-2}-a_3x^{n-3}+\ldots+(-1)^na_n\in\mathbb F_q[x]\)? In a previous paper, the second author has answered the question affirmatively for characteristic \(p>3\) and \(n\geq 7\) provided that \(q\) is sufficiently large. The proof given there was based on an expression of the coefficients \(a_1,\ldots,a_{p-1}\) in terms of traces of powers of the polynomial's roots. In this paper, the problem is approached by translating the existence of primitive polynomials over finite fields into the existence of primitive element solutions of systems of equations over Galois rings. Character sum methods and Cohen's sieve yield a constant \(C(n)\) for every \(n\geq7\) such that there exists a primitive polynomial \(f(x)\in\mathbb F_q[x]\) of degree \(n\) with prescribed coefficients \(a_1,a_2,a_3\) whenever \(q\geq C(n)\). By a more precise analysis, \(C(n)\) is reduced to a size which allows the verification for \(n\geq 8\) and \(q<C(n)\) through direct computation. (In the case \(n=7\), the complete answer to the existence question fails because of limited computer resources.)
reviewed by: Astrid Reifegerste
Mathematics Subject Classification ID: 11T24
Mathematics Subject Classification ID: 11T06
Mathematics Subject Classification ID: 11L07
Mathematics Subject Classification ID: 11T30
zbMATH DE Number: 2029208
zbMATH Keywords: primitive polynomials over finite fields
zbMATH Keywords: Hansen-Mullen conjecture
zbMATH Keywords: character sums over Galois rings
zbMATH Keywords: Cohen's sieve method
MaRDI profile type: Publication
cites work: Primitive elements and polynomials with arbitrary trace
cites work: Q3136939
cites work: Bases for Finite Fields
cites work: $p$-adic formal series and primitive polynomials over finite fields
cites work: $p$ -ADIC FORMAL SERIES AND COHENS PROBLEM This work was supported by NSF of China with contract No. 19971096 and No. 90104035.
cites work: The coefficients of primitive polynomials over finite fields
cites work: On two exponential sums and their applications
cites work: Q2708611
cites work: Primitive Polynomials Over Finite Fields
cites work: On primitive polynomials over finite fields
cites work: An upper bound for Weil exponential sums over Galois rings and applications
cites work: Primitive Normal Bases for Finite Fields
cites work: Character sums over \(p\)-adic fields
cites work: On the existence of a primitive quadratic of trace 1 over \(GF(p^ m)\)
description: scientific article; zbMATH DE number 2029208