p qed albert r meyer march 5 2012 lec 5m 11 albert r
play

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


  1. Fundamental Thm. of Arithmetic Every integer > 1 Prime factors uniquely into a weakly decreasing Factorization sequence of primes Albert R Meyer March 5, 2012 lec 5M. 9 Albert R Meyer March 5, 2012 lec 5M. 10 Unique Prime Factorization Prime Divisibility Lemma: p prime and p | ab Example: implies p|a or p|b 61394323221 = pf: say not(p|a), so gcd(p,a) = 1 sa b + tp b = 1 b 53 · 37 · 37 · 37 · 11 · 11 · 7 · 3 · 3 · 3 � so, � � p| so p| p| QED Albert R Meyer March 5, 2012 lec 5M. 11 Albert R Meyer March 5, 2012 lec 5M. 12 3

  2. Prime Divisibility Unique Prime Factorization Cor :If p is prime, and Every integer n > 1 has a unique factorization into p|a 1 ·a 2 · ··· ·a m primes: p 1 · ··· ·p k = n then p|a i for some i. p 1 ≥ p 2 ≥ ··· ≥ p k with pf : by induction on m. Albert R Meyer March 5, 2012 lec 5M. 13 Albert R Meyer March 5, 2012 lec 5M. 14 Unique Prime Factorization Unique Prime Factorization pf: suppose not. choose smallest n > 1: pf: suppose not. choose smallest n > 1: n = p 1 ·p 2 ···p k = q 1 ·q 2 ···q m n = p 1 ·p 2 ···p k = q 1 ·q 2 ···q m p 1 ≥ p 2 ≥ ··· ≥ p k p 1 ≥ p 2 ≥ ··· ≥ p k q 1 ≥ q 2 ≥ ··· ≥ q m q 1 ≥ q 2 ≥ ··· ≥ q m So can assume q 1 > p 1 ≥ p i If q 1 = p 1 , then p 2 ···p k = q 2 ···q m is smaller nonunique. Albert R Meyer March 5, 2012 lec 5M. 15 Albert R Meyer March 5, 2012 lec 5M. 16 4

  3. Unique Prime Factorization pf: but q 1 |n = p 1 ·p 2 ···p k so q 1 |p i for some i by Cor, contradicting that q 1 > p i QED Albert R Meyer March 5, 2012 lec 5M. 17 5

  4. MIT OpenCourseWare http://ocw.mit.edu 6.042J / 18.062J Mathematics for Computer Science Spring 20 15 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend