• Journal of the Korean Mathematical Society
• /
• v.46 no.4
• /
• pp.733-746
• /
• 2009

For any integer k $\geq$ 2, let P(c, k + 1;q) be the number of all k+1-tuples with positive integer coordinates ($a_1,a_2,...,a_{k+1}$) such that $1{\leq}a_i{\leq}q$, ($a_i,q$) = 1, $a_1a_2...a_{k+1}{\equiv}$ c (mod q) and 2 $\nmid$ ($a_1+a_2+...+a_{k+1}$), and E(c, k+1; q) = P(c, k+1;q) - $\frac{{\phi}^k(q)}{2}$. The main purpose of this paper is using the properties of Gauss sums, primitive characters and the mean value theorems of Dirichlet L-functions to study the hybrid mean value of the r-th hyper-Kloosterman sums Kl(h,k+1,r;q) and E(c,k+1;q), and give an interesting mean value formula.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.487-494
• /
• 2016

Let p be an odd prime and c be a fixed integer with (c, p) = 1. For each integer a with $1{\leq}a{\leq}p-1$, it is clear that there exists one and only one b with $0{\leq}b{\leq}p-1$ such that $ab{\equiv}c$ mod p. Let N(c, p) denote the number of all solutions of the congruence equation $ab{\equiv}c$ mod p for $1{\leq}a$, $b{{\leq}}p-1$ in which a and $\bar{b}$ are of opposite parity, where $\bar{b}$ is defined by the congruence equation $b{\bar{b}}{\equiv}1$ mod p. The main purpose of this paper is using the mean value theorem of Dirichlet L-functions and the properties of Gauss sums to study the computational problem of one kind mean value function related to $E(c,p)=N(c,p)-{\frac{1}{2}}{\phi}(p)$, and give its an exact computational formula.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.815-827
• /
• 2019

It is well known that the denominator of the Dedekind sum s(c, d) divides 2 gcd(d, 3)d and that no smaller denominator independent of c can be expected. In contrast, here we prove that we usually get a smaller denominator in S(H, d), the sum of the s(c, d)'s over all the c's in a subgroup H of order n > 1 in the multiplicative group $(\mathbb{Z}/d\mathbb{Z})^*$. First, we prove that for p > 3 a prime, the sum 2S(H, p) is a rational integer of the same parity as (p-1)/2. We give an application of this result to upper bounds on relative class numbers of imaginary abelian number fields of prime conductor. Finally, we give a general result on the denominator of S(H, d) for non necessarily prime d's. We show that its denominator is a divisor of some explicit divisor of 2d gcd(d, 3).