Complete Congruences of Jacobi sums of order 2l^2 with prime l

Md Helal Ahmed,Jagmohan Tanti

DOI: https://doi.org/10.48550/arXiv.1902.10512

2019-11-25

Abstract:The congruences for Jacobi sums of some lower orders has been treated by many authors in the literature. In this paper we establish the congruences for Jacobi sums of order 2l^2 with odd prime l. These congruences are useful to obtain algebraic and arithmetic characterizations for Jacobi sums of order 2l^2 .

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to establish congruences of Jacobi sums of order \(2l^2\), where \(l\) is an odd prime. Specifically, the author aims to express these congruences in terms of the coefficients of Jacobi sums of order \(l\). Such congruences are very useful for obtaining algebraic and arithmetic characterizations of Jacobi sums of order \(2l^2\).

### Problem Background

Jacobi sums are an important class of number - theoretic objects and have wide applications in finite fields. For some Jacobi sums of lower orders, their congruence properties have been dealt with in many literatures. For example:

- Dickson [7] studied the congruence properties of Jacobi sums of order \(l\).
- Parnami, Agrawal and Rajwade [14] calculated the congruence properties of Jacobi sums of order \(l\).
- Iwasawa [10] and Parnami, Agrawal and Rajwade [13] further extended these results.
- Acharya and Katre [1] studied the congruence properties of Jacobi sums of order \(2l\).
- Katre and Rajwade [11] studied the congruence properties of Jacobi sums of order 9.
- Shirolkar and Katre [15] studied the congruence properties of Jacobi sums of order \(l^2\).

However, for the congruence properties of Jacobi sums of order \(2l^2\), there has been no systematic study in previous literatures. Therefore, this paper fills this gap.

### Main Contributions

The main contributions of this paper are:

1. **Establishing congruences of Jacobi sums of order \(2l^2\)**: The author analyzed in detail the values of \(n\) in different cases and gave specific congruence formulas.

- When \(n = l^2\):
\[
J_{2l^2}(1, l^2)\equiv\zeta^{-w}_{l^2}\left(- 1+\sum_{i = 3}^{l}c_{i,(l^2 - 1)/2}(\zeta_{l^2}-1)^i\right)\pmod{(1-\zeta_{l^2})^{l + 1}}
\]

- When \(n=dl\) (\(d\) is an odd number and \(d\neq l\)):
\[
J_{2l^2}(1, dl)\equiv-\zeta^{-w(dl + 1)}_{l^2}\left(-1+\sum_{i = 3}^{l}c_{i,(l^2 - 1)/2}(\zeta_{l^2}-1)^i\right)\left(-1+\sum_{i = 3}^{l}c_{i,dl - 1}(\zeta_{(1 - l^2)/2}-1)^i\right)\pmod{(1-\zeta_{l^2})^{l + 1}}
\]

- When \(\gcd(n,2l^2)=1\) and \(1\leq n<2l^2 - 1\):
\[
J_{2l^2}(1, n)\equiv\zeta^{-w(n + 1)}_{l^2}\left(-1+\sum_{i = 3}^{l}c_{i,(l^2 - 1)/2}(\zeta_{l^2}-1)^i\right)\left(-1+\sum_{i = 3}^{l}c_{i,(l^2 - 1)/2}(\zeta_n-1)^i\right)\left(-1+\sum_{i = 3}^{l}c_{i,(- 1 - n)}(\zeta_{(1 - l^2)/2}-1)^i\right)