Lucas Test is based on Euler s theorem which states that if n is any integer and a is coprime to n, then a φ(n) 1modn.

Similar documents
Review - Probabilistic Classification

Section 6.1. Question: 2. Let H be a subgroup of a group G. Then H operates on G by left multiplication. Describe the orbits for this operation.

Folding of Regular CW-Complexes

ON THE COMPLEXITY OF K-STEP AND K-HOP DOMINATING SETS IN GRAPHS

Hardy-Littlewood Conjecture and Exceptional real Zero. JinHua Fei. ChangLing Company of Electronic Technology Baoji Shannxi P.R.

An Application of Hardy-Littlewood Conjecture. JinHua Fei. ChangLing Company of Electronic Technology Baoji Shannxi P.R.China

NEW APPLICATIONS OF THE ABEL-LIOUVILLE FORMULA

Recall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1

BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES

First derivative analysis

BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES. 1. Statement of results

Group Codes Define Over Dihedral Groups of Small Order

SCHUR S THEOREM REU SUMMER 2005

Function Spaces. a x 3. (Letting x = 1 =)) a(0) + b + c (1) = 0. Row reducing the matrix. b 1. e 4 3. e 9. >: (x = 1 =)) a(0) + b + c (1) = 0

ON EISENSTEIN-DUMAS AND GENERALIZED SCHÖNEMANN POLYNOMIALS

A Note on Estimability in Linear Models

Basic Polyhedral theory

The Hyperelastic material is examined in this section.

Analyzing Frequencies

CHAPTER 33: PARTICLE PHYSICS

The Matrix Exponential

Derangements and Applications

Outlier-tolerant parameter estimation

Deift/Zhou Steepest descent, Part I

The Matrix Exponential

On the irreducibility of some polynomials in two variables

Chapter 10. The singular integral Introducing S(n) and J(n)

Week 3: Connected Subgraphs

Consider a system of 2 simultaneous first order linear equations

Unit 6: Solving Exponential Equations and More

Searching Linked Lists. Perfect Skip List. Building a Skip List. Skip List Analysis (1) Assume the list is sorted, but is stored in a linked list.

y = 2xe x + x 2 e x at (0, 3). solution: Since y is implicitly related to x we have to use implicit differentiation: 3 6y = 0 y = 1 2 x ln(b) ln(b)

Quasi-Classical States of the Simple Harmonic Oscillator

Search sequence databases 3 10/25/2016

Higher order derivatives

Lecture 6.4: Galois groups

Introduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013

INCOMPLETE KLOOSTERMAN SUMS AND MULTIPLICATIVE INVERSES IN SHORT INTERVALS. xy 1 (mod p), (x, y) I (j)

Lecture 3: Phasor notation, Transfer Functions. Context

On spanning trees and cycles of multicolored point sets with few intersections

ON RIGHT(LEFT) DUO PO-SEMIGROUPS. S. K. Lee and K. Y. Park

Construction of asymmetric orthogonal arrays of strength three via a replacement method

Thus, because if either [G : H] or [H : K] is infinite, then [G : K] is infinite, then [G : K] = [G : H][H : K] for all infinite cases.


Chapter 6 Student Lecture Notes 6-1

Economics 600: August, 2007 Dynamic Part: Problem Set 5. Problems on Differential Equations and Continuous Time Optimization

The Equitable Dominating Graph

Chiang Mai J. Sci. 2014; 41(2) 457 ( 2) ( ) ( ) forms a simply periodic Proof. Let q be a positive integer. Since

Random Process Part 1

(Upside-Down o Direct Rotation) β - Numbers

Shortest Paths in Graphs. Paths in graphs. Shortest paths CS 445. Alon Efrat Slides courtesy of Erik Demaine and Carola Wenk

Propositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018

Strongly Connected Components

Total Prime Graph. Abstract: We introduce a new type of labeling known as Total Prime Labeling. Graphs which admit a Total Prime labeling are

COUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM

External Equivalent. EE 521 Analysis of Power Systems. Chen-Ching Liu, Boeing Distinguished Professor Washington State University

nd the particular orthogonal trajectory from the family of orthogonal trajectories passing through point (0; 1).

Problem Set 6 Solutions

Summer Reading Activities!

ON A CONJECTURE OF RYSElt AND MINC

Heisenberg Model. Sayed Mohammad Mahdi Sadrnezhaad. Supervisor: Prof. Abdollah Langari

Differentiation of Exponential Functions

Limiting value of higher Mahler measure

Epistemic Foundations of Game Theory. Lecture 1

cycle that does not cross any edges (including its own), then it has at least

Elements of Statistical Thermodynamics

Square of Hamilton cycle in a random graph

Some remarks on Kurepa s left factorial

COMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH.

Solution of Assignment #2

THE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens

UNTYPED LAMBDA CALCULUS (II)

Exercises for lectures 7 Steady state, tracking and disturbance rejection

1 Minimum Cut Problem

10/7/14. Mixture Models. Comp 135 Introduction to Machine Learning and Data Mining. Maximum likelihood estimation. Mixture of Normals in 1D

Physics 256: Lecture 2. Physics

Classical Magnetic Dipole

The second condition says that a node α of the tree has exactly n children if the arity of its label is n.

DISTRIBUTION OF DIFFERENCE BETWEEN INVERSES OF CONSECUTIVE INTEGERS MODULO P

Ch. 24 Molecular Reaction Dynamics 1. Collision Theory

Figure 1: Closed surface, surface with boundary, or not a surface?

u x v x dx u x v x v x u x dx d u x v x u x v x dx u x v x dx Integration by Parts Formula

Grand Canonical Ensemble

INTEGRATION BY PARTS

u r du = ur+1 r + 1 du = ln u + C u sin u du = cos u + C cos u du = sin u + C sec u tan u du = sec u + C e u du = e u + C

Department of Mathematics and Statistics Indian Institute of Technology Kanpur MSO202A/MSO202 Assignment 3 Solutions Introduction To Complex Analysis

The Fourier Transform

Minimum Spanning Trees

Exercise 1. Sketch the graph of the following function. (x 2

Combinatorial Networks Week 1, March 11-12

Probability Translation Guide

Aotomorphic Functions And Fermat s Last Theorem(4)

Independent Domination in Line Graphs

Math 261 Exercise sheet 2

ECE 344 Microwave Fundamentals

Summary: Solving a Homogeneous System of Two Linear First Order Equations in Two Unknowns

In 1991 Fermat s Last Theorem Has Been Proved

CS 361 Meeting 12 10/3/18

Bernadette Faye, Florian Luca, and Amadou Tall

COMPLEX NUMBER PAIRWISE COMPARISON AND COMPLEX NUMBER AHP

Transcription:

Modul 10 Addtonal Topcs 10.1 Lctur 1 Prambl: Dtrmnng whthr a gvn ntgr s prm or compost s known as prmalty tstng. Thr ar prmalty tsts whch mrly tll us whthr a gvn ntgr s prm or not, wthout gvng us th factors n cas th gvn numbr s compost. Thr has bn a lot of progrss n rcnt yars n prmalty tstng. In 2002, thr Indan computr scntsts found an algorthm to dtrmn whthr a gvn ntgr s prm or not. It s known as AKS algorthm, namd aftr th thr prsons nvolvd: Mandra Agarwal, Nraj Kayal and Ntn Saxna. But w ar not gong to laborat on ths algorthm. In ths lctur w wll dscuss Lucas Tst and Mllr-Rabn Tst for prmalty. Kywords: Lucas Tst, Mllr-Rabn Tst 10.1.1 Lucas Tst for Prmalty Lucas Tst s basd on Eulr s thorm whch stats that f n s any ntgr and a s coprm to n, thn a φ(n) 1modn. A spcal cas of Eulr s thorm s Frmat s Lttl Thorm, whch says that f p s a prm numbr thn a p 1 1modp 196

for any ntgr a not dvsbl by p. Lucas showd how on can us Eulr s thorm to prov prmalty. Rcall that th ordr of an ntgr a (coprm to n) modulo n s th last postv ntgr h such that a h 1modn. By dvson algorthm, on can show that h dvds any ntgr k for whch a k 1modn: k = hq + r, 0 r<h ( a k = a h) q.a r mod n 1 a r mod n r = 0 by mnmalty of h. THEOREM 10.1. Lt n b a postv ntgr and a b an ntgr coprm to n such that Thn n must b prm. a n 1 1 mod n, but a n 1 p 1mod n p (n 1). Proof: Lt n 1=p 1 1 p k k b th factorzaton of n 1 nto dstnct prm powrs. Lt h b th ordr of a modulo n. W know that h must dvd φ(n). By th hypothss, w hav h (n 1), h n 1 p p h p φ(n) (n 1) φ(n) φ(n) =n 1. Thus, n must b a prm. Exampl: Consdr n = 197. W obsrv that 197 1=2 2 7 2. Thrfor, f w can fnd an ntgr a>1coprmton such that a 196 1 mod 197, a 196 2 = a 98 1 mod 197, a 196 7 = a 28 1 mod 197, 197

n wll b prm. Now w try a = 2 and comput that 2 196 1 mod 197, 2 98 1 mod 197, 2 28 104 mod 197. Thrfor, 197 must b a prm. It s not ncssary that w nd a common bas a whch satsfs th hypothss of Lucas Tst for ach prm p dvdng n 1. W hav th followng gnralzaton: THEOREM 10.2. Lt n b a postv ntgr. Assum that for ach prm p dvdng n 1, w hav an ntgr a such that n 1 1 mod n, p but a 1mod n. a n 1 Thn n must b a prm. Proof: Lt n 1=p 1 1 p k k b th factorzaton of n 1 ntodstnctprmpowrs. Lth b th ordr of a modulo n. W know that h must dvd φ(n). By th hypothss, w hav h (n 1), h n 1 p p h p φ(n) (n 1) φ(n) φ(n) =n 1. Thus, n must b a prm. Exampl: Consdr n = 151. W obsrv that 151 1=2 3 5 2. Thrfor, f w can fnd ntgrs a 1,a 2,a 3 > 1coprmton such that a 150 1 mod 151, a 150 2 1 = a 75 1 mod 151, 2 = a 50 1 mod 151, a 150 5 3 = a 30 1 mod 151, a 150 3 198

n wll b prm. W tak a 1 =3=a 3 and a 2 = 2 and comput that 3 75 1 mod 151, 2 50 145 mod 151, 3 30 59 mod 151, 3 150 1 mod 151, 2 150 1 mod 151. Thrfor, 197 must b a prm. On drawback of Lucas tst s that t may not b too asy to fnd all th prm dvdng n 1, though n cass that w us t wll always b vn. On way to avod fndng all prm factors of (n 1) was shown by Pocklngton. H showd that t s nough to factorz n 1ntoprmpowrswhchmultplytoanntgratlast n. Whl w do not hav to factorz n 1 compltly, w wll hav to chck a strongr condton than th scond part of th hypothss n Lucas Tst. THEOREM 10.3. Lt n b a postv ntgr. Suppos w hav n 1=md, m n, and w know th prm factors p of m compltly. Assum that for ach prm p,w hav an ntgr a such that Thn n must b prm. ( a n 1 n 1 ) p 1 mod n, gcd a 1,n =1mod n p m. Proof: Consdr th prm factorzaton of n 1: n 1=p 1 1...p k k. Lt p b th smallst prm dvsor of n. Lt h b th ordr of a modulo p. Thn h must dvd p 1. Furthr, w know from th hypothss that Thn, n 1 1modp, p a a n 1 p h p (p 1). 1modp. In othr words p 1 s dvsbl by m. Thrfor, th smallst prm dvsor of n s bggr than n. Hnc, p must b n tslf, and n s a prm. 199

10.1.2 Mllr-Rabn Tst for Prmalty Mllr-Rabn tst s basd on Frmat s lttl thorm. If an ntgr fals ths tst, on can confrm that th ntgr s compost. If an ntgr passs ths tst, thr s stll a small probablty that th ntgr may b compost. It srvs as a probablstc tst for prmalty. Th followng thorm forms th bass of Mllr-Rabn Tst. THEOREM 10.4. Lt p b an odd prm. Lt p 1=2 m, gcd(2,m)=1. For any ntgr a such that 1 <a<p 1, thr a m 1 mod p, or for som j =1, 2,..., 1, a 2jm 1 mod p. Proof: Lt h b th ordr of a modulo p. W know that h dvds p 1. Hnc, Now, h =2 k m 1, m 1 m, 0 k. k =0 a m 1 1modp a m 1modp ( ) 2 k>0 a 2k 1 m 1 1modp a 2k 1 m 1 1modp or a 2k 1 m 1 1modp. But th w cannot hav th congrunc a 2k 1 m 1 1modp, as t s strctly lss than h. Th thorm follows. In ordr to apply th thorm to dcd prmalty of a gvn ntgr n, w pck a random ntgr 1 <a<n 1 and consdr th st a m,a 2m,..., a 2m = a n 1 whr n 1=2 m, 2 m. 200

In th abov st modulo n, f th occurrnc of 1 s thr at th frst plac or s prcdd by 1, w say that th ntgr n passs th Mllr-Rabn tst wth bas a. Thn th ntgr n s mor lkly to b prm, but th tst s not confrmatory. But f n fals th tst, w can mmdatly say from th abov thorm that n must b compost. In that cas, th bas a s rfrrd to as wtnss. If th ntgr n passs th Mllr-Rabn tst wth bas a, w can try anothr bas to b a. Ifwpckk ntgrs a 1,a 2,..., a k randomly and prform th Mllr-Rabn tst, th probablty that an ntgr whch passs th tst s stll compost turns out to b ( 1 k. 4) Hnc, thr s a vry small chanc that a compost numbr passs th Mllr-Rabn tst. For xampl, f w prform th tst wth 20 bass thn th ntgr passng th tst s prm wth th probablty 1 ( 1 20, 4) whch s vry clos to 1. Exampl: Lt us dmonstrat th mthod wth n = 341, whch s a Eulr psudo-prm. Obsrv that 341 1=2 2 5 17 = 2 2 85. Lt us tak a = 2, and comput 2 10 = 1024 = 341 3+1 1 mod 341 2 85 2 5 1 mod 341, 2 170 1 mod 341. Snc th occurrnc of 1 s not prcdd by 1 n th abov, w can conclud that 341 fals th Mllr-Rabn tst for prmalty. Thrfor, 341 must b compost and 2 s a wtnss. 201