A congruence modulo 4 for Kloosterman sums over finite fields of characteristic 3
type: Item
instance of: scholarly article
zbMATH Open document ID: 1274.11171
author: Changhyon Sin
publication date: 2013-08-29T00:00:00Z
Mathematics Subject Classification ID: 11T23
Mathematics Subject Classification ID: 11L05
zbMATH DE Number: 6203037
zbMATH Keywords: Kloosterman sum
zbMATH Keywords: congruence
zbMATH Keywords: exponential sum
MaRDI profile type: Publication
Recommended article: Q3089365
Recommended article: New Kloosterman sum identities and equalities over finite fields
Recommended article: The divisibility modulo 24 of Kloosterman sums on \(\text{GF}(2^m)\), \(m\) even
Recommended article: Some congruences of Kloosterman sums and their characteristic polynomials
Recommended article: Ternary Kloosterman sums modulo 4
Recommended article: A note on the distinctness of some Kloosterman sums
Recommended article: On a new identity for Kloosterman sums and nonlinear system of equations over finite fields of characteristic 2.
Recommended article: Q4778412
Recommended article: On classical Kloosterman sums
Recommended article: On zeros of Kloosterman sums
title: A congruence modulo 4 for Kloosterman sums over finite fields of characteristic 3
published in: Doklady Bolgarskoĭ Akademii Nauk
review text: Let \(\mathbb F\) be a finite field of characteristic \(p\) with \(q = p^ m\) elements, and let \(a\) and \(c\) be elements of \(\mathbb F\). The Kloosterman sum \(K(a, c; m)\) is defined as \(\sum _ {x \in\mathbb F*} \omega ^ {\text{Tr}(ax+cx ^ {-1})}\), where \(\omega \) is a complex primitive \(p\)-th root of unity, and Tr is the trace map from \(\mathbb F\) to the prime subfield \(\mathbb F_ p\) of \(\mathbb F\). It is easy to see that \(K(a, c; m)\) is a real algebraic integer lying in the field \(\mathbb Q(\omega)\), which implies that \(K(a, c; m) \in \mathbb Q(\omega + \omega ^ {-1})\). In particular, \(K(a, c; m) \in \mathbb Z\), provided that \(p = 3\). Henceforth, we assume that \(p = 3\) and \(c = 1\), and put \(K(a; m) = K(a, 1; m)\). As an answer to a problem posed by Garaschuk and Lisoněk, the paper under review characterizes those \(a \in \mathbb F\) for which \(K(a; m)\) is congruent to \(\varepsilon\) modulo \(4\), where \(\varepsilon\) equals \(1\) or \(3\). The characterization depends on whether or not \(m\) is even. The analogous problem, for \(\varepsilon = 0\) and \(\varepsilon = 2\) has already been solved by \textit{K. Garaschuk} and \textit{P. Lisoněk} [Finite Fields Appl. 14, No. 4, 1083--1090 (2008; Zbl 1179.11046)].
reviewed by: Ivan D. Chipchakov
description: scientific article; zbMATH DE number 6203037