Primitivity, freeness, norm and trace
type: Item
instance of: scholarly article
title: Primitivity, freeness, norm and trace
zbMATH Open document ID: 0952.11031
DOI: 10.1016/S0012-365X(99)00224-1
author: Stephen D. Cohen
author: Dirk Hachenberger
published in: Discrete Mathematics
publication date: 2001-01-08T00:00:00Z
review text: Consider the finite field \(GF(q^n)\) as a vector space over its subfield \(GF(q)\). A basis for this vector space of the form \(\{w, w^q, \cdots, w^{q^{n-1}}\}\) is called a normal basis, and such an element \(w \in GF(q^n)\) is called free over \(GF(q)\). If, in addition, \(w\) is a primitive element of \(GF(q^n)\), the resulting basis is called a primitive normal basis. In [\textit{H. W. Lenstra jun.} and \textit{R. J. Schoof}, Math Comput. 48, 217-231 (1987; Zbl 0615.12023)] it is proven that primitive normal bases always exist. In the paper under review the authors prove that for any primitive element \(b\) of \(GF(q)\), there is a primitive element of \(GF(q^n)\) which is free over \(GF(q)\) and whose \(GF(q^n)/GF(q)\)-norm is equal to \(b\). Furthermore, if \((q,n)\not=(3,2)\), it is shown that for any nonzero element \(b\) in \(GF(q)\), there is an element of \(GF(q^n)\) which is free and whose \(GF(q^n)/GF(q)\)-norm is \(b\). Finally, if \((q,n) \not \in \{(89,8), (41,8), (25,8), (17,8), (13,8), (7,8), (64,7), (4,7)\}\), it is shown that for any primitive element \(b\) of \(GF(q)\) and any nonzero element \(a\) of \(GF(q)\), there is a primitive element of \(GF(q^n)\) which is free over \(GF(q)\), whose \(GF(q^n)/GF(q)\)-norm is equal to \(b\), and whose \(GF(q^n)/GF(q)\)-trace is equal to \(a\). The philosophy in tackling these problems is to exploit non-counting theoretical arguments (such as links between various problems) rather than direct counting arguments using various character sums.
Mathematics Subject Classification ID: 11T30
Mathematics Subject Classification ID: 12E20
zbMATH DE Number: 1423738
zbMATH Keywords: finite field
zbMATH Keywords: primitive element
zbMATH Keywords: free element
zbMATH Keywords: normal basis
zbMATH Keywords: trace
zbMATH Keywords: norm
reviewed by: Gary L. Ebert
MaRDI profile type: Publication
Wikidata QID: Q127633934
Recommended article: Primitive free cubics with specified norm and trace
Recommended article: An extension of the (strong) primitive normal basis theorem
Recommended article: Trace-orthogonal normal bases
Recommended article: Q3483365
Recommended article: Primitive normal values of rational functions over finite fields
Recommended article: On the existence of primitive completely normal bases of finite fields
Recommended article: An explicit description of the set of all normal bases generators of a finite field
Recommended article: Q3469197
Recommended article: Variations of the primitive normal basis theorem
Recommended article: Q4887941
description: scientific article; zbMATH DE number 1423738