Ternary Kloosterman sums using Stickelbergers theorem and

the Gross-Koblitz formula

Faruk G olo glu

, Gary McGuire

, Richard Moloney

School of Mathematical Sciences

University College Dublin
Ireland
October 13, 2010
Abstract
We give results characterising ternary Kloosterman sums modulo 9 and 27. This
leads to a complete characterisation of values that ternary Kloosterman sums assume
modulo 18 and 54. The proofs uses Stickelbergers theorem, the Gross-Koblitz formula
and Fourier analysis.
Keywords: Kloosterman sums, Stickelbergers theorem, Gross-Koblitz formula
1 Introduction
Let /
p
n(a) denote the p-ary Kloosterman sum dened by
/
p
n(a) :=

xF
p
n

Tr(x
p
n
2
+ax)
,
for any a F
p
n, where is a primitive p-th root of unity and Tr denotes the absolute trace
map Tr : F
p
n F
p
dened as usual as
Tr(c) := c + c
p
+ c
p
2
+ + c
p
n1
.
Kloosterman sums have attracted attention thanks to their various links to other related
elds. For instance, a zero of a binary Kloosterman sum on F
2
n leads to a bent function from

Research supported by Claude Shannon Institute, Science Foundation Ireland Grant 06/MI/006

Research supported by Claude Shannon Institute, Science Foundation Ireland Grant 06/MI/006, and
the Irish Research Council for Science, Engineering and Technology
1
F
2
2n F
2
as proven by Dillon in [2]. Similarly, zeros of ternary Kloosterman sums give
rise to ternary bent functions [6]. However determining a zero of a Kloosterman sum is not
easy. A recent result in this direction is the following: a binary or ternary Kloosterman sum
/
p
n(a) is not zero if a is in a proper subeld of F
p
n except when p = 2, n = 4, a = 1, see [14].
Given the diculty of the problem of nding zeros (or explicit values) of Kloosterman sums,
and that they sometimes do not exist, one is generally satised with divisibility results and
characterisation of Kloosterman sums modulo some integer (see [15, 13, 3, 1, 14]).
It is easy to see that binary Kloosterman sums are divisible by 4 = 2
2
, i.e., for all a
F
2
n,
/
2
n(a) 0 (mod 4). (1)
They also satisfy (see [10])
2
n/2+1
/
2
n(a) 2
n/2+1
,
and take every value which is congruent to 0 modulo 4 in that range.
Helleseth and Zinoviev proved the following result which improved (1) one level higher,
i.e., modulo 2
3
, in the sense of describing the a for which /
2
n(a) is 0 or 4 modulo 8.
Theorem 1. [7] For a F
2
n,
/
2
n(a)
_
0 (mod 8) if Tr(a) = 0,
4 (mod 8) if Tr(a) = 1.
Similar to the binary case, it is easy to see that ternary Kloosterman sums are divisible by
3, i.e., for all a F
3
n,
/
3
n(a) 0 (mod 3). (2)
Ternary Kloosterman sums satisfy (see Katz and Livne [8])
2

3
n
< /
3
n(a) < 2

3
n
and take every value which is congruent to 0 modulo 3 in that range.
We will prove the following theorem, a simple characterisation of ternary Kloosterman
sums modulo 3
2
using the trace map (similar to Helleseth-Zinoviev result for binary case),
by using Stickelbergers theorem.
Theorem 2. For a F
3
n,
/
3
n(a)
_
_
_
0 (mod 9) if Tr(a) = 0,
3 (mod 9) if Tr(a) = 1,
6 (mod 9) if Tr(a) = 2.
2
This result is implied by a result of van der Geer and van der Vlugt [18].
We will also give a characterisation modulo 3
3
of Kloosterman sums, using the Gross-
Koblitz formula. The characterisation will depend on a generalisation of the trace function.
Note that the trace of an element a F
q
can be written as
Tr(a) :=

iW
1
a
i
,
where W
1
:= p
i
[ i 0, . . . , n1. We will use a generalised trace
S
: F
p
n F
p
,

S
(a) :=

iS
a
i
,
where S can be assigned to any subset of 0, . . . , p
n
2 satisfying
S
p
:= s
p
(mod p
n
1) [ s S = S,
particularly quadratic and cubic powers of p, in contrast to the set of linear powers
W
1
.
We will dene the sets
X := r 0, . . . , q 2[r = 3
i
+ 3
j
, (i, j not necessarily distinct)
Y := r 0, . . . , q 2[r = 3
i
+ 3
j
+ 3
k
, i, j, k distinct,
Z := r 0, . . . , q 2[r = 2 3
i
+ 3
j
, i ,= j.
Our main result is
Theorem 3. Let n 3, and let q = 3
n
. Then
/
q
(a)
_

_
0 (mod 27) if Tr(a) = 0 and
Y
(a) +2
X
(a) = 0
3 (mod 27) if Tr(a) = 1 and
Y
(a) = 2
6 (mod 27) if Tr(a) = 2 and
Y
(a) +
X
(a) = 2
9 (mod 27) if Tr(a) = 0 and
Y
(a) +2
X
(a) = 1
12 (mod 27) if Tr(a) = 1 and
Y
(a) = 0
15 (mod 27) if Tr(a) = 2 and
Y
(a) +
X
(a) = 0
18 (mod 27) if Tr(a) = 0 and
Y
(a) +2
X
(a) = 2
21 (mod 27) if Tr(a) = 1 and
Y
(a) = 1
24 (mod 27) if Tr(a) = 2 and
Y
(a) +
X
(a) = 1.
Recently, we have proved a similar result for the binary case, using
Q
, where Q := 2
i
+
2
j
[ i, j 0, . . . , n 1, i ,= j.
3
Theorem 4. [4] For a F
2
n,
/
2
n(a)
_

_
0 (mod 16) if Tr(a) = 0 and
Q
(a) = 0,
4 (mod 16) if Tr(a) = 1 and
Q
(a) = 1,
8 (mod 16) if Tr(a) = 0 and
Q
(a) = 1,
12 (mod 16) if Tr(a) = 1 and
Q
(a) = 0.
For the ternary case we mention a recent result due to Lisonek [13] that gives a description
of the elements a F
3
n for which /(a) 0 (mod 9), which is also implied by the van der
Geer-van der Vlugt result.
Theorem 5. [13] Let n 2. For any a F
3
n, /
3
n(a) is divisible by 9 if and only if
Tr(a) = 0.
In Sections 2 and 3, we will introduce the techniques we use. In Section 4 we will give the
results modulo 9. In Section 5 we will give the modulo 27 result.
2 Stickelbergers theorem
Let p be a prime (in Section 4 we set p = 3). Consider multiplicative characters taking their
values in an algebraic extension of Q
p
. Let be a primitive (q 1)
th
root of unity in a xed
algebraic closure of Q
p
. The group of multiplicative characters of F
q
(denoted

F

q
) is cyclic
of order q 1. The group

F

q
is generated by the Teichm uller character : F
q
Q
p
(),
which, for a xed generator t of F

q
, is dened by (t
j
) =
j
. We set (0) to be 0. An
equivalent denition is that satises
(a) a (mod p)
for all a F
q
.
Let be a xed primitive p-th root of unity in the xed algebraic closure of Q
p
. Let be
the canonical additive character of F
q
,
(x) =
Tr(x)
where Tr denotes the absolute trace map from F
q
to F
p
.
The Gauss sum (see [12, 20]) of a character

F

q
is dened as
() =

xFq
(x)(x) .
4
We dene
g(j) := (
j
) .
For any positive integer j, let wt
p
(j) denote the p-weight of j, i.e.,
wt
p
(j) =

i
j
i
where

i
j
i
p
i
is the p-ary expansion of j.
Let be the unique (p 1)th root of p in Q
p
(, ) satisfying
1 (mod
2
) .
Wan [19] noted that the following improved version of Stickelbergers theorem is a direct
consequence of the Gross-Koblitz formula (see Section 5).
Theorem 6. [19] Let 1 j < q 1 and let j = j
0
+ j
1
p + + j
n1
p
n1
. Then
g(j)

wtp(j)
j
0
! j
n1
!
(mod
wtp(j)+p1
) .
Stickelbergers theorem, as usually stated, is the same congruence modulo
wtp(j)+1
.
We have (see [5]) that () is the unique prime ideal of Q
p
(, ) lying above p. Since Q
p
(, )
is an unramied extension of Q
p
(), a totally ramied (degree p 1) extension of Q
p
, it
follows that ()
p1
= (p) and
p
() =
1
p1
. Here
p
denotes the p-adic valuation.
Therefore Theorem 6 implies that

(g(j)) = wt
p
(j), and because
p
(g(j)) =

(g(j))
p
()
we get

p
(g(j)) =
wt
p
(j)
p 1
. (3)
In this paper we have p = 3. In that case, = 2 1 and
2
= 3. Hence (3)
becomes

3
(g(j)) =
wt
3
(j)
2
. (4)
3 Fourier coecients
The Fourier transform of a function f : F
q
C at a F
q
is dened to be

f(a) =

xFq
f(x)(ax) .
5
The complex number

f(a) is called the Fourier coecient of f at a.
Consider monomial functions dened by f(x) = (x
d
). When d = 1 we have

f(a) =
/
p
n(a). By a similar Fourier analysis argument to that in Katz [9] or Langevin-Leander
[11], for any d we have

f(a) =
q
q 1
+
1
q 1
q2

j=1
(
j
) (
jd
)
jd
(a)
and hence

f(a)
q2

j=1
(
j
) (
jd
)
jd
(a) (mod q) .
We will use this to obtain congruence information about Kloosterman sums. Putting
d = 1 = p
n
2, the previous congruence becomes
/(a)
q2

j=1
(g(j))
2

j
(a) (mod q). (5)
In this paper, p = 3. Equation (4) gives the 3-adic valuation of the Gauss sums g(j), and
the 3-adic valuation of each term in equation (5) follows. Our proofs will consider (5) at
various levels, i.e., modulo 3
2
and 3
3
.
4 Ternary Kloosterman sums modulo 9
In this section we will prove our result using Stickelbergers theorem. First we need a
lemma which helps us in our proof.
Lemma 7. Let p be a prime, q = p
n
and r F

p
. If T
r
denotes the set a F
q
[ Tr(a) = r,
then

tTr
t
1
= r
1
.
Proof. Consider the polynomials
g(x) =

tTr
(x t) ,
h(x) =

tTr
(x t
1
) .
6
Note that g(x) vanishes on the p
n1
elements of T
r
. Thus
g(x) = x
p
n1
+ x
p
n2
+ + x r.
In particular,

tTr
(t) = r,
so

tTr
(t
1
) = r
1
.
The reciprocal polynomial of g is g

(x) = x
p
n1
g(1/x).
We therefore get
h(x) = r
1
g

(x)
= r
1
x
p
n1
g(1/x)
= x
p
n1
r
1
x
p
n1
1
r
1
x
p
n1
p
n2
r
1
.
Thus

tTr
(t
1
) = r
1
.
From now on, we set p = 3, so that /
q
(a) is an integer for a F
q
. Since there will not be
any confusion with binary Kloosterman sums we will write /(a) for /
q
(a). We consider
the function f(x) = (x
1
) = (x
q2
). Then

f(a) is the Kloosterman sum /(a). The
following lemma will be needed.
Lemma 8. Let q = 3
n
, and T
1
be as dened above. Then

zT
1
(z) 1 (mod 3).
Proof. Follows directly from Lemma 7 and the denition of the Teichm uller character.
We can now state our main result of this section.
Theorem 9. Let q = 3
n
for some integer n > 1. For a F
q
,
/
q
(a)
_
_
_
0 (mod 9) if Tr(a) = 0,
3 (mod 9) if Tr(a) = 1,
6 (mod 9) if Tr(a) = 2.
7
Proof. By (5)
/(a)
q2

j=1
g(j)
2

j
(a) (mod q) . (6)
Let, for any 0 < t < q 1, the 3-adic expansion of t be t = t
0
+ 3t
1
+ + 3
n1
t
n1
and
let T be the prime of Q
3
(, ) lying above 3. As we mentioned in Section 2, Stickelbergers
theorem implies that

P
(g(t)) = wt
3
(t) = t
0
+ t
1
+ + t
n1

3
(g(t)) =
wt
3
(t)
2
,
and so
3
((g(t))
2
) = wt
3
(t). (7)
Now (7) implies that any term in the sum in (6) with wt
3
(j) > 1 will be 0 modulo 9, so
(6) modulo 9 becomes a sum over terms of weight 1 only:
/(a)

0i<n
g(3
i
)
2

3
i
(a) (mod 9) .
By Lemma 6.5 of [20], g(3
i
) = g(1), so we obtain
/(a) g(1)
2

0i<n

3
i
(a) (mod 9) . (8)
By denition of , we have

0i<n

3
i
(a) Tr(a) (mod 3) . (9)
Since
3
(g(1)
2
) = wt
3
(1) = 1, the proof of the theorem reduces to determining g(1)
2
mod 9.
We calculate, using the notation of Lemma 7,
g(1) =

xF

q
(x)
Tr(x)
=

xT
0
(x)

xT
1
(x)

xT
1
(x)
2
= (
2
)

xT
1
(x)
because (x) = (x), T
2
= T
1
, and the sum over T
0
is 0. This implies
g(1)
2
= (
2
)
2
_
_

xT
1
(x)
_
_
2
.
8
But we have (
2
)
2
= 3. This, together with Lemma 8, implies
g(1)
2
6 (mod 9). (10)
Combining this with (9), the congruence (8) becomes
/(a) 3 Tr(a) (mod 9)
as required.
Garaschuk and Lisonek proves the following theorem which characterises ternary Kloost-
erman sums modulo 2.
Theorem 10. [14] Let

a denote any b F
3
n such that b
2
= a.
/
3
n(a)
_
0 (mod 2) if a = 0 or a is a square and Tr(

a) ,= 0,
1 (mod 2) otherwise.
Theorem 9 and Theorem 10 together give a full characterisation of ternary Kloosterman
sums modulo 18, which we summarise in the following corollary.
Corollary 11. Let q = 3
n
. For a F

q
,
/
q
(a)
_

_
0 (mod 18) if Tr(a) = 0 and a square with Tr(

a) ,= 0,
3 (mod 18) if Tr(a) = 1 and a non-square or Tr(

a) = 0,
6 (mod 18) if Tr(a) = 2 and a square with Tr(

a) ,= 0,
9 (mod 18) if Tr(a) = 0 and a non-square or Tr(

a) = 0,
12 (mod 18) if Tr(a) = 1 and a square with Tr(

a) ,= 0,
15 (mod 18) if Tr(a) = 2 and a non-square or Tr(

a) = 0.
5 Ternary Kloosterman sums modulo 27
To be able to give higher level congruences we will need a result stronger than Stickel-
bergers theorem. Recall that Gauss sums lie in Z
p
[, ], and that () is the unique prime
ideal of Z
p
[, ] lying above p. All congruences involving Gauss sums take place in this
ring, so when we write g(j)
2
6 (mod 27) we mean that g(j)
2
6 is in the ideal (27). The
Gross-Koblitz formula [5, 17] states that
g(j) =
wtp(j)
n1

i=0

p
__
p
i
j
q 1
__
(11)
where x) is the fractional part of a rational number x, and
p
is the p-adic Gamma function

p
: N N dened by (cf. [16])
9

p
(k) = (1)
k

t<k
(t,p)=1
t .
The following result helps one computing the p-adic Gamma function modulo p
k
.
Theorem 12 (Generalised Wilsons theorem). [16]
Suppose x y (mod p
k
). If p
k
,= 4, then

p
(x)
p
(y) (mod p
k
).
This theorem is actually a consequence of Gauss generalisation of Wilsons theorem. Now
let us prove a lemma on evaluations of the p-adic Gamma function. This lemma will allow
us to evaluate Gauss sums for higher moduli and nd Kloosterman congruences modulo
27.
Lemma 13. Let q = 3
n
and let i be an integer in the range [0, n 1]. Then

3
__
3
i
q 1
__

_
13 (mod 27) if i = 1,
1 (mod 27) if i > 1.
Proof. For any j, we have 3
j
q, and
_
3
i
q 1
_
=
3
i
q 1
3
i
(3
j
1) (mod 3
j
),
so

3
__
3
i
q 1
__

3
(26 3
i
) (mod 27).
If i 3, then 26 3
i
0 (mod 27), and

3
__
3
i
q 1
__
1 (mod 27) ,
Now
3
(26 3)
3
(24) (mod 27) using Generalised Wilsons theorem. And
3
(24) 13
(mod 9). Similarly:

3
(26 9) 1 (mod 27).
Lemma 13 allows us to compute Gauss sums modulo 27:
10
Lemma 14. Let q = 3
n
. Then
g(j)
2

_
_
_
6 (mod 27) if wt
p
(j) = 1,
9 (mod 27) if wt
p
(j) = 2,
0 (mod 27) if wt
p
(j) 3.
Proof. Suppose wt
p
(j) = 1. By the Gross-Koblitz formula and Lemma 13,
g(j) 13 (mod 27).
Let
g(j) = 27A + 13
for some A Z
p
[, ]. Then
g(j)
2
= 27
2
A
2
+ 2 27 13A + 169
2
169
2
(mod 27)
6 (mod 27)
since
2
= 3. Now suppose wt
p
(j) = 2. By the Gross-Koblitz formula,
g(j) 3 (mod 9).
Thus g(j) = 9X 3 for some X Z
p
[, ], so
g(j)
2
= 81X
2
54X + 9 9 (mod 27).
It is clear from the Gross-Koblitz formula that if wt
p
(j) > 2, then
27[
2 wtp(j)
[g(j)
2
.
Consider again the trace function Tr : F
p
n F
p
,
Tr(c) = c + c
p
+ c
p
2
+ + c
p
n1
.
We wish to generalise this denition to a larger class of nite eld sums, which includes
the usual trace function as a special case.
Denition 1. Let p be a prime, let n 1 be an integer and let q = p
n
. For any
S Z/(q 1)Z satisfying S
p
= S where S
p
:= s
p
[ s S, dene the S-trace to be the
function
S
: F
q
F
p
,

S
(c) :=

sS
c
s
.
11
Let
X := r 0, . . . , q 2[r = 3
i
+ 3
j
, (i, j not necessarily distinct)
Y := r 0, . . . , q 2[r = 3
i
+ 3
j
+ 3
k
, i, j, k distinct,
Z := r 0, . . . , q 2[r = 2 3
i
+ 3
j
, i ,= j.
Now we are ready to prove our result on Kloosterman sums modulo 27.
Theorem 15. Let /
q
be the usual q-ary Kloosterman sum, let

Tr(a) =

wt
3
(i)=1

i
(a), and let
X
(a) =

wt
3
(j)=2

j
(a).
Then
/
3
n(a) 21

Tr(a) + 18
X
(a) (mod 27). (12)
Proof. Using (5) and Lemma 14, we get
/(a)
q2

j=1
g(j)
2

j
(a) (mod q)

wt
3
(j)=1
g(j)
2

j
(a)

wt
3
(j)=2
g(j)
2

j
(a) (mod 27)
6

wt
3
(j)=1

j
(a) 9

wt
3
(j)=2

j
(a) (mod 27)
21

Tr(a) + 18
X
(a) (mod 27).
It would be preferable to express the above result in terms of operations within F
q
itself.
Note that in (12) we only need

Tr(a) modulo 9 and

X
(a) modulo 3. We have

X
(a)
X
(a) (mod 3).
We need to nd some condition for

Tr(a) modulo 9 using functions from F

q
to F
p
. We will
do that in the proof of the following corollary.
Corollary 16. Let n 3, and let q = 3
n
. Then
/
q
(a) 21 Tr(a)
3
+ 18
Z
(a) + 9
Y
(a) + 18
X
(a) (mod 27).
12
Proof. First note that

Q(a)
X
(a) (mod 3), by the basic property of the Teichm uller
character.
To determine

Tr(a) mod 9, we compute

Tr(a)
3
=

i,j,k{0,...,n1}
(a
3
i
+3
j
+3
k
)
=

Tr(a) + 3

rZ
(a
r
) + 6

rY
(a
r
) ,
and note the elementary fact that if x y (mod m), then x
m
y
m
(mod m
2
). This
means that

Tr(a)
3
mod 9 is given by

Tr(a) mod 3 = Tr(a), i.e.

Tr(a)
3
mod 9 = Tr(a)
3
.
Since

rZ
(a
r
)
Z
(a) (mod 3)
and

rY
(a
r
)
Y
(a) (mod 3) ,
we have that

Tr(a) Tr(a)
3
3
Z
(a) 6
Y
(a) (mod 9),
proving the result.
Note that
Tr(a)
X
(a) = Tr(a) + 2
Z
(a) .
Thus Corollary 16 can be rewritten as
/
q
(a) 21 Tr(a)
3
+ 18 Tr(a) + 18
X
(a) + 9 Tr(a)
X
(a) + 9
Y
(a) (mod 27). (13)
The smallest eld for which each of the 27 possible values of (Tr(a),
X
(a),
Y
(a)) occurs
is F
3
6.
Corollary 17. Let n 3, and let q = 3
n
. Then
/
q
(a)
_

_
0 (mod 27) if Tr(a) = 0 and
Y
(a) +2
X
(a) = 0
3 (mod 27) if Tr(a) = 1 and
Y
(a) = 2
6 (mod 27) if Tr(a) = 2 and
Y
(a) +
X
(a) = 2
9 (mod 27) if Tr(a) = 0 and
Y
(a) +2
X
(a) = 1
12 (mod 27) if Tr(a) = 1 and
Y
(a) = 0
15 (mod 27) if Tr(a) = 2 and
Y
(a) +
X
(a) = 0
18 (mod 27) if Tr(a) = 0 and
Y
(a) +2
X
(a) = 2
21 (mod 27) if Tr(a) = 1 and
Y
(a) = 1
24 (mod 27) if Tr(a) = 2 and
Y
(a) +
X
(a) = 1.
13
Proof. Restatement of equation 13.
The Kloosterman sums modulo 54 can be given by combining (16) and Theorem 10.
References
[1] Pascale Charpin, Tor Helleseth, and Victor Zinoviev. The divisibility modulo 24 of
Kloosterman sums on GF(2
m
), m odd. Journal of Combinatorial Theory, 114:332
338, 2007.
[2] J. F. Dillon. Elementary Hadamard Dierence Sets. PhD thesis, University of Mary-
land, 1974.
[3] Kseniya Garaschuk and Petr Lisonek. On binary Kloosterman sums divisible by 3.
Designs, Codes and Cryptography, 49:347357, 2008.
[4] Faruk Gologlu, Gary McGuire, and Richard Moloney. Binary Kloosterman sums using
Stickelbergers theorem and the Gross-Koblitz formula. Submitted, 2010.
[5] Benedict H. Gross and Neal Koblitz. Gauss sums and the p-adic -function. Ann. of
Math. (2), 109(3):569581, 1979.
[6] Tor Helleseth and Alexander Kholosha. Monomial and quadratic bent functions over
the nite elds of odd characteristic. IEEE Trans. Inform. Theory, 52(5):20182032,
2006.
[7] Tor Helleseth and Victor Zinoviev. On Z
4
-linear Goethals codes and Kloosterman
sums. Designs, Codes and Cryptography, 17:269288, 1999.
[8] Nicholas Katz and Ron Livne. Sommes de Kloosterman et courbes elliptiques uni-
verselles caracteristiques 2 et 3. C. R. Acad. Sci. Paris Ser. I Math., 309(11):723726,
1989.
[9] Nicholas M. Katz. Gauss sums, Kloosterman sums, and monodromy groups, volume
116 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ,
1988.
[10] G. Lachaud and J. Wolfmann. The weights of the orthogonals of the extended
quadratic binary Goppa codes. IEEE Trans. Inform. Theory, 36(3):686692, 1990.
[11] Philippe Langevin and Gregor Leander. Monomial bent functions and Stickelbergers
theorem. Finite Fields and Their Applications, 14:727742, 2008.
[12] Rudolf Lidl and Harald Niederreiter. Introduction to Finite Fields and Their Appli-
cations. Cambridge University Press, 1986.
14
[13] Petr Lisonek. On the connection between Kloosterman sums and elliptic curves. In
Solomon W. Golomb, Matthew G. Parker, Alexander Pott, and Arne Winterhof,
editors, SETA, volume 5203 of Lecture Notes in Computer Science, pages 182187.
Springer, 2008.
[14] Petr Lisonek and Marko Moisio. On zeros of Kloosterman sums. To appear, 2009.
[15] Marko Moisio. The divisibility modulo 24 of Kloosterman sums on GF(2
m
), m even.
Finite Fields and Their Applications, 15:174184, 2009.
[16] Yasuo Morita. A p-adic analogue of the -function. J. Fac. Sci. Univ. Tokyo Sect. IA
Math., 22(2):255266, 1975.
[17] Alain Robert. The Gross-Koblitz formula revisited. Rendiconti del Seminario Matem-
atico della Universit`a di Padova, 105:157 170, 2001.
[18] Gerard van der Geer and Marcel van der Vlugt. Kloosterman sums and the p-torsion
of certain Jacobians. Math. Ann., 290(3):549563, 1991.
[19] Da Qing Wan. Minimal polynomials and distinctness of Kloosterman sums. Finite
Fields Appl., 1(2):189203, 1995. Special issue dedicated to Leonard Carlitz.
[20] Lawrence C. Washington. Introduction to Cyclotomic Fields. Springer, 1982.
15