THE p-adic VALUATION OF LUCAS SEQUENCES

Similar documents
198 VOLUME 46/47, NUMBER 3

THE ORDER OF APPEARANCE OF PRODUCT OF CONSECUTIVE FIBONACCI NUMBERS

arxiv: v2 [math.nt] 4 Jun 2016

Cullen Numbers in Binary Recurrent Sequences

arxiv: v1 [math.nt] 11 Jun 2017

QUOTIENTS OF FIBONACCI NUMBERS

RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY

arxiv: v2 [math.nt] 12 Mar 2018

k 2r n k n n k) k 2r+1 k 2r (1.1)

CALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p

#A5 INTEGERS 17 (2017) THE 2-ADIC ORDER OF SOME GENERALIZED FIBONACCI NUMBERS

SECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

CONGRUENCES FOR BERNOULLI - LUCAS SUMS

Journal of Number Theory

Some congruences concerning second order linear recurrences

Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118

Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments

Generalized Lucas Sequences Part II

GENERALIZED LUCAS NUMBERS OF THE FORM 5kx 2 AND 7kx 2

THE p-adic VALUATION OF EULERIAN NUMBERS: TREES AND BERNOULLI NUMBERS

Florian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P , Morelia, Michoacán, México

1. Introduction. Let P and Q be non-zero relatively prime integers, α and β (α > β) be the zeros of x 2 P x + Q, and, for n 0, let

460 [Nov. u»=^tjf> v = <*"+?", (3)

Elliptic Nets and Points on Elliptic Curves

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS. JUAN B. GIL Penn State Altoona, 3000 Ivyside Park, Altoona, PA 16601

arxiv: v2 [math.nt] 29 Jul 2017

Arithmetic properties of lacunary sums of binomial coefficients

Chris Smyth School of Mathematics and Maxwell Institute for Mathematical Sciences, University of Edinburgh, Edinburgh EH9 3JZ, UK.

Solving Higher-Order p-adic Polynomial Equations via Newton-Raphson Method

#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC

Fibonacci numbers of the form p a ± p b

Odd prime values of the Ramanujan tau function

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve

Introduction to Lucas Sequences

GENERALIZED FIBONACCI AND LUCAS NUMBERS OF THE FORM wx 2 AND wx 2 1

A CONGRUENTIAL IDENTITY AND THE 2-ADIC ORDER OF LACUNARY SUMS OF BINOMIAL COEFFICIENTS

Equivalence of Pepin s and the Lucas-Lehmer Tests

On repdigits as product of consecutive Lucas numbers

p-adic valuation of the Morgan Voyce sequence and p-regularity

HASSE-MINKOWSKI THEOREM

G. Sburlati GENERALIZED FIBONACCI SEQUENCES AND LINEAR RECURRENCES

Fibonacci Diophantine Triples

Oleg Eterevsky St. Petersburg State University, Bibliotechnaya Sq. 2, St. Petersburg, , Russia

THE EULER FUNCTION OF FIBONACCI AND LUCAS NUMBERS AND FACTORIALS

Induction. Induction. Induction. Induction. Induction. Induction 2/22/2018

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

Notes on Systems of Linear Congruences

Quadratic Congruences, the Quadratic Formula, and Euler s Criterion

DISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k

ON GENERALIZED BALANCING SEQUENCES

arxiv: v2 [math.nt] 23 Sep 2011

p-adic fields Chapter 7

Solving the general quadratic congruence. y 2 Δ (mod p),

ODD PARTITIONS IN YOUNG S LATTICE

THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany

Two Diophantine Approaches to the Irreducibility of Certain Trinomials

Predictive criteria for the representation of primes by binary quadratic forms

A PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES

arxiv: v1 [math.nt] 29 Jul 2014

NOTES ON SIMPLE NUMBER THEORY

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

The primitive root theorem

On arithmetic functions of balancing and Lucas-balancing numbers

Introduction to Induction (LAMC, 10/14/07)

MATH 361: NUMBER THEORY FOURTH LECTURE

arxiv:math/ v1 [math.nt] 27 Feb 2004

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

AND RELATED NUMBERS. GERHARD ROSENBERGER Dortmund, Federal Republic of Germany (Submitted April 1982)

1 Absolute values and discrete valuations

Strongly nil -clean rings

arxiv: v1 [math.nt] 19 Dec 2018

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

RECOGNIZING GALOIS GROUPS S n AND A n

DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS

SPLITTING FIELDS AND PERIODS OF FIBONACCI SEQUENCES MODULO PRIMES

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

Strongly Nil -Clean Rings

Myung-Hwan Kim and Byeong-Kweon Oh. Department of Mathematics, Seoul National University, Seoul , Korea

On the Shifted Product of Binary Recurrences

PILLAI S CONJECTURE REVISITED

KUMMER S LEMMA KEITH CONRAD

FIBONACCI DIOPHANTINE TRIPLES. Florian Luca and László Szalay Universidad Nacional Autonoma de México, Mexico and University of West Hungary, Hungary

On the Primitivity of some Trinomials over Finite Fields

On squares in Lucas sequences

Explicit Methods in Algebraic Number Theory

A CLOSED-FORM SOLUTION MIGHT BE GIVEN BY A TREE. VALUATIONS OF QUADRATIC POLYNOMIALS

be a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n

A talk given at University of Wisconsin at Madison (April 6, 2006). Zhi-Wei Sun

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

ON SECOND-ORDER LINEAR RECURRENCE SEQUENCES: WALL AND WYLER REVISITED

ABSTRACT 1. INTRODUCTION

Problem Set 5 Solutions

STRINGS OF CONSECUTIVE PRIMES IN FUNCTION FIELDS NOAM TANNER

Jonathan Sondow 209 West 97th Street Apt 6F New York, NY USA

ϕ : Z F : ϕ(t) = t 1 =

Equations in roots of unity

Transcription:

THE p-adic VALUATION OF LUCAS SEQUENCES CARLO SANNA Abstract. Let (u n) n 0 be a nondegenerate Lucas sequence with characteristic polynomial X 2 ax b, for some relatively prime integers a and b. For each prime number p and each positive integer n, we give simple formulas for the p-adic valuation ν p(u n), in terms of ν p(n) and the rank of apparition of p in (u n) n 0. This generalizes a previous result of Lengyel on the p-adic valuation of Fibonacci numbers, and also the folkloristic lifting-the-exponent lemma. 1. Introduction Fix two relatively prime integers a and b and let (u n ) n 0 be the Lucas sequence with characteristic polynomial f(x) = X 2 ax b, i.e., (u n ) n 0 is the integral sequence satisfying u 0 = 0, u 1 = 1, and u n = au n 1 + bu n 2, for all integers n 2. The purpose of this paper is to give simple formulas for the p-adic valuation ν p (u n ), for all prime numbers p and all positive integers n. To this end, we will see that there is no loss of generality in assuming that the Lucas sequence (u n ) n 0 is nondegenerate, i.e., b 0 and the ratio α/β of the two roots α, β C of f(x) is not a root of unity. In particular, this implies that α and β are distinct and hence the discriminant of f(x) is nonzero. The p-adic valuation of some special Lucas sequences has been studied before by many authors. Lengyel [3] considered the sequence of Fibonacci numbers (F n ) n 0 and proved the following: Theorem 1.1. For each positive integer n and each prime number p 2, 5, we have 0 if n 1, 2 mod 3, 1 if n 3 mod 6, ν 2 (F n ) = 3 if n 6 mod 12, ν 2 (n) + 2 if n 0 mod 12; ν 5 (F n ) = ν 5 (n); ν p (n) + ν p (F ν p (F n ) = l(p) ) if n 0 mod l(p), 0 if n 0 mod l(p); where l(p) is the least positive integer such that p F l(p). Furthermore, the following lemma, often used in olympic problem solving contests [2], belongs to the folklore and is typically attributed to Lucas [4] and Carmichael [1]. Lemma 1.2 (Lifting-the-exponent lemma). For all odd prime numbers p, all integers c and d such that p cd and p c d, and every positive integer n, we have ν p (c n d n ) = ν p (n) + ν p (c d). 1

2 CARLO SANNA It is well-known that for all nonnegative integers n, it holds u n = αn β n α β. (1.1) Hence, an immediate consequence of Lemma 1.2 is the following corollary. Corollary 1.3. If α and β are integers and p is an odd prime number such that p b and p, then ν p (u n ) = ν p (n) Ward [6] studied the p-adic valuation of second order linear recurrences over the field of p-adic numbers Q p. However, his results applied to Lucas sequences are not as much effective as Theorem 1.1 or Corollary 1.3. Precisely, in the simplest case he obtained the following: Theorem 1.4. For each prime p such that p ab, we have ν p (ξ p + n/τ(p)) + ν p (u ν p (u n ) = τ(p) ) if n 0 mod τ(p) 0 if n 0 mod τ(p); where τ(p) is the least positive integer such that p u τ(p), and ξ p is given by the p-adic logarithm of (αβ 1 ) τ(p) 1, with α and β being considered as elements of the quadratic extension Q p ( ). Our main result is the following theorem, which provides formulas for ν p (u n ) close in the spirit to Theorem 1.1. Theorem 1.5. If p is a prime number such that p b, then ν p (n) + ν p (u p ) 1 if p, p n, 0 if p, p n, ν p (u n ) = ν p (n) + ν p (u pτ(p) ) 1 if p, τ(p) n, p n, ν p (u τ(p) ) if p, τ(p) n, p n, 0 if p, τ(p) n, Note that considering only prime numbers p which do not divide b is not a loss of generality. In fact, it is well-known that if p b then p u n The statement of Theorem 1.5 is quite complicated, but in the cases p 3 and p 5 we show that it can be simplified. Corollary 1.6. If p 3 is a prime number such that p b, then ν p (n) + ν p (u p ) 1 if p, p n, 0 if p, p n, ν p (u n ) = ν p (n) + ν p (u τ(p) ) if p, τ(p) n, 0 if p, τ(p) n, Corollary 1.7. If p 5 is a prime number such that p b, then ν p (n) if p, ν p (u n ) = ν p (n) + ν p (u τ(p) ) if p, τ(p) n, 0 if p, τ(p) n,

THE p-adic VALUATION OF LUCAS SEQUENCES 3 With a little of computation, it follows quite easily that Theorem 1.5, Corollary 1.6, and Corollary 1.7 are indeed generalizations of Theorem 1.1 and Corollary 1.3. It is worth mentioning that some results of a paper of Young [7, Corollary 1 and Proposition 2] can be used to prove Theorem 1.5. However, we think that our proof has the peculiarity to use much more elementary tools (integer congruences) than those of Young s proofs (p-adic analysis in the ring of integers of a quadratic extension of Q p ), so it might be interesting per se. 2. Preliminaries on Lucas sequences In this section we collect some basic facts about Lucas sequences. First of all, we have to justify our claim that in order to study ν p (u n ) there is no loss of generality in assuming that (u n ) n 0 is nondegenerate. If (u n ) n 0 is a degenerate Lucas sequence, then it is known [5, pp. 5 6] that (a, b) (±2, 1), (±1, 1), (0, ±1), (±1, 0)} and in each of such cases (u n ) n 0 is either definitely periodic with values in 0, 1, +1}, or equal to (n) n 0, or equal to (( 1) n 1 n) n 0, so in conclusion the study of ν p (u n ) is trivial. We recall that the companion sequence of (u n ) n 0 is the sequence of integers (v n ) n 0 defined by v 0 = 1, v 1 = a, and v n = av n 1 + bv n 2 for all integers n 2. Moreover, it holds v n = α n + β n, for all nonnegative integers n. Note that, assuming (u n ) n 0 nondegenerate, we have u n 0 and v n 0, for all positive integers n. In particular, ν p (u n ) is always finite. The next lemma summarizes some basic divisibility properties of (u n ) n 0 and (v n ) n 0. Lemma 2.1. Let p be a prime number. (i). If p b, then p u n and p v n, (ii). u p ( ) ( p mod p, where p) is the Legendre symbol. (iii). If p b, then it is well-defined τ(p) := mink 1 : p u k }, which is called the rank of apparition of p in (u n ) n 0. (iv). If p b, then for each positive integer n it holds p u n if and only if τ(p) n. (v). If p b, then τ(p) = p if and only if p τ(p) if and only if p. Now we state a well-known formula relating u n to binomial coefficients. Lemma 2.2. For each positive integer n, 2 n 1 u n = (n 1)/2 k=0 ( ) n a n (2k+1) k. 2k + 1 Proof. The claim follows easily from (1.1), the binomial theorem, and the fact that we can take α = (a + )/2 and β = (a )/2. We conclude this section with a kind of multiplication formula, which will be fundamental in our next arguments. Lemma 2.3. For all positive integers k and n, we have u kn = ũ k u n, where (ũ m ) m 0 is the Lucas sequence with characteristic polynomial f(x) = X 2 v n X + ( b) n. Moreover, gcd(v n, ( b) n ) = 1, (ũ m ) m 0 is nondegenerate, and the discriminant of f is = u 2 n. Proof. We have v n = α n + β n and ( b) n = (αβ) n = α n β n. Therefore, α := α n and β := β n are the two roots of f, so that (ũ m ) m 0 is nondegenerate and = ( α β ) ( 2 α n β n ) 2 = (α β) = u 2 α β n.

4 CARLO SANNA In particular 0, so that u kn = αkn β kn α β = αk β k α β Finally, gcd(v n, ( b) n ) = 1, in the light of Lemma 2.1(i). αn β n α β = ũ ku n. 3. Preliminaries for the proof of Theorem 1.5 In this section, we derive some basic properties of the p-adic valuation of (u n ) n 0, that will be used later to prove Theorem 1.5. Lemma 3.1. If p 5 is a prime number such that p b and p, then ν p (u p ) = 1. Proof. From Lemma 2.2 it follows that (p 1)/2 ( ) p 2 p 1 u p a p (2k+1) k (3.1) 2k + 1 k=0 ( ) p pa p 1 + a p 3 + pa p 1 mod p 2, 3 since p and p 5 yields p ( p 3). Moreover, having assumed that p b and p 5, we get from p = a 2 + 4b that p a, which, together with (3.1), implies ν p (u p ) = ν p (2 p 1 u p ) = 1. Lemma 3.2. If p is a prime number such that p b, then with equality if either p 5, or p = 3 and 3. ν p (u pτ(p) ) ν p (u τ(p) ) + 1, (3.2) Proof. From Lemma 2.3 we know that u pτ(p) = ũ p u τ(p), where (ũ n ) n 0 is the Lucas sequence with characteristic polynomial f(x) = X 2 v τ(p) X + ( b) τ(p). Hence, ν p (u pτ(p) ) = ν p (u τ(p) ) + ν p (ũ p ). Clearly p u τ(p), so a fortiori p = u 2 τ(p), where is the discriminant of f(x). From Lemma 2.1(ii) we obtain that p ũ p, and hence (3.2) holds. As for the rest, we get from Lemma 3.1 that if p 5 then ν p (ũ p ) = 1 and thus in (3.2) we have equality. So suppose from now on that p 3 and 3. We have, ũ p = ũ 3 = v 2 τ(3) ( b)τ(3). On the one hand, if 3 a, then τ(3) = 2, hence ũ 3 = (a 2 + 2b) 2 b 2 = (a 2 + b)(a 2 + 3b), and ν 3 (ũ 3 ) = 1, since 3 a 2 + b and 3 a 2 + 3b. On the other hand, if 3 a, then hence b 1 mod 3, and τ(3) = 4. Thus b 4b a 2 1 mod 3, ũ 3 = (a 4 + 4a 2 b + 2b 2 ) 2 b 4 = (a 2 + b)(a 2 + 3b)(a 4 + 4a 2 b + b 2 ), and again ν 3 (ũ 3 ) = 1, since 3 (a 2 + b)(a 2 + 3b) and 3 a 4 + 4a 2 b + b 2 = (a 2 + 2b) 2 3b 2. Putting it all together, the proof is thus complete. We conclude this section with an easy lemma regarding the p-adic valuation of general linearly recurring sequences of integers.

THE p-adic VALUATION OF LUCAS SEQUENCES 5 Lemma 3.3. Let (r n ) n 0 be a linearly recurring sequence of order k 2 given by r n = a 1 r n 1 + + a k r n k, (3.3) for each integer n k, where r 0,..., r k 1 and a 1,..., a k are all integers. Suppose that there exists a prime number p such that p a k and minν p (a j ) : 1 j < k} > maxν p (r m ) ν p (r n ) : 0 m, n < k}. (3.4) Then ν p (r n ) = ν p (r (n mod k) ), for each nonnegative integer n. Proof. We proceed by induction on n. For n = 0,..., k 1 the claim is obvious. Thus assume n k and that the claim holds for all the nonnegative integers less than n. By (3.4) and by induction hypothesis, for each j = 1,..., k 1 we have ν p (a j r n j ) = ν p (a j ) + ν p (r n j ) = ν p (a j ) + ν p (r (n j mod k) ) > ν p (r (n k mod k) ) ν p (r (n j mod k) ) + ν p (r (n j mod k) ) = ν p (r (n k mod k) ) = ν p (r n k ) = ν p (a k r n k ). Therefore, from (3.3) and from induction hypothesis, it follows that which is our claim. ν p (r n ) = ν p (a k r n k ) = ν p (a k r (n k mod k) ) = ν p (r (n mod k) ), 4. Proof of Theorem 1.5 and Corollaries 1.6, 1.7 We are now ready to prove Theorem 1.5. The proof is substantially splitted in four lemmas. Lemma 4.1. If p is a prime number such that p b and p, then 1 if p n, ν p (u pn ) = ν p (u n ) + ν p (u p ) if p n, Proof. From Lemma 2.3, we know that u pn = ũ p u n, where (ũ m ) m 0 is the Lucas sequence with characteristic polynomial X 2 v n X + ( b) n. Hence ν p (u pn ) = ν p (u n ) + ν p (ũ p ), and we need to compute ν p (ũ p ). Note that ũ p = ũ p (n) depends on n. If p 5, since p and consequently p = u 2 n, we get from Lemma 3.1 that ν p (ũ p ) = ν p (u p ) = 1, thus the claim follows. Therefore, assume p = 2 or p = 3, and define r 0 := p and r n := ũ p (n), for each positive integer n. Suppose first that p = 2. Hence r n = ũ 2 = v n, for each integer n 0, so that r n = ar n 1 + br n 2, for all the integers n 2. Furthermore, 2 a, since 2 = a 2 + 4b, and 2 b, by hypothesis. Therefore, one can easily check that (r n ) n 0 satisfies the hypotheses of Lemma 3.3, and so ν 2 (r n ) = ν 2 (r n mod 2 ) = ν 2 (r 0 ) if 2 n, ν 2 (r 1 ) if 2 n. = Suppose now that p = 3. Then from (1.1) we obtain r n = u 3n u n 1 if 2 n, ν 2 (u 2 ) if 2 n. = α3n β 3n α n β n = α2n + β 2n + (αβ) n, (4.1)

6 CARLO SANNA for all positive integers n. In fact, since r 0 = 3, it turns out that (4.1) holds also for n = 0. Hence, from (4.1) it follows that (r n ) n 0 is a third order linearly recurrent sequence with characteristic polynomial (X α 2 )(X β 2 )(X αβ) = X 3 u 3 X 2 bu 3 X + b 3, so that r n = u 3 r n 1 + bu 3 r n 2 b 3 r n 3, for each integer n 3. Moreover, r 0 = 3, r 1 = u 3, and r 2 = (a 2 + 3b)u 3. Note that 3 a, since 3 = a 2 + 4b and 3 b. Thus ν 3 (r 1 ) = ν 3 (r 2 ) = ν 3 (u 3 ). Now (r n ) n 0 satisfies the hypotheses of Lemma 3.3, hence ν 2 (r 0 ) if n 0 (mod 3), ν 3 (r n ) = ν 3 (r n mod 3 ) = ν 2 (r 1 ) if n 1 (mod 3), ν 2 (r 2 ) if n 2 (mod 3). 1 if 3 n, = ν 3 (u 3 ) if 3 n. This completes the proof. Lemma 4.2. If p is a prime number such that p b and p, then 0 if v = 0, ν p (u p v) = v + ν p (u p ) 1 if v > 0, for each nonnegative integer v. Proof. We proceed by induction on v. For v = 0 and v = 1, the claim is trivial. Suppose v 2 and that the claim is true for v 1. Since p p v 1, by Lemma 4.1 we get ν p (u p v) = ν p (u p p v 1) = ν p (u p v 1) + 1 = (v 1) + ν p (u p ) 1 + 1 = v + ν p (u p ) 1, which is our claim. Lemma 4.3. If p is a prime number such that p b and p, then ν p (n) + ν p (u p ) 1 if p n, ν p (u n ) = 0 if p n, Proof. Write n = mp v, where v 0 is an integer and m is a positive integer such that p m. Let (ũ l ) l 0 be the Lucas sequence with characteristic polynomial X 2 v m X + ( b) m. From Lemma 2.3, we know that u n = ũ p vu m, u pm = ũ p u m, and p = u 2 m. Moreover, since p, we obtain from Lemma 2.1(v) that τ(p) = p m. From Lemma 2.1(iv) it follows that p u m, hence ν p (u n ) = ν p (ũ p v). If v = 0 then, obviously, ν p (u n ) = ν p (ũ 1 ) = ν p (1) = 0. If v 1 then we obtain from Lemmas 4.2 and 4.1 that which is our claim. ν p (u n ) = ν p (ũ p v) = v + ν p (ũ p ) 1 = v + ν p (u pm ) ν p (u m ) 1 = v + ν p (u p ) 1 = ν p (n) + ν p (u p ) 1,

THE p-adic VALUATION OF LUCAS SEQUENCES 7 Lemma 4.4. If p is a prime number such that p b, p, and τ(p) n, then ν p (n) + ν p (u ν p (n) = pτ(p) ) 1 if p n, ν p (u τ(p) ) if p n, Proof. Write n = mτ(p), where m is a positive integer. Let (ũ l ) l 0 be the Lucas sequence with characteristic polynomial X 2 v τ(p) X+( b) τ(p). From Lemma 2.3, we know that u n = ũ m u τ(p), u pτ(p) = ũ p u τ(p), and p = u 2 τ(p). Since p, it follows from Lemma 2.1(v) that p τ(p) and ν p (m) = ν p (n). On the one hand, if p n then p m and by Lemma 4.3 we get ν p (u n ) = ν p (ũ m ) + ν p (u τ(p) ) = ν p (m) + ν p (ũ p ) 1 + ν p (u τ(p) ) = ν p (m) + ν p (u pτ(p) ) ν p (u τ(p) ) 1 + ν p (u τ(p) ) = ν p (n) + ν p (u pτ(p) ) 1. On the other hand, if p n then p m, and again by Lemma 4.3 we get as claimed. ν p (u n ) = ν p (ũ m ) + ν p (u τ(p) ) = ν p (u τ(p) ), At this point, Theorem 1.5 follows immediately from Lemmas 4.3, 4.4, and 2.1(iv). Moreover, Corollaries 1.6 and 1.7 are direct consequences of Theorem 1.5 and Lemmas 3.1 and 3.2. Acknowledgements. The author is grateful to Salvatore Tringali (Texas A&M University of Qatar) for many useful comments. The author thanks also the anonymous referee for pointing out the existence of Young s paper. References [1] R. D. Carmichael, On the numerical factors of certain arithmetic forms, Amer. Math. Monthly 16 (1909), no. 10, 153 159. [2] S. Cuellar and J. A. Samper, A nice and tricky lemma (lifting the exponent), Mathematical Reflection 3 (2007). [3] T. Lengyel, The order of the Fibonacci and Lucas numbers, Fibonacci Quart. 33 (1995), 234 239. [4] É. Lucas, Théorie des fonctions numériques simplement periodiques, Amer. J. Math. 1 (1878), 184 196, 197 240, 289 321. [5] P. Ribenboim, My numbers, my friends: Popular lectures on number theory, Universitext - Springer-Verlag, Springer, 2000. [6] M. Ward, The linear p-adic recurrence of order two, Illinois J. Math. 6 (1962), 40 52. [7] P. T. Young, p-adic congruences for generalized Fibonacci sequences, Fibonacci Quart. 32 (1994), 2 10. MSC2010: 11A99, 11B39, 11B37 Department of Mathematics, Università degli Studi di Torino, Via Carlo Alberto 10, 10123 Torino, Italy E-mail address: carlo.sanna.dev@gmail.com