Primitive normal pairs of elements with one prescribed trace

Abstract: Let

q, n, m i n m a t h b b N

such that

q

is a prime power,

m g e q 3

and

a i n m a t h b b F

. We establish a sufficient condition for the existence of a primitive normal pair (

a l p h a

,

f (a l p h a)

) in

m a t h b b F_{q^{m}}

over

m a t h b b F_{q}

such that Tr

_{m a t h b b F_{q^{m}} / m a t h b b F_{q}} (a l p h a^{- 1}) = a

, where

f (x) i n m a t h b b F_{q^{m}} (x)

is a rational function with degree sum

n

. In particular, for

q = 5^{k}, k g e q 5

and degree sum

n = 4

, we explicitly find at most 11 choices of

(q, m)

where existence of such pairs is not guaranteed.

This page was built for publication: Primitive normal pairs of elements with one prescribed trace