Arxiv:1707.06870V3 [Math.NT] 14 Aug 2021
Total Page:16
File Type:pdf, Size:1020Kb
New Wilson-like theorems arising from Dickson polynomials Antonia W. Bluher National Security Agency [email protected] Abstract Wilson’s Theorem states that the product of all nonzero elements of a fi- nite field F is 1. In this article, we define some natural subsets S F q − ⊂ q× (q odd) and find formulas for the product of the elements of S, denoted S. These new formulas are appealing for the simple, natural description of the Q sets S, and for the simplicity of the product. An example is a F : { ∈ q× 1 a and 3+ a are nonsquares =2 if q 1 (mod 12), or 1 otherwise. − } ≡± − Q 1. Introduction John Wilson (1741–1793) stated that if p is prime, then p divides (p 1)! + 1, i.e., − the product of the nonzero elements of the finite field Fp is 1. Wilson’s Theorem is normally stated for fields of prime order, but its proof easily− carries over to arbitrary n finite fields Fq, where q = p . One simply pairs each element of Fq× with its multiplicative inverse, noting that 1 and 1 are the only elements that are equal to their own inverse. 1 − Each pair a, a− multiplies to 1, leaving us with F× =1 1= 1. { } q × − − Oystein Ore [7] provides the following history of Wilson’s Theorem. Q In the Meditationes Algebraicae by Edward Waring, published in Cam- bridge in 1770, one finds [...] several announcements on the theory of num- bers. One of them is the following: For any prime p the quotient arXiv:1707.06870v3 [math.NT] 14 Aug 2021 1 2 (p 1)+1 · ····· − p is an integer. This result Waring ascribes to one of his pupils John Wilson (1741– 1793). Wilson was a senior wrangler at Cambridge and left the field of mathematics quite early to study law. Later he became a judge and was knighted. Waring gives no proof of Wilson’s theorem until the third edition of his Meditationes, which appeared in 1782. Wilson probably arrived at the result through numerical computations. Among the posthumous papers of Leibniz there were later found similar calculations on the remainders of n!, and he seems to have made the same conjecture. The first proof of the theorem of Wilson was given by J. L. Lagrange in a treatise that appeared in 1770. 1 In [1], while investigating permutation properties of Dickson polynomials, we dis- covered the following “Wilson-like” theorems: a F× : a and 4 a are nonsquares =2 (1) { ∈ q − } Y and 2 a F× : a and 4+ a are nonsquares = 2, (2) { ∈ q − } q · Y where q is an odd prime power and a denotes the Legendre symbol, defined for a F q ∈ q by 1 if a is a nonzero square in F a q = -1 if a is a nonsquare in F q q× 0 if a =0. This article finds more formulas of this type, and again Dickson polynomials are a key ingredient. See [2] for a short exposition on these topics. Define the following sets: + a + k a + k = a F× : =1 , − = a F× : = 1 , Sk ∈ q q Sk ∈ q q − ++ ++ a + k a + ℓ = = a F× : =1, =1 , Sk,ℓ Sℓ,k ∈ q q q + + a + k a + ℓ − = − = a F× : =1, = 1 , Sk,ℓ Sℓ,k ∈ q q q − a + k a + ℓ −− = −− = a F× : = 1, = 1 , Sk,ℓ Sℓ,k ∈ q q − q − where k,ℓ Fq and k = ℓ. These definitions implicitly depend on q, which is always ∈ 6 + assumed to be an odd prime power. This article finds simple closed formulas for k , S and − (Theorem 2.4) and ± ± (Section 7) for all k and ℓ (k = ℓ). Sk Sk,ℓ 6 Q Define a related set ε1,ε2 for j, ℓ F , ε ,ε +1, 1 , j + ℓ = 0, as follows: Q Tj,ℓ Q ∈ q 1 2 ∈{ − } 6 ε1,ε2 j a ℓ + a = a F× : − = ε , = ε . (3) Tj,ℓ ∈ q q 1 q 2 Note that ε1,ε2 εε1,ε2 1 j,ℓ = j,ℓ , where ε = − . (4) T S− q , Our reason for introducing these sets is that k,ℓ± ± requires separate formulas for the S , cases q 1 (mod 4) and q 3 (mod 4); whereas ± ± can be expressed with a ≡ ≡ Q Tj,ℓ single formula. For example, we will show that −−4,0 = 2 if q 1 (mod 4), or 1/2 S−Q ≡ − if q 3 (mod 4); whereas 4−−,0 = 2 for all odd q. Some sample formulas that we will prove≡ are the following: T Q Q + (q+3)/8 − =( 1)⌊ ⌋ (5) T2,2 − Y 2 2 if q 1 (mod 12) 1−−,3 = ≡ ± (6) T ( 1 otherwise. Y − If j and 4 j are nonzero squares in F , then we show in Theorem 7.1(iv) that − q 2+ √j 4+2 √4 j 2 j,−−4 j = 2= − 2= 4−−j,j. (7) T − q · q · q T − Y Y Here, 2 √j are both squares or both nonsquares since their product 4 j is assumed to be a± square, so the Legendre symbol is well defined, and similarly for− 4 2 √4 j . ± − We show in Theorem 7.2 and Table 4 that If j is a square and 4 j is not, then j,−−4 j is a square root of j. (8) − T − Y If 4 j is a square and j is not, then j,−−4 j is a square root of 4 j. (9) − T − − Y+ If j and 4 j are nonsquares, then j,4−j is a square root of j/(4 j). (10) − T − − In each case, a prescription is given thatY determines which square root to select. Thus, each formula is determined completely, and not just up to sign. In this article we find ε1,ε2 formulas for all j,ℓ (j = ℓ). See Tables 2 and 4 for a complete list when j +ℓ = 4. For arbitrary j, ℓ withT j +ℓ6 =− 0, ε1,ε2 can be determined with our rescaling formula, 6 Tj,ℓ given in SectionQ 5. Q As hinted by (7), the above results are related to rational reciprocity. For example, consider the case j = ℓ = 2. As is well known (and will be proved in Lemma 4.3), 2 2 is a square in F iff q = 1 (mod 8). Assuming = 1, (7) implies that −− = q ± q T2,2 2+√2 (q ε)/8 2. On the other hand, −− = ( 1) − 2 by Theorem 7.1(iiQ), where q · T2,2 − · 1 ε = − . This equals 2 if q Q 1 (mod 16) or 2 if q 8 1 (mod 16). The q ≡ ± − ≡ ± conclusion is that 2 + √2 is a square in Fq if q 1 (mod 16) and a nonsquare if q 8 1 (mod 16). Although known (see [4]),≡ it ± is nonetheless interesting that ≡ ± rational reciprocity arises in this context. For more examples of how our work relates to rational reciprocity, see Section 9. Of independent interest is our Theorem 4.1, which gives an explicit bijection be- tween sets v, 1/v, v, 1/v µ2q 2 µ2q+2 and Fq. The bijection is used to neatly { − − } ⊂ − ∪ characterize τ F such that τ = ε , τ+1 = ε for each pair (ε ,ε ). Several ∈ q q 1 q 2 1 2 applications of this result are given (see Section 4), for example a simple proof that 2 3 = 1 iff q 1 (mod 8) and − = 1 iff q 1 (mod 3). q ≡ ± q ≡ Notation: Throughout, q denotes a power of an odd prime, Fq the field with q elements, Fq× its group of nonzero elements under multiplication, and Fq its algebraic closure. If (d, q) = 1 then µ denotes the d-th roots of unity in F . If c is a real number, then c d q ⌊ ⌋ denotes the largest integer that is c. If S is a subset of Fq×, then S denotes the product of the elements of S, and ≤S denotes its cardinality. By convention, = 1. | | Q ∅ If S and S′ are disjoint, then S S′ = (S S′). We assume basic knowledge of × ∪ Q Q Q 3 Q finite fields, as can be found in [6, Chapter 2], and properties of the Legendre symbol over prime fields Fp, as can be found in [8]. It is well known that Fq× is cyclic. If g is i (q 1)/2 a generator, then g is a square if and only if i is even, and g − = 1. From this a − (q 1)/2 one can deduce the well-known properties of Legendre symbols that q = a − and a b = ab for all a, b F . We often identify the symbols + and with 1 and q q q ∈ q − 1, respectively. Thus, for ε1,ε2 +, we have − ∈{ −} ε1,ε2 a + k a + ℓ = a F× : = ε , = ε , Sk,ℓ ∈ q q 1 q 2 ε1,ε2 j a ℓ + a = a F× : − = ε , = ε , Tj,ℓ ∈ q q 1 q 2 where j,k,ℓ F , j + ℓ = 0, and k ℓ = 0. We define sets that are similar to ε1,ε2 but ∈ q 6 − 6 Sk,ℓ may contain 0: a + k a + ℓ ε1,ε2 = a F : = ε , = ε . (11) Ak,ℓ ∈ q q 1 q 2 Note that ε1,ε2 k ℓ ε1,ε2 k,ℓ 0 if q = ε1 and q = ε2, k,ℓ = S ⊔{ } (12) A ( ε1,ε2 otherwise, Sk,ℓ where denotes the disjoint union, that is, the union of sets that are known to be ⊔ pairwise disjoint. We sometimes abbreviate “if and only if” by “iff” or by the symbol .