06.03.2017 Views

Mathematics for Computer Science

e9ck2Ar

e9ck2Ar

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

“mcs” — 2017/3/3 — 11:21 — page 332 — #340<br />

332<br />

Chapter 9<br />

Number Theory<br />

Problem 9.9. (a) Use the Pulverizer to find gcd.84; 108/<br />

(b) Find integers x, y with 0 y < 84 such that<br />

x 84 C y 108 D gcd.84; 108/:<br />

(c) Is there a multiplicative inverse of 84 in Z 108 ? If not briefly explain why,<br />

otherwise find it.<br />

Problem 9.10.<br />

Indicate true or false <strong>for</strong> the following statements about the greatest<br />

common divisor, and provide counterexamples <strong>for</strong> those that are false.<br />

(a) If gcd.a; b/ ¤ 1 and gcd.b; c/ ¤ 1, then gcd.a; c/ ¤ 1. true false<br />

(b) If a j bc and gcd.a; b/ D 1, then a j c. true false<br />

(c) gcd.a n ; b n / D .gcd.a; b// n true false<br />

(d) gcd.ab; ac/ D a gcd.b; c/. true false<br />

(e) gcd.1 C a; 1 C b/ D 1 C gcd.a; b/. true false<br />

(f) If an integer linear combination of a and b equals 1, then so does some integer<br />

linear combination of a and b 2 . true false<br />

(g) If no integer linear combination of a and b equals 2, then neither does any<br />

integer linear combination of a 2 and b 2 . true false<br />

Problem 9.11.<br />

For nonzero integers a, b, prove the following properties of divisibility and GCD’S.<br />

You may use Theorem 9.2.2 that gcd.a; b/ is an integer linear combination of a and<br />

b. You may not appeal to uniqueness of prime factorization Theorem 9.4.1, because<br />

some of these properties are needed to prove unique factorization.)<br />

(a) Every common divisor of a and b divides gcd.a; b/.<br />

(b) gcd.ka; kb/ D k gcd.a; b/ <strong>for</strong> all k > 0.<br />

(c) If a j bc and gcd.a; b/ D 1, then a j c.<br />

(d) If p j bc <strong>for</strong> some prime p then p j b or p j c.

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

Saved successfully!

Ooh no, something went wrong!