For a fixed rational number g, not equal to -1,0 or 1 and integers a and d we consider the set of primes p for which the order of g(mod p) is congruent to a(mod d). For d=4 and d=3 it is shown that, under the Generalized Riemann Hypothesis, these sets have a natural density. Moreover, we explicitly compute this density.
For d=4 this generalises earlier work by K. Chinen and L. Murata. The case d=3 was apparently not considered before.
For any prime p we consider the density of elements in the multiplicative group of the finite field F_p having order, respectively index, congruent to a(mod d). We compute these densities on average, where the average is taken over all finite fields of prime order. Some connections between the two densities are established. It is also shown how to compute these densities with high numerical accuracy.
For a fixed rational number g different from -1,0,1 and integers a and d the set N_g(a,d) of primes p for which the order of g(mod p) is congruent to a(mod d) is considered. It is shown, assuming the Generalized Riemann Hypothesis (GRH), that this set has a natural density which can be computed in terms of degrees of certain Kummer extensions and Galois theoretic intersection coefficients. In case d is a power of an odd prime several properties of this density are established.
For a fixed rational number g and integers a and d the sets N_g(a,d), respectively R_g(a,d), of primes p for which the order, respectively the index of g(mod p) is congruent to a(mod d), are considered. Under the Generalized Riemann Hypothesis (GRH), it was shown in part II that these sets have a natural density. Here it is shown that these densities can be expressed as linear combinations of certain constants introduced by Pappalardi. Furthermore it is proved that these densities equal their g-averages for almost all g. It is also shown that if such a density does not equal its g-average then…
The multplicative order of an integer g modulo a prime p, with p coprime to g, is defined to be the smallest positive integer k such that g^k is congruent to 1 modulo p. For fixed integers g and d the distribution of this order over residue classes mod d is considered as p runs over the primes. An overview is given of the most significant of my results on this problem obtained (mainly) in the three part series of papers `On the distribution of the order and index of g (modulo p) over residue classes' I-III (appeared in the Journal of Number Theory, also available from the ArXiv).
This is an English translation of Euler's ``Theoremata circa residua ex divisione potestatum relicta'', Novi Commentarii academiae scientiarum Petropolitanae 7 (1761), 49-82. E262 in the Enestrom index. Euler gives many elementary results on power residues modulo a prime number p. He shows that the order of a subgroup generated by an element a in F_p^* must divide the order p-1 of F_p^* (i.e. a special case of Lagrange's theorem for cyclic groups). Euler also gives a proof of Fermat's little theorem, that a^{p-1} = 1 mod p for a relatively prime to p (i.e. not 0 mod p). He remarks that this pr…
We give an interpretation of the Riemann hypothesis in terms of complex and topological dynamics. For example, the Riemann hypothesis is affirmative and all zeros of the Riemann zeta function are simple if and only if a certain meromorphic function has no attracting fixed point. To obtain this, we use holomorphic index (residue fixed point index), which characterizes local properties of fixed points in complex dynamics.
Let $Ω$ be an algebraic closure of ${\mathbb Q}_p$ and let $F$ be a finite extension of ${\mathbb Q}_p$ contained in $Ω$. Given positive integers $f$ and $e$, the number of extensions $K/F$ contained in $Ω$ with residue degree $f$ and ramification index $e$ was computed by Krasner. This paper is concerned with the number ${\mathfrak I}(F,f,e)$ of $F$-isomorphism classes of such extensions. We determine ${\mathfrak I}(F,f,e)$ completely when $p^2\nmid e$ and get partial results when $p^2\parallel e$. When $s$ is large, ${\mathfrak I}({\mathbb Q}_p,f,e)$ is equal to the number of isomorphism cla…
Let $C$ be a curve defined over a discrete valuation field of characteristic zero where the residue field has positive characteristic. Assuming that $C$ has good reduction over the residue field, we compute the syntomic regulator on a certain part of $K_4^[(3)}(C)$. The result can be expressed in terms of $p$-adic polylogarithms and Coleman integration. We also compute the syntomic regulator on a certain part of $K_4^[(3)}(F)$ for the function field $F$ of $C$. The result can be expressed in terms of $p$-adic polylogarithms and Coleman integration, or by using a trilinear map ("triple index") …
We give an explicit version of a result due to D. Burgess. Let $χ$ be a non-principal Dirichlet character modulo a prime $p$. We show that the maximum number of consecutive integers for which $χ$ takes on a particular value is less than $\left\{\frac{πe\sqrt{6}}{3}+o(1)\right\}p^{1/4}\log p$, where the $o(1)$ term is given explicitly.
Improving on some recent results of Matomäki and of Wright, we show that the number of Carmichael numbers to $X$ in a coprime residue class exceeds $X^{1/(6\log\log\log X)}$ for all sufficiently large $X$ depending on the modulus of the residue class.
We prove that any prime $p$ satisfying $ϕ(p-1)\leq (p-1)/4$ contains two consecutive quadratic non-residues modulo $p$ neither of which is a primitive root modulo $p$.
We study the three term recurrence modulo m. In particular, we prove that Pell numbers modulo m is residue complete if and only m is 2, a power of 3, or a power of 5. Pell-Lucas numbers modulo m is residue complete if and only if m is a power of 3.
This paper studies the largest cycles consisted by the quadratic residues modulo prime numbers. We give some formulae about the maximum length of the cycles. Especially, the formula for modulo Fermat primes is given.
We investigate the distribution of the function $ω(n)$, the number of distinct prime divisors of $n$, in residue classes modulo $q$ for natural numbers $q$ greater than 2. In particular we ask `prime number races' style questions, as suggested by Coons and Dahmen in their paper `On the residue class distribution of the number of prime divisors of an integer'.
Let $p$ be an odd prime number. In this article, we study the number of quadratic residues and non-residues modulo $p$ which are multiples of $2$ or $3$ or $4$ and lying in the interval $[1, p-1]$, by applying the Dirichlet's class number formula for the imaginary quadratic field $\mathbb{Q}(\sqrt{-p})$.
Consider the product of (1-p^(-s))^(-4) over all primes p=1 mod 5. We evaluate its residue at s=1 and compare with the corresponding Mertens constant of Languasco & Zaccagnini. We also count primitive quintic Dirichlet characters mod n and determine their average number as n->infty.
In this paper we study products of quadratic residues modulo odd primes and prove some identities involving quadratic residues. For instance, let $p$ be an odd prime. We prove that if $p\equiv5\pmod8$, then $$\prod_{0<x<p/2,(\frac{x}{p})=1}x\equiv(-1)^{1+r}\pmod p,$$ where $(\frac{\cdot}{p})$ is the Legendre symbol and $r$ is the number of $4$-th power residues modulo $p$ in the interval $(0,p/2)$. Our work involves class number formula, quartic Gauss sums, Stickelberger's congruence and values of Dirichlet L-series at negative integers.
Number theory as a coherent mathematical subject started with the work of Fermat in the decade from 1630 to 1640, but modern number theory, that is, the systematic and mathematically rigorous development of the subject from fundamental properties of the integers, began in 1801 with the appearance of the landmark text of Gauss, Disquisitiones Arithmeticae. A major part of the Disquisitiones deals with quadratic residues and nonresidues. Beginning with these fundamental contributions of Gauss, the study of quadratic residues and nonresidues has subsequently led directly to many of the key ideas …
Let $F$ be the function field of a curve over a complete discretely valued field. Let $\ell$ be a prime not equal to the characteristic of the residue field. Given a finite subgroup $B$ in the $\ell$ torsion part of the Brauer group ${}_{\ell}Br(F)$, we define the index of $B$ as the minimum of the degrees of field extensions which split all elements in $B$. In this manuscript, we give an upper bound for the index of any finite subgroup $B$ in terms of arithmetic invariants of $F$. As a simple application of our result, given a quadratic form $q/F$, where $F$ is the function field of a curve o…
Fix coprime natural numbers $a,q$. Assuming the Prime $k$-tuple Conjecture, we show that there exist arbitrarily long arithmetic progressions of Carmichael numbers, each of which lies in the reduced residue class $a$ mod $q$ and is a product of three distinct prime numbers.
A formula for the sum of quadratic residues modulus a prime $p=4n-1$ is studied. We relate some terms on this formula with roots of quadratics and provide an exhaustive analysis of new concepts based on these roots. A number of formulas for the sum of the quadratic residues are obtained. We finalize the paper by obtaining several identities involving $h(-p)$ the class number of the imaginary quadratic field $\mathbb Q(\sqrt{-p}).$
Issai Schur once asked if it was possible to determine a bound, preferably using elementary methods, such that for all prime numbers p greater than the bound, the greatest number of consecutive quadratic non-residues modulo p is always less than the square root of p. This paper uses elementary methods to prove that 13 is the only prime number for which the greatest number of consecutive quadratic non-residues modulo p exceeds the square root of p.
Let $C_n$ be the $n$th Catalan number. For any prime $p \geq 5$ we show that the set $\{C_n : n \in \mathbb{N} \}$ contains all residues mod $p$. In addition all residues are attained infinitely often. Any positive integer can be expressed as the product of central binomial coefficients modulo $p$. The directed sub-graph of the automata for $C_n \mod p$ consisting of the constant states and transitions between them has a cycle which visits all vertices.
Let n > 1 be an integer, and let F denote a field of p elements for a prime p = 1 (mod n). By 2015, the question of existence or nonexistence of n-th power residue difference sets in F had been settled for all n < 24. We settle the case n = 24 by proving the nonexistence of 24-th power residue difference sets in F. We also prove the nonexistence of qualified 24-th power residue difference sets in F. The proofs make use of a Mathematica program which computes formulas for the cyclotomic numbers of order 24 in terms of parameters occurring in quadratic partitions of p.
In 1958 E. Lehmer found an explicit description of those primes p for which a given prime q is a cubic residue. In this paper we demonstrate that a similar result may be obtained for cubic nonresidues, yielding a cubic character for fixed p that provides an effective means for ascertaining whether or not an arbitrary integer c is a cubic residue modulo p. As an illustration of this technique, we determine whether 1982 is a cubic residue modulo the 131-digit prime p=(3^19+5^82)/4, a question which is essentially impossible to answer with Lehmer's original criterion.
By some extremely simple arguments, we point out the following: (i) If n is the least positive k-th power non-residue modulo a positive integer m, then the greatest number of consecutive k-th power residues mod m is smaller than m/n. (ii) Let O_K be the ring of algebraic integers in a quadratic field $K=Q(\sqrt d)$ with d in {-1,-2,-3,-7,-11}. Then, for any irreducible $π\in O_K$ and positive integer k not relatively prime to $π\barπ-1$, there exists a k-th power non-residue $ω\in O_K$ modulo $π$ such that $|ω|<\sqrt{|π|}+0.65$.
We characterize which residue classes contain infinitely many totients (values of Euler's function) and which do not. We show that the union of all residue classes that are totient-free has asymptotic density 3/4, that is, almost all numbers that are 2 mod 4 are in a residue class that is totient-free. In the other direction, we show the existence of a positive density of odd numbers m, such that for any $s\ge0$ and any even number $a$, the residue class $a\pmod{2^sm}$ contains infinitely many totients.
We prove new mean value theorems for primes in arithmetic progressions to moduli larger than $x^{1/2}$, extending the Bombieri-Vinogradov theorem to moduli of size $x^{1/2+δ}$ which have conveniently sized divisors. The main feature of these estimates is that they are completely uniform with respect to the residue classes considered, unlike previous works on primes in arithmetic progressions to large moduli.
Residues to a given modulus have been introduced to mathematics by Carl Friedrich Gauss with the definition of congruence in the `Disquisitiones Arithmeticae'. Their extraordinary properties provide the basis for a change of paradigm in arithmetic. By restricting residues to remainders left over by divison Peter Gustav Lejeune Dirichlet - Gauss's successor in Göttingen - eliminated in his `Lectures on number theory' the fertile concept of residues and attributed with the number-theoretic approach to residues for more than one and a half centuries to obscure Gauss's paradigm shift in mathematic…
We present improved algorithms for computing the left factorial residues $!p=0!+1!+...+(p-1)! \!\mod p$. We use these algorithms for the calculation of the residues $!p\!\mod p$, for all primes $p$ up to $2^{40}$. Our results confirm that Kurepa's left factorial conjecture is still an open problem, as they show that there are no odd primes $p<2^{40}$ such that $p$ divides $!p$. Additionally, we confirm that there are no socialist primes $p$ with $5<p<2^{40}$.
We generalize and solve the $\roman{mod}\,q$ analogue of a problem of Littlewood and Offord, raised by Vaughan and Wooley, concerning the distribution of the $2^n$ sums of the form $\sum_{i=1}^n\varepsilon_ia_i$, where each $\varepsilon_i$ is $0$ or $1$. For all $q$, $n$, $k$ we determine the maximum, over all reduced residues $a_i$ and all sets $P$ consisting of $k$ arbitrary residues, of the number of these sums that belong to $P$.
