For a large integer $m,$ we obtain an asymptotic formula for the number of solutions of a certain congruence modulo $m$ with four variables, where the variables belong to special sets of residue classes modulo $m.$ This formula are applied to obtain new information on the exceptional set of the multiplication table problem in a residue ring modulo $m$ and a new bound for a double trigonometric sum with an exponential function.
In this paper, as an analogue of the integer case, we define congruence preserving functions over the residue class rings of polynomials over finite fields. We establish a counting formula for such congruence preserving functions, determine a necessary and sufficient condition under which all congruence preserving functions are also polynomial functions, and characterize such functions.
Given an odd prime p, we prove a congruence on the p-residue of the Fermat quotient q_p(a) in base a with 0<a<p, which arises from a generalization of the Voronoi congruences and from some other congruences on sums and weighted sums of divided Bernoulli numbers. As an application in the base 2 case, we retrieve a congruence for the first generalized harmonic number of order (p-1)/2, a generalization originally due to Z-H. Sun of a classical congruence known since long for the harmonic number of order (p-1)/2 as a special case of the Lerch formula. We find a sharpening of the Voronoi congruence…
We define a new congruence relation on the set of integers, leading to a group similar to the multiplicative group of integers modulo $n$. It makes use of a symmetry almost omnipresent in modular multiplications and halves the number of residue classes. Using it, we are able to give an elegant description of some results due to Carl Schick, others are reduced to well-known theorems from algebra and number theory. Many concepts from number theory such as quadratic residues and primitive roots are equally applicable. It brings noticeable advantages in studying powers of odd primes, and in partic…
In the paper, we establish a new estimate for Kloosterman sum over primes with respect to an arbitrary modulus $q$. This estimate together with some recent results of the second author are applied to the problem of solvability of the congruence \[ g(p_{1})\, + \,\ldots\, + \,g(p_{k}) \,\equiv\, m\pmod{q} \] in prime variables $p_{1},\ldots, p_{k}\le N$, $N\le q^{1-δ}$. Here $g(x)\,\equiv\,a\overline{x}+bx\pmod{q}$, where $a,b,m$ and $k\ge 3$ are arbitrary integers, $(ab,q)=1$. The main result of the paper gives an asymptotic formula for the number of solutions for the case when $q$ is coprime …
We show, in an effective way, that there exists a sequence of congruence classes $a_k\pmod {m_k}$ such that the minimal solution $n=n_k$ of the congruence $ϕ(n)\equiv a_k\pmod {m_k}$ exists and satisfies $\log n_k/\log m_k\to\infty $ as $k\to\infty$. Here, $ϕ(n)$ is the Euler function. This answers a question raised in \cite{FS}. We also show that every congruence class containing an even integer contains infinitely many values of the Carmichael function $λ(n)$ and the least such $n$ satisfies $n\ll m^{13}$.
Let $f(x)$ be an irreducible polynomial with integer coefficients of degree at least two. Hooley proved that the roots of the congruence equation $f(x)\equiv 0\mod n$ is uniformly distributed. as a parallel of Hooley's theorem under ideal theoretical setting, we prove the uniformity of the distribution of residues of an algebraic number modulo degree one ideals. Then using this result we show that the roots of a system of polynomial congruences are uniformly distributed. Finally, the distribution of digits of n-adic expansions of an algebraic number is discussed.
The paper proposes a polynomial formula for solution quadratic congruences in $\mathbb{Z}_p$. This formula gives the correct answer for quadratic residue and zeroes for quadratic nonresidue. The general form of the formula for $p=3 \;\rm{mod}\,4$, $p=5 \;\rm{mod}\,8$ and for $p=9 \;\rm{mod}\,16$ are suggested.
We obtain new results about the representation of almost all residues modulo a prime $p$ by a product of a small integer and also an element of small multiplicative subgroup of $({\mathbb Z}/p{\mathbb Z})^*$. These results are based on some ideas, and their modifications, of a recent work of J. Cilleruelo and M. Z. Garaev (2014),
In the present paper we obtain new upper bound estimates for the number of solutions of the congruence $$ x\equiv y r\pmod p;\quad x,y\in \mathbb{N},\quad x,y\le H,\quad r\in\cU, $$ for certain ranges of $H$ and $|\cU|$, where $\cU$ is a subset of the field of residue classes modulo $p$ having small multiplicative doubling. We then use this estimate to show that the number of solutions of the congruence $$ x^n\equiv λ\pmod p; \quad x\in \N, \quad L<x<L+p/n, $$ is at most $p^{\frac{1}{3}-c}$ uniformly over positive integers $n, λ$ and $L$, for some absolute constant $c>0$. This implies, in part…
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.
For every finite abelian group $G$, there are positive integers $n$ and $d$ such that $G$ is isomorphic to the multiplicative group of $d$-th powers of reduced residues modulo $n$.
Let $ε$ be a fixed positive quantity, $m$ be a large integer, $x_j$ denote integer variables. We prove that for any positive integers $N_1,N_2,N_3$ with $N_1N_2N_3>m^{1+ε},$ the set $$ \{x_1x_2x_3 \pmod m: \quad x_j\in [1,N_j] \} $$ contains almost all the residue classes modulo $m$ (i.e., its cardinality is equal to $m+o(m)$). We further show that if $m$ is cubefree, then for any positive integers $N_1,N_2,N_3,N_4$ with $N_1N_2N_3N_4>m^{1+ε},$ the set $$ \{x_1x_2x_3x_4 \pmod m: \quad x_j\in [1,N_j] \} $$ also contains almost all the residue classes modulo $m.$ Let $p$ be a large prime paramet…
Let $n\ge 1, e\ge 1, k\ge 2$ and $c$ be integers. An integer $u$ is called a unit in the ring $\mathbb{Z}_n$ of residue classes modulo $n$ if $\gcd(u, n)=1$. A unit $u$ is called an exceptional unit in the ring $\mathbb{Z}_n$ if $\gcd(1-u,n)=1$. We denote by $\mathcal{N}_{k,c,e}(n)$ the number of solutions $(x_1,...,x_k)$ of the congruence $x_1^e+...+x_k^e\equiv c \pmod n$ with all $x_i$ being exceptional units in the ring $\mathbb{Z}_n$. In 2017, Mollahajiaghaei presented a formula for the number of solutions $(x_1,...,x_k)$ of the congruence $x_1^2+...+x_k^2\equiv c\pmod n$ with all $x_i$ be…
An old question of Erdos asks if there exists, for each number N, a finite set S of integers greater than N and residue classes r(n) mod n for n in S whose union is all the integers. We prove that if $\sum_{n\in S} 1/n$ is bounded for such a covering of the integers, then the least member of S is also bounded, thus confirming a conjecture of Erdos and Selfridge. We also prove a conjecture of Erdos and Graham, that, for each fixed number K>1, the complement in the integers of any union of residue classes r(n) mod n, for distinct n in (N,KN], has density at least d_K for N sufficiently large. He…
We show that for a fixed integer $n \neq \pm2$, the congruence $x^2 + nx \pm 1 \equiv 0 \pmodα$ has the solution $β$ with $0 < β< α$ if and only if $α/β$ has a continued fraction expansion with sequence of quotients having one of a finite number of possible asymmetry types. This generalizes the old theorem that a rational number $α/β> 1$ in lowest terms has a symmetric continued fraction precisely when $β^2 \equiv \pm 1 \pmodα$.
Let $f(n)$ denote the number of 1-shell totally symmetric plane partitions of weight $n$. Recently, Hirschhorn and Sellers, Yao, and Xia established a number of congruences modulo 2 and 5, 4 and 8, and 25 for $f(n)$, respectively. In this note, we shall prove several new congruences modulo 125 and 11 by using some results of modular forms. For example, for all $n\ge 0$, we have \begin{align*} f(1250n+125)&\equiv 0 \pmod{125},\\ f(1250n+1125)&\equiv 0 \pmod{125},\\ f(2750n+825)&\equiv 0 \pmod{11},\\ f(2750n+1925)&\equiv 0 \pmod{11}. \end{align*}
In a recent paper, Bacher and de la Harpe study conjugacy growth series of infinite permutation groups and their relationships with $p(n)$, the partition function, and $p(n)_{\textbf{e}}$, a generalized partition function. They prove identities for the conjugacy growth series of the finitary symmetric group and the finitary alternating group. The group theory also motivates an investigation into congruence relationships between the finitary symmetric group and the finitary alternating group. Using the Ramanujan congruences for the partition function $p(n)$ and Atkin's generalization to the $k$…
For any positive integer $n$ along with parameters $α$ and $ν$, we define and investigate $α$-shifted, $ν$-offset, floor sequences of length $n$. We find exact and asymptotic formulas for the number of integers in such a sequence that are in a particular congruence class. As we will see, these quantities are related to certain problems of counting lattice points contained in regions of the plane bounded by conic sections. We give specific examples for the number of lattice points contained in elliptical regions and make connections to a few well-known rings of integers, including the Gaussian …
For any positive integer $n$ and variables $a$ and $x$ we define the generalized Legendre polynomial $P_n(a,x)=\sum_{k=0}^n\b ak\b{-1-a}k(\frac{1-x}2)^k$. Let $p$ be an odd prime. In the paper we prove many congruences modulo $p^2$ related to $P_{p-1}(a,x)$. For example, we show that $P_{p-1}(a,x)\e (-1)^{<a>_p}P_{p-1}(a,-x)\mod {p^2}$, where $<a>_p$ is the least nonnegative residue of $a$ modulo $p$. We also generalize some congruences of Zhi-Wei Sun, and determine $\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k{54^{-k}}$ and $\sum_{k=0}^{p-1}\binom ak\binom{b-a}k\mod {p^2}$, where $[x]$ is the great…
We generalize current known distribution results on Shanks--Rényi prime number races to the case where arbitrarily many residue classes are involved. Our method handles both the classical case that goes back to Chebyshev and function field analogues developed in the recent years. More precisely, let $π(x;q,a)$ be the number of primes up to $x$ that are congruent to $a$ modulo $q$. For a fixed integer $q$ and distinct invertible congruence classes $a_0,a_1,\ldots,a_D$, assuming the generalized Riemann Hypothesis and a weak version of the linear independence hypothesis, we show that the set of $…
Ramanujan (and others) proved that the partition function satisfies a number of striking congruences modulo powers of 5, 7 and 11. A number of further congruences were shown by the works of Atkin, O'Brien, and Newman. In this paper we prove that there are infinitely many such congruences for every prime modulus exceeding 3. In addition, we provide a simple criterion guaranteeing the truth of Newman's conjecture for any prime modulus exceeding 3 (recall that Newman's conjecture asserts that the partition function hits every residue class modulo a given integer M infinitely often).
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 prove several results which imply the following consequences. For any $\varepsilon>0$ and any sufficiently large prime $p$, if $\cI_1,\ldots, \cI_{13}$ are intervals of cardinalities $|\cI_j|>p^{1/4+\varepsilon}$ and $abc\not\equiv 0\pmod p$, then the congruence $$ ax_1\cdots x_6+bx_7\cdots x_{13}\equiv c\pmod p $$ has a solution with $x_j\in\cI_j$. There exists an absolute constant $n_0\in\N$ such that for any $0<\varepsilon<1$ and any sufficiently large prime $p$, any quadratic residue $λ$ modulo $p$ can be represented in the form $$ x_1\cdots x_{n_0}\equiv λ\pmod p,\quad x_i\in\N,\quad x…
We estimate the number of solutions of certain diagonal congruences involving factorials. We use these results to bound exponential sums with products of two factorials $n!m!$ and also derive asymptotic formulas for the number of solutions of various congruences with factorials. For example, we prove that the products of two factorials $n!m!$ with $\max\{n,m\}<p^{1/2+ε}$ are uniformly distributed modulo $p$, and that any residue class modulo $p$ is representable in the form $m!n!+n_1! + ... +n_{49}!$ with $\max \{m,n, n_1, >..., n_{49}\} < p^{8775/8794+ ε}$.
In recent work, Bacher and de la Harpe define and study conjugacy growth series for finitary permutation groups. In two subsequent papers, Cotron, Dicks, and Fleming study the congruence properties of some of these series. We define a new family of conjugacy growth series for the finitary alternating wreath product that are related to sums of modular forms of integer and half-integral weights, the so-called \textit{mixed weight modular forms}. The previous works motivate the study of congruences for these series. We prove that congruences exist modulo powers of all primes $p \geq 5$. Furthermo…
This article considers the eta power $\prod {(1-q^k)}^{b-1}$. It is proved that the coefficients of $\frac{q^n}{n!}$ in this expression, as polynomials in $b$, exhibit equidistribution of the coefficients in the nonzero residue classes mod 5 when $n=5j+4$. Other symmetries, as well as symmetries for other primes and prime powers, are proved, and some open questions are raised.
We obtain several asymptotic formulas for the sum of the divisor function $τ(n)$ with $n \le x$ in an arithmetic progressions $n \equiv a \pmod q$ on average over $a$ from a set of several consecutive elements from set of reduced residues modulo $q$ and on average over arbitrary sets. The main goal is to obtain nontrivial results for $q \ge x^{2/3}$ with the small amount of averaging over $a$. We recall that for individual values of $a$ the limit of our current methods is $q \le x^{2/3-\varepsilon}$ for an arbitrary fixed $\varepsilon> 0$. Our method builds on an approach due to Blomer (2008) …
In this work we introduce the numerical constant, LOPI, N LOPI is congruent to LOPI mod 18, equal to the lowest odd partition identity in conjunction with the reduced residue system Modulo 18, a complete disjoint covering residue system when considered in its whole set of residues from 0 to 17. By convolution of specific LOPI Dirichlet linear progressions for each LOPI superset, the non-prime elements of the 6 reduced residue congruence classes mod 18 are generated sequentially and uniquely. Through set generation and complete composite number subset generation based on the pattern of sequenti…
In this paper we prove that for a fixed neat principal congruence subgroup of a Bianchi group the order of the torsion part of its second cohomology group with coefficients in an integral lattice associated to the m-th symmetric power of the standard representation of SL_2(C) grows exponentially in m^2. We give upper and lower bounds for the growth rate. Our result extends a result of Mueller and Marshall, who proved the corresponding statement for closed arithmetic 3-manifolds, to the finite-volume case. We also prove a limit multiplicity formula for twisted combinatorial Reidemeister torsion…
Let $K$ be a number field with ring of integers $R$. Given a modulus $\mathfrak{m}$ for $K$ and a group $Γ$ of residues modulo $\mathfrak{m}$, we consider the semi-direct product $R\rtimes R_{\mathfrak{m},Γ}$ obtained by restricting the multiplicative part of the full $ax+b$-semigroup over $R$ to those algebraic integers whose residue modulo $\mathfrak{m}$ lies in $Γ$, and we study the left regular C*-algebra of this semigroup. We give two presentations of this C*-algebra and realize it as a full corner in a crossed product C*-algebra. We also establish a faithfulness criterion for representat…
Let $\Bbb Z$ be the set of integers, and let $(m,n)$ be the greatest common divisor of integers $m$ and $n$. Let $p\equiv 1\mod 4$ be a prime, $q\in\Bbb Z$, $2\nmid q$ and $p=c^2+d^2=x^2+qy^2$ with $c,d,x,y\in\Bbb Z$ and $c\e 1\mod 4$. Suppose that $(c,x+d)=1$ or $(d,x+c)$ is a power of 2. In the paper, by using the quartic reciprocity law we determine $q^{[p/8]}\mod p$ in terms of $c,d,x$ and $y$, where $[\cdot]$ is the greatest integer function. We also determine $\big(\frac{b+\sqrt{b^2+4^α}}2\big)^{\frac{p-1}4}\mod p$ for odd $b$ and $(2a+\sqrt{4a^2+1})^{\f{p-1}4}\mod p$ for $a\in\Bbb Z$. A…
We estimate character sums with n!, on average, and individually. These bounds are used to derive new results about various congruences modulo a prime p and obtain new information about the spacings between quadratic nonresidues modulo p. In particular, we show that there exists a positive integer $n\ll p^{1/2+ε}, such that n! is a primitive root modulo p. We also show that every nonzero congruence class a \not \equiv 0 \pmod p can be represented as a product of 7 factorials, a \equiv n_1! ... n_7! \pmod p, where $\max \{n_i | i=1,... 7\}=O(p^{11/12+ε}), and we find the asymptotic formula for …
The asymptotic estimation of prime ideals in imaginary quadratic fields and Chebyshev's bias
School of Mathematics, Nanjing University（南京大学数学系）；Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院晨兴数学中心；中国科学院大学）；University of the Chinese Academy of Sciences
Let $p$ be an odd prime. In this paper we investigate quadratic residues modulo $p$ and related permutations, congruences and identities. If $a_1<\ldots<a_{(p-1)/2}$ are all the quadratic residues modulo $p$ among $1,\ldots,p-1$, then the list $\{1^2\}_p,\ldots,\{((p-1)/2)^2\}_p$ (with $\{k\}_p$ the least nonnegative residue of $k$ modulo $p$) is a permutation of $a_1,\ldots,a_{(p-1)/2}$, and we show that the sign of this permutation is $1$ or $(-1)^{(h(-p)+1)/2}$ according as $p\equiv3\pmod 8$ or $p\equiv7\pmod 8$, where $h(-p)$ is the class number of the imaginary quadratic field $\mathbb Q(…
In the article The third homology of $SL_{2}(\mathbb{Q})$, Hutchinson determined the structure of $H_{3}\left(\mathrm{SL}_{2}(\mathbb{Q}),\mathbb{Z}\left[\frac{1}{2}\right]\right)$ by expressing it in terms of $K_{3}^{\mathrm{ind}}(\mathbb{Q})\cong \mathbb{Z}/24$ and the scissor congruence group of the residue field $\mathbb{F}_{p}$ with $p$ a prime number. In this paper, we develop further the properties of the refined scissors congruence group in order to extend this result to the case of imaginary quadratic number fields whose ring of integers is a Euclidean domain with respect to the norm.
Let $G={\rm GL}_{2n}$ over a totally real number field $F$ and $n\geq 2$. Let $Π$ be a cuspidal automorphic representation of $G(\mathbb A)$, which is cohomological and a functorial lift from SO$(2n+1)$. The latter condition can be equivalently reformulated that the exterior square $L$-function of $Π$ has a pole at $s=1$. In this paper, we prove a rationality result for the residue of the exterior square $L$-function at $s=1$ and also for the holomorphic value of the symmetric square $L$-function at $s=1$ attached to $Π$. On the way, we also show a rationality result for the residue of the Ran…
Let $p$ be a prime greater than $3$ and let $a$ be a rational p-adic integer. In this paper we try to determine $\sum_{k=1}^{[p/3]}\binom{3k}ka^k\pmod p$, and real the connection between cubic congruences and the sum $\sum_{k=1}^{[p/3]}\binom{3k}ka^k$, where $[x]$ is the greatest integer not exceeding $x$. Suppose that $a_1,a_2,a_3$ are rational p-adic integers, $P=-2a_1^3+9a_1a_2-27a_3$, $Q=(a_1^2-3a_2)^3$ and $PQ(P^2-Q)(P^2-3Q)(P^2-4Q)\not\equiv 0\pmod p$. In this paper we show that the number of solutions of the congruence $x^3+a_1x^2+a_2x+a_3\equiv 0\pmod p$ depends only on $\sum_{k=1}^{[p…
In this paper we explore a family of congruences over $\N^\ast$ from which one builds a sequence of symmetric matrices related to the Mertens function. From the results of numerical experiments, we formulate a conjecture about the growth of the quadratic norm of these matrices, which implies the Riemann hypothesis. This suggests that matrix analysis methods may come to play a more important role in this classical and difficult problem.
Consider a strongly $b$-multiplicative sequence and a prime $p$. Studying its $p$-rarefaction consists in characterizing the asymptotic behaviour of the sums of the first terms indexed by the multiples of $p$. The integer values of the "norm" $3$-variate polynomial $\mathcal N_{p,i_1,i_2}(Y_0,Y_1,Y_2)\!:=\!\prod_{j=1}^{p-1}\left(Y_0{+}ζ_p^{i_1j}Y_1{+}ζ_p^{i_2j}Y_2\right),$ where $ζ_p$ is a primitive $p$-th root of unity, and $i_1,i_2{\in}\{1,2,\dots,p{-}1\},$ determine this asymptotic behaviour. It will be shown that a combinatorial method can be applied to $\mathcal N_{p,i_1,i_2}(Y_0,Y_1,Y_2)…
We introduce the notions of symmetric and symmetrizable representations of $\text{SL}_2(\mathbb{Z})$. The linear representations of $\text{SL}_2(\mathbb{Z})$ arising from modular tensor categories are symmetric and have congruence kernel. Conversely, one may also reconstruct modular data from finite-dimensional symmetric, congruence representations of $\text{SL}_2(\mathbb{Z})$. By investigating a $\mathbb{Z}/2\mathbb{Z}$-symmetry of some Weil representations at prime power levels, we prove that all finite-dimensional congruence representations of $\text{SL}_2(\mathbb{Z})$ are symmetrizable. We…
Let $p>3$ be a prime. Euler numbers $E_{p-3}$ first appeared in H. S. Vandiver's work (1940) in connection with the first case of Fermat Last Theorem. Vandiver proved that $x^p+y^p=z^p$ has no solution for integers $x,y,z$ with $\gcd(xyz,p)=1$ if $E_{p-3}\equiv 0 (\bmod p)$. Numerous combinatorial congruences recently obtained by Z.-W. Sun and by Z.-H. Sun involve the Euler numbers $E_{p-3}$. This gives a new significance to the primes $p$ for which $E_{p-3}\equiv 0 (\bmod p)$. For the computation of residues of Euler numbers $E_{p-3}$ modulo a prime $p$, we use the congruence which runs signi…
Let $X$ be a locally symmetric space defined by a simple Chevalley group $G$ and a congruence subgroup of $G(\mathbb Q)$. In this generality, the Weyl law for $X$ was proved by Lindenstrauss--Venkatesh. In the case where $G$ is simply connected, we sharpen their result by giving a power saving estimate for the remainder term.
Let $p$ be a prime and let $a$ be a positive integer. In this paper we investigate $\sum_{k=0}^{p^a-1}\binom[(h+1)k,k+d]/m^k$ modulo a prime $p$, where $d$ and $m$ are integers with $-h<d<=p^a$ and $m\not=0 (mod p)$. We also study congruences involving higher-order Catalan numbers $C_k^{(h)}=\binom[(h+1)k,k]/(hk+1)$ and $\bar C_k^{(h)}=\binomal[(h+1)k,k]*h/(k+1)$. Our tools include linear recurrences and the theory of cubic residues. Here are some typical results in the paper. (i) If $p^a=1 (mod 6)$ then $$\sum_{k=1}^{p^a-1}\binom[3k,k]/6^k=2^{(p^a-1)/3}-1 (mod p).$$ Also, $$\sum_{k=0}^{p^a-1}…
In this paper we study the systole growth of arithmetic locally symmetric spaces up congruence covers and show that this growth is at least logarithmic in volume. This generalizes previous work of Buser and Sarnak as well as Katz, Schaps and Vishne where the case of compact hyperbolic 2- and 3-manifolds was considered.
Let $s(n)$ be the number of 1-shell totally symmetric plane partitions (TSPPs) of $n$. In this paper, an infinite family of congruences modulo powers of $5$ for $s(n)$ will be deduced through an elementary approach. Namely, $$s\left(2\cdot 5^{2α-1}n+5^{2α-1}\right)\equiv 0 \pmod{5^α}.$$
Consider S_n, the symmetric group on n letters, and let maj pi denote the major index of a permutation pi in S_n. Given positive integers k,l and nonnegative integers i,j, define m_n^{k,l}(i,j) := number of pi in S_n such that maj pi = i (mod k) and maj pi^{-1} = j (mod l). We prove bijectively that if k,l are relatively prime and at most n then m_n^{k,l}(i,j) = n!/(kl) which, surprisingly, does not depend on i and j. Equivalently, if m_n^{k,l}(i,j) is interpreted as the (i,j)-entry of a matrix m_n^{k,l}, then this is a constant matrix under the stated conditions. This bijection is extended to…
