English

Quadratic residues and related permutations and identities

Number Theory 2019-07-10 v9 Combinatorics

Abstract

Let pp be an odd prime. In this paper we investigate quadratic residues modulo pp and related permutations, congruences and identities. If a1<<a(p1)/2a_1<\ldots<a_{(p-1)/2} are all the quadratic residues modulo pp among 1,,p11,\ldots,p-1, then the list {12}p,,{((p1)/2)2}p\{1^2\}_p,\ldots,\{((p-1)/2)^2\}_p (with {k}p\{k\}_p the least nonnegative residue of kk modulo pp) is a permutation of a1,,a(p1)/2a_1,\ldots,a_{(p-1)/2}, and we show that the sign of this permutation is 11 or (1)(h(p)+1)/2(-1)^{(h(-p)+1)/2} according as p3(mod8)p\equiv3\pmod 8 or p7(mod8)p\equiv7\pmod 8, where h(p)h(-p) is the class number of the imaginary quadratic field Q(p)\mathbb Q(\sqrt{-p}). To achieve this, we evaluate the product 1j<k(p1)/2(cotπj2/pcotπk2/p)\prod_{1\le j<k\le(p-1)/2}(\cot\pi j^2/p-\cot\pi k^2/p) via Dirichlet's class number formula and Galois theory. We also obtain some new identities for the sine and cosine functions; for example, we determine the exact value of 1j<kp1cosπaj2+bjk+ck2p\prod_{1\le j<k\le p-1}\cos\pi\frac{aj^2+bjk+ck^2}p for any a,b,cZa,b,c\in\mathbb Z with ac(a+b+c)≢0(modp)ac(a+b+c)\not\equiv0\pmod p.

Keywords

Cite

@article{arxiv.1809.07766,
  title  = {Quadratic residues and related permutations and identities},
  author = {Zhi-Wei Sun},
  journal= {arXiv preprint arXiv:1809.07766},
  year   = {2019}
}

Comments

36 pages, final published version