Let Γ ⊂ ℚ * be a finitely generated subgroup and let p be a prime such that the reduction group Γₚ is a well defined subgroup of the multiplicative group ₚ*. We prove an asymptotic formula for the average of the number of primes p ≤ x for which [ₚ*:Γₚ] = m. The average is taken over all finitely generated subgroups $\Gamma =⟨a₁,...,a_r⟩\subset \mathbb{Q}*$, with $a_i\in \mathbb{Z}$ and $a_i\le T_i$, with a range of uniformity $T_i>exp\left(4{\left(logxloglogx\right)}^{1/2}\right)$ for every i = 1,...,r. We also prove an asymptotic formula for the mean square of the error terms in the asymptotic formula with a similar...

The aim of this paper is to present some computer data suggesting the correct size of bounds for exponential sums of Fourier coefficients of holomorphic cusp forms.

In this paper we shall derive the order of magnitude for the double zeta-functionof Euler-Zagier type in the region $0\le \Re s_j\<1(j=1,2)$.First we prepare the Euler-Maclaurinsummation formula in a suitable form for our purpose, and then we apply the theory of doubleexponential sums of van der Corput’s type.

In this paper, we apply character sum estimates to study products of factorials modulo $p$.

Let $A$ be a finite subset of an abelian group $G$ and let $P$ be a closed half-plane of the complex plane, containing zero. We show that (unless $A$ possesses a special, explicitly indicated structure) there exists a non-trivial Fourier coefficient of the indicator function of $A$ which belongs to $P$. In other words, there exists a non-trivial character $\chi \in \widehat{G}$ such that ${\sum }_{a\in A}\chi \left(a\right)\in P$.

Consider the families of curves $C^{n,A}:y²=xⁿ+Ax$ and $C_{n,A}:y²=xⁿ+A$ where A is a nonzero rational. Let $J^{n,A}$ and $J_{n,A}$ denote their respective Jacobian varieties. The torsion points of $C^{3,A}\left(\mathbb{Q}\right)$ and $C_{3,A}\left(\mathbb{Q}\right)$ are well known. We show that for any nonzero rational A the torsion subgroup of $J^{7,A}\left(\mathbb{Q}\right)$ is a 2-group, and for A ≠ 4a⁴,-1728,-1259712 this subgroup is equal to $J^{7,A}\left(\mathbb{Q}\right)\left[2\right]$ (for a excluded values of A, with the possible exception of A = -1728, this group has a point of order 4). This is a variant of the corresponding results for $J^{3,A}$ (A ≠ 4) and $J^{5,A}$. We also almost...