On pairs of r-primitive and k-normal elements with prescribed traces over finite fields

Abstract: Given

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

, a field with

q^{n}

elements, where

q

is a prime power,

n

is positive integer. For

r i n m a t h b b N

,

k i n m a t h b b N c u p 0

, an element

e p s i l o n i n m a t h b b F_{q^{n}}

is said to be

r

-primitive if its multiplicative order is

f r a c q^{n} - 1 r

and it is referred to as

k

-normal if the greatest common divisor of the polynomial

s u m_{i = 0}^{n - 1} e p s i l o n^{q^{i}} x^{n - 1 - i}

with

x^{n} - 1

has degree

k

in

m a t h b b F_{q^{n}} [x]

. In this article, for

r_{1}, r_{2}, m_{1}, m_{2} i n m a t h b b N

,

k_{1}, k_{2} i n m a t h b b N c u p 0

, a rational function

F = f r a c F_{1} F_{2}

in

m a t h b b F_{q} [x]

with deg(

F_{i}

)

l e q m_{i}

;

i = 1, 2,

satisfying some conditions, and

a, b i n m a t h b b F_{q}

, we construct a sufficient condition on

(q, n)

which guarantees the existence of an

r_{1}

-primitive,

k_{1}

-normal element

e p s i l o n i n m a t h b b F_{q^{n}}

such that

F (e p s i l o n)

is

r_{2}

-primitive,

k_{2}

-normal with

o p e r a t o r n a m e {T r}_{m a t h b b F_{q^{n}} / m a t h b b F_{q}} (e p s i l o n) = a

and

o p e r a t o r n a m e {T r}_{m a t h b b F_{q^{n}} / m a t h b b F_{q}} (e p s i l o n^{- 1}) = b

. Further, for

m_{1} = 10, m_{2} = 11

, we demonstrate an example showing the existence of 3-primitive, 2-normal element

e p s i l o n

in

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

such that

F (e p s i l o n)

is 2-primitive, 1-normal with

o p e r a t o r n a m e {T r}_{m a t h b b F_{q^{n}} / m a t h b b F_{q}} (e p s i l o n) = a

and

o p e r a t o r n a m e {T r}_{m a t h b b F_{q^{n}} / m a t h b b F_{q}} (e p s i l o n^{- 1})

= b

for any prescribed

a, b i n m a t h b b F_{q}

except from possible 10 values of

(q, n)

in field of characteristics 13.

This page was built for publication: On pairs of $r$-primitive and $k$-normal elements with prescribed traces over finite fields