arXiv:1209.2371v3 [math.NT] 26 Sep 2015 eut bandi hsdrcin h uhr n[]sae n pro ex and 1.1. stated some Theorem [4] are in [6] authors and The theorem. [1] direction. ing this mathematicians, in many obtained by results studied been viously iiil by divisible sa meanings. usual h oigscin.Tepof a efudi [5]. in be found shall be we 1.2. can which Definition proofs results The following sections. the coming proof the without state we section hr xssa integer an exists there ntefloig esalueuulproiiywith periodicity usual use shall we following, the In hoe 1.3. Theorem tioned. hoe 1.4. Theorem hoe . a lodrvdi 3,hwvrtemtvto fta pap that of motivation the [5]. however [3], from in different derived also was 1.4 Theorem a eido iia length, minimal of period a has hspprdaswt h eidct fbnma offiinswihhave which coefficients binomial of periodicity the with deals paper This 2010 Date e od n phrases. and words Key h ro fTerm11wscmltdb age n aka[] nt In [2]. Saikia and Laugier by completed was 1.1 Theorem of proof The h olwn eeaiaino hoe . a lopoe n[2]. in proved also was 1.1 Theorem of generalization following The ue5 2018. 5, June : ahmtc ujc Classification. Subject Mathematics where where eieafwohrrslsadcongruences. and results other few a derive Abstract. p o vr non-negative every for ,m n m, x, m o aua number natural a For = h sequence The aua number natural A eune( sequence A EIDCSQECSMODULO SEQUENCES PERIODIC LXNR AGE N AJLP SAIKIA P. MANJIL AND LAUGIER ALEXANDRE Q egv e eak nteproi sequence periodic the on remarks few a give We ∈ i w =1 1. N ℓ > N hc sproi ihmnmllnt ftepro being period the of length minimal with periodic is which , ( p nrdcinadPreliminaries and Introduction rm oui ioilcecet,proi eune mod sequences periodic coefficients, binomial moduli, prime ,x m, i b i epoecranitrsigpoete of properties interesting certain prove We . = ) uhta o all for that such 0 l a ( a ( i m Y a n n =1 w + n ssi ob eidcmodulo periodic be to said is ) = ) = ) k p ⌊ i = log > p n i Y m =1 where , a k p rmr 15;Scnay1A7 11B65. 11A07, Secondary 11B50; Primary n x i n
= x p 1 1 ⌋ i ⌊ ( + Q log o m mod (mod b sapiei n nyif only and if prime a is i i k p =1 = i p > n N > n m m p ⌋ m i i b Y + =1 w ) i b h sequence the , ) i sproi,where periodic, is . 1 + p . N i ⌊ log nesohriemen- otherwise unless 1 = p n h ybl aetheir have symbols the and i x a ⌋ n = m m ℓ n x a (
,x m, n ( ihperiod with o m mod e h follow- the ved ≡ and ) ,m n m, x, rwsquite was er n p eern in referring m n
mlsof amples
) ⌊ − ( ulo o m mod ∈ n p m pre- ⌋ k N his . is . if ) 2 ALEXANDRELAUGIERANDMANJILP.SAIKIA

Theorem 1.5. For natural numbers n, k and a prime p we have the following n n − ≡ 0 (mod p). pk pk     We also fix the notation [[1,i]] for the set {1, 2,...,i} throughout the paper.

Definition 1.6. We define ordp(n) for n ∈ N to be the greatest exponent of p with p a prime in the decomposition of n into prime factors, k ordp(n) = max k ∈ N : p |n .  2. Results and Discussion 2.1. Remarks on Theorem 1.3. The integer n in Theorem 1.3 should be greater n than x. Otherwise, the binomial coefficient x is not defined. But, we can extend the definition of n to integer n such that 0 ≤ n < x by setting n = 0 if x
x 0 ≤ n < x. Nevertheless, notice that this extension is not necessary in order to

prove this theorem about periodic sequences. n The case where m = 0 is not possible since the sequence ( x ) is not periodic modulo 0 or is not simply periodic. So, if x = m, x should be non-zero.
If x = 0, then we have

an ≡ an+1 ≡ ... ≡ an+k ≡ 1 (mod m) for any integers n and k. So, if x = 0, the sequence (an) is periodic with minimal period equal to 1. We recall that if a sequence is periodic, a period of such a sequence is a non-zero integer. In the following, we assume x ≥ 1. Lemma 2.1. For n ≥ x +1 n−1 i n = . x x +1 i=x X     The proof of the above is not difficult and can be done using induction. We omit the details here. n n+k Let k be the length of a period of sequence an ≡ x (mod m), meaning x ≡ n (mod m). Then we have, x

Lemma
2.2. y+mk−1 j ≡ 0 (mod m). x j=y X   Proof. It is enough to notice the following

y+mk−1 m−1 y+k−1 m−1 j j + ik = ≡ r = mr ≡ 0 (mod m), x x j=y i=0 j=y i=0 X   X X   X y+k−1 j+ik  where j=y x ≡ r (mod m), for some r. In [2],P the authors
mention without proof the following generalization of Theorem 1.4. PERIODIC SEQUENCES MODULO m 3

w bi Theorem 2.3. For a natural number m = i=1 pi , the sequence (an) such that n an ≡ (mod m) has a period of minimal length x Q w w ⌊log x⌋+b ⌊log x⌋
pi i pi ℓ(m, x)= pi = m pi . i=1 i=1 Y Y The proof follows from the proof of Theorem 1.4 as given in [5] and also via Theorem 3 in [3]. An easy corollary mentioned in [2] is proved below.

w bi Corollary 2.4. For m = i=1 pi we have 2 w+1 Q m ≤ ℓ(m) ≤ m . Proof. We have

w w b w ⌊log (m)⌋ ⌊log (p i )⌋ pi pi i bi ℓ(m)= m pi ≥ m pi = m pi i=1 i=1 i=1 Y Y Y and w w ⌊log (m)⌋ log (m) pi pi w+1 ℓ(m)= m pi ≤ m pi = m . i=1 i=1 Y Y 

Remark 2.5. Here w ≤ m − ϕ(m) where ϕ is the Euler totient function. We now formally give the following definition. Definition 2.6 (Minimal Period of a periodic sequence). The period of minimal n N length of a periodic sequence (an) such that an ≡ x (mod m) with x ∈ and m ∈ N, is the minimal non-zero natural number ℓ(m, x) such that for all positive
integer n we have n + ℓ(m, x) n ≡ (mod m) x x     where it is understood that n 0, if 0 ≤ n < x = x n! , if n ≥ x.    x!(n−x)! Remark 2.7. If x = 0, then ℓ(m, x = 0) = 1 with m ∈ N. From Definition 2.6 ℓ(m, x) ℓ(m, x)+1 ℓ(m, x)+ x − 1 ≡ ≡···≡ ≡ 0 (mod m). x x x       If x> 0 (x ∈ N), since any number is divisible by 1, we have x x +1 2x − 1 ≡ ≡···≡ ≡ 0 (mod 1). x x x       Regarding the definition of ℓ(m, x), since x is the least non-zero natural number which verifies this property, we can set (x ∈ N) ℓ(1, x) = 1. n The minimal period ℓ(m) of a sequence (an) such that an ≡ m (mod m) with m ∈ N (see Theorem 1.4) is given by ℓ(m)= ℓ(m,m). ln x
Before we mention a few results we recall that loga x = ln a and ln(1 + x) = ∞ k+1 (−1) k k x . k X=1 4 ALEXANDRELAUGIERANDMANJILP.SAIKIA

Theorem 2.8. 1 ⌊log (x)⌋, if x 6= pc − 1; ⌊log (x + 1)⌋ = log (x)+ = p p p x ln p ⌊log (x)⌋ +1, if x = pc − 1,    p with c ∈ N. The proof is not difficult and is an easy calculus exercise, so we shall omit it here. We now have the following Corollary 2.9. ℓ(m, x), if x 6= pc − 1 and p|m; ℓ(m, x +1)= pℓ(m, x), if x = pc − 1 and p|m,  with x, m ∈ N. The proof of the above corollary comes from Definition 2.6 and Theorem 2.8. From Lemma 2.1 x+k−1 j x + k = . x x +1 j=x X     x+k N The binomial cœfficient x+1 is well defined for x ∈ . Nevertheless, it was remarked in [5] that we can extend possibly the definition of n (where it is implied
x that 0 ≤ x ≤ n) to negative n.
Below we discuss a few general results and give a few general comments. Using Pascal’s rule, we can observe that x + k x + k x + k +1 + = . x +1 x x +1       x+k x Since x ≡ x ≡ 1 (mod m), we obtain

x + k x + k +1 (2.1) +1 ≡ (mod m). x +1 x +1     If x 6= pc − 1 and p|m, then from the corollary above, we have k = ℓ(m, x) = ℓ(m, x + 1). So x + k +1 x +1 ≡ ≡ 1 (mod m), x +1 x +1     and hence x + ℓ(m, x) ≡ 0 (mod m). x +1   If x = pc − 1 and p|m, then from the corollary above, we have pk = pℓ(m, x)= ℓ(m, x + 1). Now from Theorem 1.5 we have for x = pc − 1 and m = p a prime with c ∈ N, (2.2) x + k +1 pc + ℓ(p,pc − 1) pc + ℓ(p,pc − 1) ℓ(p,pc − 1) = ≡ ≡ +1 (mod p). x +1 pc pc pc         From (2.1) and (2.2) with x = pc − 1, k = ℓ(m, x) and m = p a prime we have pc − 1+ ℓ(p,pc − 1) ℓ(p,pc − 1) ≡ (mod p). pc pc     PERIODIC SEQUENCES MODULO m 5

We have ℓ(p,pc) = pc+1 = pℓ(p,pc − 1), so it follows that ℓ(p,pc − 1) = pc and ℓ(p,pc−1) N hence ⌊ pc ⌋ = 1 for c ∈ . Thus 2pc − 1 ≡ 1 (mod p). pc   Thus, we now have the following result. Theorem 2.10. For a prime p and a natural number c, we have 2pc − 1 ≡ 1 (mod p). pc   c c In general, if x = p − 1 and p|m, then since ⌊logp(p )⌋ = c, and from Corollary 2.9 we have c ℓ(m,p ) ⌊log (pc)⌋ ℓ(m,pc − 1) = = mpc−1 p pi . p i i∈[[1,kY]] | pi6=p c If bi = ordpi (m)= ⌊logpi (p )⌋ for i ∈ [[1, k]] | pi 6= p and b = ordp(m), we have ℓ(m,pc) m ℓ(m,pc − 1) = = mpc−1 pbi = mpc−1 × . p i pb i∈[[1,kY]] | pi6=p So, we deduce that m2 ℓ(m,pc − 1) = m2 pc−b−1 = pc, pb+1 and ℓ(m,pc)= m2 pc−b. In particular, when m = pb we have ℓ(m = pb,pc − 1) = pb+c−1. And, we get c c c 2 ℓ(m = p,p − 1) = p . If c ≥ ordp(m) + 1, then ℓ(m,p − 1) is divisible by m . If c c m2 b = c, then ℓ(m = p ,p − 1) = p . Now from (2.2) and the preceeding paragraph we have, x + k +1 pc + ℓ(m,pc − 1) pc + ℓ(m,pc − 1) m2 = ≡ ≡ +1 (mod p). x +1 pc pc pb+1         From (2.1) with x = pc −1, k = ℓ(m, x), and also from the fact that d ≡ e (mod m) and p|m implies that d ≡ e (mod p) (the converse is not always true), we have for p|m, pc − 1+ m2 pc−b−1 m2 c ≡ c (mod p). pc pb+1     2.2. Remarks on Theorem 1.4. In the proof of Theorem 1.4, the authors in [5] n first proved that a period of a sequence (an) such that an ≡ m (mod m) with ⌊log (m)⌋ k bi k pi m = i=1 pi , should be a multiple of the number ℓ(m) = m
i=1 pi . Afterwards, it is proved that ℓ(m) represents really the minimal period of such a sequenceQ namely for every natural number n, Q n + ℓ(m) n ≡ (mod m). m m     6 ALEXANDRELAUGIERANDMANJILP.SAIKIA

For that, the authors notice that it suffices to prove m−1(n − i) m−1(n + ℓ(m) − i) i=0 ≡ i=0 (mod m), k ϑpj (m) k ϑpj (m) Qj=1 pj Q j=1 pj where ϑpj (m) isQ the pj -adic ordinal ofQm! defined as

⌊logp (m)⌋ m j m (2.3) ϑp (m) = ordp (m!) = = . j j pl pl l $ j % l $ j % X≥1 X=1 Thus to prove Theorem 1.4 it is sufficient to show m (n − i + 1) m (n + ℓ(m) − i + 1) i=1 ≡ i=1 (mod m). k ϑpj (m) k ϑpj (m) Q j=1 pj Q j=1 pj Then, the authorsQ observe that amongQ the numbers n,n−1,...,n−m+1, there m l are at least ⌊ pl ⌋ that are divisible by p for every positive integer l and any prime p which appears in the prime factorization of m. In particular, if p divides m, we can notice that among the numbers n,n − 1,...,n − m + 1 (which represents m m m consecutive numbers), there are exactly ⌊ p ⌋ = p that are divisible by p for any prime p which appears in the prime factorization of m. In the following, we define natural numbers cj (i) with i = 1, 2,...,m and j = 1, 2,...,k by m

ϑpj (m)= cj (i) i=1 X such that the cj (i)’s are functions of ordpj (m−i+1) namely cj(i) = (ordpj (n−i+1)) and i =1, 2,...,m, j =1, 2,...,k. Also cj (i) = 0 if ordpj (m − i + 1) = 0. We now state and prove the following result. m

Theorem 2.11. If max cj (i) ϑpj (m)= cj (i) ≤⌊logpj (m)⌋ then ϑpj (m) ≤ ( i=1 ) m X ⌊ ⌋⌊logp (m)⌋. (In general, the converse is not always true.) Therefore, a nec- pj j essary but not sufficient condition in order to satisfy the inequality ϑpj (m) ≤ ⌊ m ⌋⌊log (m)⌋, is pj pj

cj (i) ≤⌊logpj (m)⌋, ∀ i ∈ [[1,m]] with j =1, 2,...,k. Proof. The proof is immediate from (2.3) by noticing the following,

⌊logp (m)⌋ ⌊logp (m)⌋ j m j m m m m . ordpj ( !) = l ≤ = l ⌊logpj ( )⌋ p pj p l=1 $ j % l=1   $ j % X X 

We can notice that this choice is not unique. But, we can observe that all the choices for the cj (i)’s are equivalent in the sense that the equality ϑpj (m) = m i=1 cj (i) should hold, meaning that we can come back to a decomposition of the value of ϑp (m) into sum of positive numbers like the cj (i)’s for which cj (i) ≤ P j ⌊logpj (m)⌋ with i = 1, 2,...,m. It turns out that this choice is suitable in order PERIODIC SEQUENCES MODULO m 7

n to prove that ℓ(m) is the minimal period of sequences (an) such that an ≡ m m m k pbi b (mod ) with = i=1 i (with at least one non-zero i).
Remark 2.12. WeQ have obviously

m

max cj (i) ϑpj (m)= cj (i) ≥ 1. ( ) i=1 X The above discussion gives us a motivation to study the coefficients c (i)’s. We j hope to address a few issues related to them and establish some interesting results in a forthcoming paper. References

1. Y. H. Kwong, Minimum periods of binomial coefficients modulo M, Fibonacci Quart., 27, 64–79, 1989. p n 2. A. Laugier, M. P. Saikia, A characterization of a prime from the binomial coefficient p
, Math. Student., 83, (1-4), 221–227, 2014. 3. C. -J. Lu, S. -C. Tsai, The Periodic Property of Binomial Coefficients Modulo m and Its Applications, 10th SIAM Conference on Discrete Mathematics, Minneapolis, Minnesota, USA, 2000. 4. M. P. Saikia, J. Vogrinc, A Simple Number Theoretic Result, J. Assam Acad. Math., 3, Dec., 91–96, 2010. 5. M. P. Saikia, J. Vogrinc, Binomial Symbols and Prime Moduli, J. Ind. Math. Soc., 79, (1-4), 137–143, 2011. m n 6. S. Zabek, Sur la p´eriodicit´emodulo des suits de nombres k
, Ann. Univ. Mariae Curie- Sklodowska, A10, 37–47, 1956.

Lycee´ professionnel Tristan Corbiere,` 16 rue de Kerveguen´ - BP 17149, 29671 Mor- laix cedex, France E-mail address: [email protected]

Fakultat¨ fur¨ Mathematik, Universitat¨ Wien, Oskar-Morgenstern-Platz 1, 1090 Wien, Austria E-mail address: [email protected]