Normal and Self-dual Normal Bases from Factorization of cx q+1 + dx q ax b

Size: px
Start display at page:

Download "Normal and Self-dual Normal Bases from Factorization of cx q+1 + dx q ax b"

Transcription

1 Normal and Self-dual Normal Bases from Factorization of cx q+ + dx q ax b Ian F. Blake Department of Electrical and Computer Engineering University of Waterloo Waterloo, Ontario, N2L 3G, Canada ifblake@claude2.uwaterloo.can Shuhong Gao, Ronald C. Mullin Department of Combinatorics and Optimization University of Waterloo Waterloo, Ontario, N2L 3G, Canada sgao@violet.uwaterloo.can, rcmullin@watmath.uwaterloo.can September 4, 992 Abstract. The present paper is interested in a family of normal bases, considered by V. M. Sidel nikov, with the property that all the elements in a basis can be obtained from one element by repeatedly applying to it a linear fractional function of the form ϕ(x) =(ax + b)/(cx + d), a, b, c, d F q. Sidel nikov proved that the cross products for such a basis {α i } are of the form α i α j = e i j α i + e j i α j + γ, i j, where e k,γ F q. We will show that every such basis can be formed by the roots of an irreducible factor of F (x) =cx q+ + dx q ax b. We will construct: (a) a normal basis of F q n over F q with complexity at most 3n 2 for each divisor n of q and for n = p where p is the characteristic of F q ; (b) a self-dual normal basis of F q n over F q for n = p and for each odd divisor n of q orq+. When n = p, the self-dual normal basis constructed of F q p over F q also has complexity at most 3p 2. In all cases, we will give the irreducible polynomials and the multiplication tables explicitly. Abbreviated title: Normal Bases. 99 Mathematics subject classification: T30, T06. Key words: finite field, irreducible polynomial, normal basis.

2 Introduction Let N = {α 0,α,,α n } be a normal basis of F q n over F q with α i = α qi, 0 i n, where q is a prime power p m with p a prime and m. The multiplication of elements in F q n is uniquely determined by the n cross products α 0 α i = n j=0 t ijα j,t ij F q. The n n matrix T =(t ij ) is called the multiplication table of N. As in [6], the number of nonzero elements in T is called the complexity of the normal basis N, denoted by C N. In hardware and software implementations of finite field arithmetic, normal bases of low complexity offer considerable advantages. In [6] it is proved that C N 2n. When the lower bound is reached N is called an optimal normal basis of F q n over F q. Two families of optimal normal bases are constructed in [6], and in [3] it is proved that these two families are essentially all the optimal normal bases in finite fields. Some normal bases of low complexity are constructed in []. A normal basis with the smallest complexity, if no optimal normal bases exist, is called a minimal normal basis. The present paper is interested in a family of normal bases, considered by Sidel nikov [8], with the property that all the elements in a basis can be obtained from one element by repeatedly applying to it a linear fractional function of the form ϕ(x) =(ax + b)/(cx + d), a, b, c, d F q. Sidel nikov proved that the cross products for such a basis {α i } are of the form α i α j = e i j α i + e j i α j + γ, i j, where e k,γ F q. We will show that every such basis can be formed by the roots of an irreducible factor of F (x) =cx q+ + dx q ax b. We will construct a normal basis of F q n over F q with complexity at most 3n 2 for each divisor n of q and for n = p where p is the characteristic of F q, and a self-dual normal basis of F q n over F q for n = p and for each odd divisor n of q orq+. When n = p, the self-dual normal basis constructed of F q p over F q also has complexity at most 3p 2. In all cases, we will give the irreducible polynomials and the multiplication tables explicitly. For this purpose, some properties of linear fractional functions and the complete factorization of F (x) are discussed in sections 2 and 3, respectively. 2 On Linear Fractional Functions In this section, we discuss some properties of the linear fractional function ϕ(x) =(ax + b)/(cx + d) with a, b, c, d F q and ad bc 0. It is easy to see that ϕ(x) defines a 2

3 permutation on F q { }, where a + b c + d := a, if c 0, c a +b c +d :=, if ad 0,c=0, a :=, if a 0. 0 Actually, ϕ(x) induces a permutation on F q n { }, for any n. The inverse of ϕ(x) is ϕ (x)=( dx + b)/(cx a). For any two linear fractional functions ϕ and ψ, the composition ϕψ, defined as ϕψ(x) = ϕ(ψ(x)), is still a linear fractional function. It is well known that all the linear fractional functions over F q form a group under composition and is isomorphic to the projective general linear group PGL(2,q). The order of ϕ is the smallest positive integer t such that ϕ t (x) =x, i.e., ϕ t is the identity map. For our purpose, we will deal with a linear fractional function ϕ(x) =(ax + b)/(cx + d) with c 0. The fixed points of ϕ(x) satisfy The following two lemmas are easily checked. cx 2 (a d)x b =0. (2.) Lemma 2. Let ϕ(x) =ax + b with a 0,, be a linear mapping. Then where ψ(x) =ax and h(x) =x+b/(a ). ϕ = h ψh, Lemma 2.2 Let ϕ(x) =(ax+b)/(cx+d) with c 0and ad bc 0.Let =(a d) 2 +4bc. Then ϕ = h ψh, where h(x) and ψ(x) are defined as follows: (a) When =0, let x 0 be the only solution of (2.) in F q, that is, x 0 satisfies cx 2 0 = b and 2cx 0 = a d. Then h(x) =(a/c x 0 )/(x x 0 ) and ψ(x) =x+. 3

4 (b) When 0, let x 0,x be the two solutions of (2.) in F q 2 and let ξ =(a cx 0 )/(a cx ). Then h(x) = x x 0, ψ(x)=xξ. x x The order of ϕ is now easy to determine. The order of ϕ is equal to the order of ψ. If ψ is of the form x + then the order of ψ is equal to the additive order p of in F q, where p is the characteristic of F q. If ψ is of the form ξx, then the order of ψ is equal to the multiplicative order of ξ. In case (b) of Lemma 2.2, if is a quadratic residue in F q, then x 0,x F q, and ξ F q. Hence ξ q = and the order of ξ is a divisor of q. If is a quadratic nonresidue in F q, then x 0,x F q 2 \F q and x q 0 = x,x q = x 0. Thus ξ q =((a cx 0 )/(a cx )) q =(a cx q 0 )/(a cxq )=(a cx )/(a cx 0 )=/ξ. Soξ q+ = and the order of ξ divides q +. Therefore the order of ϕ is always a divisor of p, q or q+. Lemma 2.3 Let a, b, c, d F q with c 0and ad bc 0. Let ϕ(x)=(ax + b)/(cx + d) with order t. Then, for i t, ϕ i (x) = e ix+b/c, e i +e t i = a d (2.2) x e t i c where e = a/c and e i+ = ϕ(e i ) for i =,...,t 2. Proof: It is routine to prove by induction on i that there exist e i,f i F q with e = a/c, f = d/c such that ϕ i (x) = e ix+b/c, x + f i and e i f i = a d, e i = ϕ(e i ) c for i =,...,t, where e 0 =. Note that e t i x + b/c = ϕ t i (x) =ϕ i (x)=(ϕ i ) (x)= f ix+b/c. x + f t i x e i We see that f i = e t i. This completes the proof. 2 Lemma 2.4 With the same notation as in Lemma 2.3, we have (t )(a d)/(2c), if p 2, t a/c = d/c, if p =2and t =2, e j = (a d)/c, if p =2and t 3mod4, j= 0, if p =2and t mod4, (2.3) 4

5 where p is the characteristic of F q. Proof: We consider two cases according to the type of ϕ(x). Case I =(a d) 2 +4bc = 0. Then t = p and, by Lemma 2.2, ϕ(x) =h ψh(x) where ψ(x) =x+, h(x)= a/c x 0, h (x)=x 0 + a/c x 0, x x 0 x with x 0 satisfying 2cx 0 = a d and cx 2 0 = b. Note that ψi (x) =x+i. We have ϕ i (x) = h ψ i h(x) ( a/c = h x0 x x 0 ) + i = (a/c x 0 ix 0 )x ix 2 0 ix +(a/c x 0 ix 0 ). So Therefore p e i = a/c x 0 i + x 0, for i t. p e i = (p )x 0 +(a/c x 0 ) = (p )x 0 +(a/c x 0 ) = i p { (p )x0 =(t )(a d)/(2c), if p 2, a/c = d/c, if p =2. i Case II =(a d) 2 +4bc 0. In this case, the order t of ϕ(x) is a factor of q or q+. Sot Fq. By Lemma 2.2, ϕ(x) =h ψh(x) where h(x) = x x 0 x x, ψ(x)=ξx, ξ = a/c x 0 a/c x, with x 0 + x =(a d)/c and x 0 x = b/c. Note that h (x) =(x x x 0 )/(x ) and ψ i (x) =ξ i x,wehave ϕ i (x) = h ψ i h(x) ( = h ξ ix x ) 0 x x = (x ξ i x 0 )x x 0 x (ξ i ) (ξ i )x + x x 0 ξ i. 5

6 So and e i = x ξ i x 0 ξ i t = x + x x 0 ξ i, for i t, t e i =(t )x +(x 0 x ) As ξ is a t-th primitive root of unity, we have t ξ i. (x ξ i )=(x t )/(x ) = x t + x t 2 + +x+. (2.4) Letting x = in equation (2.4), we get t ( ξ i )=t. (2.5) Taking derivatives with respect to x on both sides of (2.4), we have t t (x ξ i )( Letting x = in (2.6), we see that t x ξ i )=(t )xt 2 +(t 2)x t x+. (2.6) t ξ i =( i)/t = (t )/2, if p 2,, if p = 2 and t 3mod4, 0, if p = 2 and t mod4, (Note that t is odd when p = 2.) Therefore t ((t )/2)(x 0 + x )=(t )(a d)/(2c), if p 2, e i = x 0 x =(a d)/c, if p = 2 and t 3mod4, 0, if p = 2 and t mod4. This completes the proof. 2 The following theorem is proved by Sidel nikov [8, Theorem 2]: Theorem 2.5 Let a, b, c, d F q with c 0and ad bc 0. Let θ be a root of F (x) = cx q+ + dx q ax b in some extension field of F q, not fixed by ϕ(x) =(ax + b)/(cx + d) whose order is assumed to be t. Then θ, ϕ(θ),,ϕ t (θ) are linearly independent over F q,if t i=0 ϕi (θ) 0. This theorem indicates that if we can factor F (x) then we will obtain normal bases over F q. The factorization of F (x) is discussed in the next section. 6

7 3 Factorization of cx q+ + dx q ax b The complete factorization of F (x) =cx q+ + dx q ax b, a, b, c, d F q, into irreducible factors was established by Ore [7, pp ] by using his theory of linearized polynomials. In this section, we briefly discuss how this can be done without resorting to linearized polynomials. For the detail, the reader is referred to [2]. To exclude the trivial cases, we assume that ad bc 0. Let ϕ(x) =(ax + b)/(cx + d) be the linear fractional function associated with F (x). As noted in section 2, ϕ(x) induces a permutation on F q n { }, for any n. We assume that the order of ϕ is t in this section. Let θ be a root of F(x) =(cx + d)x q (ax + b). Then θ q = aθ + b cθ + d = ϕ(θ). Note that θ q2 =(ϕ(θ)) q = ϕ(θ q )=ϕ(ϕ(θ)) = ϕ 2 (θ). By induction we see that θ qi = ϕ i (θ), i 0. So θ, ϕ(θ),,ϕ t (θ) (3.) are all the conjugates of θ over F q. If θ is a fixed point of ϕ(x) then θ F q, and x θ is a factor of F (x). If θ is not a fixed point of ϕ(x), then, by Theorem 2.5, the elements of (3.) are distinct and θ is of degree t over F q. In the latter case, the minimal polynomial of θ over F q is an irreducible factor of F (x) of degree t. So an irreducible factor of F (x) is either linear or of degree t. We first deal with two special cases. Theorem 3. Let ξ F q \{0} with multiplicative order t. Then the following factorization over F q is complete: x q ξ = (q )/t j= (x t β j ), where β j are all the (q )/t distinct roots of x (q )/t ξ in F q. Proof: Let θ bearootofx q ξin some extension field of F q. Then θ qi = θξ i,i. All the distinct conjugates of θ over F q are θ,θξ,...,θξ t. The minimal polynomial of θ over 7

8 F q is t i=0 (x θξ i )=x t θ t, which divides x q ξ. This means that any irreducible factor of x q ξ is of the form x t β where β F q. One can prove that x t β divides x q ξ if and only if β isaroot of x (q )/t ξ. This completes the proof. 2 Theorem 3.2 For x q (x + b) with b F q, the following factorization over F q is complete: q/p x q (x + b) = (x p b p x b p β j ) (3.2) j= where β j are the distinct elements of F q with Tr q/p (β j )=and p is the characteristic of F q. Proof: Let θ bearootoff(x)=x q (x+b). Then θ qi = θ + ib, i. So the conjugates of θ over F q are θ, θ + b,...,θ+(p )b. The minimal polynomial of θ over F q is p p [x (θ + ib)] = b p [ x θ i] b i=0 i=0 = b p [( x θ ) p x θ ] b b = x p b p x + θ(b p θ p ). Hence an irreducible factor of x q (x + b) is of the form x p b p x β, β F q. (3.3) Let γ be a root of (3.3) in some extension field of F q. Then we have where q = p m. Summing (3.4) yields ( γ b )pi ( γ b )pi =( β b p)pi, i m, (3.4) γ pm γ = btr q/p ( β b p ). Consequently (3.3) divides F (x) =x pm x bif and only if Tr q/p (β/b p ) =. Note that there are q/p = p m elements β in F q with trace, and the proof is completed. 2 8

9 In general we show that the factorization of F (x) can be reduced to factoring x q x, x q ξ or x q+ ξ. Let ϕ = h ψh as in Lemmas 2. and 2.2. For any root θ of F (x) that is not fixed by ϕ, we have h(θ q )=ψ(h(θ)). (3.5) If is a quadratic residue in F q, then h(θ q )=(h(θ)) q.thusη=h(θ)isarootofx q x or x q ξx = x(x q ξ) according as ψ(x) =x+ or ψ(x)=ξx,ξ F q. So by the factorization of x q x and x q ξ as in Theorems 3. and 3.2 we obtain the factorization of F (x) as follows. Theorem 3.3 For a, b F q with a 0,, the following factorization over F q is complete: x q (ax + b) =(x b (q )/t a ) ((x b a )t β j ), where t is the multiplicative order of a and β j are all the (q )/t distinct roots of x (q )/t a. j= Theorem 3.4 For a, b, c, d F q with c 0, ad bc 0and =(a d) 2 +4bc =0, the following factorization over F q is complete: (cx + d)x q (ax + b) q/p =(x x 0 ) [(x x 0 ) p + (a/c x 0 )(x x 0 ) p (a/c x 0 ) p ] β j β j j= where x 0 F q is the unique solution of (2.) and β j are all the q/p distinct elements of F q with Tr q/p (β j )=. Theorem 3.5 For a, b, c, d F q with c 0, ad bc 0and =(a d) 2 +4bc 0being a quadratic residue in F q, the following factorization over F q is complete: (cx + d)x q (ax + b) (q )/t =(x x 0 )(x x ) [(x x 0 ) t β j (x x ) t ] β j= j where x 0,x F q are the two distinct roots of (2.), t is the multiplicative order of ξ = (a cx 0 )/(a cx ) and β j are all the (q )/t distinct roots of x (q )/t ξ in F q. 9

10 If is not a quadratic residue in F q, the situation is a little more complicated, as in this case x 0,x,ξ F q. Noting that x q 0 = x and x q = x 0, we have h(θ q )=(/h(θ)) q. The equation (3.5) implies that η =/h(θ) is a root of x q+ ξ. So by factoring x q+ ξ over F q 2 we can obtain the factorization of F (x) over F q 2. Then by combining these factors we get the factorization of F (x) over F q as in Theorem 3.6. Theorem 3.6 For a, b, c, d F q with c 0, ad bc 0and =(a d) 2 +4bc 0being a quadratic nonresidue in F q, the following factorization over F q is complete: F (x) = (cx + d)x q (ax + b) = (q+)/t j= β j [(x x 0 ) t β j (x x ) t ] (3.6) where x 0,x F q 2 are the two distinct roots of (2.), t is the multiplicative order of ξ = (a cx )/(a cx 0 ) and β j are all the (q +)/t distinct roots of x (q+)/t ξ in F q 2. Let f(x) be any nonlinear irreducible factor of F (x) of degree t and let α be a root of f(x). From the discussion at the beginning of this section, we see that ϕ i (α),i =0,,...,t are all the roots of f(x) and, by Theorem 2.5, they are linearly independent over F q if Tr(α) 0. But Tr(α) is just the negative of the coefficient of x t in f(x). By examining the factors in the above explicit factorizations, we have Theorem 3.7 Let F (x) =(cx + d)x q (ax + b) with a, b, c, d F q, c 0and ad bc 0. Then a monic nonlinear irreducible factor f(x) of F (x) of degree t has linearly dependent roots over F q if and only if the coefficient of x t in f(x) is zero. The latter happens only if =(a d) 2 +4bc 0and f(x) is of the form where x 0 and x are solutions of (2.). x x 0 [x (x x 0 ) t x 0 (x x ) t ], This shows that every nonlinear irreducible factor of F (x), except for possibly one, has linearly independent roots. 0

11 4 Normal Bases As Theorem 3.7 shows, when c 0 the roots of an irreducible nonlinear factor of F (x) form a normal basis over F q (except possibly for one factor). This section is devoted to discussing the properties of these bases. We will show how to construct a normal basis of F q n over F q with complexity at most 3n 2 for n = p and for each divisor n of q. For this purpose we first compute the multiplication tables of the normal bases formed by the roots of an irreducible factor of F (x). Without loss of generality, we assume that F (x) =x q+ + dx q ax b with a, b, d F q and b ad. Assume that ϕ(x) =(ax + b)/(x + d) has order n and that, by Lemma 2.3, ϕ i (x) =(e i x+b)/(x e n i ) with e i = ϕ i (a), i n. Let f(x) be any irreducible nonlinear factor of F (x) and α arootoff(x). Then f(x) has degree n and its roots are α i = α qi = ϕ i (α), i =0,,,n, and they form a normal basis of F q n over F q if the coefficient of x n in f(x) is not zero (or Tr(α) 0), by Theorem 3.7. Theorem 4. Let F (x) =x q+ + dx q (ax + b) with a, b, d F q and b ad. Letf(x)be an irreducible factor of F (x) of degree n>and let α be a root of it. Then all the roots of f(x) are α i = α qi = ϕ i (α), i =0,,,n, (4.) where ϕ(x) =(ax + b)/(x + d). If τ = n i=0 α i, the negative of the coefficient of x n in f(x), is not zero, then (4.) form a normal basis of F q n over F q such that α 0 α α 2 α 0. α n τ e n e n 2... e e e n = e 2 e n e n e α 0 α α 2. α n + where e = a, e i+ = ϕ(e i )(i ), b = b(n ) and τ = τ ɛ with (n )(a d)/2, if p 2, n a=d, if p = n =2, ɛ = e i = a d, if p =2and n 3mod4, 0, if p =2and n mod4. b b ḅ. b (4.2)

12 Proof: We just need to prove (4.2). By Lemma 2.3, for i, So For i =0,wehave n α 0 α 0 =α 0 (τ j= α i = ϕ i (α) = e iα 0 +b α 0 e n i. α 0 α i = e i α 0 + e n i α i + b. n α j )=(τ j= n e j )α 0 j= e n j α j b(n ). The theorem follows from Lemma The next theorem can be viewed as the converse of Theorem 4.. Theorem 4.2 Let n>2and α i = α qi for 0 i n. Suppose that {α i } is a normal basis of F q n over F q and satisfies α i α j = a ij α i + b ij α j + γ ij, for all 0 i j n, (4.3) where a ij,b ij,γ ij F q. Then there are constants γ,e,e 2,...,e n F q such that (a) e i = ϕ(e i ), for 2 i n, and a ij = e j i,b ij = e i j,γ ij = γ, for all i j, where ϕ(x) =(e x+γ)/(x e n )and the subscripts of e are calculated modulo n; (b) the minimal polynomial of α is a factor of F (x) =x q+ e n x q (e x + γ), and thus n must be a factor of p, q or q +. Proof: Let e k = a 0k and γ k = γ 0k for k =,2,,n. Then α 0 α k = e k α 0 + b 0k α k + γ k. (4.4) Raising (4.4) to the q n k -th power on both sides, we have α 0 α n k = b 0k α 0 + e k α n k + γ k. (4.5) 2

13 Subtracting (4.5) from (4.4), with the k in (4.4) replaced by n k, gives (e n k b 0k )α 0 +(b 0n k e k )α n k +γ n k γ k =0. (4.6) As n>2 and the α i s are linearly independent over F q, the equation (4.6) implies that b 0k = e n k, γ k = γ n k, k n Therefore α 0 α k = e k α 0 + e n k α k + γ k, k n. (4.7) Now for any i j, raising (4.7) to the q i -th power and letting k = j i, we have α i α j = e j i α i + e i j α j + γ j i. (4.8) Comparing (4.8) and (4.3) gives a ij = e j i, b ij = e i j, γ ij = γ j i, (4.9) which proves part of (a). We shall prove the remaining part of (a) together with (b). To this purpose, note that a special case of (4.8) is α i α i+ = e n α i+ + e α i + γ, 0 i<n, or α i+ = e α i + γ = ϕ(α i ), 0 i<n, (4.0) α i e n where ϕ(x) = (e x + γ)/(x e n ) with γ = γ. So, by induction on i, we see that α i = ϕ i (α 0 )=ϕ i (α),0 i n.we know, by Lemma 2.3, that ϕ i (x) =(a i x+γ)/(x a n i ), 0 i n where a i = ϕ(a i ), for i, and a = e. Thus (4.0) implies that α i = a iα 0 + γ α 0 a n i, i.e., α 0 α i = a i α 0 + a n i α i + γ. (4.) 3

14 Comparing (4.) to (4.7), we have e i = a i, e n i = a n i, γ i = γ. This proves (a). For (b), note that α = α q and that (4.7) with k = means α isaroot of F (x) =x q+ e n x q e x γ. Therefore the minimal polynomial of α divides F (x). This completes the proof. 2 Theorem 4.3 For every a, β Fq with Tr q/p (β) =, x p β axp β ap, (4.2) is irreducible over F q and its roots form a normal basis of F q p over F q with complexity at most 3p 2. The multiplication table is τ e p e p 2... e e e p e 2 e p 2 (4.3).... e p e where e = a, e i+ = ϕ(e i ) fori, ϕ(x) =ax/(x + a), and τ = a/β if p 2or a/β a if p =2. Proof: Let F (x) =(x+a)x q ax and ϕ(x) =ax/(x+a). Then F (x) satisfies the conditions of Theorem 3.4 with b =0,c =,d = a, = 0, and x 0 = 0. So (4.2) is an irreducible factor of F (x). As the coefficient of x p in (4.2) is a/β 0, by Theorem 4., the roots of (4.2) form a normal basis and its multiplication table is (4.3). The complexity is obviously at most 3p 2. 2 Theorem 4.4 Let n be any factor of q. Letβ F q with multiplicative order t such that gcd(n, (q )/t) =and let a = β (q )/n. Then x n β(x a +) n (4.4) is irreducible over F q and its roots form a normal basis of F q n over F q of complexity at most 3n 2. The multiplication table is τ e n e n 2... e e e n e 2 e n 2 (4.5).... e n e 4

15 where e = a, e i+ = ϕ(e i )(i ), ϕ(x) =ax/(x +) and τ = n(a )β/( β) ɛ with ɛ specified as in Theorem 4. (with d =). Proof: It is easy to see that a has multiplicative order n. Then ϕ(x) =ax/(x + ) has x 0 = 0 and x = a as fixed points, and ξ =(a x 0 )/(a x )=ahas order n. Soϕhas order n. Note that β isarootofx (q )/n a. By Theorem 3.5, the polynomial (4.4) is an irreducible factor of F (x) =x q+ + x q ax. Note that the coefficient of x n in (4.4) is n(a ) 0. By Theorem 4. (with b =0,d = ), the roots of (4.4) form a normal basis of F q n over F q and its multiplication table is (4.5). The complexity is obviously at most 3n 2. 2 The following table is the result of a computer search for the minimal complexity of normal bases. It indicates that when n (q ) the minimal complexity is often 3n 3or 3n 2. This indicates that the normal bases constructed in Theorems 4.3 and 4.4 often have complexity very close to the minimal complexity. In the table, indicates that the minimal q n min complexity is 3n 2 and indicates optimal complexity, i. e., 2n. Other minimal values are of the form 3n 3. 5 Self-dual Normal Bases A basis B = {β 0,β,,β n } is called a dual basis of A = {α 0,α,,α n } if Tr(α i β j ) = δ ij = 0 for i j, and for i = j, where Tr is the trace function of F q n into F q defined as Tr(α)=α+α q + +α qn F q, α F q n. One can prove that, for each basis A of F q n over F q, there is a unique dual basis. Also, if A is normal then so is its dual. If the dual basis of A coincides with A, then A is called a self-dual basis, that is, a basis A = {α i } is called self-dual if Tr(α i α j )=δ ij. Lempel and Weinberger [5] proved Theorem 5. A self-dual normal basis of F q n over F q exists if and only if one of the following conditions is satisfied 5

16 (a) q is even and n is not a multiple of 4, (b) both q and n are odd. Later, Jungnickel, Menezes and Vanstone [4] determined the total number of self-dual bases and self-dual normal bases of F q n over F q. However the proofs of these results are not constructive. In this section, we will construct a self-dual normal basis of F q n over F q for every n in the following cases: (a) n = p, the characteristic of F q, (b) n (q ) and n is odd, (c) n (q + ) and n is odd. One can check that the conditions in Theorem 5. are satisfied by each of the three cases. Theorem 5.2 Let N = {α 0,α,,α n } with α i = α qi be a normal basis of F q n over F q satisfying α i α j = e j i α i + e i j α j + γ,for all i j, where e,e 2,,e n,γ F q.letτ=tr q n /q(α) and λ = (e + e n ) nγ/τ. Then { τ(τ + nλ) (α i + λ) : i=0,,,n } is the dual basis of N. Proof: Note that, for i j, Tr q n /q(α i (α j + λ)) = Tr q n /q(λα i + e j i α i + e i j α j + γ) = λτ + e j i τ + e i j τ + nγ = τ(λ + e + e n )+nγ = 0, and Tr q n /q(α i (α i + λ)) = Tr(α i (τ +λ j )) j iα 6

17 = Tr(α i (τ +nλ j + λ))) j i(α = Tr(α i )(τ + nλ) Tr(α i (α j + λ)) j i = τ(τ + nλ). The result is proved. 2 We now proceed to determine when the roots of an irreducible factor of F (x) =x q+ + dx q ax b form a self-dual normal basis. Let {α 0,α,...,α n }be a normal basis generated byarootαof F (x) with α i = α qi and let τ =Tr q n q(α). By Theorem 4. and Lemma 2.3, we have, for i 0, Tr q n /q(α 0 α i ) = e i Tr(α 0 )+e n i Tr(α i )+nb = τ(e i + e n i )+nb = τ(a d)+nb, (5.) and Tr q n /q(α 0 α 0 ) = τ(τ ɛ) τɛ nb(n ) { τ = 2, if p =2, τ 2 (n )(τ(a d)+nb), if p 2. (5.2) Therefore α generates a self-dual normal basis if τ =Tr(α) = and (a d) +nb =0. By examining the irreducible factors in Theorems 3.4, 3.5 and 3.6, we find that these two conditions can be satisfied. More explicitly, we have the following three results. Theorem 5.3 For any β Fq with Tr q/p (β) =, x p x p β p (5.3) is irreducible over F q and its roots form a self-dual normal basis of F q p over F q with complexity at most 3p 2. The multiplication table is (4.3) where e = β, e i+ = ϕ(e i )(i ), ϕ(x) =βx/(x + β), and τ =if p 2or τ = β if p =2. Proof: Let F (x) =(x+β)x q βx. Then, by Theorem 3.4, the polynomial (5.3) is an irreducible factor of F (x) (where b =0,c=,d=a=β,x 0 = 0 and β j = β). Since a d = b = 0 and τ = in (5.) and (5.2), the roots of (5.3) form a self-dual normal basis. Its multiplication table is (4.3), by Theorem

18 Theorem 5.4 Let n be an odd factor of q and ξ F q of multiplicative order n. Then there exists u F q such that (u 2 ) (q )/n = ξ. Let x 0 =(+u)/n and x =(+u)/(nu). Then the monic polynomial u 2 [(x x 0) n u 2 (x x ) n ] (5.4) is irreducible over F q and its roots form a self-dual normal basis of F q n over F q. The multiplication table is (4.2) with a =(x 0 ξx )/( ξ), b = x 0 x, d = a (x 0 + x ) and τ =. Proof: We first prove that there exists at least one root of x (q )/n ξ that is a quadratic residue in F q. Let ζ be a primitive element in F q. Let t be an odd factor of q such that n t and gcd(n, (q )/t) =. Then ζ 0 = ζ (q )/t is a t-th primitive root of unity. Since t is odd, ζ0 2 is also a t-th primitive root of unity. Let d = t/n. Then there is an integer i such that (ζ0 2)id = ξ, that is, (ζ (q )/t ) 2id =(ζ 2i ) (q )/n = ξ. So ζ 2i isarootofx (q )/n ξ and is a quadratic residue in F q. Therefore we can take u = ζ i. Now by applying Theorem 3.5, we see that (5.4) is an irreducible factor of F (x) = (x+d)x q (ax + b). The negative of the coefficient of x n in (5.4) is τ = n(x 0 u 2 x ) u 2 =. By Theorem 4., the roots of (5.4) form a normal basis of F q n multiplication table. Note that over F q with the claimed a d = x 0 + x = (u +) n + u+ nu = (u +)2 nu = nx 0 x = nb, that is, τ(a d) +nb = 0. It follows from (5.) and (5.2) that the roots of (5.4) form a self-dual normal basis. 2 Theorem 5.5 Let n be an odd factor of q + and let ξ F q 2 be a root of x q+ with multiplicative order n. Then there is a root u of x q+ such that (u 2 ) (q+)/n = ξ. Let x 0 =(+u)/n and x =(+u)/(nu). Then u 2 [(x x 0) n u 2 (x x ) n ] (5.5) 8

19 is in F q [x] and is irreducible over F q with its roots forming a self-dual normal basis of F q n over F q. The multiplication table is (4.2) with a =(x ξx 0 )/( ξ), b = x 0 x, d = a (x 0 + x ) and τ =. Proof: The proof of the existence of u is similar to that in the proof of Theorem 5.4 by taking ζ to be a (q + )th primitive root of unity in F q 2. We next prove that a, b, d F q and (5.5) is in F q [x]. Note that ξ,u and u 2 are all (q + )th roots of unity and we have ξ q =/ξ, u q =/u and (u 2 ) q =/u 2. Thus x q 0 = x and x q = x 0. So a q = a, b q = b and d q = d, that is, a, b, d F q. Denote the polynomial (5.5) by φ(x) and note that (φ(x)) q = (u 2 ) q [(xq x q 0 )n (u 2 ) q (x q x q )n ] = /u 2 [(xq x ) n /u 2 (x q x 0 ) n ] = φ(x q ). We see that the coefficients of φ(x) are in F q. To prove that (5.5) is irreducible over F q, we apply Theorem 3.6. It is easy to check that, with a, b, d as defined in Theorem 5.5, x 0 and x are the two distinct solutions of (2.) with c = and (a x )/(a x 0 )=ξwhich is of order n. Now since u 2 is assumed to be a solution of x (q+)/q ξ, it follows from Theorem 3.6 that (5.5) is an irreducible factor of F (x) =(x+d)x q (ax + b). As the coefficient of x n in (5.5) is ( nx 0 + nu 2 x )/( u 2 )=, the trace of any root of (5.5) is τ =. It is easy to check that τ(a d)+nb = 0. It follows from (5.) and (5.2) that the roots of (5.5) form a self-dual normal basis. The multiplication table follows from Theorem

20 References [] D.W. Ash, I.F. Blake, and S.A. Vanstone, Low complexity normal bases, Discrete Applied Math. 25 (989), [2] I.F. Blake, S. Gao and R.C. Mullin, Factorization of cx q+ + dx q ax b and normal bases over GF (q), Research report CORR9-26, Faculty of Mathematics, University of Waterloo, 99. [3] S. Gao and H.W. Lenstra, Optimal normal bases, to appear in Designs, Codes and Cryptography, 992. [4] D. Jungnickel, A. J. Menezes and S. A. Vanstone, On the number of self-dual bases of GF (q m ) over GF (q), Proc. Amer. Math. Soc. 09 (990), [5] A. Lempel and M. J. Weinberger, Self-complementary normal bases in finite fields, SIAM J Discr. Math. (988), [6] R.C. Mullin, I.M. Onyszchuk, S.A. Vanstone and R.M. Wilson, Optimal normal bases in GF (p n ), Discrete Applied Math., 22 (988/89), [7] O. Ore, Contributions to the theory of finite fields, Trans. Amer. Math. Soc. 36 (934), [8] V.M. Sidel nikov, On normal bases of a finite field, Math. USSR Sbornik 6(988),

ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N ( ) 451

ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N ( ) 451 ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 451 464 451 ON THE k-normal ELEMENTS AND POLYNOMIALS OVER FINITE FIELDS Mahmood Alizadeh Department of Mathematics Ahvaz Branch Islamic Azad University

More information

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay 1 / 25 Finite Fields Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay September 25, 2014 2 / 25 Fields Definition A set F together

More information

On the Complexity of the Dual Bases of the Gaussian Normal Bases

On the Complexity of the Dual Bases of the Gaussian Normal Bases Algebra Colloquium 22 (Spec ) (205) 909 922 DOI: 0.42/S00538675000760 Algebra Colloquium c 205 AMSS CAS & SUZHOU UNIV On the Complexity of the Dual Bases of the Gaussian Normal Bases Algebra Colloq. 205.22:909-922.

More information

Gauss periods as low complexity normal bases

Gauss periods as low complexity normal bases With M. Christopoulou, T. Garefalakis (Crete) and D. Panario (Carleton) July 16, 2009 Outline 1 Gauss periods as normal bases Normal bases Gauss periods 2 Traces of normal bases The trace of Gauss periods

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

Revisiting Finite Field Multiplication Using Dickson Bases

Revisiting Finite Field Multiplication Using Dickson Bases Revisiting Finite Field Multiplication Using Dickson Bases Bijan Ansari and M. Anwar Hasan Department of Electrical and Computer Engineering University of Waterloo, Waterloo, Ontario, Canada {bansari,

More information

ELEMENTS OF PROVABLE HIGH ORDERS IN FINITE FIELDS

ELEMENTS OF PROVABLE HIGH ORDERS IN FINITE FIELDS ELEMENTS OF PROVABLE HIGH ORDERS IN FINITE FIELDS SHUHONG GAO Abstract. A method is given for constructing elements in Fq n whose orders are larger than any polynomial in n when n becomes large. As a by-product

More information

On the Number of Trace-One Elements in Polynomial Bases for F 2

On the Number of Trace-One Elements in Polynomial Bases for F 2 On the Number of Trace-One Elements in Polynomial Bases for F 2 n Omran Ahmadi and Alfred Menezes Department of Combinatorics & Optimization University of Waterloo, Canada {oahmadid,ajmeneze}@uwaterloo.ca

More information

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases

Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases 1 Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases H. Fan and M. A. Hasan March 31, 2007 Abstract Based on a recently proposed Toeplitz

More information

Gauss Periods as Constructions of Low Complexity Normal Bases

Gauss Periods as Constructions of Low Complexity Normal Bases Noname manuscript No. will be inserted by the editor) Gauss Periods as Constructions of Low Complexity Normal Bases M. Christopoulou T. Garefalakis D. Panario D. Thomson February 16, 2011 Abstract Optimal

More information

COMMUTATIVE PRESEMIFIELDS AND SEMIFIELDS

COMMUTATIVE PRESEMIFIELDS AND SEMIFIELDS COMMUTATIVE PRESEMIFIELDS AND SEMIFIELDS ROBERT S. COULTER AND MARIE HENDERSON Abstract. Strong conditions are derived for when two commutative presemifields are isotopic. It is then shown that any commutative

More information

1 The Galois Group of a Quadratic

1 The Galois Group of a Quadratic Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F

More information

FACTORING IN QUADRATIC FIELDS. 1. Introduction

FACTORING IN QUADRATIC FIELDS. 1. Introduction FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is closed under addition, subtraction, multiplication, and also

More information

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence

More information

Algebraic number theory

Algebraic number theory Algebraic number theory F.Beukers February 2011 1 Algebraic Number Theory, a crash course 1.1 Number fields Let K be a field which contains Q. Then K is a Q-vector space. We call K a number field if dim

More information

On the distribution of irreducible trinomials over F 3

On the distribution of irreducible trinomials over F 3 Finite Fields and Their Applications 13 (2007) 659 664 http://www.elsevier.com/locate/ffa On the distribution of irreducible trinomials over F 3 Omran Ahmadi Department of Combinatorics and Optimization,

More information

New algebraic decoding method for the (41, 21,9) quadratic residue code

New algebraic decoding method for the (41, 21,9) quadratic residue code New algebraic decoding method for the (41, 21,9) quadratic residue code Mohammed M. Al-Ashker a, Ramez Al.Shorbassi b a Department of Mathematics Islamic University of Gaza, Palestine b Ministry of education,

More information

arxiv: v1 [cs.it] 12 Jun 2016

arxiv: v1 [cs.it] 12 Jun 2016 New Permutation Trinomials From Niho Exponents over Finite Fields with Even Characteristic arxiv:606.03768v [cs.it] 2 Jun 206 Nian Li and Tor Helleseth Abstract In this paper, a class of permutation trinomials

More information

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

More information

Homework 8 Solutions to Selected Problems

Homework 8 Solutions to Selected Problems Homework 8 Solutions to Selected Problems June 7, 01 1 Chapter 17, Problem Let f(x D[x] and suppose f(x is reducible in D[x]. That is, there exist polynomials g(x and h(x in D[x] such that g(x and h(x

More information

Fundamental Theorem of Algebra

Fundamental Theorem of Algebra EE 387, Notes 13, Handout #20 Fundamental Theorem of Algebra Lemma: If f(x) is a polynomial over GF(q) GF(Q), then β is a zero of f(x) if and only if x β is a divisor of f(x). Proof: By the division algorithm,

More information

Section VI.33. Finite Fields

Section VI.33. Finite Fields VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,

More information

Explicit Methods in Algebraic Number Theory

Explicit Methods in Algebraic Number Theory Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic

More information

Math 121 Homework 3 Solutions

Math 121 Homework 3 Solutions Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting

More information

Computations/Applications

Computations/Applications Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x

More information

Constructing N-Polynomials over Finite Fields

Constructing N-Polynomials over Finite Fields International Journal of Algebra, Vol. 5, 2011, no. 29, 1437-1442 Constructing N-Polynomials over Finite Fields Mahmood Alizadeh Islamic Azad University- Ahvaz Branch Ahvaz, Iran Alizadeh@iauahvaz.ac.ir

More information

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism 1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials

More information

Formulas for cube roots in F 3 m

Formulas for cube roots in F 3 m Discrete Applied Mathematics 155 (2007) 260 270 www.elsevier.com/locate/dam Formulas for cube roots in F 3 m Omran Ahmadi a, Darrel Hankerson b, Alfred Menezes a a Department of Combinatorics and Optimization,

More information

Course 2316 Sample Paper 1

Course 2316 Sample Paper 1 Course 2316 Sample Paper 1 Timothy Murphy April 19, 2015 Attempt 5 questions. All carry the same mark. 1. State and prove the Fundamental Theorem of Arithmetic (for N). Prove that there are an infinity

More information

Self-reciprocal Polynomials Over Finite Fields

Self-reciprocal Polynomials Over Finite Fields Self-reciprocal Polynomials Over Finite Fields by Helmut Meyn 1 and Werner Götz 1 Abstract. The reciprocal f (x) of a polynomial f(x) of degree n is defined by f (x) = x n f(1/x). A polynomial is called

More information

SOLVING SOLVABLE QUINTICS. D. S. Dummit

SOLVING SOLVABLE QUINTICS. D. S. Dummit D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if

More information

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element

More information

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group.

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group. Algebra Review 2 1 Fields A field is an extension of the concept of a group. Definition 1. A field (F, +,, 0 F, 1 F ) is a set F together with two binary operations (+, ) on F such that the following conditions

More information

An Approach to Hensel s Lemma

An Approach to Hensel s Lemma Irish Math. Soc. Bulletin 47 (2001), 15 21 15 An Approach to Hensel s Lemma gary mcguire Abstract. Hensel s Lemma is an important tool in many ways. One application is in factoring polynomials over Z.

More information

On The Weights of Binary Irreducible Cyclic Codes

On The Weights of Binary Irreducible Cyclic Codes On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:

More information

Coding Theory and Applications. Solved Exercises and Problems of Cyclic Codes. Enes Pasalic University of Primorska Koper, 2013

Coding Theory and Applications. Solved Exercises and Problems of Cyclic Codes. Enes Pasalic University of Primorska Koper, 2013 Coding Theory and Applications Solved Exercises and Problems of Cyclic Codes Enes Pasalic University of Primorska Koper, 2013 Contents 1 Preface 3 2 Problems 4 2 1 Preface This is a collection of solved

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields

Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields K. Guenda Faculty of Mathematics USTHB University of Sciences and Technology of Algiers B.P. 32 El Alia, Bab Ezzouar, Algiers, Algeria

More information

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications 1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Explicit Factorizations of Cyclotomic and Dickson Polynomials over Finite Fields

Explicit Factorizations of Cyclotomic and Dickson Polynomials over Finite Fields Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 2007 Explicit Factorizations of Cyclotomic and Dickson Polynomials over Finite Fields Robert W. Fitzgerald

More information

A Gel fond type criterion in degree two

A Gel fond type criterion in degree two ACTA ARITHMETICA 111.1 2004 A Gel fond type criterion in degree two by Benoit Arbour Montréal and Damien Roy Ottawa 1. Introduction. Let ξ be any real number and let n be a positive integer. Defining the

More information

Correlation of Binary Sequence Families Derived from Multiplicative Character of Finite Fields

Correlation of Binary Sequence Families Derived from Multiplicative Character of Finite Fields Correlation of Binary Sequence Families Derived from Multiplicative Character of Finite Fields Zilong Wang and Guang Gong Department of Electrical and Computer Engineering, University of Waterloo Waterloo,

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

EXPLICIT EVALUATIONS OF SOME WEIL SUMS. 1. Introduction In this article we will explicitly evaluate exponential sums of the form

EXPLICIT EVALUATIONS OF SOME WEIL SUMS. 1. Introduction In this article we will explicitly evaluate exponential sums of the form EXPLICIT EVALUATIONS OF SOME WEIL SUMS ROBERT S. COULTER 1. Introduction In this article we will explicitly evaluate exponential sums of the form χax p α +1 ) where χ is a non-trivial additive character

More information

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002 Background on Groups, Rings, and Finite Fields Andreas Klappenecker September 12, 2002 A thorough understanding of the Agrawal, Kayal, and Saxena primality test requires some tools from algebra and elementary

More information

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13 Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting

More information

A New Algorithm to Compute Terms in Special Types of Characteristic Sequences

A New Algorithm to Compute Terms in Special Types of Characteristic Sequences A New Algorithm to Compute Terms in Special Types of Characteristic Sequences Kenneth J. Giuliani 1 and Guang Gong 2 1 Dept. of Mathematical and Computational Sciences University of Toronto at Mississauga

More information

Parity of the Number of Irreducible Factors for Composite Polynomials

Parity of the Number of Irreducible Factors for Composite Polynomials Parity of the Number of Irreducible Factors for Composite Polynomials Ryul Kim Wolfram Koepf Abstract Various results on parity of the number of irreducible factors of given polynomials over finite fields

More information

Solutions for Field Theory Problem Set 1

Solutions for Field Theory Problem Set 1 Solutions for Field Theory Problem Set 1 FROM THE TEXT: Page 355, 2a. ThefieldisK = Q( 3, 6). NotethatK containsqand 3and 6 3 1 = 2. Thus, K contains the field Q( 2, 3). In fact, those two fields are the

More information

Multiplicative Order of Gauss Periods

Multiplicative Order of Gauss Periods Multiplicative Order of Gauss Periods Omran Ahmadi Department of Electrical and Computer Engineering University of Toronto Toronto, Ontario, M5S 3G4, Canada oahmadid@comm.utoronto.ca Igor E. Shparlinski

More information

Section 33 Finite fields

Section 33 Finite fields Section 33 Finite fields Instructor: Yifan Yang Spring 2007 Review Corollary (23.6) Let G be a finite subgroup of the multiplicative group of nonzero elements in a field F, then G is cyclic. Theorem (27.19)

More information

Information Theory. Lecture 7

Information Theory. Lecture 7 Information Theory Lecture 7 Finite fields continued: R3 and R7 the field GF(p m ),... Cyclic Codes Intro. to cyclic codes: R8.1 3 Mikael Skoglund, Information Theory 1/17 The Field GF(p m ) π(x) irreducible

More information

Math 121 Homework 5 Solutions

Math 121 Homework 5 Solutions Math 2 Homework Solutions Problem 2, Section 4.. Let τ : C C be the complex conjugation, defined by τa + bi = a bi. Prove that τ is an automorphism of C. First Solution. Every element of C may be written

More information

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2. Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d

More information

ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS

ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS TIMO ERKAMA It is an open question whether n-cycles of complex quadratic polynomials can be contained in the field Q(i) of complex rational numbers

More information

Introduction to finite fields

Introduction to finite fields Chapter 7 Introduction to finite fields This chapter provides an introduction to several kinds of abstract algebraic structures, particularly groups, fields, and polynomials. Our primary interest is in

More information

Normal bases and primitive elements over finite fields

Normal bases and primitive elements over finite fields Normal bases and primitive elements over finite fields Giorgos Kapetanakis Department of Mathematics, University of Crete 11th International Conference on Finite Fields and their Applications Giorgos Kapetanakis

More information

DICKSON POLYNOMIALS OVER FINITE FIELDS. n n i. i ( a) i x n 2i. y, a = yn+1 a n+1 /y n+1

DICKSON POLYNOMIALS OVER FINITE FIELDS. n n i. i ( a) i x n 2i. y, a = yn+1 a n+1 /y n+1 DICKSON POLYNOMIALS OVER FINITE FIELDS QIANG WANG AND JOSEPH L. YUCAS Abstract. In this paper we introduce the notion of Dickson polynomials of the k + 1)-th kind over finite fields F p m and study basic

More information

Pencils of Quadratic Forms over Finite Fields

Pencils of Quadratic Forms over Finite Fields Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 2004 Pencils of Quadratic Forms over Finite Fields Robert W. Fitzgerald Southern Illinois University Carbondale,

More information

Moreover this binary operation satisfies the following properties

Moreover this binary operation satisfies the following properties Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................

More information

Optimal Normal Bases. , with a ζ L. Let (aa) aec. be a normal basis for L over K, and let ά(τ, σ) K, for σ, τ ζ G, be such that

Optimal Normal Bases. , with a ζ L. Let (aa) aec. be a normal basis for L over K, and let ά(τ, σ) K, for σ, τ ζ G, be such that Designs, Codes and Cryptography, 2, 315-323 (1992) 1992 Kluwer Academic Pubhshers Manufactured m The Netherlands Optimal Normal Bases SHUHONG GAO Department of Combmatoncs and Optimtzatton, Umvemty of

More information

Analytic Number Theory Solutions

Analytic Number Theory Solutions Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.

More information

Classification of Finite Fields

Classification of Finite Fields Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.

More information

A CONSTRUCTION FOR ABSOLUTE VALUES IN POLYNOMIAL RINGS. than define a second approximation V 0

A CONSTRUCTION FOR ABSOLUTE VALUES IN POLYNOMIAL RINGS. than define a second approximation V 0 A CONSTRUCTION FOR ABSOLUTE VALUES IN POLYNOMIAL RINGS by SAUNDERS MacLANE 1. Introduction. An absolute value of a ring is a function b which has some of the formal properties of the ordinary absolute

More information

M3P11/M4P11/M5P11. Galois Theory

M3P11/M4P11/M5P11. Galois Theory BSc and MSci EXAMINATIONS (MATHEMATICS) May-June 2014 This paper is also taken for the relevant examination for the Associateship of the Royal College of Science. M3P11/M4P11/M5P11 Galois Theory Date:

More information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

arxiv: v1 [math.co] 3 Nov 2014

arxiv: v1 [math.co] 3 Nov 2014 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed

More information

Real representations

Real representations Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where

More information

BURGESS INEQUALITY IN F p 2. Mei-Chu Chang

BURGESS INEQUALITY IN F p 2. Mei-Chu Chang BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,

More information

FINITE FIELD ELEMENTS OF HIGH ORDER ARISING FROM MODULAR CURVES

FINITE FIELD ELEMENTS OF HIGH ORDER ARISING FROM MODULAR CURVES FINITE FIELD ELEMENTS OF HIGH ORDER ARISING FROM MODULAR CURVES JESSICA F. BURKHART, NEIL J. CALKIN, SHUHONG GAO, JUSTINE C. HYDE-VOLPE, KEVIN JAMES, HIREN MAHARAJ, SHELLY MANBER, JARED RUIZ, AND ETHAN

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

Math 210B: Algebra, Homework 6

Math 210B: Algebra, Homework 6 Math 210B: Algebra, Homework 6 Ian Coley February 19, 2014 Problem 1. Let K/F be a field extension, α, β K. Show that if [F α) : F ] and [F β) : F ] are relatively prime, then [F α, β) : F ] = [F α) :

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

School of Mathematics

School of Mathematics School of Mathematics Programmes in the School of Mathematics Programmes including Mathematics Final Examination Final Examination 06 22498 MSM3P05 Level H Number Theory 06 16214 MSM4P05 Level M Number

More information

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,

More information

t s (p). An Introduction

t s (p). An Introduction Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1

More information

Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields

Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary

More information

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY ISAAC M. DAVIS Abstract. By associating a subfield of R to a set of points P 0 R 2, geometric properties of ruler and compass constructions

More information

R. Popovych (Nat. Univ. Lviv Polytechnic )

R. Popovych (Nat. Univ. Lviv Polytechnic ) UDC 512.624 R. Popovych (Nat. Univ. Lviv Polytechnic ) SHARPENING OF THE EXPLICIT LOWER BOUNDS ON THE ORDER OF ELEMENTS IN FINITE FIELD EXTENSIONS BASED ON CYCLOTOMIC POLYNOMIALS ПІДСИЛЕННЯ ЯВНИХ НИЖНІХ

More information

Reducing the Complexity of Normal Basis Multiplication

Reducing the Complexity of Normal Basis Multiplication Reducing the Complexity of Normal Basis Multiplication Ömer Eǧecioǧlu and Çetin Kaya Koç Department of Computer Science University of California Santa Barbara {omer,koc}@cs.ucsb.edu Abstract In this paper

More information

Discrete Math, Second Problem Set (June 24)

Discrete Math, Second Problem Set (June 24) Discrete Math, Second Problem Set (June 24) REU 2003 Instructor: Laszlo Babai Scribe: D Jeremy Copeland 1 Number Theory Remark 11 For an arithmetic progression, a 0, a 1 = a 0 +d, a 2 = a 0 +2d, to have

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Let F be a field, M n (F ) the algebra of n n matrices over F and

More information

ON THE NUMBER OF SELF-DUAL BASES OF GFiq'") OVER GFiq) DIETER JUNGNICKEL, ALFRED J. MENEZES, AND SCOTT A. VANSTONE. (Communicated by Andrew Odlyzko)

ON THE NUMBER OF SELF-DUAL BASES OF GFiq') OVER GFiq) DIETER JUNGNICKEL, ALFRED J. MENEZES, AND SCOTT A. VANSTONE. (Communicated by Andrew Odlyzko) proceedings of the american mathematical society Volume 109. Number 1. May 1990 ON THE NUMBER OF SELF-DUAL BASES OF GFiq'") OVER GFiq) DIETER JUNGNICKEL, ALFRED J. MENEZES, AND SCOTT A. VANSTONE (Communicated

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

An Additive Characterization of Fibers of Characters on F p

An Additive Characterization of Fibers of Characters on F p An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009

More information

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

More information

Golomb-Lempel Construction of Costas Arrays Revisited

Golomb-Lempel Construction of Costas Arrays Revisited International Journal of Mathematics and Computer Science, 10(2015), no. 2, 239 249 M CS Golomb-Lempel Construction of Costas Arrays Revisited Ishani Barua University of Engineering & Management Jaipur,

More information

Algebra Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions. Thomas Goller Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

More information

Trace Representation of Legendre Sequences

Trace Representation of Legendre Sequences C Designs, Codes and Cryptography, 24, 343 348, 2001 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. Trace Representation of Legendre Sequences JEONG-HEON KIM School of Electrical and

More information

Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets

Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets Navid Nasr Esfahani, Ian Goldberg and Douglas R. Stinson David R. Cheriton School of Computer Science University of

More information

Rings. EE 387, Notes 7, Handout #10

Rings. EE 387, Notes 7, Handout #10 Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for

More information

D-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field

D-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field D-MATH Algebra I HS17 Prof. Emmanuel Kowalski Solution 1 Algebraic closure, splitting field 1. Let K be a field of characteristic and L/K a field extension of degree. Show that there exists α L such that

More information

Integral bases and monogenity of pure fields

Integral bases and monogenity of pure fields arxiv:1809.10084v1 [math.nt] 26 Sep 2018 Integral bases and monogenity of pure fields István Gaál, and László Remete University of Debrecen, Mathematical Institute H 4002 Debrecen Pf.400., Hungary e mail:

More information

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8 Contents 17 Galois Fields 2 17.1 Introduction............................... 2 17.2 Irreducible Polynomials, Construction of GF(q m )... 3 17.3 Primitive Elements... 6 17.4 Roots of Polynomials..........................

More information

Montgomery Multiplier and Squarer in GF(2 m )

Montgomery Multiplier and Squarer in GF(2 m ) Montgomery Multiplier and Squarer in GF( m ) Huapeng Wu The Centre for Applied Cryptographic Research Department of Combinatorics and Optimization University of Waterloo, Waterloo, Canada h3wu@cacrmathuwaterlooca

More information

Repeated-Root Self-Dual Negacyclic Codes over Finite Fields

Repeated-Root Self-Dual Negacyclic Codes over Finite Fields Journal of Mathematical Research with Applications May, 2016, Vol. 36, No. 3, pp. 275 284 DOI:10.3770/j.issn:2095-2651.2016.03.004 Http://jmre.dlut.edu.cn Repeated-Root Self-Dual Negacyclic Codes over

More information