Abstract
Given \(m, n, q\in \mathbb {N}\) such that q is a prime power and \(m\ge 3\), \(a\in \mathbb {F}_q\), we establish a sufficient condition for the existence of a primitive pair \((\alpha , f(\alpha ))\) in \(\mathbb {F}_{q^m}\) such that \(\alpha \) is normal over \(\mathbb {F}_q\) and \(\text {Tr}_{\mathbb {F}_{q^m}/\mathbb {F}_q}(\alpha ^{-1})=a\), where \(f(x)\in \mathbb {F}_{q^m}(x)\) is a rational function of degree sum n. Further, when \(n=2\) and \(q=5^k\) for some \(k\in \mathbb {N}\), such a pair definitely exists for all (q, m) apart from at most 20 choices.
Similar content being viewed by others
References
Agnew G.B., Mullin R.C., Onyszchuk I.M., Vanstone S.A.: An implementation for a fast public-key cryptosystem. J. Cryptol. 3(2), 63–79 (1991).
Booker A., Cohen S.D., Sutherland N., Trudgian T.: Primitive values of quadratic polynomials in a finite field. Math. Comput. 88(318), 1903–1912 (2019).
Chou W.S., Cohen S.D.: Primitive elements with zero traces. Finite Fields Appl. 7(1), 125–141 (2001).
Cochrane T., Pinner C.: Using Stepanovs method for exponential sums involving rational functions. J. Number Theory 116(2), 270–292 (2006).
Cohen S.D.: Pairs of primitive elements in fields of even order. Finite Fields Appl. 28, 22–42 (2014).
Cohen S.D., Gupta A.: Primitive element pairs with a prescribed trace in the quartic extension of a finite field. J. Algebra Appl. 20, 9 (2020). https://doi.org/10.1142/S0219498821501681.
Cohen S.D., Huczynska S.: The primitive normal basis theorem-without a computer. Lond. Math. Soc. 67(2), 41–56 (2003).
Cohen S.D., Sharma H., Sharma R.: Primitive values of rational functions at primitive elements of a finite field. J. Number Theory 219, 237–246 (2021).
Fu L., Wan D.: A class of incomplete character sums. Q. J. Math. 4, 1195–1211 (2018).
Gupta A., Sharma R.K., Cohen S.D.: Primitive element pairs with one prescribed trace over a finite field. Finite Fields Appl. 54, 1–14 (2018).
Lenstra H.W. Jr., Schoof R.J.: Primitive normal bases for finite fields. Math. Comput. 48(177), 217–231 (1987).
Lidl R., Niederreiter H.: Finite Fields, vol. 20. Cambridge Univ. Press, Cambridge (1997).
Sharma R.K.: Existence of some special primitive normal elements over finite fields. Finite Fields Appl. 46, 280–303 (2017).
Sharma R.K., Gupta A.: Pair of primitive elements with prescribed traces over finite fields. Commun. Algebra 47, 1278–1286 (2017).
Sharma H., Sharma R.K.: Existence of primitive pairs with prescribed traces over finite fields. Commun. Algebra 49, 1773–1780 (2020).
Sharma R.K., Awasthi A., Gupta A.: Existence of pair of primitive elements over finite fields of characteristic 2. J. Number Theory 193, 386–394 (2018).
Shuqin F., Wenbao H.: Character sums over Galois rings and primitive polynomials over finite fields. Finite Fields Appl. 10(1), 36–52 (2004).
The GAP Group. GAP – Groups, Algorithms, and Programming, Version 4.10.1, 2019.
The Mathworks, Inc., Natick, Massachusetts. MATLAB version 9.0.0.341360 (R2016a), 2016.
Weil A.: On some exponential sums. Proc. Natl. Acad. Sci. 34(5), 204–207 (1948).
Acknowledgements
The authors thank the referee and the editor for their valuable comments and suggestions, which improved the presentation of the paper. Prof. R. K. Sharma is the ConsenSys Blockchain Chair Professor at IIT Delhi. He is grateful to ConsenSys AG for that privilege.
Author information
Authors and Affiliations
Additional information
Communicated by O. Ahmadi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Sharma, H., Sharma, R.K. Existence of primitive normal pairs with one prescribed trace over finite fields. Des. Codes Cryptogr. 89, 2841–2855 (2021). https://doi.org/10.1007/s10623-021-00956-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-021-00956-7