22.02.2014 Views

Discrete Mathematics University of Kentucky CS 275 Spring ... - MGNet

Discrete Mathematics University of Kentucky CS 275 Spring ... - MGNet

Discrete Mathematics University of Kentucky CS 275 Spring ... - MGNet

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Theorem: If a and m are relatively prime integers and m>1, then an inverse <strong>of</strong> a<br />

modulo m exists and is unique modulo m.<br />

Pro<strong>of</strong>: Since gcd(a,m) = 1, )s,t,Z(1 = sa+tb). Hence, sa=tb ' 1 (mod m). Since<br />

tm ' 0 (mod m), it follows that sa ' 1 (mod m). Thus, s is the inverse <strong>of</strong> a<br />

modulo m. The uniqueness argument is made by assuming there are two<br />

inverses and proving this is a contradiction.<br />

Systems <strong>of</strong> linear congruences are used in large integer arithmetic. The basis for<br />

the arithmetic goes back to China 1700 years ago.<br />

Puzzle Sun Tzu (or Sun Zi): There are certain things whose number is unknown.<br />

• When divided by 3, the remainder is 2.<br />

• When divided by 5, the remainder is 3, and<br />

• When divided by 7, the remainder is 2.<br />

What will be the number <strong>of</strong> things? (Answer: 23… stay tuned why).<br />

63<br />

Chinese Remander Theorem: Let m 1 , m 2 ,…,m n ,N be pairwise relatively prime.<br />

n<br />

Then the system x ' a i (mod m i ) has a unique solution modulo m = ! .<br />

i=1<br />

m i<br />

Existence Pro<strong>of</strong>: The pro<strong>of</strong> is by construction. Let M k = m / m k , 1;k;n. Then<br />

gcd(M k , m k ) = 1 (from pairwise relatively prime condition). By the previous<br />

theorem we know that there is a y k which is an inverse <strong>of</strong> M k modulo m k , i.e.,<br />

M k y k ' 1 (mod m k ). To construct the solution, form the sum<br />

x = a 1 M 1 y 1 + a 2 M 2 y 2 + … + a n M n y n .<br />

Note that M j ' 0 (mod m k ) whenever j-k. Hence,<br />

x ' a k M k y k ' a k (mod m k ), 1;k;n.<br />

We have shown that x is simultaneous solution to the n congruences. qed<br />

64

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!