ABSTRACT 1. INTRODUCTION

Similar documents
198 VOLUME 46/47, NUMBER 3

LARGE PRIME NUMBERS. In sum, Fermat pseudoprimes are reasonable candidates to be prime.

Fermat s Little Theorem. Fermat s little theorem is a statement about primes that nearly characterizes them.

Diophantine triples in a Lucas-Lehmer sequence

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

PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION. Predrag Terzic Podgorica, Montenegro

Equivalence of Pepin s and the Lucas-Lehmer Tests

Corollary 4.2 (Pepin s Test, 1877). Let F k = 2 2k + 1, the kth Fermat number, where k 1. Then F k is prime iff 3 F k 1

THE p-adic VALUATION OF LUCAS SEQUENCES

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

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

p = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is

Chapter 1. Number of special form. 1.1 Introduction(Marin Mersenne) 1.2 The perfect number. See the book.

LARGE PRIME NUMBERS (32, 42; 4) (32, 24; 2) (32, 20; 1) ( 105, 20; 0).

A Few Primality Testing Algorithms

CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN

Cryptography. Number Theory with AN INTRODUCTION TO. James S. Kraft. Lawrence C. Washington. CRC Press

More Hodge-Podge Pseudoprimes

Part II. Number Theory. Year

Fibonacci numbers of the form p a ± p b

God may not play dice with the universe, but something strange is going on with the prime numbers.

arxiv:math.nt/ v1 5 Jan 2005

MATRICES AND LINEAR RECURRENCES IN FINITE FIELDS

9 MODULARITY AND GCD PROPERTIES OF GENERALIZED FIBONACCI NUMBERS

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

arxiv: v2 [math.nt] 29 Jul 2017

Advanced Algorithms and Complexity Course Project Report

Impulse Response Sequences and Construction of Number Sequence Identities

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

Fibonacci Pseudoprimes and their Place in Primality Testing

On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations

Departmento de Matemáticas, Universidad de Oviedo, Oviedo, Spain

Lucas Lehmer primality test - Wikipedia, the free encyclopedia

Discrete Structures Lecture Primes and Greatest Common Divisor

Some congruences concerning second order linear recurrences

On arithmetic functions of balancing and Lucas-balancing numbers

Divisibility properties of Fibonacci numbers

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

PELLANS SEQUENCE AND ITS DIOPHANTINE TRIPLES. Nurettin Irmak and Murat Alp

Fall 2017 Test II review problems

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

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

How many units can a commutative ring have?

PODSYPANIN S PAPER ON THE LENGTH OF THE PERIOD OF A QUADRATIC IRRATIONAL. Copyright 2007

ODD REPDIGITS TO SMALL BASES ARE NOT PERFECT

The Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun

Math 324, Fall 2011 Assignment 6 Solutions

The Abundancy index of divisors of odd perfect numbers Part III

Cullen Numbers in Binary Recurrent Sequences

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

A LLT-like test for proving the primality of Fermat numbers.

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

ECEN 5022 Cryptography

Pseudoprimes and Carmichael Numbers

Summary Slides for MATH 342 June 25, 2018

A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN

ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS

AN EXTENSION OF A THEOREM OF EULER. 1. Introduction

On Generalized Fibonacci Polynomials and Bernoulli Numbers 1

MATH 145 Algebra, Solutions to Assignment 4

Hans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c

On a family of sequences related to Chebyshev polynomials

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

inv lve a journal of mathematics 2009 Vol. 2, No. 2 Bounds for Fibonacci period growth mathematical sciences publishers Chuya Guo and Alan Koch

Primality Proofs. Geoffrey Exoo Department of Mathematics and Computer Science Indiana State University Terre Haute, IN

Math 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n.

On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px

On New Identities For Mersenne Numbers

CALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.

Equations in roots of unity

Basic Proof Examples

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

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

THESIS. Presented in Partial Fulfillment of the Requirements for the Degree Master of Science in the Graduate School of The Ohio State University

Primality Tests Using Algebraic Groups

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

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

A talk given at the City Univ. of Hong Kong on April 14, ON HILBERT S TENTH PROBLEM AND RELATED TOPICS

On identities with multinomial coefficients for Fibonacci-Narayana sequence

ABSTRACT. In this note, we find all the solutions of the Diophantine equation x k = y n, 1, y 1, k N, n INTRODUCTION

Partial Sums of Powers of Prime Factors

Yi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian , China (Submitted June 2002)

THE ORDER OF APPEARANCE OF PRODUCT OF CONSECUTIVE FIBONACCI NUMBERS

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

On squares in Lucas sequences

Generalized Lucas Sequences Part II

Fibonacci, Kronecker and Hilbert NKS Klaus Sutner Carnegie Mellon University sutner

arxiv: v1 [math.nt] 19 Dec 2018

1. Algebra 1.7. Prime numbers

Research Article Minor Prime Factorization for n-d Polynomial Matrices over Arbitrary Coefficient Field

Primality testing: variations on a theme of Lucas. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA

THE MILLER RABIN TEST

The running time of Euclid s algorithm

Introduction to Number Theory

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

ASSIGNMENT Use mathematical induction to show that the sum of the cubes of three consecutive non-negative integers is divisible by 9.

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Prime and irreducible elements of the ring of integers modulo n

arxiv: v2 [math.nt] 23 Sep 2011

Transcription:

ON PIMES AN TEMS OF PIME O INEX IN THE LEHME SEUENCES John H. Jaroma epartment of Mathematical Sciences, Loyola College in Maryland, Baltimore, M 110 Submitted May 004-Final evision March 006 ABSTACT It is nown with a very small number of exceptions, for a term of a Lehmer sequence {U n, } to be prime its index must be prime. For example, F 4 U 4 1, 1 3 is prime. Also, U n 1, is prime for n 6, 8, 9, 10, 15, 5, 5, 65, while V n 1, is prime for n 9, 1, and 0. This criterion extends to the companion Lehmer sequences {V n, }, with the exception primality may occur if the index is a power of two. Furthermore, given an arbitrary prime p or any positive integer, there does not exist an explicit means for determining whether U p, V p, or V is prime. In 000, V. robot provided conditions under which if p and p 1 are prime then F p is composite. A short while later, L. Somer considered primes of the form p ± 1, as well as generalized robot s theorem to the Lucas sequences. Most recently, J. Jaroma extended Somer s findings to the companion Lucas sequences. In this paper, we shall generalize all of the aforementioned results from the Lucas sequences to the Lehmer sequences. 1. INTOUCTION In [1], V. robot introduced the following theorem. It gave a set of sufficient conditions for a Fibonacci number of prime index to be composite. Theorem 1 robot: Let p > 7 be a prime satisfying the following two conditions: 1. p mod 5 or p 4 mod 5. p 1 is prime Then, F p is composite. In fact, p 1 F p. In [6], L. Somer generalized the above theorem to the Lucas sequences. Let P and be nonzero relatively prime integers. The Lucas sequences {U n P, } are defined as U n+ P U n+1 U n, U 0 0, U 1 1, n {0, 1,... }. 1 The companion Lucas sequences {V n P, } are given by V n+ P V n+1 V n, V 0, V 1 P, n {0, 1,... }. Furthermore, if we let P 4 denote the discriminant of the characteristic equation of 1 and, then Somer s extension of Theorem 1 may be stated as Theorem Somer: Let {UP, } be a Lucas sequence and p be an odd prime such p ± 1. 1. If p 1 is a prime, 1 and 1, then p 1 U p.. If p + 1 is a prime, 1, then p + 1 U p. Somer s result was originally given in [6, pg. 435] in terms of the second-order linear recurrence satisfying u n+ au n+1 + bu n, u 0 0, u 1 1, and a, b Z. It was also noted in 0

ON PIMES AN TEMS OF PIME O INEX IN THE LEHME SEUENCES [] in light of the second line of Table 1 on pg. 373 of [5], if the hypotheses of the above theorem are strengthened to include the conditions p ± 1 P and gcdp, 1, then Theorem can be reformulated to provide necessary and sufficient conditions for p ± 1 to be prime. Also, found in [] are the following results for the companion Lucas sequences. Theorem 3: Let {V P, } be a companion Lucas sequence and let p be an odd prime such p ± 1 P. 1. Let 1. Then, p 1 V p if and only if p 1 is prime.. Let 1 and 1. Then, p + 1 V p if and only if p + 1 is prime.. THE ESULTS We shall now extend all of the aforementioned results to the larger family of Lehmer sequences. To this end, let p be of the arbitrary form p α p α 1 ± 1, 3 where, α 1, and for 1 i, α i {0, 1,... } and the p i are distinct odd primes. Any odd p may always be described in either of the two forms described by 3. Now, letting and be any pair of relatively prime integers, the Lehmer sequences {U n, } are recursively defined as U n+, U n+1 U n, U 0 0, U 1 1, n {0, 1,... }. 4 Also, the companion Lehmer sequences {V n, } are similarly given by V n+, V n+1 V n, V 0, V 1, n {0, 1,... }. 5 As Lehmer had declared in [3], we say m divides when and only when m. Let 4 be the discriminant of the characteristic equation of 4 and 5, the following Legendre symbols will be used in this paper. σ p, τ p, ɛ Finally, the ran of apparition of a number N is the index of the first term of the underlying sequence contains N as a factor. We shall let ωp represent the ran of apparition of p in {U n, } and λp denote the ran of apparition of p in {V n, }. Our forthcoming generalization will require the following lemmata found in [3]. Lemma 1: GCU n, V n 1 or. p. Lemma : If N ± 1 is the ran of apparition of N, then N is prime. Lemma 3: If p then p U pσɛ. Lemma 4: Let p. Then, p U pσɛ if and only if σ τ. Lemma 5: If the ran of apparition of p, ωp, is odd then p V n, for any value of n. If ωp is even, say, then p V for all n and no other term of the sequence may contain p as a factor. Lemma 6: U n is divisible by p if and only if n ωp. 03

ON PIMES AN TEMS OF PIME O INEX IN THE LEHME SEUENCES We now establish our results. Theorem 4: Let {U n, } be a Lehmer sequence, α 1, for 1 i assume α i 0, p α p α 1 1 is prime, and gcdp + 1, 1. For the following Jacobi symbols, let either 1 or 1. If p + 1 α+1 p α 1 1 is prime, then α+1 p α 1 1 U α p α 1 Proof: Let p + 1 α+1 p α 1 1 be prime. Now, σɛ Hence, from Lemma 3, α+1 p α 1 1 U α+1 p α 1 by Lemma 4, α+1 p α 1 1 U α p α 1 pα 1. pα pα 1. 1.. Furthermore, since σ τ, Theorem 5: Let {U n, } be a Lehmer sequence, α 1, for 1 i assume α i 0, p α p α 1 + 1 is prime, and gcdp 1, 1. For the following Jacobi symbols, let 1 or 1. If p 1 α+1 p α 1 + 1 is prime, then α+1 p α 1 + 1 U α p α 1 pα +1. Proof: Let p 1 α+1 p α 1 + 1 be prime. Since σɛ 1, it follows α+1 p α 1 +1 U α+1 p α 1 pα +. Finally, as σ τ, we have α+1 p α 1 +1 U α p α 1 pα +1. Let N q β 1 1 qβ qβ r r be any odd composite number where q i < q j whenever i < j, gcdn, 1, and U NεN 0 mod N, where εn denotes the Jacobi symbol, N. Then, N is a Lucas pseudoprime for {U n P, }. Furthermore, N is called a Lucas d-pseudoprime provided there exists a Lucas sequence {U n P, } satisfying gcdn, P 1, where N is a pseudoprime for {U n P, } and ωn NεN d is the ran of apparition of N in {U n P, }. Moreover, we say n is a Lehmer d-pseudoprime if there exists a Lehmer sequence {U n, } satisfying gcdn, 1: ωn NσNɛN d, where σn and ɛn denote the Jacobi symbols /N and /N, respectively. It follows from results found in [3] and from Chapter 5 in [4] an odd composite integer N is a Lehmer d-pseudoprime if and only if it is a Lucas d-pseudoprime. Hence, If we consider the wor of Somer, who in [5] showed for any fixed d: 4 d, there exists only a finite number of Lucas d-pseudoprimes, then the statements of Theorems 4 and 5 are able to be strengthened to necessary and sufficient ones. For this purpose, we note if d, then the only Lucas and hence, Lehmer -pseudoprime is 3. This occurs, for instance, in {U4, 1}. emar 1: In [5], Somer illustrates N 9 is the only composite number for which ωn N±1. Therefore, as previously noted, N 9 is the only Lehmer -pseudoprime. Furthermore, the ran of apparition of 9 is always equal to 4 and never equal to a prime value. This follows since N 9 is a square, and so, σn ɛn 1 whenever gcd9, 1. Thus, for any Lehmer sequence in which 9 is a Lehmer -pseudoprime, we have ω9 9σ9ɛ9 91 4. Therefore, all other N with this particular ran of apparition must be prime. We now restate Theorems 4 and 5 to reflect necessary and sufficient conditions for the primality of p ± 1 α+1 p α 1 ± 1. The demonstration we give for Theorem 6 is for necessity only. The sufficiency portion follows from Theorem 4. The proof of Theorem 7 is similar and omitted. 04

ON PIMES AN TEMS OF PIME O INEX IN THE LEHME SEUENCES Theorem 6: Let {U n, } be a Lehmer sequence, α 1, for 1 i assume α i 0, p α p α 1 1 is prime, and gcdp + 1, 1. Let 1 or 1. Then, p + 1 α+1 p α 1 1 is prime if and only if α+1 p α 1 1 U α p α 1 pα 1. Proof: In each case, let α+1 p α 1 1 U α p α 1 of U α p α 1 pα pα 1. Since the index 1 is prime and equal to α+1 p α 1 pα 11, we have ω α+1 p α 1 1 α p α 1 1. Therefore, by emar 1, α+1 p α 1 1 is prime. Theorem 7: Let {U n, } be a Lehmer sequence, α 1, for 1 i assume α i 0, p α p α 1 +1 is prime, and gcd, 1. Let 1 or 1. Then, p 1 α+1 p α 1 + 1 is prime if and only if α+1 p α 1 + 1 U α p α 1 pα +1. Theorems 6 and 7 will now be extended to the companion Lehmer sequences after offering a comment on a connection between Lehmer s original proof of the Lucas-Lehmer test given in [3] and establishing a primality test for numbers of the form n ± 1 using the companion Lehmer sequences, in general. emar : The Lucas-Lehmer test states n 1 is prime if and only if n 1 divides the n 1st term of the sequence, 4, 14, 194, 37634,..., S,..., where, S S1. Equivalently, the terms of the described sequence are those of the companion Lehmer sequence {V n, 1} with indices equal to. Hence, we may restate the said result as, n 1 is prime if and only if n 1 V n1, 1. Moreover, based on the proof of the result given in [3], we may also infer if n for some 1, then n ± 1 is prime if and only if n ± 1 V n, when n±1 n±1 1. Finally, when n and n ± 1 is a prime, then n ± 1 is either a Mersenne prime for the case n 1 or a Fermat prime for the case n + 1. Theorem 8: Let {V n, } be a companion Lehmer sequence, α 0, for 1 i assume α i 0, n α p α 1 1, and gcdn + 1, 1. Let 1 or 1. 1. If n is a prime, then n + 1 α+1 p α 1 1 is prime if and only if α+1 p α 1 1 V α p α 1 pα 1.. If n α, then n + 1 α+1 + 1 is prime if and only if α+1 + 1 V α. Proof: 1. As σɛ 1, by Lemma 3, α+1 p α 1 1 U α+1 p α 1 pα. Also, since σ τ, then α+1 p α 1 1 U α p α 1 pα 1. Since α+1 p α 1 α p α 1 1, by Lemma 6, either ωα+1 p α 1 1 or ωα+1 p α 1. Now, α+1 p α 1 1. So, ω α+1 p α 1, and by Lemma 5, 1 α+1 p α 1 1. Thus, ω α+1 p α 1 1 α+1 p α 1 05

ON PIMES AN TEMS OF PIME O INEX IN THE LEHME SEUENCES λ α+1 p α 1 1 α p α 1 V α p α 1 pα 1. Now, let α+1 p α 1 1 V α p α 1 1. Therefore, α+1 p α 1 1 p α 1. Since U n U n V n, it follows α+1 p α 1 1 U α+1 p α 1 p α. By Lemma 1, α+1 p α 1 1 U α p α 1 p α 1. So, as ωα+1 p α 1 1, we have ωα+1 p α 1 1 α+1 p α 1. Therefore, by Lemma, α+1 p α 1 1 is prime.. Let m + 1 α+1 + 1 be prime. As σɛ 1, by Lemma 3, α+1 + 1 U α+1. Since στ 1; is, σ τ, we have α+1 + 1 U α. Thus, ω α+1 + 1 α+1 and λ α+1 + 1 α. Therefore, α+1 + 1 V α. On the other hand, if α+1 + 1 V α, then by the identity U n U n V n, it follows α+1 + 1 U α+1. However, by Lemma 1, α+1 + 1 U α. So, ω α+1 + 1 α+1. Therefore, by Lemma, α+1 + 1 is prime. Theorem 9: Let {V n, } be a companion Lehmer sequence, α 0, for 1 i assume α i 0, n α p α 1 + 1, and gcdn + 1, 1. Let 1 or 1. 1. If n is a prime, then n 1 α+1 p α 1 + 1 is prime if and only if α+1 p α 1 + 1 V α p α 1 pα +1.. If n α, then n 1 α+1 1 is prime if and only if α+1 1 V α. 3. A ANK OF APPAITION INTEPETATION We say p has maximal ran of apparition in {U n, } provided ωp p±1. If p divides the term, say U q, where q is a prime, then we may necessarily conclude ωp q. As a result, Theorems 4 through 9 are easily restated in order each may provide a ran of apparition result. Theorems 8A and 9A provide maximal ran of apparition results. Theorem 4A: Let {U n, } be a Lehmer sequence, α 1, for 1 i assume α i 0, p α p α 1 1 is prime, and gcdp + 1, 1. Let either 1 or 1. If α+1 p α 1 1 is prime, then ω α+1 p α 1 1 α p α 1 1 and λ α+1 p α 1 1 does not exist. Theorem 5A: Let {U n, } be a Lehmer sequence, α 1, for 1 i assume α i 0, p α p α 1 +1 is prime and gcd, 1. Let 1 or 1. If α+1 p α 1 + 1 is prime, then ω α+1 p α 1 + 1 α p α 1 + 1 and λα+1 p α 1 + 1 does not exist. Theorem 6A: Let {U n, } be a Lehmer sequence, α 1, for 1 i assume α i 0, p α p α 1 1 is prime, and gcdp + 1, 1. Let 1 or 1. Then, α+1 p α 1 1 is prime ω α+1 p α 1 1 α p α 1 exist. 1 and λα+1 p α 1 1 does not 06

ON PIMES AN TEMS OF PIME O INEX IN THE LEHME SEUENCES Theorem 7A: Let {U n, } be a Lehmer sequence, α 1, for 1 i assume α i 0, p α p α 1 +1 is prime, and gcd, 1. Let 1 or 1. Then, α+1 p α 1 + 1 is prime ω α+1 p α 1 + 1 α p α 1 exist. + 1 and λα+1 p α 1 + 1 does not Theorem 8A: Let {V n, } be a companion Lehmer sequence, α 0, for 1 i assume α i 0, n α p α 1 1, and gcdn + 1, 1. Also, let 1 or 1. 1. If n is a prime, then n + 1 α+1 p α 1 1 is prime ωα+1 p α 1 p α 1 α+1 p α 1 and λα p α 1 1 α+1 p α 1 1.. If n α, then α+1 +1 is prime ω α+1 +1 α+1 and λ α+1 +1 α. Theorem 9A: Let {V n, } be a companion Lehmer sequence, α 0, for 1 i assume α i 0, n α p α 1 + 1, and gcdn + 1, 1. Also, let 1 or 1. 1. If n is a prime, then n 1 α+1 p α 1 + 1 is prime + 1 α+1 p α 1 + and λ α+1 p α 1 + 1 + 1.. If n α, then α+1 1 is prime ω α+1 1 α+1 and λ α+1 1 ω α+1 p α 1 α p α 1 α. ACKNOWLEGMENT The author would lie to than an anonymous referee whose careful reading of the manuscript, insight, and expertise led to many improvements in this paper, among which included the strengthening of Theorems 8, 8A, 9, 9A to the case of V n when n and the extension of Theorems 6, 6A, 7, 7A to the Lehmer sequences. EFEENCES [1] V. robot. On Primes in the Fibonacci Sequence. Fibonacci uarterly 38 000: 71-7. [] J. H. Jaroma. Extension of a Theorem of Somer to the Companion Lucas Sequences. Proceedings of the 11th Conference of Fibonacci Numbers and their Applications. Kluwer, The Netherlands, 006, pp. 131-136. [3]. H. Lehmer. An Extended Theory of Lucas Functions. Ann. Math., Second Series 31 1930: 419-448. [4] L. Somer. The ivisibility and Modular Properties of th-order Linear ecurrences Over the ing of Integers of an Algebraic Number Field With espect to Prime Ideals. Ph.. issertation, The University of Illinois at Urbana-Champaign, 1985. [5] L. Somer. On Lucas d-pseudoprimes. Fibonacci Numbers and Their Applications. 7: 369 375. Ed. G. E. Bergum et al. ordrecht: Kluwer Academic Publishers, 1998. 07

ON PIMES AN TEMS OF PIME O INEX IN THE LEHME SEUENCES [6] L. Somer. Generalization of a Theorem of robot. Fibonacci uarterly 40 00: 435-437. AMS Classification Numbers: 11A51, 11B39 08