p| QED AlbertRMeyer March5,2012 lec5M. 11 AlbertRMeyer - - PowerPoint PPT Presentation

p qed albert r meyer march 5 2012 lec 5m 11 albert r
SMART_READER_LITE
LIVE PREVIEW

p| QED AlbertRMeyer March5,2012 lec5M. 11 AlbertRMeyer - - PowerPoint PPT Presentation

FundamentalThm.ofArithmetic Everyinteger > 1 Prime factorsuniquelyintoa weaklydecreasing Factorization sequenceofprimes AlbertRMeyer March5,2012 lec5M. 9 AlbertRMeyer March5,2012 lec5M. 10 UniquePrimeFactorization


slide-1
SLIDE 1

Albert R Meyer March 5, 2012

Prime Factorization

lec 5M.9

Albert R Meyer March 5, 2012

Every integer > 1 factors uniquely into a weakly decreasing sequence of primes

Fundamental Thm. of Arithmetic

lec 5M.10

Albert R Meyer March 5, 2012

lec 5M.11

Unique Prime Factorization

Example:

61394323221 = 53·37·37·37·11·11·7·3·3·3

Albert R Meyer March 5, 2012

Prime Divisibility Lemma: p prime and p | ab

implies p|a or p|b

pf: say not(p|a), so gcd(p,a) = 1 so,

sa + tp = 1

p|

  • so p|
  • QED

lec 5M.12

p|

  • b

b b

3

slide-2
SLIDE 2

Prime Divisibility

Cor :If p is prime, and

p|a1·a2· ··· ·am then p|ai for some i.

pf: by induction on m.

Unique Prime Factorization

Every integer n > 1 has a unique factorization into primes: p1· ··· ·pk = n with p1 ≥ p2 ≥ ··· ≥ pk

Albert R Meyer March 5, 2012

lec 5M.13

Albert R Meyer March 5, 2012

lec 5M.14

Unique Prime Factorization

pf: suppose not. choose smallest n >1:

n = p1·p2···pk = q1·q2···qm p1≥p2≥···≥pk q1≥q2≥···≥qm If q1 =p1, then p2···pk = q2···qm is smaller nonunique.

Unique Prime Factorization

pf: suppose not. choose smallest n >1:

n = p1·p2···pk = q1·q2···qm p1≥p2≥···≥pk q1≥q2≥···≥qm So can assume q1 > p1 ≥ pi

Albert R Meyer March 5, 2012

lec 5M.15

Albert R Meyer March 5, 2012

lec 5M.16

4

slide-3
SLIDE 3

Unique Prime Factorization

pf: but q1|n = p1·p2···pk

so q1|pi for some i by Cor, contradicting that q1 > pi QED

Albert R Meyer March 5, 2012

lec 5M.17

5

slide-4
SLIDE 4

MIT OpenCourseWare http://ocw.mit.edu

6.042J / 18.062J Mathematics for Computer Science

Spring 2015 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.