Skip to main content
Top
Published in: Designs, Codes and Cryptography 11/2019

23-05-2019

Further Results on the Morgan–Mullen Conjecture

Authors: Theodoulos Garefalakis, Giorgos Kapetanakis

Published in: Designs, Codes and Cryptography | Issue 11/2019

Login to get access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Let \(\mathbb {F}_q\) be the finite field of characteristic p with q elements and \(\mathbb {F}_{q^n}\) its extension of degree n. The conjecture of Morgan and Mullen asserts the existence of primitive and completely normal elements (PCN elements) for the extension \(\mathbb {F}_{q^n}/\mathbb {F}_q\) for any q and n. It is known that the conjecture holds for \(n \le q\). In this work we prove the conjecture for a larger range of exponents. In particular, we give sharper bounds for the number of completely normal elements and use them to prove asymptotic and effective existence results for \(q\le n\le O(q^\epsilon )\), where \(\epsilon =2\) for the asymptotic results and \(\epsilon =1.25\) for the effective ones. For n even we need to assume that \(q-1\not \mid n\).
Literature
1.
2.
go back to reference Cohen S.D., Hachenberger D.: Primitive normal bases with prescribed trace. Appl. Algebra Eng. Commun. Comput. 9(5), 383–403 (1999).MathSciNetCrossRef Cohen S.D., Hachenberger D.: Primitive normal bases with prescribed trace. Appl. Algebra Eng. Commun. Comput. 9(5), 383–403 (1999).MathSciNetCrossRef
3.
go back to reference Cohen S.D., Huczynska S.: The primitive normal basis theorem—without a computer. J. London Math. Soc. 67(1), 41–56 (2003).MathSciNetCrossRef Cohen S.D., Huczynska S.: The primitive normal basis theorem—without a computer. J. London Math. Soc. 67(1), 41–56 (2003).MathSciNetCrossRef
4.
6.
go back to reference Gao, S.: Normal Basis over Finite Fields. PhD thesis, University of Waterloo (1993) Gao, S.: Normal Basis over Finite Fields. PhD thesis, University of Waterloo (1993)
7.
go back to reference Garefalakis T., Kapetanakis G.: On the existence of primitive completely normal bases of finite fields. J. Pure Appl. Algebra 223(3), 909–921 (2019).MathSciNetCrossRef Garefalakis T., Kapetanakis G.: On the existence of primitive completely normal bases of finite fields. J. Pure Appl. Algebra 223(3), 909–921 (2019).MathSciNetCrossRef
8.
go back to reference Hachenberger D.: Finite Fields: Normal Bases and Completely Free Elements, Kluwer International Series in Engineering and Computer Science, vol. 390. Kluwer Academic Publishers, Boston, MA (1997).CrossRef Hachenberger D.: Finite Fields: Normal Bases and Completely Free Elements, Kluwer International Series in Engineering and Computer Science, vol. 390. Kluwer Academic Publishers, Boston, MA (1997).CrossRef
9.
go back to reference Hachenberger D.: Primitive complete normal bases: existence in certain 2-power extensions and lower bounds. Discret. Math. 310(22), 3246–3250 (2010).MathSciNetCrossRef Hachenberger D.: Primitive complete normal bases: existence in certain 2-power extensions and lower bounds. Discret. Math. 310(22), 3246–3250 (2010).MathSciNetCrossRef
10.
go back to reference Hachenberger D.: Completely normal bases. In: Mullen G.L., Panario D. (eds.) Handbook of Finite Fields, pp. 128–138. CRC Press, Boca Raton (2013).MATH Hachenberger D.: Completely normal bases. In: Mullen G.L., Panario D. (eds.) Handbook of Finite Fields, pp. 128–138. CRC Press, Boca Raton (2013).MATH
11.
go back to reference Hachenberger D.: Asymptotic existence results for primitive completely normal elements in extensions of Galois fields. Des. Codes Cryptogr. 80(3), 577–586 (2016).MathSciNetCrossRef Hachenberger D.: Asymptotic existence results for primitive completely normal elements in extensions of Galois fields. Des. Codes Cryptogr. 80(3), 577–586 (2016).MathSciNetCrossRef
12.
13.
go back to reference Kapetanakis G.: An extension of the (strong) primitive normal basis theorem. Appl. Algebra Eng. Commun. Comput. 25(5), 311–337 (2014).MathSciNetCrossRef Kapetanakis G.: An extension of the (strong) primitive normal basis theorem. Appl. Algebra Eng. Commun. Comput. 25(5), 311–337 (2014).MathSciNetCrossRef
14.
15.
16.
go back to reference Lidl R., Niederreiter H.: Finite Fields, 2nd edn. Cambridge University Press, Cambridge (1997).MATH Lidl R., Niederreiter H.: Finite Fields, 2nd edn. Cambridge University Press, Cambridge (1997).MATH
17.
go back to reference Morgan I.H., Mullen G.L.: Completely normal primitive basis generators of finite fields. Util. Math. 49, 21–43 (1996).MathSciNetMATH Morgan I.H., Mullen G.L.: Completely normal primitive basis generators of finite fields. Util. Math. 49, 21–43 (1996).MathSciNetMATH
18.
go back to reference Robin G.: Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann. J. Math. Pures Appl. 63(2), 187–213 (1984).MathSciNetMATH Robin G.: Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann. J. Math. Pures Appl. 63(2), 187–213 (1984).MathSciNetMATH
Metadata
Title
Further Results on the Morgan–Mullen Conjecture
Authors
Theodoulos Garefalakis
Giorgos Kapetanakis
Publication date
23-05-2019
Publisher
Springer US
Published in
Designs, Codes and Cryptography / Issue 11/2019
Print ISSN: 0925-1022
Electronic ISSN: 1573-7586
DOI
https://doi.org/10.1007/s10623-019-00643-8

Other articles of this Issue 11/2019

Designs, Codes and Cryptography 11/2019 Go to the issue

Premium Partner