This paper determines congruence relations for the Jacobi sum J(1, 1)₄₉ of order 49 over finite fields F_p. The research further demonstrates that simpler congruence relations exist for J(1, 1)₄₉ when considering artiad primes and hyperartiad primes.
Study the 49-order Jacobi sum over finite fields F_p (p ≡ 1 (mod 49)): where χ is a multiplicative character defined by primitive 49-th roots of unity.
Based on the Shirolkar-Katre theorem, for prime l > 3 and 1 ≤ n ≤ l² - 1:
-1 + \sum_{i=3}^l c_{i,n}(\zeta-1)^i \pmod{(1-\zeta)^{l+1}} & \text{if } \gcd(l,n) = 1 \\ -1 \pmod{(1-\zeta)^{l+1}} & \text{if } \gcd(l,n) = l \end{cases}$$ #### 2. Cyclotomic Number Theory of Order 7 Utilizing the Leonard-Williams Diophantine system: - $72p = 2x_1^2 + 42(x_2^2 + x_3^2 + x_4^2) + 343(x_5^2 + 3x_6^2)$ - Plus two additional constraint equations This system has six nontrivial solutions X_i = (x_1, x_2, x_3, x_4, x_5, x_6), determining all 7-order cyclotomic numbers. #### 3. Coefficient Computation Through the relationship between Dickson-Hurwitz sums and cyclotomic numbers, compute: $$c_{i,1} = \text{complex linear combinations of } x_j, \quad i = 1,2,\ldots,7$$ ### Technical Innovations 1. **Characterization of Special Primes**: - Artiad primes: x₂ ≡ x₃ ≡ x₄ ≡ 0 (mod 7) - Hyperartiad primes: artiad and ind_γ7 ≡ 0 (mod 7) 2. **Simplification of Congruence Relations**: For artiad primes, the first five coefficients c₁,₁ ≡ ⋯ ≡ c₅,₁ ≡ 0 (mod 7), resulting in significantly simplified congruence forms. 3. **Precise Relations Between Coefficients**: Establish exact relationships between c₇,₁ and ind_γ7. ## Experimental Setup ### Theoretical Verification Methods 1. **Algebraic Verification**: Verify coefficient calculations through symmetry properties of cyclotomic numbers 2. **Consistency Checks**: Verify that obtained congruence relations are consistent with known general theory 3. **Special Case Verification**: Check special properties of artiad and hyperartiad primes ### Computational Tools - Explicit expressions of cyclotomic numbers - Computation formulas for Dickson-Hurwitz sums - Algebraic operations of modular arithmetic and congruence relations ## Experimental Results ### Main Results **Theorem 6.1**: Let p ≡ 1 (mod 7) be a prime. Then: 1. p is an artiad prime if and only if: $$J(1, 1)_{49} \equiv -1 + c_{6,1}(\zeta-1)^6 + (-3c_{6,1} + \text{ind}_γ7 + 2x_5)(\zeta-1)^7 \pmod{(1-\zeta)^8}$$ 2. p is a hyperartiad prime if and only if: $$J(1, 1)_{49} \equiv -1 + c_{6,1}(\zeta-1)^6 + (-3c_{6,1} + 2x_5)(\zeta-1)^7 \pmod{(1-\zeta)^8}$$ ### Key Findings 1. **Coefficient Vanishing Property**: For artiad primes, c₁,₁ ≡ ⋯ ≡ c₅,₁ ≡ 0 (mod 7) 2. **Special Index Property**: Hyperartiad primes are characterized by ind_γ7 ≡ 0 (mod 7) 3. **Substantial Simplification of Congruence Relations**: Reduction from 8 terms to 2 effective terms ### Theoretical Verification All theoretical results are verified through rigorous algebraic proofs, including: - Proofs of necessary and sufficient conditions in both directions - Consistency with Emma Lehmer's classical results - Verification of cyclotomic number symmetries ## Related Work ### Historical Development 1. **Dickson (1935)**: Established foundational framework of cyclotomic theory 2. **Evans (1998)**: Provided general congruence relations for Jacobi sums 3. **Katre-Rajwade (1983)**: Investigated special cases of 9-order Jacobi sums 4. **Shirolkar-Katre (2011)**: Established general theory for l²-order Jacobi sums ### Positioning of This Paper's Contribution This is the first systematic study of 49-order Jacobi sums, particularly discovering simplified forms under artiad/hyperartiad primes, which represents entirely novel results in this field. ## Conclusions and Discussion ### Main Conclusions 1. Completely determined the congruence properties of 49-order Jacobi sum J(1, 1)₄₉ 2. Established precise correspondence between special prime types and simplified forms of Jacobi sums 3. Provided new methods for identifying artiad and hyperartiad primes ### Limitations 1. **Specificity Constraints**: Results are specifically tailored to order 49; generalization to other prime squares requires additional work 2. **Computational Complexity**: Coefficient computation involves solving complex Diophantine systems 3. **Application Scope**: Primarily theoretical results; practical applications require further exploration ### Future Directions 1. Generalization to Jacobi sums of order p² for other primes 2. Investigation of higher prime power cases 3. Exploration of applications in cryptography and coding theory ## In-Depth Evaluation ### Strengths 1. **Theoretical Depth**: Establishes deep connections between algebraic structures and number-theoretic properties 2. **Methodological Innovation**: Skillfully utilizes cyclotomic number theory and Diophantine systems 3. **Result Precision**: Provides complete necessary and sufficient condition characterizations 4. **Proof Rigor**: All results supported by complete mathematical proofs ### Weaknesses 1. **Limited Generality**: Results are highly specialized, difficult to directly generalize 2. **Computational Complexity**: Substantial computational effort required for practical applications 3. **Application Context**: Lacks explanation of concrete application scenarios ### Impact 1. **Theoretical Contribution**: Enriches cyclotomic theory and Jacobi sum theory 2. **Methodological Value**: Provides research paradigm for similar problems 3. **Subsequent Research**: Establishes foundation for further generalizations ### Applicable Scenarios 1. Number theory theoretical research 2. Cyclotomic field research in algebraic number theory 3. Study of special functions over finite fields 4. Potential cryptographic applications (requiring further investigation) ## References The paper cites important literature in the field, including: - Dickson's classical work on cyclotomic theory - Evans' general theory on Jacobi sum congruences - Leonard-Williams' specific computations for 7-order cyclotomic numbers - Lehmer's characterization theory of artiad primes - Shirolkar-Katre's general framework for prime square order --- This is a high-quality theoretical number theory paper that makes significant contributions within its specific domain, providing a complete theoretical framework for the study of 49-order Jacobi sums.