SOLVED EXAMPLES

Size: px
Start display at page:

Download "SOLVED EXAMPLES"

Transcription

1 Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as = 6 So 6 divides (ii) 5 7, sice there is o u, st 7 = 5u Hece 5 does ot divide 7 Prime Number : A prime umber is a positive iteger greater tha whose oly positive divisors are ad itself eg 7, 3, etc 3 Divisio Algorithm : Let a ad b itegers with b > 0 The there exist uique iteger is q ad r with the property that a bq r where 0 r b, q is called the quotiet ad r is remaider eg for a = 7 ad b = 5 divisio algorithm gives 7 = for a = 3, b = 6, 3 = 6( ) + GCD (Greatest Commo Divisor): The greatest commo divisor of two o-zero itegers a ad b is the largest of all commo divisors of a ad b We deote this iteger by gcd(a, b) emarks : If a, b {0}, the there exist x, y such that gcd ( a, b) ax by (i) gcd (5, ) =, sice is the oly umber which divides 5 ad both (ii) gcd (, ) = is greatest commo divisor as ad (iii) gcd (0, 5) = 5 as 5 0 ad 5 5 but o other umber divisors of both which is also greater tha 5 (i) What is the smallest positive positive iteger i the set {x 60y 000 z x, y, z } (a) (b) (c) 6 (d) [CSI-NET-03-(II)] Sol gcd (, 60, 000) Hece, correct optio is (b) (ii) For positive iteger m ad Let F m ad Gm Which of the followig statemet are true? (a) F divides G m wheever m (b) gcd ( F, Gm) wheever m (c) gcd ( F, Fm ) wheever m (d) G m divides F wheever m [CSI-NET-0-(I)] Sol Take m 3 ; optio (b) cotradicted

2 Prelimiaries Take m ; 3 optio (d) cotradicted So, optio (a) ad (c) are correct (iii) True or False The equatio 63x 70y 5z 00 has a itegral solutio [TIF-0] Sol By defiitio of gcd (63, 70, 5) there exist x, y, z such that gcd (63, 70,5) 63x 70y 5z, the 00 63(00 x) 70(00 y) 5(00 z) 00 63x 70y 5z So we get x, y, z are itegral solutio of the equatio Hece this is true statemet 5 elatively Prime Itegers or Coprime iteger : Whe gcd( a, b), we say a ad b are relatively prime or coprime iteger eg gcd(9,0), gcd(5,8) gcd (0, 0) = 0 as 0 is the greatest commo divisor of (0, 0) so, they are ot relatively prime 6 Composite umber: which are ot prime umbers ie (other the prime umber iteger all umber is composite) eg To compute gcd( a, b ) by Euclidea Algorithm Exp: To compute gcd(38, ) = + 6 = = = + = + 0 gcd(38, ) gcd(50, 5) 50 = = = + = gcd(50, 5) 7 Euclid s Lemma: If p is a prime umber that divides ab, the p divides a or p divides b ie p ab p a or p b Exp Whe p is ot a prime, the Euclid s Lemma may fail 6 3 but 6 ad Fudametal Theorem of Arithmetic: Every iteger greater tha is a prime or a product of primes This product is uique, except for the order i which the factors appear Thus, if p p pr ad q q qs where p s ad q s are primes, the r = s ad, after re-umberig the q s, we have pi qi for all i (i) 30 = 3 5, Thus, p, p 3, p3 5 (ii) 5 = 3 5, p 3, p 5 (iii) = 3 7, p, p 3, p3 7 These expressio are uique No other primes exists other tha these which gives same umber i each example give above 9 Least Commo Multiple: LCM (a, b): The least commo multiple of two o-zero itegers a ad b is the smallest positive iteger that is a multiple of both a ad b eg lcm(, 6) =

3 Prelimiaries (i) (i) lcm (5, 8) = 0 (ii) lcm (0, 0) = 0 emarks : a b lcm ( a, b)gcd ( a, b), so, if gcd (a, b) =, the lcm (a, b) = a b If a m ad b m the l m [where l is lcm (a, b) True or False Give ay iteger we ca always fid a iteger m such that each of cosecutive itegers m, m 3,, m are composite [TIF-0] As True Sol Take m lcm {, 3,,, }, we ca take commo, 3,,, from each term which will show that umbers are composite 0 Modular Arithmetic: Modular arithmetic is a abstractio of a method of coutig that you ofte use for example, if it is ow Jauary, what will be 5 th moth from ow? of course February 5 = +, whe a q r, where q is the quotiet ad r is the remaider upo dividig a by, we write (i) (ii) amod r or a r mod Thus 3mod sice 3= +, 6 mod 0 sice 6 = mod 85 6 sice 6 = More geerally, if a ad b are itegers ad is a positive iteger, we ofte write ( a b) ( ab) mod (( a mod )( b mod )) mod, ( a b) mod (( a mod ) ( b mod )) mod (7 3) mod0 ((7 mod0) (3 mod0)) mod0 = (7 3) mod0 = 0mod0 0 mod (7) meas 7 ( ) 7 This gives the remaider after dividig by 7 to ( ) Some properties of modular Arithmetic if a b (mod ) The, a + c b + c mod () a c b c mod () (iii) p p a b mod ( ) (iv) p( a) p( b) (mod ) where p( a ) polyomial i a but coverse of the property (ii), (iii) ad (iv) does ot hold as, 9 6 mod (3) also 33 3 mod (3) but 3 mod (3) ot hold Similarly for others 3 a b mod wheever

4 (i) The last digit of 80 is (a) (b) (c) 6 (d) 8 Sol Usig modular arithmetic ; 6 mod 0 Use property (iii) if (mod ) ad P P a b a b (mod ) So we get ( ) 0 = 6 0 (mod 0) 80 = 6 (mod 0) last digit of 80 is 6 Hece, correct optio is (c) Prelimiaries [TIF-00] (ii) Which of the followig statemet is FALSE? (a) There exist a atural umber which whe divided by 3, leaves remaider ad which whe divided by, leaves remaider 0 (b) There exist a atural umber which whe divided by 6, leaves remaider ad which whe divided by 9, leaves remaider (c) There exist a atural umber which whe divided by 7, leaves remaider ad which whe divided by, leaves remaider 3 (d) There exist a atural umber which whe divided by, leaves remaider 7 ad which whe divided by 8, leaves remaider 3 [TIF-00] Sol Apply modular arithmetic, check it by optio (b) assume such atural umber exist say x the x mod 6 ad x mod 9 x 6q ad x 9q 6q 9q (6q ) mod 9 0 (*) use ( a b) mod ( a (mod ) b (mod )) mod the (6q ) mod 9 (6 q (mod 9) (mod 9)) mod 9 (0 ) mod 9 or (3 ) mod 9 0 or (6 ) mod 9 7 which is cotradictio to (*), hece optio (b) is ot true Hece, correct optio is (b) (iii) What is the last digit of 97 03? (a) (b) 3 (c) 7 (d) 9 Sol By modular arithmetic (97) ((97) ) mod 0 mod 0 by property (iii) mod 0 97 mod 0 by property (ii) 7 mod 0 Hece, correct optio is (c) [TIF-0] (iv) Which of the followig primes satisfy the cogruece a (6a ) mod 3

5 Prelimiaries (a) (b) 7 (c) 67 (d) 83 Sol () (6 ) mod 3 (6 ) mod 3 (8) mod 3 mod 3 (v) ( ) mod 3 ( ) Use Euler Theorem gcd ( a, ), the a mod, a ; 3 the a mod 3 Hece, correct optios are (a) ad (c) The last two digit of 7 8 are (a) 07 (b) 7 (c) 37 (d) 7 8 Sol 7 r mod 00 Fid r (vi) 7 0(mod 00) (mod 00) r 07 Hece, correct optio is (a) 0 80 (7 ) 7 7 0(mod 00) use modular arithmatic property The last digit of (38) 0 is (a) 6 (b) (c) (d) 8 Sol 38 8 (mod 0) (vii) (38) (8) (mod 0) (6 mod 0) 50 ((38) ) 6 (mod 0) 008 (38) 6 (mod 0) 009 (38) 8 (mod 0) 00 (38) (mod 0) 0 (38) (mod 0) last digit Hece, correct optio is (b) The uit digit of 00 is (a) (b) (c) 6 (d) 8 Sol 6 (mod 0) 5 5 ( ) (6) (mod 0) 6 (mod 0) uit digit Hece, correct optio is (c) 5 [CSI-NET-05-(I)] [CSI-NET-0-(II)] [CSI-NET-0-(I)] [CSI-NET-0-(I)] Fuctios (Mappigs) ad elatios Fuctio (Mappig): A fuctio (or mappig) f from a set X to a set Y is a rule which assigs to each elemet x of X exactly oe elemet y of Y f X Domai Y Co-domai

6 6 Prelimiaries -- ' f : X Y ' a A f B a (i) a a a A f B a (ii) a a a A f 3 B a (iii) a a By the defiitio of fuctio that a rule that assigs to each elemet x of X exactly oe elemet y of Y Thus i above examples f is ot a fuctio sice a maps to a ad a both which cotradicts the defiitio of a fuctio Compositio of Fuctios: Let f : X Y ad g : Y from X to Z defied by ( gof )( x) g( f ( x)) for all x X f Z The compositio gof (or gf ) is the mappig g x f( x) g( f( x)) X Y Z Let f ( x) x, g( x) x fog( x) f g( x) f x The ( x ) x but gof ( x) g f ( x) g x g x x x ( ) ( ) Thus, x x

7 Prelimiaries 7 Hece compositio of two fuctio eed ot be commutative ie, fog ( x) gof ( x) 3 Oe to oe Fuctio: A fuctio f : X Y is called oe to oe if f ( x ) f ( x) x x or equivaletly x x f ( x ) f ( x) Oe-oe Not oe-oe A B A B a f a f a (i) a a (ii) a a emarks : (i) If domai has more elemets tha codomai fuctio ca ot be oe-oe (by defiitio of a fuctio) (ii) If domai has oly oe elemet the ay fuctio which is defied o to that domai always be oe-oe (by defiitio of a fuctio) (iii) If x m, y ; m the umber of oe-oe map is! ( m)! (i) Let m be atural umber The umber of ijective maps from a set of cardiality m to a set of cardiality is (a) m! (b)! (c) ( m)! (d) Noe [TIF-0] Sol By remark (iii) Number of oe to oe fuctio is Hece, correct optio is (d) p m! ( m)! ONTO Fuctios: A fuctio f : X Y is said to be oto if each elemet of Y is the image of atleast oe elemet of X p m ONTO Not ONTO emarks : (i) Similarly if codomai has more elemet tha domai of a fuctio fuctio ca ot be oto (ii) If codomai of a fuctio with o empty domai the it will be always oto meas for each y Y ; atleast oe x X such that f ( x) y (iii) If x m, y ; m the umber of oto map is ( ) ( ) ( 3) ( ) ( k) m m m m k m C C C3 Ck

8 (i) 8 Sol Number of surjective maps from a set of elemets to a set of 3 elemet is (a) 36 (b) 6 (c) 69 (d) 8 Use remark (iii) m m m m c ( ) ( ) ( 3) c c 3 m ; c (3 ) 3 (3 ) 3 (3 3) c c 3 8 3() 3() Hece, correct optio is (a) Prelimiaries [CSI-NET-0-(II)] 5 Properties of Fuctios: Give fuctios f : X Y, g : Y Z ad h : Z W (i) h( gf ) ( hg) f (associativity) (ii) If f ad g are oe-to-oe, the gof ad fog is oe-to-oe (iii) If f ad g are oto, the gof ad fog is oto (iv) If f is oe-to-oe ad oto, the there exist a fuctio f The from Y oto X such that ( f of )( x) x x X ad ( fof )( y) y y Y 6 elatio: Let A ad B be two sets A relatio from A to B is a subset of A B where A B is cartesia product of sets A ad B ie A B is a set of ordered pairs (a, b) such that,, 3,,,, The A B ( x, y) : x A ad y B A B a b c a A ad b B The power set of A B defied as relatios o A B Ifact, each elemet of power set of A B defies a relatio ad each relatio defied o A B gives a subset of A B as, N N (, ), (, ), (, 3), (, ), (, ), (, 3), (3,), (3, ), (3, 3), The if we take all order pairs ( a, b ) st a ad 3 is a subset of N N elatio o a set A: A relatio o a set A is subset of A A b The (, 3), (, 3), (3, 3), (, 3) which 7 Types of relatio o a set: (i) eflexive elatio: Let be a relatio o a set A ie let be a subset of A A, the is called a reflexive relatio if ( a, a), a A

9 Prelimiaries ie is reflexive if we have, aa, a A A relatio o a set A is NOT EFLEXIVE if there is atleast oe elemet a A, such that ( a, a) (i) eflexive : A,, 3 9 The (,), (, ) 3 (, ), (, ), (3, 3), (3, ) (,), (, ), (3, 3) (, ), (, ), (, 3), (3, ), (, 3), (3, ) ad are ot reflexive sice they have ot all possible pairs of ( a, a) a A I, 3 they are reflexive sice (, ), (, ), (3, 3) Similarly ; {(, ), (, ), (3, 3)} (ii) Symmetric relatio: Let be a relatio o a set A ie let be a subset of A A The is said to be a symmetric relatio if ( a, b) ( b, a) Thus is symmetric if we have ba wheever we have ab A relatio o a set A is ot symmetric if there exist two distict elemets a, b A, such that ab but ba ie ( a, b) but ( b, a) Set A = {,, 3, } 3 (, ), (, ) (, ), (, 3), (3,), (, ) (,), (, ), (3, 3), (, ) is ot symmetric, sice (, ) but (, ) (iii) Ati-symmetric relatio: Let be a relatio o a set A ie let be a subset of A A The is a b ad ( b, a) said to be a ati-symmetric relatio if (, ) ie ( a, b), ad ( b, a) a b or a b ( a, b) or ( b, a) or ( a, b) ( b, a) implies a b is ot ati-symmetric if there exist elemets a b such that ( a, b) as well as ( b, a) (iv) Trasitive relatio: Let be a relatio o a set A ie let be subset of A A The is said to be a trasitive relatio if ( a, b) ad ( b, c) ( a, c) A relatio o a set A is ot trasitive if there exist elemets a, b ad c i A, ot ecessarily distict, such that ( a, b),( b, c) but ( a, c) A,, 3,

10 0 3 (, ), (, ) (3, 3), (3, ) (, ), (, ), (, ) ad are trasitive but 3 is ot sice (, ) 3 ad (, ) 3 but (, ) 3 Prelimiaries 7 Equivalece elatio: Let be a relatio o a set A The is said to be a equivalece relatio iff Ex the followig three coditios hold simultaeously a A (i) is reflexive ie a A ( a, a) (ii) is symmetric ie ( a, b) ( b, a) (iii) is trasitive ie ( a, b) ad ( b, c) ( a, c) (i) Set of parallel lies (a) eflexive:-- Each lie is parallel to itself (b) Symmetric:-- If L L the L L Hece symmetric hold (c) Trasitivity:-- If L L ad L L3 L L3 Hece set of parallel lies defies a equivalece relatio Ex (ii) Set of all male huma beig, relatio defies brotherhood :-- (a) eflexivity :-- Each male huma beig is brother to itself (i mathematics it is hold) (b) Symmetric :-- If A is brother of A the A is also brother of A (Sice we have the set of all male huma beig) (c) Trasitive :-- Also hold Hece a equivalece relatio 8 Examples: which is ot equivalece relatio (i) set of perpedicular lies (a) ot reflexive as a lie caot perpedicular to itself (b) it is symmetric (c) ot trasitive Hece ot a equivalece relatio 9 Equivalece Class: If ~ is a equivalece relatio o a set A ad a A, the the set [ a] { x A : x ~ a} is called the equivalece class of A cotaiig a [a] is a subset of A 0 Properties of Equivalece Classes: Let A be a o-empty set ad let be a equivalece relatio o A Let a ad b be arbitrary elemets of A The (i) a [ a] (ii) If b [ a], the [ b] [ a] (iii) [ a] [ b] iff ab ie ( a, b) (iv) Either [ a] [ b] or [ a] [ b] ie two equivalece classes are either disjoit or idetical Proof: (i) Sice is reflexive, we have aa But [ a] { x x A ad aa} Hece a ad aa imply a [ a] (ii) Let b [ a] ba Now if, x be ay arbitrary elemet of [b] The x [ b] xb But is trasitive, therefore xb ad ba xa x [ a] Thus x [ b] x [ a] Therefore [ b] [ a] Agai, let y be ay arbitrary elemet of [a] The y [ a] ya Sice is symmetric, therefore ba ab Now ya ad ab yb y [ b]

11 Prelimiaries Thus y [ a] y [ b] Therefore [ a] [ b] Fially [ a] [ b] ad [ b] [ a] [ a] [ b] (iii) First Part: [ a] [ b] ab We have [ a] [ b] Sice is reflexive, therefore we have aa Now aa a [ a] a [ b] [ [ a] [ b]] ab Thus [ a] [ b] ab Coverse part: Suppose that ab, the to prove that [ a] [ b] Let x be ay arbitrary elemet of [a] The xa But it is give that ab Therefore, xa ad ab xb [ is trasitive] x [ b] Thus x [ a] x [ b] Therefore [ a] [ b] Agai let y be ay arbitrary elemet of [b] The y [ b] yb Now, we are give that ab From this we have ba sice is symmetric Now, yb ad ba ya y [ a] Thus y [ b] y [ a], therefore [ b] [ a] Hece, [ a] [ b] ad [ b] [ a] [ a] [ b] Fially sice [a] = [b] ab ad ab [ a] [ b] Therefore, [ a] [ b] iff ab (iv) If [ a] [ b], the we have othig to prove So let us suppose that [ a] [ b] therefore there exist a elemet x A such that x [ a] [ b] x [ a] ad x [ b] xa ad xb ax ad xb [ is symmetric] ab [ is trasitive] [ a] [ b] Thus, [ a] [ b] [ a] [ b] Partitio: A partitio of a set S is a collectio of o-empty disjoit subsets of S whose uio is S Cosider the set S {,,3, }, the {, },{3},{} is a partitio of S Let Z be the set of all itegers we kow that x y(mod 3) is a equivalece relatio o Z Cosider the set of three equivalece classes [0] {, 6, 3,0,3,6,} [] {, 7,,,,7,} [] {, 8, 5,,5,8,} We observe that (i) The sets [0], [] ad [] are o-empty (ii) The sets [0], [] ad [] are pairwise disjoit (iii) Z [0] [] [] Hece, {[0],[],[]} is a partitio of Z, uder the relatio x y (mod 3)

12 Prelimiaries elatio iduced by a partitio of a set: Correspodig to ay partitio of a set S, we ca defie a relatio o S by the requiremet that xy iff x ad y belog to the same subset of S belogig to the partitio The relatio is the said to be iduced by the partitio Example : Cosider the set S {,,9,0} ad its subsets B {,3}, B {7,8,0}, B {,5,6}, B {,9} 3 The set p { B, B, B3, B} is such that (i) B, B, B3, B are all o-empty subsets of S (ii) 3 B B B B S, ad (iii) For ay sets B, either Bi Bj or Bi B j i Hece the set { B, B, B3, B } is a partitio of S 3 Fudametal theorem o equivalece relatio: A equivalece relatio o a o-empty set S determie a partitio of S ad coversely a partitio of S defies a equivalece relatio o S O The equivalece classes of a equivalece relatio o a set S costitute a partitio of S coversely, for ay partitio P of S, there is a equivalece relatio o S whose equivalece classes are the elemets of P Proof: Let be a equivalece relatio i S Let A be the set of equivalece classes of S with respect to ie let A {[ a]: a S} where [ a] { x : x S ad xa} Sice is a equivalece relatio, therefore a S, we have aa Hece a [ a] ad thus [ a] Further every elemet a of S is a elemet of the equivalece class [a] i A From this we coclude that S [ a] as Fially, if [a] ad [b] are two equivalece classes the either [ a] [ b] or [ a] [ b] Hece A is a partitio of S Thus we see that a equivalece relatio i S decomposes the set S ito equivalece classes ay two of which are either equal or mutually disjoit T T T p q S Coverse Let P {,,,} be ay partitio of S If, a b c iff there is a T i i the partitio such that p, q Ti, let us defie a relatio i S by pq Now S T T T Therefore x S, there exists Ti P such that x Ti for some i Hece x a b c Ti ad x Ti meas xx Thus x S, we have xx ad thus is reflexive Agai if we have xy, the there exists Ti But x Ti ad y Ti y Ti Therefore, is symmetric ad x Ti yx P such that x Ti ad y Ti Fially suppose xy ad yz The by the defiitio of there exist subsets T j ad T k (ot ecessarily distict) such that x, y Tj ad y, z Tk Sice y Tj ad also y Tk, therefore T j Tk But Tj ad T k belog to a partitio of S Therefore T j Tk implies T j Tk Now T j Tk implies x, z Tj

13 Prelimiaries ad cosequetly we have xz Thus is trasitive Sice is reflexive, symmetric ad trasitive, therefore is a equivalece relatio SOME IMPOTANT FUNCTIONS fuctio : It is called Euler phi-fuctio ad defied as ( ) = umber of positive itegers co-prime to ad less tha or equal to Ex (i) (0) = as, 3, 7, 9 (total ) itegers which are co-prime to 0 Method for fidig umber of positive itegers co-prime to :-- a b c If p q r, where p, q, r, are prime ad a, b, c, are atural umber 3 The ( ) p q r Ex (ii) (00) () () 0 (i) For a positive iteger m, let ( m) deote the umber of itegers k such that k m ad gcd ( k, m) The which of the followig statemet are ecessarily true (a) ( ) divides for every positive iteger Sol (b) divides ( a ) for all positive iteger a ad (c) divides ( a ) for all positive iteger a ad such that gcd ( a, ) (d) a divides ( a ) for all positive iteger a ad such that gcd ( a, ) [CSI-NET-0-(II)] (b) ad (c) For (a) take = 3 ad For (d) take a = 3, =, the both (a) ad (d) are cotradicted (ii) The umber of elemet i the set { m : m 000, m ad 000 are relatively prime} is (a) 00 (b) 50 (c) 300 (d) 00 [CSI-NET-0-(I)] 3 Sol (000) (0 ) 0 00 By property 5 Hece, correct optio is (d) 98 (iii) What is the cardiality of the set { z z ad z for ay 0 98}? (a) 0 (b) (c) (d) 9 [CSI-NET-05-(II)] Sol Give group is isomorphic to cyclic group of order 98 ie, 98 the umber of elemets i 98 which is coprime to 98 is (98) Hece, correct optio is (c)

14 (): ((tau) fuctio):-- It gives total umber of divisors of, icludig ad both a b c If p q r, where p, q, r, are distict primes ad a, b, c The ( ) ( a ) ( b ) ( c ) Note: It icludes ad ad the umber itself (00) 5 ( ) ( ) (3) (3) 9 Prelimiaries (iii) ( ) :-- (Sigma fuctio) :-- It gives the sum of all divisors It too icludes ad the umber itself a b c If p q r, p, q, r primes a, b, c a b c p q r The ( ) p q r Ex (0) (i) The umber of positive divisor of 50,000 is (a) 0 (b) 30 (c) 0 (d) 50 5 Sol 50, ( ) ( ) (5 ) Hece, correct optio is (b) Properties : I particular whe is prime say p, ( p) p, ( p), ( p) p If gcd (m, ) = the (i) ( m) ( m) ( ) (ii) ( m ) ( m) ( ) (iii) ( m ) ( m) ( ) [CSI-NET-0-(I)] 3 A umber theoratic fuctio f is said to be multiplicative if f ( m, ) f ( m) f ( ) Wheever gcd (m, ) = hece,, are multiplicative fuctios For >, ( ) is always a eve iteger 5 (0 ) 0 Importat Theorems : (I) Gauss : For each positive iteger ( d ) where sum beig exteded over all positive divisors d of d / (II) Theorem : For >, the sum of the positive itegers less tha ad relatively prime to is ( K, ) K K ( )

15 Prelimiaries 5 p (III) Fermat s Theorem : If p is prime, the a a (mod p) p (IV) Fermat s little Theorem : If p is prime, the a (mod p) coverse of Fermat s theorem is eed ot to be true ( ) (V) Euler Theorem : If is a positive iteger ad gcd (a, ) =, the a (mod ), ( ) is Euler phi fuctio Euler Theorem is geeralizatio of Fermat s Theorem O k ie if x a (mod ) ad gcd ( k, ( )) d ; is prime # ( )/ d a (mod ), where ( ) is Euler fuctio (VI) Wilso s Theorem : If p is a prime, the ( p )! (mod p) or ( p )! 0 (mod p) (VII) Pseudo Prime : A composite iteger is called pseudo prime if it satisfies the cogruece equatios (mod ) (VIII) Chiese emaider Theorem Let x a mod m : i,,, for which m i are pairwise relatively prime the solutio of the set of cogruece i i (i) Sol m m m x a b a b mod m, where m m m m ad bi satisfy bi (mod mi ) m m m is If m, m,, m are pairwise relatively prime positive itegers ad if a, a,, a are ay itegers the simultaeous cogruece x a mod m ; i,, have a solutio ad solutio is uique modulo m, where m m m m The equatio x (mod 3) has (a) o solutio (c) exactly oe solutio Use Euler theorem (v) i i (b) 3 solutio (d) solutio k ; a ; 3 ; d gcd (, (3)) gcd (, ), the (3)/ d / (mod ) (mod 3) (mod 3) i [TIF-0] which is cotradictio Hece o solutio exist Hece, correct optio is (a) (ii) If is the positive iteger such that the sum of all positive iteger a satisfyig a ad gcd ( a, ) is Sol equal to 0 the umber of summad amely ( ) is (a) 0 (b) (c) 0 (d) 80 Use theorem II ( k, ) k k ( ) 0 ( ) ( ) 80 Hece, correct optio is (d) [CSI-NET-0-(I)]

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play. Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers

More information

Solutions to Math 347 Practice Problems for the final

Solutions to Math 347 Practice Problems for the final Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is

More information

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of

More information

International Baccalaureate LECTURE NOTES MATHEMATICS HL FURTHER MATHEMATICS HL Christos Nikolaidis TOPIC NUMBER THEORY

International Baccalaureate LECTURE NOTES MATHEMATICS HL FURTHER MATHEMATICS HL Christos Nikolaidis TOPIC NUMBER THEORY Iteratioal Baccalaureate LECTURE NOTES MATHEMATICS HL FURTHER MATHEMATICS HL TOPIC NUMBER THEORY METHODS OF PROOF. Couterexample - Cotradictio - Pigeohole Priciple Strog mathematical iductio 2 DIVISIBILITY....

More information

The Structure of Z p when p is Prime

The Structure of Z p when p is Prime LECTURE 13 The Structure of Z p whe p is Prime Theorem 131 If p > 1 is a iteger, the the followig properties are equivalet (1) p is prime (2) For ay [0] p i Z p, the equatio X = [1] p has a solutio i Z

More information

MATH 304: MIDTERM EXAM SOLUTIONS

MATH 304: MIDTERM EXAM SOLUTIONS MATH 304: MIDTERM EXAM SOLUTIONS [The problems are each worth five poits, except for problem 8, which is worth 8 poits. Thus there are 43 possible poits.] 1. Use the Euclidea algorithm to fid the greatest

More information

[ 11 ] z of degree 2 as both degree 2 each. The degree of a polynomial in n variables is the maximum of the degrees of its terms.

[ 11 ] z of degree 2 as both degree 2 each. The degree of a polynomial in n variables is the maximum of the degrees of its terms. [ 11 ] 1 1.1 Polyomial Fuctios 1 Algebra Ay fuctio f ( x) ax a1x... a1x a0 is a polyomial fuctio if ai ( i 0,1,,,..., ) is a costat which belogs to the set of real umbers ad the idices,, 1,...,1 are atural

More information

[ 47 ] then T ( m ) is true for all n a. 2. The greatest integer function : [ ] is defined by selling [ x]

[ 47 ] then T ( m ) is true for all n a. 2. The greatest integer function : [ ] is defined by selling [ x] [ 47 ] Number System 1. Itroductio Pricile : Let { T ( ) : N} be a set of statemets, oe for each atural umber. If (i), T ( a ) is true for some a N ad (ii) T ( k ) is true imlies T ( k 1) is true for all

More information

Trial division, Pollard s p 1, Pollard s ρ, and Fermat s method. Christopher Koch 1. April 8, 2014

Trial division, Pollard s p 1, Pollard s ρ, and Fermat s method. Christopher Koch 1. April 8, 2014 Iteger Divisio Algorithm ad Cogruece Iteger Trial divisio,,, ad with itegers mod Iverses mod Multiplicatio ad GCD Iteger Christopher Koch 1 1 Departmet of Computer Sciece ad Egieerig CSE489/589 Algorithms

More information

6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.

6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer. 6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio

More information

Exercises 1 Sets and functions

Exercises 1 Sets and functions Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,

More information

Modern Algebra. Previous year Questions from 2017 to Ramanasri

Modern Algebra. Previous year Questions from 2017 to Ramanasri Moder Algebra Previous year Questios from 017 to 199 Ramaasri 017 S H O P NO- 4, 1 S T F L O O R, N E A R R A P I D F L O U R M I L L S, O L D R A J E N D E R N A G A R, N E W D E L H I. W E B S I T E

More information

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4. 11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although

More information

Chapter 0. Review of set theory. 0.1 Sets

Chapter 0. Review of set theory. 0.1 Sets Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.

More information

Math 155 (Lecture 3)

Math 155 (Lecture 3) Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,

More information

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function. MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied

More information

Basic Sets. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4

Basic Sets. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4 Basic Sets Example 1. Let S = {1, {, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 False. Note that the elemets of S are 1, the set {, 3}, ad 4. Thus S = 3. (b) {1} S False. While 1

More information

Homework 2 January 19, 2006 Math 522. Direction: This homework is due on January 26, In order to receive full credit, answer

Homework 2 January 19, 2006 Math 522. Direction: This homework is due on January 26, In order to receive full credit, answer Homework 2 Jauary 9, 26 Math 522 Directio: This homework is due o Jauary 26, 26. I order to receive full credit, aswer each problem completely ad must show all work.. What is the set of the uits (that

More information

Square-Congruence Modulo n

Square-Congruence Modulo n Square-Cogruece Modulo Abstract This paper is a ivestigatio of a equivalece relatio o the itegers that was itroduced as a exercise i our Discrete Math class. Part I - Itro Defiitio Two itegers are Square-Cogruet

More information

Basic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S.

Basic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S. Basic Sets Example 1. Let S = {1, {2, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 (b) {1} S (c) {2, 3} S (d) {1, 4} S (e) 2 S. (f) S = {1, 4, {2, 3}} (g) S Example 2. Compute the

More information

Commutativity in Permutation Groups

Commutativity in Permutation Groups Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are

More information

Math 4107: Abstract Algebra I Fall Webwork Assignment1-Groups (5 parts/problems) Solutions are on Webwork.

Math 4107: Abstract Algebra I Fall Webwork Assignment1-Groups (5 parts/problems) Solutions are on Webwork. Math 4107: Abstract Algebra I Fall 2017 Assigmet 1 Solutios 1. Webwork Assigmet1-Groups 5 parts/problems) Solutios are o Webwork. 2. Webwork Assigmet1-Subgroups 5 parts/problems) Solutios are o Webwork.

More information

Primality Test. Rong-Jaye Chen

Primality Test. Rong-Jaye Chen Primality Test Rog-Jaye Che OUTLINE [1] Modular Arithmetic Algorithms [2] Quadratic Residues [3] Primality Testig p2. [1] Modular Arithmetic Algorithms 1. The itegers a divides b a b a{ 1, b} If b has

More information

3.2.4 Integer and Number Theoretical Functions

3.2.4 Integer and Number Theoretical Functions 418 3. Advaced Mathematics i Mathematica 3.2.4 Iteger ad Number Theoretical Fuctios Mod[k, ] k modulo (positive remaider from dividig k by ) Quotiet[m, ] the quotiet of m ad (iteger part of m/) GCD[ 1,

More information

Sets. Sets. Operations on Sets Laws of Algebra of Sets Cardinal Number of a Finite and Infinite Set. Representation of Sets Power Set Venn Diagram

Sets. Sets. Operations on Sets Laws of Algebra of Sets Cardinal Number of a Finite and Infinite Set. Representation of Sets Power Set Venn Diagram Sets MILESTONE Sets Represetatio of Sets Power Set Ve Diagram Operatios o Sets Laws of lgebra of Sets ardial Number of a Fiite ad Ifiite Set I Mathematical laguage all livig ad o-livig thigs i uiverse

More information

LECTURE NOTES, 11/10/04

LECTURE NOTES, 11/10/04 18.700 LECTURE NOTES, 11/10/04 Cotets 1. Direct sum decompositios 1 2. Geeralized eigespaces 3 3. The Chiese remaider theorem 5 4. Liear idepedece of geeralized eigespaces 8 1. Direct sum decompositios

More information

Cardinality Homework Solutions

Cardinality Homework Solutions Cardiality Homework Solutios April 16, 014 Problem 1. I the followig problems, fid a bijectio from A to B (you eed ot prove that the fuctio you list is a bijectio): (a) A = ( 3, 3), B = (7, 1). (b) A =

More information

Bertrand s Postulate

Bertrand s Postulate Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a

More information

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

PAPER : IIT-JAM 2010

PAPER : IIT-JAM 2010 MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure

More information

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero? 2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a

More information

Lecture Notes for CS 313H, Fall 2011

Lecture Notes for CS 313H, Fall 2011 Lecture Notes for CS 313H, Fall 011 August 5. We start by examiig triagular umbers: T () = 1 + + + ( = 0, 1,,...). Triagular umbers ca be also defied recursively: T (0) = 0, T ( + 1) = T () + + 1, or usig

More information

Homework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is

Homework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is Homewor 3 Chapter 5 pp53: 3 40 45 Chapter 6 p85: 4 6 4 30 Use combiatorial reasoig to prove the idetity 3 3 Proof Let S be a set of elemets ad let a b c be distict elemets of S The umber of -subsets of

More information

Complex Numbers Solutions

Complex Numbers Solutions Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i

More information

Zeros of Polynomials

Zeros of Polynomials Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree

More information

Math 4400/6400 Homework #7 solutions

Math 4400/6400 Homework #7 solutions MATH 4400 problems. Math 4400/6400 Homewor #7 solutios 1. Let p be a prime umber. Show that the order of 1 + p modulo p 2 is exactly p. Hit: Expad (1 + p) p by the biomial theorem, ad recall from MATH

More information

Lecture 10: Mathematical Preliminaries

Lecture 10: Mathematical Preliminaries Lecture : Mathematical Prelimiaries Obective: Reviewig mathematical cocepts ad tools that are frequetly used i the aalysis of algorithms. Lecture # Slide # I this

More information

First selection test, May 1 st, 2008

First selection test, May 1 st, 2008 First selectio test, May st, 2008 Problem. Let p be a prime umber, p 3, ad let a, b be iteger umbers so that p a + b ad p 2 a 3 + b 3. Show that p 2 a + b or p 3 a 3 + b 3. Problem 2. Prove that for ay

More information

A brief introduction to linear algebra

A brief introduction to linear algebra CHAPTER 6 A brief itroductio to liear algebra 1. Vector spaces ad liear maps I what follows, fix K 2{Q, R, C}. More geerally, K ca be ay field. 1.1. Vector spaces. Motivated by our ituitio of addig ad

More information

SEQUENCE AND SERIES NCERT

SEQUENCE AND SERIES NCERT 9. Overview By a sequece, we mea a arragemet of umbers i a defiite order accordig to some rule. We deote the terms of a sequece by a, a,..., etc., the subscript deotes the positio of the term. I view of

More information

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

More information

Homework 9. (n + 1)! = 1 1

Homework 9. (n + 1)! = 1 1 . Chapter : Questio 8 If N, the Homewor 9 Proof. We will prove this by usig iductio o. 2! + 2 3! + 3 4! + + +! +!. Base step: Whe the left had side is. Whe the right had side is 2! 2 +! 2 which proves

More information

Lesson 10: Limits and Continuity

Lesson 10: Limits and Continuity www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals

More information

Measure and Measurable Functions

Measure and Measurable Functions 3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies

More information

Lecture Notes for Analysis Class

Lecture Notes for Analysis Class Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios

More information

PROBLEM SET 5 SOLUTIONS. Solution. We prove that the given congruence equation has no solutions. Suppose for contradiction that. (x 2) 2 1 (mod 7).

PROBLEM SET 5 SOLUTIONS. Solution. We prove that the given congruence equation has no solutions. Suppose for contradiction that. (x 2) 2 1 (mod 7). PROBLEM SET 5 SOLUTIONS 1 Fid every iteger solutio to x 17x 5 0 mod 45 Solutio We rove that the give cogruece equatio has o solutios Suose for cotradictio that the equatio x 17x 5 0 mod 45 has a solutio

More information

Exam 2 CMSC 203 Fall 2009 Name SOLUTION KEY Show All Work! 1. (16 points) Circle T if the corresponding statement is True or F if it is False.

Exam 2 CMSC 203 Fall 2009 Name SOLUTION KEY Show All Work! 1. (16 points) Circle T if the corresponding statement is True or F if it is False. 1 (1 poits) Circle T if the correspodig statemet is True or F if it is False T F For ay positive iteger,, GCD(, 1) = 1 T F Every positive iteger is either prime or composite T F If a b mod p, the (a/p)

More information

4 The Sperner property.

4 The Sperner property. 4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,

More information

1 Summary: Binary and Logic

1 Summary: Binary and Logic 1 Summary: Biary ad Logic Biary Usiged Represetatio : each 1-bit is a power of two, the right-most is for 2 0 : 0110101 2 = 2 5 + 2 4 + 2 2 + 2 0 = 32 + 16 + 4 + 1 = 53 10 Usiged Rage o bits is [0...2

More information

MAS111 Convergence and Continuity

MAS111 Convergence and Continuity MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece

More information

1 Introduction. 1.1 Notation and Terminology

1 Introduction. 1.1 Notation and Terminology 1 Itroductio You have already leared some cocepts of calculus such as limit of a sequece, limit, cotiuity, derivative, ad itegral of a fuctio etc. Real Aalysis studies them more rigorously usig a laguage

More information

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3 MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special

More information

Unit 4: Polynomial and Rational Functions

Unit 4: Polynomial and Rational Functions 48 Uit 4: Polyomial ad Ratioal Fuctios Polyomial Fuctios A polyomial fuctio y px ( ) is a fuctio of the form p( x) ax + a x + a x +... + ax + ax+ a 1 1 1 0 where a, a 1,..., a, a1, a0are real costats ad

More information

The multiplicative structure of finite field and a construction of LRC

The multiplicative structure of finite field and a construction of LRC IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio

More information

Congruence Modulo a. Since,

Congruence Modulo a. Since, Cogruece Modulo - 03 The [ ] equivalece classes refer to the Differece of quares relatio ab if a -b o defied as Theorem 3 - Phi is Periodic, a, [ a ] [ a] The period is Let ad a We must show ( a ) a ice,

More information

3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials

3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials Math 60 www.timetodare.com 3. Properties of Divisio 3.3 Zeros of Polyomials 3.4 Complex ad Ratioal Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered

More information

Summary: Congruences. j=1. 1 Here we use the Mathematica syntax for the function. In Maple worksheets, the function

Summary: Congruences. j=1. 1 Here we use the Mathematica syntax for the function. In Maple worksheets, the function Summary: Cogrueces j whe divided by, ad determiig the additive order of a iteger mod. As described i the Prelab sectio, cogrueces ca be thought of i terms of coutig with rows, ad for some questios this

More information

MA541 : Real Analysis. Tutorial and Practice Problems - 1 Hints and Solutions

MA541 : Real Analysis. Tutorial and Practice Problems - 1 Hints and Solutions MA54 : Real Aalysis Tutorial ad Practice Problems - Hits ad Solutios. Suppose that S is a oempty subset of real umbers that is bouded (i.e. bouded above as well as below). Prove that if S sup S. What ca

More information

i is the prime factorization of n as a product of powers of distinct primes, then: i=1 pm i

i is the prime factorization of n as a product of powers of distinct primes, then: i=1 pm i Lecture 3. Group Actios PCMI Summer 2015 Udergraduate Lectures o Flag Varieties Lecture 3. The category of groups is discussed, ad the importat otio of a group actio is explored. Defiitio 3.1. A group

More information

3 Gauss map and continued fractions

3 Gauss map and continued fractions ICTP, Trieste, July 08 Gauss map ad cotiued fractios I this lecture we will itroduce the Gauss map, which is very importat for its coectio with cotiued fractios i umber theory. The Gauss map G : [0, ]

More information

Chapter 6 Infinite Series

Chapter 6 Infinite Series Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat

More information

Regular Elements and BQ-Elements of the Semigroup (Z n, )

Regular Elements and BQ-Elements of the Semigroup (Z n, ) Iteratioal Mathematical Forum, 5, 010, o. 51, 533-539 Regular Elemets ad BQ-Elemets of the Semigroup (Z, Ng. Dapattaamogko ad Y. Kemprasit Departmet of Mathematics, Faculty of Sciece Chulalogkor Uiversity,

More information

LinearAlgebra DMTH502

LinearAlgebra DMTH502 LiearAlgebra DMTH50 LINEAR ALGEBRA Copyright 0 J D Aad All rights reserved Produced & Prited by EXCEL BOOKS PRIVATE LIMITED A-45, Naraia, Phase-I, New Delhi-008 for Lovely Professioal Uiversity Phagwara

More information

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163

More information

MATH1035: Workbook Four M. Daws, 2009

MATH1035: Workbook Four M. Daws, 2009 MATH1035: Workbook Four M. Daws, 2009 Roots of uity A importat result which ca be proved by iductio is: De Moivre s theorem atural umber case: Let θ R ad N. The cosθ + i siθ = cosθ + i siθ. Proof: The

More information

Week 5-6: The Binomial Coefficients

Week 5-6: The Binomial Coefficients Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers

More information

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad

More information

Objective Mathematics

Objective Mathematics . If sum of '' terms of a sequece is give by S Tr ( )( ), the 4 5 67 r (d) 4 9 r is equal to : T. Let a, b, c be distict o-zero real umbers such that a, b, c are i harmoic progressio ad a, b, c are i arithmetic

More information

Singular Continuous Measures by Michael Pejic 5/14/10

Singular Continuous Measures by Michael Pejic 5/14/10 Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable

More information

Lecture 1. January 8, 2018

Lecture 1. January 8, 2018 Lecture 1 Jauary 8, 018 1 Primes A prime umber p is a positive iteger which caot be writte as ab for some positive itegers a, b > 1. A prime p also have the property that if p ab, the p a or p b. This

More information

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F. CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.

More information

Discrete Math Class 5 ( )

Discrete Math Class 5 ( ) Discrete Math 37110 - Class 5 (2016-10-11 Istructor: László Babai Notes tae by Jacob Burroughs Revised by istructor 5.1 Fermat s little Theorem Theorem 5.1 (Fermat s little Theorem. If p is prime ad gcd(a,

More information

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size. Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure

More information

1. By using truth tables prove that, for all statements P and Q, the statement

1. By using truth tables prove that, for all statements P and Q, the statement Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3

More information

Convergence of random variables. (telegram style notes) P.J.C. Spreij

Convergence of random variables. (telegram style notes) P.J.C. Spreij Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space

More information

Math 61CM - Solutions to homework 3

Math 61CM - Solutions to homework 3 Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig

More information

MATH 324 Summer 2006 Elementary Number Theory Solutions to Assignment 2 Due: Thursday July 27, 2006

MATH 324 Summer 2006 Elementary Number Theory Solutions to Assignment 2 Due: Thursday July 27, 2006 MATH 34 Summer 006 Elemetary Number Theory Solutios to Assigmet Due: Thursday July 7, 006 Departmet of Mathematical ad Statistical Scieces Uiversity of Alberta Questio [p 74 #6] Show that o iteger of the

More information

Wrap of Number Theory & Midterm Review. Recall: Fundamental Theorem of Arithmetic

Wrap of Number Theory & Midterm Review. Recall: Fundamental Theorem of Arithmetic Wrap of Number Theory & Midterm Review F Primes, GCD, ad LCM (Sectio 3.5 i text) F Midterm Review Sectios.-.7 Propositioal logic Predicate logic Rules of iferece ad proofs Sectios.-.3 Sets ad Set operatios

More information

Solutions for May. 3 x + 7 = 4 x x +

Solutions for May. 3 x + 7 = 4 x x + Solutios for May 493. Prove that there is a atural umber with the followig characteristics: a) it is a multiple of 007; b) the first four digits i its decimal represetatio are 009; c) the last four digits

More information

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014. Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the

More information

REVIEW FOR CHAPTER 1

REVIEW FOR CHAPTER 1 REVIEW FOR CHAPTER 1 A short summary: I this chapter you helped develop some basic coutig priciples. I particular, the uses of ordered pairs (The Product Priciple), fuctios, ad set partitios (The Sum Priciple)

More information

Math 609/597: Cryptography 1

Math 609/597: Cryptography 1 Math 609/597: Cryptography 1 The Solovay-Strasse Primality Test 12 October, 1993 Burt Roseberg Revised: 6 October, 2000 1 Itroductio We describe the Solovay-Strasse primality test. There is quite a bit

More information

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary

More information

We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n

We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n Review of Power Series, Power Series Solutios A power series i x - a is a ifiite series of the form c (x a) =c +c (x a)+(x a) +... We also call this a power series cetered at a. Ex. (x+) is cetered at

More information

Different kinds of Mathematical Induction

Different kinds of Mathematical Induction Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}

More information

Section 5.1 The Basics of Counting

Section 5.1 The Basics of Counting 1 Sectio 5.1 The Basics of Coutig Combiatorics, the study of arragemets of objects, is a importat part of discrete mathematics. I this chapter, we will lear basic techiques of coutig which has a lot of

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

Math 140A Elementary Analysis Homework Questions 1

Math 140A Elementary Analysis Homework Questions 1 Math 14A Elemetary Aalysis Homewor Questios 1 1 Itroductio 1.1 The Set N of Natural Numbers 1 Prove that 1 2 2 2 2 1 ( 1(2 1 for all atural umbers. 2 Prove that 3 11 (8 5 4 2 for all N. 4 (a Guess a formula

More information

Math F215: Induction April 7, 2013

Math F215: Induction April 7, 2013 Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here

More information

Proof of Fermat s Last Theorem by Algebra Identities and Linear Algebra

Proof of Fermat s Last Theorem by Algebra Identities and Linear Algebra Proof of Fermat s Last Theorem by Algebra Idetities ad Liear Algebra Javad Babaee Ragai Youg Researchers ad Elite Club, Qaemshahr Brach, Islamic Azad Uiversity, Qaemshahr, Ira Departmet of Civil Egieerig,

More information

Axioms of Measure Theory

Axioms of Measure Theory MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that

More information

Fermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a.

Fermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a. Departmet of Mathematical Scieces Istructor: Daiva Puciskaite Discrete Mathematics Fermat s Little Theorem 43.. For all a Z 3, calculate a 2 ad a 3. Case a = 0. 0 0 2-times Case a 0. 0 0 3-times a a 2-times

More information

3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,

3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense, 3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [

More information

Fourier Analysis, Stein and Shakarchi Chapter 8 Dirichlet s Theorem

Fourier Analysis, Stein and Shakarchi Chapter 8 Dirichlet s Theorem Fourier Aalysis, Stei ad Shakarchi Chapter 8 Dirichlet s Theorem 208.05.05 Abstract Durig the course Aalysis II i NTU 208 Sprig, this solutio file is latexed by the teachig assistat Yug-Hsiag Huag with

More information

Lecture 7: Properties of Random Samples

Lecture 7: Properties of Random Samples Lecture 7: Properties of Radom Samples 1 Cotiued From Last Class Theorem 1.1. Let X 1, X,...X be a radom sample from a populatio with mea µ ad variace σ

More information

Math 299 Supplement: Real Analysis Nov 2013

Math 299 Supplement: Real Analysis Nov 2013 Math 299 Supplemet: Real Aalysis Nov 203 Algebra Axioms. I Real Aalysis, we work withi the axiomatic system of real umbers: the set R alog with the additio ad multiplicatio operatios +,, ad the iequality

More information

The Boolean Ring of Intervals

The Boolean Ring of Intervals MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,

More information

1. ARITHMETIC OPERATIONS IN OBSERVER'S MATHEMATICS

1. ARITHMETIC OPERATIONS IN OBSERVER'S MATHEMATICS 1. ARITHMETIC OPERATIONS IN OBSERVER'S MATHEMATICS We cosider a ite well-ordered system of observers, where each observer sees the real umbers as the set of all iite decimal fractios. The observers are

More information

SEQUENCES AND SERIES

SEQUENCES AND SERIES Sequeces ad 6 Sequeces Ad SEQUENCES AND SERIES Successio of umbers of which oe umber is desigated as the first, other as the secod, aother as the third ad so o gives rise to what is called a sequece. Sequeces

More information

Properties of Fuzzy Length on Fuzzy Set

Properties of Fuzzy Length on Fuzzy Set Ope Access Library Joural 206, Volume 3, e3068 ISSN Olie: 2333-972 ISSN Prit: 2333-9705 Properties of Fuzzy Legth o Fuzzy Set Jehad R Kider, Jaafar Imra Mousa Departmet of Mathematics ad Computer Applicatios,

More information