Saved in:
Bibliographic Details
Main Authors: Hirakawa, Yoshinosuke, Kashio, Tomokazu, Sekigawa, Ryutaro, Takada, Naoaki, Yamamoto, Shuji
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2504.11666
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • As a natural generalization of the Legendre symbol, the $q$-th power residue symbol $(a/p)_q$ is defined for primes $p$ and $q$ with $p\equiv 1 \bmod q$. In this paper, we generalize the second supplementary law by providing an explicit condition for $(q/p)_q = 1$, when $p$ has a special form $p = \sum_{i=0}^{q-1} m^i n^{q-1-i}$. This condition is expressed in terms of the polylogarithm $\mathrm{Li}_{1-q}(x)$ of negative index. Our proof relies on an argument similar to Lemmermeyer's proof of Euler's conjectures for cubic residue.