• 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).

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1007-1014
• /
• 2012

We derive the exact reciprocity formula connecting the twisted second moments at 1 for families of odd Dirichlet characters corresponding to two prime moduli, which parallels such formula discovered earlier for the special point 1/2.

• Korean Journal of Mathematics
• /
• v.25 no.2
• /
• pp.137-145
• /
• 2017

We consider some simple periodic functions on the field of rational numbers with values in ${\mathbb{Q}}/{\mathbb{Z}}$ which are defined in terms of lowest-term-expression of rational numbers. We prove the density of graphs of these functions by constructing explicitly points on the graphs close to a given point using continued fractions.

• Kyungpook Mathematical Journal
• /
• v.59 no.3
• /
• pp.377-389
• /
• 2019

We evaluate the convolution sum $W_{a,b}(n):=\sum_{al+bm=n}{\sigma}(l){\sigma}(m)$ for (a, b) = (1, 28),(4, 7),(2, 7) for all positive integers n. We use a modular form approach. We also re-evaluate the known sums $W_{1,14}(n)$ and $W_{1,7}(n)$ with our method. We then use these evaluations to determine the number of representations of n by the octonary quadratic form $x^2_1+x^2_2+x^2_3+x^2_4+7(x^2_5+x^2_6+x^2_7+x^2_8)$. Finally we express the modular forms ${\Delta}_{4,7}(z)$, ${\Delta}_{4,14,1}(z)$ and ${\Delta}_{4,14,2}(z)$ (given in [10, 14]) as linear combinations of eta quotients.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.265-284
• /
• 2019

The main purpose of this paper is to investigate the q-Apostol type Frobenius-Euler numbers and polynomials. By using generating functions for these numbers and polynomials, we derive some alternative summation formulas including powers of consecutive q-integers. By using infinite series representation for q-Apostol type Frobenius-Euler numbers and polynomials including their interpolation functions, we not only give some identities and relations for these numbers and polynomials, but also define generating functions for new numbers and polynomials. Further we give remarks and observations on generating functions for these new numbers and polynomials. By using these generating functions, we derive recurrence relations and finite sums related to these numbers and polynomials. Moreover, by applying higher-order derivative to these generating functions, we derive some new formulas including the Hurwitz-Lerch zeta function, the Apostol-Bernoulli numbers and the Apostol-Euler numbers. Finally, for an application of the generating functions, we derive a multiplication formula, which is very important property in the theories of normalized polynomials and Dedekind type sums.

• Kyungpook Mathematical Journal
• /
• v.54 no.2
• /
• pp.237-247
• /
• 2014

The purpose of this paper is to introduce the concept of strongly extending modules which are particular subclass of the class of extending modules, and study some basic properties of this new class of modules. A module M is called strongly extending if each submodule of M is essential in a fully invariant direct summand of M. In this paper we examine the behavior of the class of strongly extending modules with respect to the preservation of this property in direct summands and direct sums and give some properties of these modules, for instance, strongly summand intersection property and weakly co-Hopfian property. Also such modules are characterized over commutative Dedekind domains.