arXiv:2105.09822v1 [math.NT] 20 May 2021
PERMUTATIONS
HAI-LIANG WU AND YUE-FENG SHE
Abstract. Let p = 3n + 1 be a prime with n ∈ N = {0, 1, · · · }, and let g ∈ Z be a primitive root modulo p. Let 0 < a1<· · · < an < pbe all the cubic residues modulo p in the interval (0, p). Then clearly the sequence
a1 mod p, a2 mod p, · · · , an mod p is a permutation sp(g) of the sequence
g3 mod p, g6 mod p, · · · , g3n mod p.
In this paper, we shall determine the sign of this permutation.
1. Introduction
Investigating permutations over finite fields is an active topic in both number theory and finite fields. Using the Lagrange interpolation formula, clearly each permutation over a finite field is in fact induced by a permu-tation polynomial. For example, let p be an odd prime, and let a be an integer with p ∤ a. Then x mod p 7→ ax mod p (x = 0, 1, · · · , p − 1) is a permutation over the finite field Fp = Z/pZ. Zolotarev [10] showed that the
sign of this permutation is precisely the Legendre symbol (ap). Later Lerch [5] extended this result to the ring of residue classes modulo an arbitrary positive integer. In 2015 Brunyate and Clark [2] extended this result to the higher dimensional vector spaces over finite fields.
Recently, Sun [7] studied permutations involving squares in finite fields. In fact, let p = 2m + 1 be an odd prime. Let 0 < b1 < · · · < bm < p be
all the quadratic residues modulo p in the interval (0, p). Then clearly the sequence
12 mod p, 22 mod p, · · · , m2 mod p is a permutation σp of the sequence
b1 mod p, b2 mod p, · · · , bm mod p.
2020 Mathematics Subject Classification. Primary 11A15; Secondary 05A05, 11R18. Keywords. permutations, primitive roots, finite fields.
Supported by the National Natural Science Foundation of China (Grant No. 11971222).
Let sign(σp) denote the sign of σp. Sun [7, Theorem 1.4] obtained that
sign(σp) =
(
1 if p ≡ 3 (mod 8),
(−1)h(−p)+12 if p ≡ 7 (mod 8),
where h(−p) denotes the class number of Q(√−p). Later Petrov and Sun [6] determined the sign of σp in the case p ≡ 1 (mod 4).
Motivated by the above work, in this paper, we mainly consider per-mutations concerning cubes in Fp = Z/pZ (p is an odd prime). The case
p ≡ 2 (mod 3) is trivial. In fact, clearly in this case
{x3 mod p : x = 0, 1, · · · , p − 1} = Z/pZ,
and hence x mod p 7→ x3 mod p (x = 0, 1 · · · , p − 1) is a permutation τ p
over Z/pZ. The sign of τp is a direct consequence of Lerch’s result [5] and
we have sign(τp) = (−1)
p+1
2 . Readers may see [8, Theorem 1.2] for details.
Now we consider the non-trivial case p ≡ 1 (mod 3). Let p = 3n + 1 be a prime with n ∈ N, and let g ∈ Z be a primitive root modulo p. Let 0 < a1 < · · · < an < p be all the cubic residues modulo p in the interval
(0, p). Then clearly the sequence
a1 mod p, a2 mod p, · · · , an mod p
is a permutation sp(g) of the sequence
g3 mod p, g6 mod p, · · · , g3n mod p.
In order to state our result, we first introduce some notations. Let P := {0 < x < p : x is a primitive root modulo p}. It is known that 4p can be uniquely written as
4p = r2 + 3s2 (r, s ∈ Z) (1.1)
with r ≡ 1 (mod 3), s ≡ 0 (mod 3) and 3s ≡ (2gn + 1)r (mod p). Let
ω = e2πi/3 be a primitive cubic root of unity. As p splits in Z[ω] and Z[ω]
is a PID, we can write p = π¯π for some primary prime element π ∈ Z[ω] with (gπ)3 = ω, where ¯π denotes the conjugation of π and the symbol (π·)3
is the cubic residue symbol modulo π. Readers may refer to [4, Chapter 9] for details.
We also define
δp := |{0 < x < p/4 : x is a cubic residue modulo p}|,
and γp := 0 < x < p/2 : x p = 1 and x π 3 = ω2 , where |S| denotes the cardinality of a set S
With the above notations, we now state our main result.
Theorem 1.1. Let p = 3n + 1 be a prime with n ∈ N. Then we have
(i) If p ≡ 1 (mod 12), then
|{g ∈ P : sign(sp(g)) = 1}| = |{g ∈ P : sign(sp(g)) = −1}|.
(ii) If p ≡ 7 (mod 12), then sign(sp(g)) is independent on the choice of
g. Also, we have
sign(sp(g)) = (−1)δp+(1+αp)(1+r)+(h(−p)+1−2αp)(2−r+3s)/4+s(1+γp)+(n−2)/4, where h(−p) is the class number of Q(√−p).
We will prove Theorem 1.1 in the next section.
2. Proof of Theorem 1.1
We first introduce some notations. Let p = 3n + 1 be a prime with n ∈ N, and let g ∈ Z be a primitive root modulo p. Let ω = e2πi/3 be a primitive
cubic root of unity.
As p splits in Z[ω] and Z[ω] is a PID, we can write p = π¯π for some primary prime element π ∈ Z[ω] with (πg)3 = ω, where ¯π denotes the
con-jugation of π and the symbol (·
π)3 is the cubic residue symbol modulo π.
Readers may refer to [4, Chapter 9] for details. For convenience, we use the symbol p to denote the prime ideal πZ[ω]. Recall that 4p can be uniquely written as
4p = r2 + 3s2 (r, s ∈ Z) (2.1)
with r ≡ 1 (mod 3), s ≡ 0 (mod 3) and 3s ≡ (2gn+ 1)r (mod p). We begin
with the following result (cf. [1, Corollary 10.6.2(c)]).
Lemma 2.1. For any 0 < k < p, let
N(k) := |{(x, y) : 0 < x, y < p, y3− x3 ≡ k (mod p)}|.
Then with the above notations we have
N(k) = p + r − 8 if (kπ)3 = 1, (2p − r + 3s − 4)/2 if (kπ)3 = ω, (2p − r − 3s − 4)/2 if (k π)3 = ω 2.
For any 0 < k < p we define rk:= (x, y) : 0 < x < y < p, y − x ≡ k (mod p), x π 3 = y π 3 = 1 .
We need the following result.
Lemma 2.2. We have the following congruence:
X 0<k<p/2 rp−k ≡ 0 < x < p/4 : x π 3 = 1 (mod 2). Proof. By definition P 0<k<p/2rp−k is clearly equal to (x, y) : 0 < x < y < p, y − x > p/2, xπ 3 = y π 3 = 1 . (2.2)
Replacing y by p − y, we obtain that (2.2) is equal to (x, y) : 0 < x, y < p, x + y < p/2, x π 3 = y π 3 = 1 . (2.3)
By the symmetry we clearly have X 0<k<p/2 rp−k ≡ 0 < x < p/4 : x π 3 = 1 (mod 2).
This completes the proof.
Now we define the following sets:
A1 : = 0 < x < p/2 : x π 3 = 1 , Aω : = 0 < x < p/2 : x π 3 = ω , Aω2 : = 0 < x < p/2 : x π 3 = ω2 .
We have the following result (Recall that p is the prime ideal πZ[ω]).
Lemma 2.3. Let p ≡ 7 (mod 12) be a prime. Then we have
(i) Recall that
αp := |{0 < x < p/2 : x is a 6-th power residue modulo p}|. Then we have
Y
x∈A1
(ii) Let βp := |{0 < x < p/2 : x p = 1 and x π 3 = ω}|. Then we have Y x∈Aω x ≡ (−1)1+βpω2 (mod p).
(iii) Recall that
γp := |{0 < x < p/2 : x p = 1 and x π 3 = ω2}|. Then we have Y x∈Aω2 x ≡ (−1)1+γpω (mod p).
Proof. (i) One can verify the following polynomial congruence: Y 0<x<p,(xπ)3=1 (T − x) ≡ Tn− 1 (mod p). Hence we have (−1)n/2 Y x∈A1 x 2 ≡ −1 (mod p). As p ≡ 3 (mod 4), we have Y x∈A1 x 2 ≡ 1 (mod p). Let αp be as the above. Then it is clear that
Y
x∈A1
x ≡ (−1)n/2−αp ≡ (−1)1+αp (mod p).
(ii) As in (i), we also have Y 0<x<p,(x π)3=ω (T − x) ≡ Tn− ω (mod p). Hence we obtain Y x∈Aω x 2 ≡ ω (mod p).
Noting that ω = (ω2)2 is a quadratic residue modulo p, by the definition of
βp we have
Y
x∈Aω
x ≡ (−1)1+βpω2 (mod p).
(iii) With essentially the same method used in (ii), one can verify (iii).
Let Φp−1(T ) be the (p − 1)-th cyclotomic polynomial, and let
P (T ) := Y
1≤i<j≤n
(T3j − T3i).
Then we have the following result (cf. [9, Lemma 2.5]). Lemma 2.4. Let G(T ) be an integral polynomial defined by
G(T ) = (
(−1)(n−2)/4· nn/2 if p ≡ 3 (mod 4),
(−1)(n−4)/4· nn/2· T(p−1)/4 if p ≡ 1 (mod 4). Then Φp−1(T ) | P (T ) − G(T ).
Now we are in a position to prove our main result. Proof of Theorem 1.1. It follows from definition that
sign(sp) ≡ Y 1≤i<j≤n g3j − g3i aj − ai (mod p).
We first consider the numerator. Since p totally splits in the cyclotomic field Q(e2πi/(p−1)), we obtain that Φ
p−1(T ) mod pZ[T ] totally splits in Z/pZ[T ].
Also, the set of all primitive (p − 1)-th roots of unity map bijectively onto the set of all primitive (p −1)-th roots of unity in the finite field Fp = Z/pZ.
Hence we have Φp−1(T ) ≡ Y x∈P (T − x) (mod p), (2.4) where
P := {0 < x < p : x is a primitive root modulo p}. By Lemma 2.4 and (2.4) we have
Y 1≤i<j≤n (g3j − g3i) = P (g) ≡ G(g) (mod p), i.e., Y 1≤i<j≤n (g3j − g3i) ≡ ( (−1)(n−2)/4· nn/2 (mod p) if 4 | p − 3, (−1)(n−4)/4· nn/2 · g(p−1)/4 (mod p) if 4 | p − 1. (2.5) By (2.5) for any g′ ∈ P we find that Y 1≤i<j≤n g3j− g3i (g′ )3j − (g′ )3i ≡ ( (g/g′)p−14 (mod p) if 4 | p − 1, 1 (mod p) if 4 | p − 3.
This implies sign(sp(g)) · sign(sp(g−1)) = −1 if p ≡ 1 (mod 4) and hence in
the case p ≡ 1 (mod 4) we have
Also, in the case p ≡ 3 (mod 4), it is clear that sign(sp(g)) is independent
on the choice of g.
We now consider the denominator and assume p ≡ 3 (mod 4). Recall that rk = (x, y) : 0 < x < y < p, y − x ≡ k (mod p), x π 3 = y π 3 = 1 . It is clear that Y 1≤i<j≤n (aj− ai) ≡ Y 0<k<p krk ≡ (−1)P0<k<p/2rp−k · Y 0<k<p/2 krk+rp−k ≡ (−1)δp Y 0<k<p/2 krk+rp−k (mod p), where
δp = |{0 < x < p/4 : x is a cubic residue modulo p}|.
The last congruence follows from Lemma 2.2. By the definition of rk one
can verify that for all 0 < k < p we have
rk+ rp−k = N(k)/9, (2.6)
where N(k) is defined in Lemma 2.1. In view of the above, we obtain that Q
1≤i<j≤n(aj − ai) mod p is equal to
(−1)δp Y x∈A1 xp+r−89 Y y∈Aω y2p−r+3s−418 Y z∈Aω2 z2p−r−3s−418 mod p. By Lemma 2.3 we have Y x∈A1 xp+r−89 ≡ (−1)(1+αp)(1+r) (mod p), Y y∈Aω y2p−r+3s−418 Y z∈Aω2 z2p−r−3s−418 ≡ (−1)(βp+γp)(−r+3s)/2+(1+γp)sω2s/3 (mod p). Note that
αp + βp+ γp = |{0 < x < p/2 : x is a quadratic residue modulo p}|.
By the class number formula of Q(√−p) (cf. [3, Theorem 4, p. 346]) we know that
|{0 < x < p/2 : x is a quadratic residue modulo p}| ≡ h(−p) + 12 (mod 2), where h(−p) is the class number of Q(√−p). By the above we obtain that Q
1≤i<j≤n(aj − ai) mod p is equal to
By (2.5) we have Y
1≤i<j≤n
(g3j − g3i) ≡ (−1)(n−2)/4· nn/2 (mod p). (2.8) It is also known that 3 is a cubic residue modulo p if and only if the equation
4p = X2+ 243Y2
has integral solutions. With our notations in (2.1), it is equivalent to s ≡ 0 (mod 9). We now divide the remaining proof into two cases.
Case I. 3 is not a cubic residue modulo p. In this case, as sign(sp) ≡ Y 1≤i<j≤n g3j − g3i aj − ai ≡ ±1 (mod p),
we must have nn2 ≡ εω2s/3 for some ε ∈ {±1}. Hence
ε ≡ n3n/2≡ −3p
≡ 1 (mod p). Combining this with (2.7) and (2.8), we obtain
sign(sp(g)) = (−1)δp+(1+αp)(1+r)+(h(−p)+1−2αp)(2−r+3s)/4+s(1+γp)+(n−2)/4.
Case II. 3 is a cubic residue modulo p.
In this case we have nn/2 = ±1 in this case and hence
nn/2 = n3n/2≡ −3 p
= 1 (mod p).
Combining this with (2.7) and (2.8), we also obtain
sign(sp(g)) = (−1)δp+(1+αp)(1+r)+(h(−p)+1−2αp)(2−r+3s)/4+s(1+γp)+(n−2)/4.
This completes the proof.
Acknowledgments This research was supported by the National Natural Science Foundation of China (Grant No. 11971222). The first author was also supported by NUPTSF (Grant No. NY220159).
References
[1] B. C. Berndt, R. J. Evans and K. S. Williams, Gauss and Jacobi Sums, Wiley, New York, 1998.
[2] A. Brunyate, P.L. Clark, Extending the Zolotarev-Frobenius approach to quadratic reciprocity, Ramanujan J. 37 (2015) 25–50.
[3] Z. I. Borevich and I. R. Shafarevich, Number Theory, Academic Press, 1966. [4] K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory
(Graduate Texts in Math.; 84), 2nd ed., Springer, New York, 1990.
[5] M. Lerch, Sur un th´eor`eme de Zolotarev, Bull. Intern. de l’Acad. Fran¸cois Joseph 3 (1896), 34–37.
[6] F. Petrov and Z.-W. Sun, Proof of some conjecture involving quadratic residues, Electron. Res. Arch. 28 (2020), 589–597.
[7] Z.-W. Sun, Quadratic residues and related permutations and identities, Finite Fields Appl. 59 (2019), 246–283.
[8] L.-Y. Wang and H.-L. Wu, Applications of Lerch’s theorem to permutations of quadratic residues, Bull. Aust. Math. Soc. 100 (2019), 362–371.
[9] H.-L. Wu and Y.-F. She, Jacobsthal sums and permutations of biquadratic residues, Finite Fields Appl. 70 (2021), Article 101789.
[10] G. Zolotarev, Nouvelle d´eonstration de la loi de r´eciprocit´e de Legendre, Nouvelles Ann. Math. 11 (1872), 354–362.
(Hai-Liang Wu) School of Science, Nanjing University of Posts and Telecommunications, Nanjing 210023, People’s Republic of China
Email address: [email protected]
(Yue-Feng She) Department of Mathematics, Nanjing University, Nan-jing 210093, People’s Republic of China
